#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 2197420/week @ 2024-09-19 2379278/week @ 2024-09-26 2839748/week @ 2024-10-03 2782607/week @ 2024-10-10 2991964/week @ 2024-10-17 2526159/week @ 2024-10-24 2331549/week @ 2024-10-31 2383208/week @ 2024-11-07 2495388/week @ 2024-11-14 2449135/week @ 2024-11-21 2229258/week @ 2024-11-28 2765182/week @ 2024-12-05 2665344/week @ 2024-12-12 1582916/week @ 2024-12-19 1090529/week @ 2024-12-26 2176383/week @ 2025-01-02

8,129,529 downloads per month
Used in 14,846 crates (36 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