实验三操作系统实验Nacho.pdfVIP

实验三 操作系统实验 Nacho 一、实验人员： 二、实验目的： 本次实验的目的在于掌握使用 nachos 中的线程序解决较为复杂的并发问题。实验内容 分三部分： 实现事件栅栏原语并进行正确性测试； 实现闹钟原语并进行正确性测试； 利用事 件栅栏和闹钟原语来解决电梯问题（详细内容请看 nachos-labs.pdf ）。 三、实验内容： 1.实现事件栅栏原语 2.实现闹钟原语 3. 解决电梯问题 四、实验步骤： 1. 实现事件栅栏原语 EventBarrier.h #ifndef EVENTBARRIER_H #define EVENTBARRIER_H #include synch-sem.h #define SIGNALED 1 #define UNSIGNALED 0 class EventBarrier{ public: EventBarrier(); ~EventBarrier(); void Wait(); void Signal(); void Complete(); int Waiters(); private: bool state; Condition *waits; Condition *waitc; Lock *barrier; Lock *inbarrier; int waiter; }; #endif EventBarrier.cc #include EventBarrier.h #include thread.h EventBarrier::EventBarrier() { waits=new Condition(waitsignal); waitc=new Condition(waitcomplete); barrier=new Lock(barrier); inbarrier=new Lock(inbarrier); state=UNSIGNALED; waiter=0; } EventBarrier::~EventBarrier() { delete waits; delete waitc; } void EventBarrier::Wait() { barrier-Acquire(); waiter++; while(state==UNSIGNALED) waits-Wait(barrier); barrier-Release(); } void EventBarrier::Signal() { barrier-Acquire(); state=SIGNALED; waits-Broadcast(barrier); barrier-Release(); inbarrier-Acquire(); waitc-Wait(inbarrier); inbarrier-Release(); state=UNSIGNALED; } void EventBarrier::Complete() { inbarrier-Acquire(); waiter--; if(waiter==0) { waitc-Broadcast(inbarrier); } else { waitc-Wait(inbarrier); } inbarrier-Relea