#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

#49 in Concurrency

Download history 856145/week @ 2024-02-02 864435/week @ 2024-02-09 857249/week @ 2024-02-16 947119/week @ 2024-02-23 994615/week @ 2024-03-01 981456/week @ 2024-03-08 1011751/week @ 2024-03-15 1065348/week @ 2024-03-22 1069862/week @ 2024-03-29 1129099/week @ 2024-04-05 1173818/week @ 2024-04-12 1185247/week @ 2024-04-19 1167162/week @ 2024-04-26 1171791/week @ 2024-05-03 1241056/week @ 2024-05-10 1040096/week @ 2024-05-17

4,838,648 downloads per month
Used in 11,463 crates (18 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