#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

#21 in Concurrency

Download history 2480008/week @ 2024-11-18 2147567/week @ 2024-11-25 2506536/week @ 2024-12-02 2920361/week @ 2024-12-09 2466096/week @ 2024-12-16 1081062/week @ 2024-12-23 1404371/week @ 2024-12-30 2562119/week @ 2025-01-06 2738511/week @ 2025-01-13 2427200/week @ 2025-01-20 2588076/week @ 2025-01-27 2835635/week @ 2025-02-03 2997188/week @ 2025-02-10 3182603/week @ 2025-02-17 3127552/week @ 2025-02-24 3337010/week @ 2025-03-03

12,778,587 downloads per month
Used in 16,090 crates (37 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