#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

#21 in Concurrency

Download history 1767318/week @ 2024-07-22 1802976/week @ 2024-07-29 1808133/week @ 2024-08-05 1912839/week @ 2024-08-12 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 2425373/week @ 2024-11-04

10,604,407 downloads per month
Used in 13,944 crates (35 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