第2章进程管理案例.ppt

3. 接收原语 接收原语描述如下： procedure receive(b) begin j:=internal name; j为接收进程内部的标识符； wait(j.sm); wait(j.mutex); remove(j.mq, i); 将消息队列中第一个消息移出； signal(j.mutex); b.sender: =i.sender; 将消息缓冲区i中的信息复制到接收区b; b.size:=i.size; b.text:=i.text; end * 2.7 线 程 2.7.1 线程的基本概念 为使程序能并发执行，系统还必须进行以下的一系列操作。 1) 创建进程 2) 撤消进程 3) 进程切换  * 线程，有时被称为轻量级进程(Lightweight Process，LWP），是程序执行流的最小单元。 一个标准的线程由线程ID，当前指令指针(PC），寄存器集合和堆栈组 成。 另外，线程是进程中的一个实体，是被系统独立调度和分派的基本单位，线程自己不拥有系统资源，只拥有一点儿在运行中必不可少的资源，但它可与同属一个 进程的其它线程共享进程所拥有的全部资源。 一个线程可以创建和撤消另一个线程，同一进程中的多个线程之间可以并发执行。 由于线程之间的相互制约，致使线程 在运行中呈现出间断性。线程也有就绪、阻塞和运行三种基本状态。 就绪状态是指线程具备运行的所有条件，逻辑上可以运行，在等待处理机；运行状态是指线程占有处理机正在运行；阻塞状态是指线程在等待一个事件（如某个信号量），逻辑上不可执行。 每一个程序都至少有一个线程，若程序只有一个线程，那就是程序本身。 线程是程序中一个单一的顺序控制流程。 进程内一个相对独立的、可调度的执行单元，是系统独立调度和分派CPU的基本单位指运行中的程序的调度单位。 在单个程序中同时运行多个线程完成不同的工作，称为多线程。 2. 线程的属性 轻型实体。 (2) 独立调度和分派的基本单位。 (3) 可并发执行。 (4) 共享进程资源。 * 线程，有时被称为轻量级进程(Lightweight Process，LWP），是程序执行流的最小单元。 一个标准的线程由线程ID，当前指令指针(PC），寄存器集合和堆栈组 成。 另外，线程是进程中的一个实体，是被系统独立调度和分派的基本单位，线程自己不拥有系统资源，只拥有一点儿在运行中必不可少的资源，但它可与同属一个 进程的其它线程共享进程所拥有的全部资源。 一个线程可以创建和撤消另一个线程，同一进程中的多个线程之间可以并发执行。 由于线程之间的相互制约，致使线程 在运行中呈现出间断性。线程也有就绪、阻塞和运行三种基本状态。 就绪状态是指线程具备运行的所有条件，逻辑上可以运行，在等待处理机；运行状态是指线程占有处理机正在运行；阻塞状态是指线程在等待一个事件（如某个信号量），逻辑上不可执行。 每一个程序都至少有一个线程，若程序只有一个线程，那就是程序本身。 线程是程序中一个单一的顺序控制流程。 进程内一个相对独立的、可调度的执行单元，是系统独立调度和分派CPU的基本单位指运行中的程序的调度单位。 在单个程序中同时运行多个线程完成不同的工作，称为多线程。 3. 线程的状态 (1) 状态参数 在OS中的每一个线程都可以利用线程标识符和一组状态参数进行描述。状态参数通常有这样几项： ① 寄存器状态， 它包括程序计数器PC和堆栈指针中的内容； ② 堆栈， 在堆栈中通常保存有局部变量和返回地址； ③ 线程运行状态， 用于描述线程正处于何种运行状态； ④ 优先级， 描述线程执行的优先程度； ⑤ 线程专有存储器， 用于保存线程自己的局部变量拷贝； ⑥ 信号屏蔽， 即对某些信号加以屏蔽。 * (2) 线程运行状态 如同传统的进程一样，在各线程之间也存在着共享资源和相互合作的制约关系，致使线程在运行时也具有间断性。 相应地，线程在运行时，也具有下述三种基本状态： ① 执行状态，表示线程正获得处理机而运行； ② 就绪状态， 指线程已具备了各种执行条件，一旦获得CPU便可执行的状态； ③ 阻塞状态，指线程在执行中因某事件而受阻，处于暂停执行时的状态。 * 4. 线程的创建和终止 在多线程OS环境下，应用程序在启动时，通常仅有一个线程在执行，该线程被人们称为“初始化线程”。 它可根据需要再去创建若干个线程。在创建新线程时，需要利用一个线程创建函数(或系统调用)，并提供相应的参数，如指向线程主程序的入口指针、堆栈的大小，以及用于调度的优先级等。在线程创建函数执行完后，将返回一个