Nachos课件1线程机制.pptx

Nachos线程机制实习;主要内容;面对Nachos 你的第一感觉是什么;Nachos初体验 （运行Nachos）;在哪里编写自己的代码 原来文件中 比如Lock类的完善 增加新文件怎么办 Mm **_H 与 **_C **_O Makefile **.o: 每写一个.cc文件应对应一个.o;同步机制;LOCK 两种实现方式;同步机制(管程); ;条件变量用来实现管程内部的等待机制，当调用管程过程的进程无法继续运行时，用于阻塞进程；条件变量的作用是维护等待进程队列。 条件变量的基本原语： Wait()：当进入管程的一个进程无法继续时，在条件变量上执行wait原语，将使该进程阻塞，进入等待队列。 Signal()：另一进程通过在该条件变量上执行signal操作，唤醒等待队列上的一个进程。 Broadcast(): 与signal的区别是要唤醒等待队列中所有进程。 ;1 在Condition类中增加用于维护等待进程队列的属性 Semaphore *waitQueue; // 这里使用信号量来维护等待进程队列 2 初始化等待队列 Condition::Condition(char* debugName) { name = debugName; waitQueue = new Semaphore(condition, 0); // initial state is waiting } 3 wait原语 void Condition::Wait(Lock* conditionLock) { // 当前进程必须持有锁才能进行wait操作 ASSERT(conditionLock-isHeldByCurrentThread()); conditionLock-Release(); // 释放锁，以便其他进程可以进入管程 waitQueue-P(); // 通过P操作，进入等待队列 conditionLock-Acquire();//被其他进程唤醒后，申请锁以继续执行该进程 };void Condition::Signal(Lock* conditionLock) { // conditionLock must be held by current thread ASSERT(conditionLock-isHeldByCurrentThread()); if(!waitQueue-IsEmpty()) // if the waiting queue is empty, do nothing waitQueue-V(); } void Condition::Broadcast(Lock* conditionLock) { // conditionLock must be held by current thread ASSERT(conditionLock-isHeldByCurrentThread()); while(!waitQueue-IsEmpty()) // { Signal(conditionLock); //signal all thread in the waiting queu } } ;简化的生产者消费者 一个生产者，一个消费者，缓冲区无大小限制 ;简化的生产者消费者 一个生产者，一个消费者，缓冲区无大小限制 ;Nachos的线程部分;进程是一个具有一定独立功能的程序关于某个数据集合的一次运行活动。 从实现角度看，进程是一种数据结构， 目的在于清晰地刻划动态系统的内在规律，有效管理和调度进入计算机系统主存储器运行的程序。 进程的基本状态 （就绪，运行，阻塞） 进程控制（创建，阻塞，唤醒） 进程调度 ;Nachos中的线程;Nachos中的线程调度;Thread Life Cycle;1 增加属性 userId , threadId ;线程扩充（二）;线程扩充（三）;线程扩充（三）