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
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
use std::collections::VecDeque;
use std::future::Future;
use std::pin::Pin;
use std::sync::{Arc, Condvar, Mutex};
use std::task::{Context, Poll};
use std::thread;
pub struct Queue<I> {
signal: Arc<Condvar>,
q: Arc<Mutex<VecDeque<I>>>
}
impl<I> Queue<I> {
pub fn new() -> Self {
Queue {
signal: Arc::new(Condvar::new()),
q: Arc::new(Mutex::new(VecDeque::new()))
}
}
pub fn was_empty(&self) -> bool {
let q = self.q.lock().unwrap();
q.is_empty()
}
pub fn push(&self, item: I) {
let mut q = self.q.lock().unwrap();
q.push_back(item);
drop(q);
self.signal.notify_one();
}
pub fn pop(&self) -> I {
let mut q = self.q.lock().unwrap();
let node = loop {
match q.pop_front() {
Some(node) => {
break node;
}
None => {
q = self.signal.wait(q).unwrap();
}
}
};
drop(q);
node
}
pub fn try_pop(&self) -> Option<I> {
let mut q = self.q.lock().unwrap();
q.pop_front()
}
pub fn apop(&self) -> PopFuture<I> {
PopFuture::new(self)
}
}
#[doc(hidden)]
pub struct PopFuture<I> {
signal: Arc<Condvar>,
q: Arc<Mutex<VecDeque<I>>>
}
impl<I> PopFuture<I> {
fn new(q: &Queue<I>) -> Self {
PopFuture {
signal: Arc::clone(&q.signal),
q: Arc::clone(&q.q)
}
}
}
impl<I: 'static + Send> Future for PopFuture<I> {
type Output = I;
fn poll(self: Pin<&mut Self>, ctx: &mut Context<'_>) -> Poll<Self::Output> {
let mut q = self.q.lock().unwrap();
match q.pop_front() {
Some(node) => Poll::Ready(node),
None => {
let waker = ctx.waker().clone();
let qc = Arc::clone(&self.q);
let signal = Arc::clone(&self.signal);
thread::spawn(move || {
let mut iq = qc.lock().unwrap();
while iq.is_empty() {
iq = signal.wait(iq).unwrap();
}
drop(iq);
waker.wake();
});
drop(q);
Poll::Pending
}
}
}
}