4
OSDI 08 - CHESS
source link: https://blog.yxwang.me/2008/11/finding-and-reproducing-heisenbugs-in-concurrent-programs/
Go to the source link to view the article. You can view the picture content, updated content and better typesetting reading experience. If the link is broken, please click the button below to view the snapshot at that time.
OSDI 08 - CHESS
Sun, Nov 30, 2008 • Computer System
Finding and Reproducing Heisenbugs in Concurrent Programs
OSDI ‘08上微软研究院发的paper，针对并发编程中难以发现的bug问题。
paper的内容主要分两大块。
一是如何在发现bug的时候记录下线程的运行先后(thread interleaving)，途径是在线程API和用户程序多写一层wrapper functions，这里还有一些其他的问题，比如只记录下了thread interleaving的话出现data race怎么解决等。
另外一块内容是如何遍历出给定程序运行后所能产生的结果的集合，加入这个能实现的话那就能把所有隐藏的bug都找出来了。但是这个搜索空间很大，是指数级的，的一个结论就是：给定一个程序有n个的线程，所有线程共完成k条指令，那么c次占先调度后线程的排列情况数的复杂度是kckc的，所以在实现遍历代码的时候必须有效的降低k和c的值。
本作品采用知识共享署名-非商业性使用 3.0 版本许可协议进行许可，欢迎转载，演绎，但是必须保留本文的署名 zellux（包含链接），且不得用于商业目的。
Recommend
About Joyk
Aggregate valuable and interesting links.
Joyk means Joy of geeK