[go: up one dir, main page]

loom 0.5.0

Permutation testing for concurrent code
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

use loom::{
    sync::{
        atomic::{AtomicUsize, Ordering},
        Arc, RwLock,
    },
    thread,
};

#[test]
fn rwlock_two_writers() {
    loom::model(|| {
        let lock = Arc::new(RwLock::new(1));
        let c_lock = lock.clone();
        let c_lock2 = lock.clone();

        let atomic = Arc::new(AtomicUsize::new(0));
        let c_atomic = atomic.clone();
        let c_atomic2 = atomic.clone();

        thread::spawn(move || {
            let mut w = c_lock.write().unwrap();
            *w += 1;
            c_atomic.fetch_add(1, Ordering::Relaxed);
        });

        thread::spawn(move || {
            let mut w = c_lock2.write().unwrap();
            *w += 1;
            c_atomic2.fetch_add(1, Ordering::Relaxed);
        });
    });
}