#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

#19 in Concurrency

Download history 3004758/week @ 2024-10-18 2500694/week @ 2024-10-25 2356903/week @ 2024-11-01 2401800/week @ 2024-11-08 2474381/week @ 2024-11-15 2302541/week @ 2024-11-22 2354320/week @ 2024-11-29 2870268/week @ 2024-12-06 2586834/week @ 2024-12-13 1275596/week @ 2024-12-20 1249536/week @ 2024-12-27 2342900/week @ 2025-01-03 2786389/week @ 2025-01-10 2457654/week @ 2025-01-17 2571915/week @ 2025-01-24 2259010/week @ 2025-01-31

10,559,179 downloads per month
Used in 15,389 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