并发编程趣味资源与工具

1. 可交互的 https://deadlockempire.github.io/#main ， 不过前几个勉强可以用用，后面都是 windows api 的，不想看了。

• GenMC: Model checking for concurrent C programs
  • https://news.ycombinator.com/item?id=42098466
  • 开源就没更新了

本站所有文章转发 CSDN 将按侵权追究法律责任，其它情况随意。