【文件属性】：
文件名称：织机-并发代码的置换测试-Rust开发
文件大小：84KB
文件格式：ZIP
更新时间：2021-05-27 18:18:49
Rust Concurrency
Loom Loom是用于并发Rust代码的测试工具。
它运行了多次测试，在C Loom下改变了该测试可能的并发执行。Loom是并发Rust代码的测试工具。
它会多次运行测试，以置换在C11内存模型下该测试可能并发执行的情况。
它使用状态减少技术来避免组合爆炸。
文档概述Loom是CDSChecker：检查用C / C ++ Atomics编写的并发数据结构中描述的技术的实现。
它是用于编写单元测试的库，其中检查了所有可能的线程交织。
这也是检查
【文件预览】：
loom-master
----.gitignore(18B)
----src()
--------model.rs(8KB)
--------sync()
--------rt()
--------cell()
--------thread.rs(7KB)
--------hint.rs(475B)
--------future()
--------lazy_static.rs(4KB)
--------alloc.rs(1KB)
--------lib.rs(20KB)
----LICENSE(1KB)
----CHANGELOG.md(5KB)
----Cargo.toml(1KB)
----.github()
--------workflows()
----README.md(2KB)
----tests()
--------yield.rs(559B)
--------thread_api.rs(3KB)
--------smoke.rs(955B)
--------unsafe_cell.rs(6KB)
--------atomic.rs(2KB)
--------mpsc.rs(2KB)
--------mutex.rs(2KB)
--------atomic_int.rs(3KB)
--------futures.rs(2KB)
--------spec.rs(5KB)
--------atomic_relaxed.rs(2KB)
--------rwlock_regression1.rs(762B)
--------fence.rs(843B)
--------condvar.rs(2KB)
--------rwlock.rs(1KB)
--------thread_local.rs(3KB)
--------arc.rs(2KB)