Skip to content

Commit

Permalink
test: Add barrier test
Browse files Browse the repository at this point in the history
Signed-off-by: John Nunley <dev@notgull.net>
  • Loading branch information
notgull committed May 26, 2024
1 parent b3dc9e6 commit fa26d38
Showing 1 changed file with 45 additions and 0 deletions.
45 changes: 45 additions & 0 deletions tests/loom.rs
Original file line number Diff line number Diff line change
@@ -0,0 +1,45 @@
#![cfg(loom)]

use loom::sync::{mpsc, Arc};
use loom::thread;

use async_lock::Barrier;

#[test]
fn barrier_smoke() {
loom::model(|| {
const N: usize = 10;

let barrier = Arc::new(Barrier::new(N));

for _ in 0..10 {
let (tx, rx) = mpsc::channel();

for _ in 0..loom::MAX_THREADS - 1 {
let c = barrier.clone();
let tx = tx.clone();

thread::spawn(move || {
let res = c.wait_blocking();
tx.send(res.is_leader()).unwrap();
});
}

// At this point, all spawned threads should be blocked,
// so we shouldn't get anything from the cahnnel.
let res = rx.try_recv();
assert!(res.is_err());

let mut leader_found = barrier.wait_blocking().is_leader();

// Now, the barrier is cleared and we should get data.
for _ in 0..N - 1 {
if rx.recv().unwrap() {
assert!(!leader_found);
leader_found = true;
}
}
assert!(leader_found);
}
});
}

0 comments on commit fa26d38

Please sign in to comment.