1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
use crate::mutex::{Mutex, SpinLock};
use crate::semaphore::{AsyncSemaphore, ReadoutSemaphore, TrySemaphore};
use crate::ThreadFunctions;
use alloc::boxed::Box;
use alloc::collections::VecDeque;
use async_trait::async_trait;
use core::fmt::Debug;
use core::ops::{AddAssign, SubAssign};
use num::{One, Zero};
use simple_futures::complete_future::{CompleteFuture, CompleteFutureHandle};
#[derive(Debug)]
pub struct FullAsyncSemaphore<C, CS> {
inner: SpinLock<AsyncSemaphoreInner<C>, CS>,
}
impl<C, CS> FullAsyncSemaphore<C, CS> {
pub fn new(start_count: C) -> Self {
Self {
inner: SpinLock::new(AsyncSemaphoreInner {
count: start_count,
waker_queue: Default::default(),
}),
}
}
}
impl<C, CS> Default for FullAsyncSemaphore<C, CS>
where
C: Zero,
{
fn default() -> Self {
Self::new(C::zero())
}
}
unsafe impl<C, CS> TrySemaphore for FullAsyncSemaphore<C, CS>
where
C: Zero + One + AddAssign + SubAssign,
CS: ThreadFunctions,
{
fn try_wait(&self) -> bool {
let mut guard = self.inner.lock();
if guard.count.is_zero() {
false
} else {
guard.count -= C::one();
true
}
}
fn signal(&self) {
let mut guard = self.inner.lock();
if guard.count.is_zero() {
while let Some(handle) = guard.waker_queue.pop_front() {
if let Some(result) = handle.complete() {
assert!(result);
return;
}
}
}
guard.count += C::one();
}
}
#[async_trait]
unsafe impl<C, CS> AsyncSemaphore for FullAsyncSemaphore<C, CS>
where
C: Zero + One + AddAssign + SubAssign + Send,
CS: ThreadFunctions,
{
async fn wait_async(&self) {
let mut guard = self.inner.lock();
if !guard.count.is_zero() {
guard.count -= C::one();
return;
}
let future = CompleteFuture::new();
guard.waker_queue.push_back(future.get_handle());
drop(guard);
future.await;
}
}
impl<C, CS> ReadoutSemaphore for FullAsyncSemaphore<C, CS>
where
C: Zero + One + AddAssign + SubAssign + Copy,
CS: ThreadFunctions,
{
type Count = C;
fn count(&self) -> Self::Count {
self.inner.lock().count
}
}
#[derive(Debug)]
struct AsyncSemaphoreInner<C> {
count: C,
waker_queue: VecDeque<CompleteFutureHandle>,
}