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

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

#20 in Concurrency

Download history 1989177/week @ 2024-08-19 1992612/week @ 2024-08-26 1919225/week @ 2024-09-02 2069287/week @ 2024-09-09 2052299/week @ 2024-09-16 2219253/week @ 2024-09-23 2596579/week @ 2024-09-30 3025254/week @ 2024-10-07 2907260/week @ 2024-10-14 2623684/week @ 2024-10-21 2397717/week @ 2024-10-28 2425415/week @ 2024-11-04 2412243/week @ 2024-11-11 2480008/week @ 2024-11-18 2148408/week @ 2024-11-25 2421605/week @ 2024-12-02

9,566,028 downloads per month
Used in 14,333 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