use std::fmt;
use std::sync::atomic::{AtomicIsize, Ordering};
use std::sync::Arc;
use std::time::Duration;
use super::blocking::SyncBlocker;
use crate::cancel::trigger_cancel_panic;
use crate::park::ParkError;
use crate::std::queue::seg_queue::SegQueue as WaitList;
pub struct Semphore {
cnt: AtomicIsize,
to_wake: WaitList<Arc<SyncBlocker>>,
}
impl Semphore {
pub fn new(init: usize) -> Self {
assert!(init < ::std::isize::MAX as usize);
Semphore {
to_wake: WaitList::new(),
cnt: AtomicIsize::new(init as isize),
}
}
#[inline]
fn wakeup_one(&self) {
self.to_wake
.pop()
.map(|w| {
w.unpark().unwrap();
if w.take_release() {
self.post();
}
})
.expect("got null blocker!");
}
fn wait_timeout_impl(&self, dur: Option<Duration>) -> bool {
if self.try_wait() {
return true;
}
let cur = SyncBlocker::current();
self.to_wake.push(cur.clone());
if self.cnt.fetch_sub(1, Ordering::SeqCst) > 0 {
self.wakeup_one();
}
match cur.park(dur) {
Ok(_) => true,
Err(err) => {
if cur.is_unparked() {
self.post();
} else {
cur.set_release();
if cur.is_unparked() && cur.take_release() {
self.post();
}
}
if err == ParkError::Canceled {
trigger_cancel_panic();
}
false
}
}
}
pub fn wait(&self) {
self.wait_timeout_impl(None);
}
pub fn wait_timeout(&self, dur: Duration) -> bool {
self.wait_timeout_impl(Some(dur))
}
pub fn try_wait(&self) -> bool {
let mut cnt = self.cnt.load(Ordering::SeqCst);
while cnt > 0 {
match self
.cnt
.compare_exchange(cnt, cnt - 1, Ordering::SeqCst, Ordering::SeqCst)
{
Ok(_) => return true,
Err(x) => cnt = x,
}
}
false
}
pub fn post(&self) {
let cnt = self.cnt.fetch_add(1, Ordering::SeqCst);
assert!(cnt < ::std::isize::MAX);
if cnt < 0 {
self.wakeup_one();
}
}
pub fn get_value(&self) -> usize {
let cnt = self.cnt.load(Ordering::SeqCst);
if cnt > 0 {
return cnt as usize;
}
0
}
}
impl fmt::Debug for Semphore {
fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
let cnt = self.cnt.load(Ordering::SeqCst);
write!(f, "Semphore {{ cnt: {} }}", cnt)
}
}
#[cfg(test)]
mod tests {
#![feature(test)]
use super::*;
use crate::std::sync::channel::channel;
use std::sync::mpsc::TryRecvError;
use std::sync::Arc;
use std::thread;
use std::time::Duration;
#[test]
fn sanity_1() {
let sem = Arc::new(Semphore::new(0));
let sem2 = sem.clone();
thread::spawn(move || {
sem2.post();
});
sem.wait();
}
#[test]
fn sanity_2() {
let total = 10;
let init = 5;
let sem = Arc::new(Semphore::new(init));
let (tx, rx) = channel();
println!("sem={:?}", sem);
for i in 0..total {
let sem2 = sem.clone();
let tx2 = tx.clone();
co!(move || {
sem2.wait();
tx2.send(i).unwrap();
});
}
let mut sum = 0;
for _i in 0..init {
sum += rx.recv().unwrap();
}
assert_eq!(rx.try_recv(), Err(TryRecvError::Empty));
for _i in 0..total - init {
sem.post();
}
for _i in 0..total - init {
sum += rx.recv().unwrap();
}
println!("sem={:?}", sem);
assert_eq!(rx.try_recv(), Err(TryRecvError::Empty));
assert_eq!(sum, (0..total).sum());
}
#[test]
fn test_semphore_canceled() {
use crate::sleep::sleep;
let sem1 = Arc::new(Semphore::new(0));
let sem2 = sem1.clone();
let sem3 = sem1.clone();
let h1 = co!(move || {
sem2.wait();
});
let h2 = co!(move || {
sleep(Duration::from_millis(50));
sem3.wait();
});
sleep(Duration::from_millis(100));
println!("sem1={:?}", sem1);
unsafe { h1.coroutine().cancel() };
h1.join().unwrap_err();
sem1.post();
h2.join().unwrap();
}
#[test]
fn test_semphore_co_timeout() {
use crate::sleep::sleep;
let sem1 = Arc::new(Semphore::new(0));
let sem2 = sem1.clone();
let sem3 = sem1.clone();
let h1 = co!(move || {
let r = sem2.wait_timeout(Duration::from_millis(10));
assert_eq!(r, false);
});
let h2 = co!(move || {
sleep(Duration::from_millis(50));
sem3.wait();
});
h1.join().unwrap();
sem1.post();
h2.join().unwrap();
}
#[test]
fn test_semphore_thread_timeout() {
use crate::sleep::sleep;
let sem1 = Arc::new(Semphore::new(0));
let sem2 = sem1.clone();
let sem3 = sem1.clone();
let h1 = thread::spawn(move || {
let r = sem2.wait_timeout(Duration::from_millis(10));
assert_eq!(r, false);
});
let h2 = thread::spawn(move || {
sleep(Duration::from_millis(50));
sem3.wait();
});
h1.join().unwrap();
sem1.post();
h2.join().unwrap();
}
}