Lib.rs

›

#信息 #静态 #互斥 #帮助 #编译器 #原始

sync_wrapper

一种用于请求编译器帮助证明并发不存在性的工具

所有权归 Roland Kuhn，Actyx。

5 个版本 (2 个稳定版)

1.0.1	2024 年 4 月 8 日
1.0.0	2024 年 3 月 14 日
0.1.2	2023 年 2 月 1 日
0.1.1	2021 年 8 月 14 日
0.1.0	2020 年 5 月 16 日

#28 in 并发

每月下载量 7,031,889
用于 12,521 个 Crates (直接使用 24 个)

Apache-2.0

11KB
80 行

SyncWrapper

仅依赖于静态类型信息的互斥原语。

此库受此讨论的启发。

`lib.rs`:

仅依赖于静态类型信息的互斥原语

此库受此讨论的启发。

依赖关系