2023-03-08 15:45:35 +01:00
|
|
|
use crate::utility::list::List;
|
|
|
|
use crate::kernel::thread::Thread;
|
|
|
|
use crate::simulator::interrupt::InterruptStatus::InterruptOff;
|
|
|
|
use crate::simulator::machine::Machine;
|
2023-03-08 16:39:00 +01:00
|
|
|
use std::rc::Rc;
|
|
|
|
|
|
|
|
|
|
|
|
use super::scheduler::Scheduler;
|
2023-03-08 15:45:35 +01:00
|
|
|
|
|
|
|
pub struct Semaphore{
|
|
|
|
|
|
|
|
counter:i32,
|
|
|
|
waiting_queue:List<Rc<Thread>>
|
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
impl Semaphore{
|
|
|
|
|
2023-03-08 16:39:00 +01:00
|
|
|
pub fn p(&mut self, current_thread: Rc<Thread>, machine: &mut Machine){
|
2023-03-08 15:45:35 +01:00
|
|
|
let old_status = machine.interrupt.set_status(InterruptOff);
|
2023-03-08 16:39:00 +01:00
|
|
|
self.counter -= 1;
|
2023-03-08 15:45:35 +01:00
|
|
|
if self.counter < 0 {
|
|
|
|
self.waiting_queue.push(Rc::clone(¤t_thread));
|
|
|
|
current_thread.sleep();
|
|
|
|
}
|
|
|
|
machine.interrupt.set_status(old_status);
|
|
|
|
}
|
|
|
|
|
2023-03-08 16:39:00 +01:00
|
|
|
pub fn v(&mut self, machine: &mut Machine, scheduler: &mut Scheduler){
|
2023-03-08 15:45:35 +01:00
|
|
|
let old_status = machine.interrupt.set_status(InterruptOff);
|
2023-03-08 16:39:00 +01:00
|
|
|
self.counter -= 1;
|
|
|
|
if self.waiting_queue.peek() != None {
|
|
|
|
scheduler.ready_to_run(self.waiting_queue.pop().unwrap());
|
2023-03-08 15:45:35 +01:00
|
|
|
}
|
|
|
|
machine.interrupt.set_status(old_status);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
pub struct Lock{
|
|
|
|
|
2023-03-08 16:39:00 +01:00
|
|
|
owner: Rc<Thread>,
|
|
|
|
waiting_queue:List<Rc<Thread>>,
|
|
|
|
free: bool
|
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
impl Lock {
|
|
|
|
pub fn acquire(&mut self, machine: &mut Machine, current_thread: Rc<Thread>) {
|
|
|
|
let old_status = machine.interrupt.set_status(InterruptOff);
|
|
|
|
|
|
|
|
if self.free {
|
|
|
|
self.free = false;
|
|
|
|
self.owner = current_thread;
|
|
|
|
} else {
|
|
|
|
self.waiting_queue.push(Rc::clone(¤t_thread));
|
|
|
|
current_thread.sleep();
|
|
|
|
}
|
|
|
|
|
|
|
|
machine.interrupt.set_status(old_status);
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn release(&mut self, machine: &mut Machine, scheduler: &mut Scheduler, current_thread: Rc<Thread>) {
|
|
|
|
let old_status = machine.interrupt.set_status(InterruptOff);
|
|
|
|
|
|
|
|
if self.is_held_by_current_thread(current_thread) {
|
|
|
|
if self.waiting_queue.peek() != None {
|
|
|
|
self.owner = self.waiting_queue.pop().unwrap();
|
|
|
|
scheduler.ready_to_run(Rc::clone(&self.owner));
|
|
|
|
} else {
|
|
|
|
self.free = true;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
machine.interrupt.set_status(old_status);
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn is_held_by_current_thread(&mut self, current_thread: Rc<Thread>) -> bool {
|
|
|
|
Rc::ptr_eq(&self.owner, ¤t_thread)
|
|
|
|
}
|
2023-03-08 15:45:35 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
pub struct Condition{
|
|
|
|
|
2023-03-08 16:39:00 +01:00
|
|
|
waiting_queue:List<Rc<Thread>>
|
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
impl Condition {
|
|
|
|
|
|
|
|
pub fn wait(&mut self, machine: &mut Machine, current_thread: Rc<Thread>) {
|
|
|
|
let old_status = machine.interrupt.set_status(InterruptOff);
|
|
|
|
|
|
|
|
self.waiting_queue.push(Rc::clone(¤t_thread));
|
|
|
|
current_thread.sleep();
|
|
|
|
|
|
|
|
machine.interrupt.set_status(old_status);
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn signal(&mut self, machine: &mut Machine, scheduler: &mut Scheduler) {
|
|
|
|
let old_status = machine.interrupt.set_status(InterruptOff);
|
|
|
|
|
|
|
|
if self.waiting_queue.peek() != None {
|
|
|
|
scheduler.ready_to_run(self.waiting_queue.pop().unwrap());
|
|
|
|
}
|
|
|
|
|
|
|
|
machine.interrupt.set_status(old_status);
|
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn broadcast(&mut self, machine: &mut Machine, scheduler: &mut Scheduler) {
|
|
|
|
let old_status = machine.interrupt.set_status(InterruptOff);
|
|
|
|
|
|
|
|
while self.waiting_queue.peek() != None {
|
|
|
|
scheduler.ready_to_run(self.waiting_queue.pop().unwrap());
|
|
|
|
}
|
|
|
|
machine.interrupt.set_status(old_status);
|
|
|
|
|
|
|
|
}
|
|
|
|
|
2023-03-08 15:45:35 +01:00
|
|
|
}
|