#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 2370151/week @ 2024-10-30 2362643/week @ 2024-11-06 2472448/week @ 2024-11-13 2513430/week @ 2024-11-20 2148884/week @ 2024-11-27 2658310/week @ 2024-12-04 2779249/week @ 2024-12-11 1955794/week @ 2024-12-18 1075739/week @ 2024-12-25 1842977/week @ 2025-01-01 2722071/week @ 2025-01-08 2524616/week @ 2025-01-15 2544904/week @ 2025-01-22 2655596/week @ 2025-01-29 2901422/week @ 2025-02-05 2337948/week @ 2025-02-12

10,892,135 downloads per month
Used in 15,750 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