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

sync_wrapper

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

6 releases (3 stable)

new 1.0.2 Nov 20, 2024
1.0.1 Apr 8, 2024
1.0.0 Mar 14, 2024
0.1.2 Feb 1, 2023
0.1.0 May 16, 2020

#19 in Concurrency

Download history 1821023/week @ 2024-08-02 1916737/week @ 2024-08-09 1945981/week @ 2024-08-16 1994725/week @ 2024-08-23 1885082/week @ 2024-08-30 2075071/week @ 2024-09-06 1914451/week @ 2024-09-13 2335087/week @ 2024-09-20 2355897/week @ 2024-09-27 2917042/week @ 2024-10-04 2765595/week @ 2024-10-11 3004758/week @ 2024-10-18 2500694/week @ 2024-10-25 2356903/week @ 2024-11-01 2406403/week @ 2024-11-08 2492962/week @ 2024-11-15

10,233,552 downloads per month
Used in 14,100 crates (35 directly)

Apache-2.0

11KB
91 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