use std::collections::{HashMap, VecDeque};
use super::crit_state::CritState;
pub struct GlobalLocks {
pub crit_map: HashMap<u64, CritState>, }
impl GlobalLocks {
pub fn new() -> Self {
Self {
crit_map: HashMap::new(),
}
}
pub fn enter(&mut self, cs_ptr: u64, tid: u64) -> bool {
let cs_state = self.crit_map.entry(cs_ptr).or_insert_with(|| CritState {
owner_tid: None,
recursion_count: 0,
wait_queue: VecDeque::new(),
});
match cs_state.owner_tid {
None => {
cs_state.owner_tid = Some(tid);
cs_state.recursion_count = 1;
true }
Some(owner) if owner == tid => {
cs_state.recursion_count += 1;
true }
Some(_) => {
if !cs_state.wait_queue.contains(&tid) {
cs_state.wait_queue.push_back(tid);
}
false }
}
}
pub fn leave(&mut self, cs_ptr: u64, tid: u64) -> Option<u64> {
if let Some(cs_state) = self.crit_map.get_mut(&cs_ptr) {
if cs_state.owner_tid == Some(tid) {
if cs_state.recursion_count > 1 {
cs_state.recursion_count -= 1;
None
} else {
if let Some(next_tid) = cs_state.wait_queue.pop_front() {
cs_state.owner_tid = Some(next_tid);
cs_state.recursion_count = 1;
Some(next_tid) } else {
cs_state.owner_tid = None;
cs_state.recursion_count = 0;
None
}
}
} else {
None
}
} else {
None
}
}
}