操作系统课件第2章 进程的描述与控制.pptVIP

* * * 2.6.3 直接消息传递系统实例 1.消息缓冲队列通信机制中的数据结构 type struct processcontrol_block { …… struct message_buffer *mq; 消息队列队首指针 semaphore mutex; 消息队列互斥信号量 semaphore sm; 消息队列资源信号量 …… }PCB (1) 消息缓冲区 在利用消息缓冲队列通信机制时，还应增加用于对消息队列进行操作和实现同步的信号量，并将它们置入进程的PCB中。在PCB中应增加的数据项可描述如下： (2) PCB中有关通信的数据项 2.6.3 直接消息传递系统实例 1.消息缓冲队列通信机制中的数据结构 2.发送原语 2.6.3 直接消息传递系统实例 1.消息缓冲队列通信机制中的数据结构 2.发送原语 void send(receiver, a) { getbuf(a.size,i); 根据a.size申请缓冲区； copy(i.sender,a.sender); 将发送区a中的信息复制到消息缓冲区之中； i.sender=a.sender; i.size=a.size; copy(i.text,a.text); i.next=0; getid(PCBset, receiver.j); 获得接收进程内部标识符； wait(j.mutex); insert(j.mq, i); 将消息缓冲区插入消息队列； signal(j.mutex); signal(j.sm); } 2.6.3 直接消息传递系统实例 1.消息缓冲队列通信机制中的数据结构 2.发送原语 3.接收原语 接收原语描述如下： void receive(b) { j=internal name; j为接收进程内部的标识符； wait(j.sm); wait(j.mutex); remove(j.mq, i); 将消息队列中第一个消息移出； signal(j.mutex); copy(b.sender, i.sender); 将消息缓冲区i中的信息复制到接收区b; b.size=i.size; copy(b.text, i.text); releasebuf(i); } 2.7 线程(Threads)的基本概念 2.7.1 线程的引入 1.进程的2个基本属性 1) 创建进程 2) 撤消进程 3) 进程切换 传统的进程“太重”，在多处理机环境（如对称多处理机SMP）下进程调度、分派和切换时都需花费较大的时间和空间开销。 拥有资源的独立单位 独立调度和分派的基本单位 2.进程并发执行所需付出的时空开销 2.7.1 线程的引入 1.进程的2个基本属性 2.进程并发执行所需付出的时空开销 3.线程作为调度和分派的基本单位 轻型实体。 (2)可并发执行。 (3)共享进程资源。 适宜多处理机系统 2.7.2 线程与进程的比较 1调度单位:在传统的操作系统中，拥有资源的基本单位和独立调度、分派的基本单位都是进程。现在分离了。 2并发性：在引入线程的操作系统中，不仅进程之间可以并发执行，而且在一个进程中的多个线程之间亦可并发执行，因而使操作系统具有更好的并发性，从而能更有效地使用系统资源和提高系统吞吐量。 3 拥有资源：不论是传统的操作系统，还是设有线程的操作系统，进程都是拥有资源的一个独立单位，它可以拥有自己的资源。 4 独立性：线程的独立性要弱于进程。 5 系统开销：由于在创建或撤消进程时，系统都要为之分配或回收资源，如内存空间、I/O设备等。因此，操作系统所付出的开销将明显地大于在创建或撤消线程时的开销。 6 支持多处理机系统 2.7.3 线程的状态和线程控制块 1 线程运行的三个状态 如同传统的进程一样，在各线程之间也存在着共享资源和相互合作的制约关系，致使线程在运行时也具有间断性。 相应地，线程在运行时，也具有下述三种基本状态： ① 执行状态，表示线程正获得处理机而运行； ② 就绪状态， 指线程已具备了各种执行条件，一旦获得CPU便可执行的状态； ③ 阻塞状态，指线程在执行中因某事件而受阻，处于暂停执行时的状态。 2.7.3 线程的状态和线程控制块 2 线程控制块TCB 在OS中的每一个线程都可以利用线程标识符和一组状态参数进行描述，即线程控制块。状态参数通常有这样几项： ① 寄存器状态， 它包括程序计数器PC和堆栈指针中的内容；