#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)

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

#52 in Concurrency

Download history 520902/week @ 2023-11-27 552023/week @ 2023-12-04 546704/week @ 2023-12-11 494793/week @ 2023-12-18 246772/week @ 2023-12-25 440711/week @ 2024-01-01 591016/week @ 2024-01-08 605702/week @ 2024-01-15 641099/week @ 2024-01-22 790722/week @ 2024-01-29 845492/week @ 2024-02-05 864720/week @ 2024-02-12 871221/week @ 2024-02-19 961869/week @ 2024-02-26 978985/week @ 2024-03-04 388846/week @ 2024-03-11

3,250,250 downloads per month
Used in 10,535 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