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

sync_wrapper

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

4 releases (1 stable)

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

#51 in Concurrency

Download history 560295/week @ 2023-12-07 536385/week @ 2023-12-14 304700/week @ 2023-12-21 341928/week @ 2023-12-28 558650/week @ 2024-01-04 582888/week @ 2024-01-11 658575/week @ 2024-01-18 653824/week @ 2024-01-25 862877/week @ 2024-02-01 863127/week @ 2024-02-08 845801/week @ 2024-02-15 932855/week @ 2024-02-22 992097/week @ 2024-02-29 982228/week @ 2024-03-07 1010237/week @ 2024-03-14 860380/week @ 2024-03-21

4,013,066 downloads per month
Used in 10,676 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