ref_count 0.1.2

Efficient, low-level asynchronous synchronization for real-time and embedded systems
Documentation 
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

#[cfg(loom)]
mod loom {
    use ref_count::array_queue::ArrayQueue;
    use loom::thread;

    #[test]
    fn test_concurrent_push_pop() {
        loom::model(|| {
            let queue = ArrayQueue::<i32, 5>::new();
            let queue = std::sync::Arc::new(queue);

            let producer = {
                let queue = queue.clone();
                thread::spawn(move || {
                    queue.push(5).unwrap();
                })
            };

            let consumer = {
                let queue = queue.clone();
                thread::spawn(move || {
                    if let Some(item) = queue.pop() {
                        assert_eq!(item, 5);
                    }
                })
            };

            producer.join().unwrap();
            consumer.join().unwrap();
        });
    }
}