并发编程趣味资源与工具
- 可交互的 https://deadlockempire.github.io/#main , 不过前几个勉强可以用用,后面都是 windows api 的,不想看了。
- GenMC: Model checking for concurrent C programs
- https://news.ycombinator.com/item?id=42098466
- 开源就没更新了
本站所有文章转发 CSDN 将按侵权追究法律责任,其它情况随意。
本站所有文章转发 CSDN 将按侵权追究法律责任,其它情况随意。