多线程算法特别难以设计/调试/证明.Dekker的算法是设计正确的同步算法有多么困难的一个主要例子.Tanenbaum的现代操作系统在其IPC部分中充满了示例.有没有人有这方面的好参考(书籍,文章)？谢谢!
theory algorithm multithreading correctness proof
algorithm ×1
correctness ×1
multithreading ×1
proof ×1
theory ×1