#information #static #mutual #help #compiler #primitive

sync_wrapper

A tool for enlisting the compiler's help in proving the absence of concurrency

5 releases (2 stable)

1.0.1 Apr 8, 2024
1.0.0 Mar 14, 2024
0.1.2 Feb 1, 2023
0.1.1 Aug 14, 2021
0.1.0 May 16, 2020

#53 in Concurrency

Download history 1125409/week @ 2024-04-01 1112008/week @ 2024-04-08 1179158/week @ 2024-04-15 1203555/week @ 2024-04-22 1145568/week @ 2024-04-29 1185928/week @ 2024-05-06 1262311/week @ 2024-05-13 1257633/week @ 2024-05-20 1226750/week @ 2024-05-27 1406643/week @ 2024-06-03 1387533/week @ 2024-06-10 1432298/week @ 2024-06-17 1446557/week @ 2024-06-24 1441230/week @ 2024-07-01 1667020/week @ 2024-07-08 1575280/week @ 2024-07-15

6,206,585 downloads per month
Used in 12,248 crates (22 directly)

Apache-2.0

11KB
80 lines

Latest Version Rust Documentation

SyncWrapper

A mutual exclusion primitive that relies on static type information only.

This library is inspired by this discussion.


lib.rs:

A mutual exclusion primitive that relies on static type information only

This library is inspired by this discussion.

Dependencies