#information #exclusion #mutual #primitive #compiler #help

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

#20 in Concurrency

Download history 1648717/week @ 2024-07-14 1760569/week @ 2024-07-21 1802471/week @ 2024-07-28 1799856/week @ 2024-08-04 1916980/week @ 2024-08-11 1985698/week @ 2024-08-18 1983323/week @ 2024-08-25 1927838/week @ 2024-09-01 2064941/week @ 2024-09-08 1972715/week @ 2024-09-15 2279797/week @ 2024-09-22 2501809/week @ 2024-09-29 2993189/week @ 2024-10-06 2864667/week @ 2024-10-13 2793763/week @ 2024-10-20 2401245/week @ 2024-10-27

11,308,164 downloads per month
Used in 13,816 crates (34 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