Finding and Reproducing Heisenbugs in Concurrent ProgramsOSDI ‘08 上微软研究院发的 paper，针对并发编程中难以发现的 bug 问题。paper 的内容主要分两大块。一是如何在发现 bug 的时候记录下线程的运行先后(thread interleaving)，途径是在线程 API 和用户程序多写一层 wrapper functions，这里还有一些其他的问题，比如只记录下了 thread interleaving 的话出现 data race 怎么解决等。另外一块内容是如何遍历出给定程序运行后所能产生的结果的集合，加入这个能实……