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

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

#53 in Concurrency

Download history 245124/week @ 2023-12-23 428288/week @ 2023-12-30 590875/week @ 2024-01-06 602124/week @ 2024-01-13 639892/week @ 2024-01-20 742171/week @ 2024-01-27 855599/week @ 2024-02-03 856003/week @ 2024-02-10 877030/week @ 2024-02-17 951788/week @ 2024-02-24 983247/week @ 2024-03-02 995427/week @ 2024-03-09 1008433/week @ 2024-03-16 1061236/week @ 2024-03-23 1100335/week @ 2024-03-30 947134/week @ 2024-04-06

4,283,347 downloads per month
Used in 10,978 crates (17 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