#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 2501809/week @ 2024-09-29 2993189/week @ 2024-10-06 2864667/week @ 2024-10-13 2793763/week @ 2024-10-20 2401251/week @ 2024-10-27 2430976/week @ 2024-11-03 2408988/week @ 2024-11-10 2474173/week @ 2024-11-17 2142737/week @ 2024-11-24 2507753/week @ 2024-12-01 2919136/week @ 2024-12-08 2482667/week @ 2024-12-15 1071748/week @ 2024-12-22 1404898/week @ 2024-12-29 2532971/week @ 2025-01-05 2758534/week @ 2025-01-12

7,895,276 downloads per month
Used in 15,029 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