核心检测器
用于确定性多线程执行的编译器和运行时系统
源代码发布。 这个存储库只是 CoreDet 以前的源代码版本的托管平台。 不再支持此代码； 该代码是为那些有兴趣复制之前两篇 ASPLOS 论文的结果的人提供的。
有关整个项目的更多信息：
发布
二进制和源代码分发可从。
我们的 ASPLOS 2010 论文中使用的版本
(52 MB) CoreDet 编译器和运行时以及我们基准测试的源代码
(200 KB) 仅 CoreDet 编译器和运行时
已更新的 ASPLOS 2010 代码版本可以使用 LLVM 2.6 进行干净的编译
（52 MB） CoreDet 编译器和运行时以及我们基准测试的源代码
(200 KB) 仅 CoreDet 编译器和运行时
我们的ASPLOS 2011论文中使用的版本（包括DmpHB一致性）
(52 MB) CoreDet编译器和运行时以及我
