【文件属性】：
文件名称：axe:SPARC内存一致性检查器
文件大小：471KB
文件格式：ZIP
更新时间：2021-05-18 22:16:43
Haskell
SPARC内存一致性检查器
Ax是一种根据SPARC内存一致性模型检查内存跟踪（由加载，存储，原子读取-修改-写入和内存屏障指令组成）的工具：顺序一致性（SC），总存储顺序（TSO），部分存储顺序（PSO）和宽松的内存顺序（RMO）。 它旨在帮助测试BERI多处理器的共享内存子系统，但也可以用于测试其他内存子系统。 它用Haskell编写，并使用Yices约束求解器。
Axe进行了更详细的说明。
依存关系
Ubuntu / Debian软件包：
sudo apt-get install ghc haskell-platform pandoc
还要下载 （2.3.1版或更高版本），并确保它在您的路径中。
【文件预览】：
axe-master
----src()
--------Main.lhs(5KB)
--------Axiomatic.lhs(5KB)
--------Constraint.lhs(6KB)
--------Models.lhs(4KB)
--------Test.lhs(2KB)
--------Operational.lhs(8KB)
--------Logger.lhs(2KB)
--------Instr.lhs(12KB)
--------LocalOrder.lhs(5KB)
--------make.sh(1KB)
--------DataFlow.lhs(8KB)
--------Parser.lhs(6KB)
--------clean.sh(1KB)
----samples()
--------sc_2380.txt(34KB)
--------rmo_sync_llsc_1845.txt(26KB)
--------rmo_sync_llsc_1221.txt(18KB)
--------rmo_1810.txt(25KB)
--------tso_3017.txt(43KB)
--------tso_sync_1006.txt(13KB)
--------tso_sync_llsc_634.txt(9KB)
--------sc_llsc_1142.txt(18KB)
--------rmo_sync_2971.txt(40KB)
--------tso_sync_1970.txt(26KB)
--------rmo_sync_llsc_602.txt(9KB)
--------tso_2002.txt(27KB)
--------sc_llsc_1724.txt(26KB)
--------sc_llsc_597.txt(9KB)
--------sc_1858.txt(25KB)
--------sc_945.txt(13KB)
--------rmo_1131.txt(16KB)
--------sc_16v_913.txt(12KB)
--------tso_sync_llsc_1205.txt(19KB)
--------rmo_sync_1032.txt(14KB)
--------tso_999.txt(14KB)
--------sc_16v_2093.txt(29KB)
--------rmo_sync_2083.txt(28KB)
--------sc_16v_1798.txt(25KB)
--------tso_sync_llsc_1840.txt(27KB)
--------tso_sync_2521.txt(35KB)
--------rmo_2678.txt(37KB)
----LICENSE(12KB)
----doc()
--------report.md(20KB)
--------results()
--------make.sh(61B)
--------report.pdf(237KB)
----README.md(857B)