-
Notifications
You must be signed in to change notification settings - Fork 6
Expand file tree
/
Copy pathtest_debug.rs
More file actions
42 lines (36 loc) · 1.47 KB
/
test_debug.rs
File metadata and controls
42 lines (36 loc) · 1.47 KB
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
use std::sync::atomic::{AtomicU8, Ordering};
use bitflags::bitflags;
bitflags\! {
#[derive(Debug, Clone, Copy, PartialEq, Eq)]
struct ProcessState: u8 {
const RUNNING = 1 << 0;
const STOPPED = 1 << 1;
const ZOMBIE = 1 << 2;
}
}
fn main() {
let state = AtomicU8::new(ProcessState::RUNNING.bits());
// Simulate what happens during concurrent transitions
println\!("Initial: {:08b}", state.load(Ordering::Acquire));
// Thread 1: transition_to_stopped
let result = state.fetch_update(Ordering::Release, Ordering::Relaxed, |curr| {
let mut flags = ProcessState::from_bits_truncate(curr);
println\!("Thread 1 sees: {:?} ({:08b})", flags, curr);
if flags.contains(ProcessState::ZOMBIE) || \!flags.contains(ProcessState::RUNNING) {
None
} else {
flags.remove(ProcessState::RUNNING);
flags.insert(ProcessState::STOPPED);
println\!("Thread 1 setting to: {:?} ({:08b})", flags, flags.bits());
Some(flags.bits())
}
});
println\!("After T1: {:08b}, result: {:?}", state.load(Ordering::Acquire), result);
// Check the state
let bits = state.load(Ordering::Acquire);
let flags = ProcessState::from_bits_truncate(bits);
println\!("Checking: running={}, stopped={}, zombie={}",
flags.contains(ProcessState::RUNNING),
flags.contains(ProcessState::STOPPED),
flags.contains(ProcessState::ZOMBIE));
}