文件名称：rmem:rmem公共仓库
文件大小：3.42MB
文件格式：ZIP
更新时间：2024-05-27 15:29:50
JavaScript
rmem：适用于ARMv8，RISC-V，Power和x86的可执行并发模型 rmem工具包括针对Power，ARMv8，RISC-V和x86（TSO）处理器体系结构的宽松内存并发语义的可执行操作模型，以及在石蕊测试和ELF二进制文件上执行模型的机制：交互式地逐步执行合法的并发行为，伪随机地找到合法的结果，并穷举枚举小型并发程序在架构上允许的所有结果。 对于ARM，它同时支持当前的ARMv8-A多副本原子模型和较早的ARMv8-A非多副本原子模型。 该工具提供了独立的Web界面版本（已编译为JavaScript），可以在进行尝试，也可以提供命令行版本。 rmem是一部分，由ERC Advanced赠款“ ELVER”（2018-2023，ERC AdG 789108），EPSRC计划赠款“ REMS：主流系统的严格工程”（EP / K008528 / 1）资助， EPSRC授予“ C3