diff options
| author | Alex Moon <[email protected]> | 2024-03-30 22:19:55 -0400 |
|---|---|---|
| committer | Alex Moon <[email protected]> | 2024-03-30 22:25:41 -0400 |
| commit | f8a6007e1cb3fe9b13db4a56872228155ed8f1cb (patch) | |
| tree | 6b4a61efe3e59273360d5d875ad9f1ab26cd5541 /embassy-sync/src/lib.rs | |
| parent | 6634cc90bcd3eb25b64712688920f383584b2964 (diff) | |
Semaphore synchronization primitive
This provides both a "greedy" and "fair" async semaphore implementation.
Diffstat (limited to 'embassy-sync/src/lib.rs')
| -rw-r--r-- | embassy-sync/src/lib.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/embassy-sync/src/lib.rs b/embassy-sync/src/lib.rs index 61b173e80..1873483f9 100644 --- a/embassy-sync/src/lib.rs +++ b/embassy-sync/src/lib.rs | |||
| @@ -17,6 +17,7 @@ pub mod once_lock; | |||
| 17 | pub mod pipe; | 17 | pub mod pipe; |
| 18 | pub mod priority_channel; | 18 | pub mod priority_channel; |
| 19 | pub mod pubsub; | 19 | pub mod pubsub; |
| 20 | pub mod semaphore; | ||
| 20 | pub mod signal; | 21 | pub mod signal; |
| 21 | pub mod waitqueue; | 22 | pub mod waitqueue; |
| 22 | pub mod zerocopy_channel; | 23 | pub mod zerocopy_channel; |