实验二线程与同步 nachos02.docVIP

实验报告 2302010220不可不戒 实现Nachos的同步机制：锁和条件变量，并利用这些同步机制实现几个基础工具类 二．首先根据老师提供的文档，对必要的文件进行了理解后进行实验 实现锁机制和条件变量，并利用这些同步机制将实验一中所实现双向有序链表类修改成线程安全的 使用Thread::Sleep实现锁机制和条件变量 在每一个函数(操作)开始时先开中断，结束后在关中断。 锁Lock Acquire() 申请锁 当锁lockValue=false,说明锁不可用，当前线程进入睡眠状态。 当锁lockValue=true,说明锁可用，当前线程获得该锁，继续运行。 Void Lock::Acquire() { //ASSERT(!isHeldByCurrentThread()); IntStatus oldLevel=interrupt-SetLevel(IntOff); while(lockValue)//lock not available { queue-Append((void *)currentThread); currentThread-Sleep(); } lockValue=true;//lock available owner=currentThread;//record the new owner of the lock (void) interrupt-SetLevel(oldLevel); } Release() 释放锁（注意：只有拥有锁的线程才能释放锁） lockValue=true 如果有其它线程等待该锁，将其中的一个唤醒，进入就绪态。 bool isHeldByCurrentThread()用于判定当前进程是否是锁的持有者。 void Lock::Release() { Thread *thread; ASSERT(isHeldByCurrentThread()); IntStatus oldLevel=interrupt-SetLevel(IntOff); thread=(Thread *)queue-Remove(); if(thread !=NULL) scheduler-ReadyToRun(thread); lockValue=false; owner=NULL; (void) interrupt-SetLevel(oldLevel); } 2. 条件变量Condition Wait、Signal以及BroadCast，所有的这些操作必须在当前线程获得一个锁的前提下而且所有对一个条件变量进行的操作必须建立在同一个锁的前提下 Wait() 线程等待条件变量 释放该锁 进入睡眠状态 重新申请该锁 void Condition::Wait(Lock* conditionLock) { ASSERT(conditionLock-isHeldByCurrentThread()); IntStatus oldLevel=interrupt-SetLevel(IntOff); conditionLock-Release(); queue-Append((void *)currentThread); currentThread-Sleep(); conditionLock-Acquire(); (void)interrupt-SetLevel(oldLevel); } Signal() 唤醒一个等待该条件变量的线程（如果存在的话） void Condition::Signal(Lock* conditionLock) { Thread *thread; ASSERT(conditionLock-isHeldByCurrentThread()); IntStatus oldLevel=interrupt-SetLevel(IntOff); thread=(Thread *)queue-Remove();