2.1 前趋图和程序执行
2.1.1 前趋图
定义：前趋图是一个有向无环图(DAG)，用于描述进程之间执行的前后关系，其实就是一个拓扑排序。 – 结点：表示一个程序段或进程，或一条语句 – 有向边：结点之间的偏序或前序关系“→”
注意：前趋图中禁止存在循环！
2.1.2 程序的顺序执行及其特征
1. 程序的顺序执行
一个程序由若干个程序段组成，而这些程序段的执行必须是顺序的，这种程序执行的方式就称为程序的顺序执行。
2. 程序顺序执行时的特征
(1) 顺序性 处理机的操作严格按照程序所规定的顺序执行。 (2) 封闭性 程序一旦开始执行，其计算结果不受外界因素的影响。 (3) 可再现性 程序执行的结果与它的执行速度无关(即与时间无关)，而只与初始条件有关。
2.1.3 程序的并发执行及其特征
1.程序的并发执行
上图中可以抽象出四个程序，列出其前趋图，发现S1和S2互不干扰，可以并发执行。
2.程序并发执行时的特征
(1)间断性 在多道程序设计的环境下，程序的并发执行，以及为完成一项任务而相互合作，这些程序之间要共享系统的资源，形成了相互制约的关系，即形成了一定的先后顺序。相互制约导致并发程序具有“执行—暂停—执行”这种间断性的活动规律。 (2)失去封闭性 程序在并发执行时，系统的资源状态由多道程序来改变，程序运行失去封闭性。程序的运行受到其他程序的影响。 (3)不可再现性 程序在并发执行时，多次运行初始条件相同的同一程序会得出不同的运行结果。
2.2 进程的描述
2.2.1进程的定义和特征
1.定义
- 进程：在一个数据集合上的运行过程，是系统进行资源分配和调度的一个独立单位，是可并发执行的程序在一个数据集合上的运行过程。
- 进程的结构： 程序 数据 PCB
进程控制块(Processing Control Block)是系统为了管理进程设置的一个专门的数据结构。系统用它来记录进程的外部特征，描述进程的运动变化过程。同时，系统可以利用PCB来控制和管理进程，所以说，PCB是系统感知进程存在的唯一标志。
2. 特征
- 动态性 可动态地创建、结束进程,进程由创建而产生，由调度而执行，有撤销而消亡。
- 并发性 多个进程实体同存于内存中，且能在一段时间内同时运行。
- 独立性 进程实体是一个能独立运行、独立获得资源和独立接受调度的基本单位。
- 制约性（异步性） 因访问共享数据/资源或进程间同步而产生制约，按各自独立的、不可预知的速度向前推进。
3.进程与程序
联系：
- 进程是操作系统处于执行状态程序的抽象（进程 = 程序 执行状态）。
- 同一个程序的多次执行过程对应为不同进程（异步性导致）。
- 进程执行需要的资源（内存和CPU）
区别：
- 进程是动态的，程序是静态的，程序是有序代码的集合，进程是程序的执行。
- 进程是暂时的，程序是永久的
- 进程与程序的组成不同
2.2.2进程的基本状态转换
1、进程的三种基本状态
(1)就绪状态(Ready)
进程已获得除CPU之外的所有必需的资源，一旦得到CPU控制权，立即可以运行。
(2)运行状态(Running)
进程已获得运行所必需的资源，它正在处理机上执行。
(3)阻塞状态(Blocked)
正在执行的进程由于发生某事件（如等待I/O）而暂时无法执行时，便放弃处理机而处于暂停状态，称该进程处于阻塞状态或等待状态。
2.创建状态和终止状态
当我们刚开始运行程序的时候，操作系统需要为该进程分配所需的内存空间等系统资源，并为其创建、初始化PCB。(如 分配进程标识符PID)，此时，该进程就处于创建态。而当进程结束时 (正常结束或者由于bug导致进程无法继续执行下去，如 整数除0错误)，操作系统会回收分配给该进程的系统资源以及撤销该进程的PCB…，目的是为了撤销该进程，此时，该进程就处于终止态。
- 创建态 进程正在被创建，操作系统为该进程分配系统资源、初始化PCB。
- 终止态 进程正在被撤销，操作系统会回收该进程拥有的系统资源、撤销PCB。
3. 五状态进程模型
– NULL→创建
一个新进程被产生出来执行一个程序。
– 创建→就绪
当进程被创建完成并初始化后，一切就绪准备运行时，变为就绪状态。
– 就绪→运行
处于就绪状态的进程被进程调度程序选中后，就分配到处理机上来运行
2.2.3 挂起状态和进程状态的转换
1.挂起操作的引入 虚拟存储中交换的需要（挤死了，还轮不到你用CPU，别占着茅坑不拉屎，滚到外存去）
2.引起挂起源于操作后三个进程状态的转换
- 活动就绪→静止就绪
- 活动阻塞→静止阻塞
- 静止就绪→活动就绪
- 静止阻塞→活动阻塞
2.2.4 进程控制块（Process Control Block）
1.OS中用于管理控制的数据结构（DS）
- OS对各类资源的管理与使用，通过对应的DS的描述与操作来实现
- OS对各类资源使用的状态信息，通过DS的建立、维护来实现 操作系统管理控制进程运行所用的信息集合，如图：
- 操作系统用PCB来描述进程的基本情况以及运行变化的过程
- PCB是进程存在的唯一标志，每个进程都在操作系统中有一个对应的PCB
- 进程创建：生成该进程的PCB，进程终止：回收它的PCB，进程的组织管理：通过对PCB的组织管理来实现。
2.进程控制块PCB的作用
- 作为独立运行基本单位的标志。
- 能实现间断性运行方式。
- 提供进程管理所需要的信息。
- 提供进程调度所需要的信息。
- 实现与其它进程的同步与通信。
3. 进程控制块中的信息
- 调度和状态信息：调度进程和处理机使用情况
- 进程间通信信息：进程间通信相关的各种标识
- 存储管理信息：指向进程映像存储空间数据结构
- 进程所用资源：进程使用的系统资源，如打开文件等
- 有关数据结构连接信息：与PCB相关的进程队列
4. 进程控制块的组织方式
- 链接方式 同一状态的进程其PCB成一链表，多个状态对应多个不同的链表
- 索引表 同一状态的进程归入一个索引表（由索引指向PCB），多个状态对应多 个不同的索引表
2.3 进程控制
2.3.1 操作系统的内核
内核：把常用的或与硬件关联度高的模块打包放到离硬件进的地方，常驻内存，提高效率。OS的内核运行在处理机的内核模式下，并在该模式下提供所有OS应具备的功能。
问：什么是处理机的内核模式？
1.处理机的执行模式(状态)
- 系统模式：又称管态或内核态，具有高特权，能执行一切指令，可访问所有寄存器和内存
- 用户模式：又称目态，具有低特权，仅能执行规定的指令，仅可访问规定寄存器和内存
2.一般OS内核的功能
- 支撑功能（底层）：中断处理，时钟管理，原语操作 > 原语（Primitive)，由若干指令组成，用于完成一定功能的过程。一个原语，是一个原子操作，是一个不可分割的执行单位，执行过程不允许被中断。其中的所有指令，要么全部执行，要么全不执行，运行在系统态，常驻内存。（两“全部”特性）
- 资源管理功能：进程管理，存储管理，设备操作
2.3.2 进程的创建
1. 进程的层次结构
在OS中，允许一个进程创建另一个进程，通常把创建进程的进程称为父进程，而把被创建的进程称为子进程。子进程可继续创建更多的孙进程，由此便形成了一个进程的层次结构。
2. 引起进程创建的事件
- 用户登录
- 作业调度
- 用户请求创建一个新进程
- 正在运行的进程执行了
- 创建进程的系统调用
2.3.3 进程的终止
1. 引起进程终止的事件
- 正常结束：批处理最后的Halt指令、分时的logs off 等
- 异常结束：越界错误、非法指令等
- 外界干预：操作员或操作系统干预、父进程请求、父进程终止
2. 进程的终止过程
找出被终止进程的PCB —– 若进程状态为运行态，置CPU调度标志为真,若其有子孙进程，终止其子孙进程并回收其资源 —– 回收终止进程的资源 —– 回收终止进程的PCB。
2.3.4 进程的阻塞与唤醒
1. 进程的阻塞
- 进入阻塞的条件： 请求并等待系统服务，无法马上完成 启动某种操作，无法马上完成 需要的数据没有到达
- 只有进程自身才能知道何时需要等待某种事件的发生(block原语）
- 阻塞过程：调用阻塞原语阻塞自己 -> 将PCB中状态改为阻塞，加入阻塞队列 -> 进程调度
2. 进程的唤醒
- 唤醒进程的情况： 被阻塞进程需要的资源可被满足 被阻塞进程等待的事件到达
- 进程只能被别的进程或操作系统唤醒（wakeup原语）
2.3.5 进程的挂起与激活
1. 进程的挂起
- 若处于活动就绪，则改为静止就绪；
- 若处于活动阻塞，则改为静止阻塞；
- 若挂起的进程正在执行，改为静止就绪后重新进行进程调度。
2. 进程的激活
- 激活原语先将进程从外存调入内存；
- 检查该进程的状态：
- 若为静止就绪，则改为活动就绪；
- 若为静止阻塞，则改为活动阻塞。
2.4 进程同步
2.4.1 进程同步的基本概念
进程同步：在多道程序环境下，进程是并发执行的，不同进程之间存在着不同的相互制约关系。
1. 并发进程间的同步与互斥
- 竞争关系（互斥）： 并发进程之间因相互争夺独占性资源而产生的竞争性制约关系（间接相互制约关系）
- 协作关系（同步））： 并发进程之间为完成共同任务，基于某个条件来协调执行先后关系而产生的协作制约关系（直接相互制约关系）
2. 临界区
- 临界资源：一段时间内只允许一个进程访问的资源称为临界资源或独占资源。
- 临界区(critical section)：每个进程中访问临界资源的那段代码称为临界区，每次只允许一个进程进入临界区，进入后，不允许其他进程进入。
- 进入区(entry section)：用于进入临界区前检查临界区是否已经被访问。
- 退出区(exit section)：将临界区正在被访问的标志恢复成未被访问。
- 剩余区(remainder section)：进程中其他部分称为剩余区。
这样，进程的代码就组织成了下面的形式：
代码语言：javascript复制entry_section
{
critical_section
}
exit_section
remainder_section3.同步机制应遵循的规则
- 空闲让进：没有进程在临界区时，任何进程可进入
- 忙则等待：有进程在临界区时，其他进程均不能进入临界区
- 有限等待：等待进入临界区的进程不能无限期等待
- 让权等待：不能进入临界区的进程，应释放CPU（如转换到阻塞状态）
2.4.2 临界区互斥的实现方法
1. 禁用中断
中断：中断是指计算机运行过程中，出现某些意外情况需主机干预时，机器能自动停止正在运行的程序并转入处理新情况的程序，处理完毕后又返回原被暂停的程序继续运行。
之所以会引发临界区的冲突访问，其根源在于一个进程在访问临界区时发生了进程的调度，使得另一个进程也进入了临界区进行访问。因此，在进程访问临界区时禁止调度就可以解决这个问题。
进入临界区：禁止所有中断，并保存标志； 离开临界区：使能所有中断，并恢复标志
- 缺点：
- 禁用中断后，进程无法被停止：整个系统都会为此停下来，可能导致其他进程处于饥饿状态
- 临界区可能很长，无法确定响应中断所需的时间（可能存在硬件影响）
- 不适用多处理器系统，在一个处理器上关闭中断，不能防止进程在其它处理器上执行相同的临界区代码
2. Peterson算法（软件解决）
- 共享变量
int turn;//表示该谁进入临界区
boolean flag[]; //表示进程是否准备好进入临界区- 进入区代码
flag[i] = true;
turn = j;
while (flag[j] && turn ==j)//如果轮到j进程并且准备好了，则i先阻塞记忆技巧： “非常谦让的代码”，准备进入了（flag[i] = true），则先让别人进入(turn =j)。
- 退出区代码
flag[i] = false;- 缺点：复杂，需要两个进程间的共享数据项。并没有做到让权等待原则，而是在忙等待，浪费CPU时间。
3. 软硬件协同：使用原子操作实现互斥锁
a. 概念：
锁是一个抽象的数据结构，一个二进制变量（锁定/解锁），使用锁来控制临界区访问。 一共有两个操作： Lock::Acquire()锁被释放前一直等待，然后得到锁。 Lock::Release()释放锁，唤醒任何等待的进程。 使用锁机制的临界区访问伪代码如下：
代码语言：javascript复制lock.acquire();// 一直等待并尝试获取锁
critical_section;//临界区
lock.release();// 释放b. 实现方式：
原子操作指令：现代CPU体系结构提供一些特殊的原子操作指令，实现了两个或两个以上动作的原子性，当这种指令执行时，被它访问的内存位置将不允许被其它指令同时访问。常见的比如测试和置位（Test-and-Set ）指令和交换指令（exchange）。
伪代码分别如下：
代码语言：javascript复制bool TestAndSet (bool *lock)
{
bool old = *lock;
*lock = true;
return old;
}lock赋值为1，返回lock的初始值。
代码语言：javascript复制void Exchange (bool *a, bool *b)
{
bool temp = *a;
*a = *b;
*b = temp;
}交换ab的值。
实现自旋锁（spin lock）
自旋锁这个概念是相对于互斥锁而言的。对于自旋锁，当一个进程不能得到锁资源时，并不会放弃CPU而进入阻塞状态，而是不断地在那里进行循环检测，因此称它为自旋锁。
代码语言：javascript复制class Lock{//TS实现自旋锁
bool value = 0;
void acquire();
void release();
}
Lock::acquire(){
while(test_and_set(&value)); //spin
}
Lock::release(){
value = 0;
}解释：最初的时候value为0，ts返回值为0，并且value变为1表示锁已经被获取，并且退出循环。如果有第二个进程，就会一直执行ts语句（value为1，返回1），直到第一个进程release之后立即获取锁。
代码语言：javascript复制Lock::acquire(){// exchange 实现自旋锁
bool temp = true;
while(1){
exchange(&value, &temp);
if(temp == false) break;
}
}
Lock::release(){
value = 0;
}利用ts指令实现无忙等待锁 无忙等待锁的基本思想和自旋锁是一样的，只是一旦进程不能进入临界区，则将它加入等待队列，并且进入阻塞状态。在一个进程释放了锁资源后，再挑选等待队列中的一个阻塞进程，并将它唤醒。
代码语言：javascript复制Lock:acquire(){
while(test_and_set(&value)){
add to waiting queue
wait(); // call schedule inside
}
}
Lock:release(){
value = 0;
if(!empty(waiting queue))
pick up a proc
wakeup_proc(this proc);
}c. 优缺点
- 优点： 适用于单处理器或者共享主存的多处理器中任意数量的进程同步 简单并且容易证明 支持多临界区
- 缺点： 忙等待消耗处理器时间 可能导致饥饿，进程离开临界区时有多个等待进程的情况 死锁，拥有临界区的低优先级进程，请求访问临界区的高优先级进程获得处理器并等待临界区
2.4.3 信号量机制
为了解决同步互斥问题，操作系统会提供一些高级抽象方法供应用进程调用，这样应用进程就不需要自己利用繁琐的软件方法来解决同步互斥了。存在三种高级抽象方法，分别是锁，信号量与条件变量，其中锁也在上面那篇中讨论过了，这里主要是讨论信号量机制。
1. 信号量概念
信号量代表了当前剩余系统资源数量。如果有某个进程申请占用资源，信号量的值-1，反之有进程释放资源，信号量的值 1。要实现上述的两个过程需要有两个原子操作：P操作和V操作，分别表示尝试减少和增加信号量的值。这两个原子操作连同表示剩余资源数的值封装在一起称为信号量，所以，信号量就是一种抽象数据类型。
2.信号量的实现
- 当一个资源请求占用资源时，先查看当前
sem值,如果sem > 0说明当前有多余的资源，分配出去，并且sem--;如果sem <= 0说明当前资源不足，依然进行sem--，但是要将进程放入阻塞队列。 - 当一个进程释放资源时，将
sem表示当前空余资源 1，若sem <= 0,说明有进程在阻塞队列中等待资源的释放，则将队列中相应的进程取出将其唤醒；若sem > 0，说明当前没有进程在队列中，直接结束程序即可。 - 伪代码如下：
class Semaphore{
private:
int sem;
WaitQueue q;
public:
void signal();//V操作
void wait();//P操作
}
void Semaphore::wait(){
--sem;
if(sem < 0){
add current process to q;
schedule();
}
}
void Semaphore::signal(){
sem;
if(sem <= 0){
pick a process in q;
wakeup_proc();
}
}- 整数型与记录型信号量： 两者区别就是记录型信号量多了一个阻塞队列（一般为链表形式链接全部阻塞进程），相比于整数型，记录型不会出现“忙等”现象，上述的伪代码也是采用记录型信号量。
3. AND型信号量
一个进程往往需要多个共享资源后才能工作，如果不进行合理规范就会出现死锁现象，于是，形成一种新的型号量，规定：将进程在整个运行过程中需要的所有资源，一次性全部分配给进程，待进程使用完后再一起释放。只要尚有一个资源未能分配给进程，其他所有可能为之分配的资源，也不分配给它。即要么把它所请求的资源全部分配给进程，要不一个也不。
2.4.4 信号量的应用
1. 实现临界区的互斥访问
类比锁机制，可以用信号量来模拟一个锁，即给每个临界区设置一个初始信号值为1的信号量，并在进入区设置V操作，退出区设置P操作。 伪代码如下：
代码语言：javascript复制mutex = new Semaphore(1);
mutex->wait();//等待缓冲区有空闲位置，进入后信号量为0，其他进程无法进入
critical_section();
mutex->signal();//释放缓冲区2. 实现进程间同步
进程间同步必然涉及到某些操作的先后执行顺序，例如进程1的prev()函数必须先于进程2的next()函数执行，如果进程2运行到了next()函数处时，prev()还没有执行，则进程2只能等待。下面就叙述如何利用信号量实现这种关系。
从信号量的观点来看，进程2等待的prev函数执行，实际上也是等待某种资源，而这种资源只有通过进程1才可以释放，在此之前这种资源的数量都是零。于是可以形成下面的代码：
condition = new semaphore(0);//初始化为0
//for process 1
process1(){
prev();//直接运行
condition->signal();//释放锁，信号值为1，唤醒next进程
}
//for process 2
process2(){
condition->wait();//由于初始值为0，一开始进入阻塞状态，直到signal唤醒
next();
}为了实现两进程之间的同步，信号量必须成对地出现在两个不同的进程中，并且其位置也要相互匹配。
2.4.5 管程机制
1.管程的概念
管程是一种用于多进程互斥访问共享资源的程序结构
- 采用面向对象方法，简化了进程间的同步控制
- 任一时刻最多只有一个进程执行管程代码
- 正在管程中的进程可临时放弃管程的互斥访问，等待事件出现时恢复（避免死锁）
- 作用：在模块/对象中收集相关共享数据，定义访问共享数据的方法。
2. 管程的组成
- 一个锁：控制管程代码互斥访问。
- 0或多个条件变量：管理共享数据的并发访问。
3. 条件变量
- 条件变量是管程内的等待机制： 进入管程的进程因资源被占用而进入等待状态 每个条件变量表示一种等待原因，对应一个等待队列
- Wait()操作 ：将自己阻塞在等待队列中，唤醒一个等待者或释放管程的互斥访问
- Signal()操作：将等待队列中的一个进程唤醒，等待队列为空，则等同空操作
4.实现
代码语言：javascript复制Class condition{
int numWaiting = 0;
WaitQueue q;
}
Condition :: Wait(lock){
numWaiting ;
Add this thread t to q;
release(lock);//释放锁，放弃对管程的互斥访问
schedule();
require(lock);
}
Condition::Signal(){
if(numWaiting > 0) {
Remove a thread t from q;
wakeup(t);
numWaiting—-;
}
}2.5 经典进程的同步问题
2.5.1 生产者-消费者问题
1.问题描述
有两个进程，一组生产者进程和一组消费者进程共享一个初始为空、固定大小为n的缓存（缓冲区）。生产者的工作是制造一段数据，只有缓冲区没满时，生产者才能把消息放入到缓冲区，否则必须等待，如此反复; 同时，只有缓冲区不空时，消费者才能从中取出消息，一次消费一段数据（即将其从缓存中移出），否则必须等待。由于缓冲区是临界资源，它只允许一个生产者放入消息，或者一个消费者从中取出消息。
核心：
- 能否互斥访问共享资源(不能同时访问共享数据)；
- 当公共容器满时，生产者能否继续生产(生产者应阻塞并唤醒消费者消费)；
- 当公共容器为空时，消费者能否继续消费(消费者应阻塞并唤醒生产者生产)。
生产者和消费者对缓冲区互斥访问是互斥关系(异步的)，同时生产者和消费者又是一个相互协作的关系，只有生产者生产之后，消费者才能消费，他们也是同步关系。
2.用信号量实现:
代码语言：javascript复制mutex = new semaphore(1);//保证缓冲区互斥
emptybuffer = new semaphore(n);//缓冲区空闲位置数
fullbuffer = new semaphore(0);//缓冲区存放物品数量
//for producer
produce(){
produce an item in nextp;//生成一件物品 nextp
emptybuffer->wait();//等待缓冲区有空闲位置，需要设置在mutex之前
mutex->wait();//确保放入产品的过程中没有其他进程访问缓冲区
buffer[in] = nextp;//放入产品
in = (in 1) % N;//缓冲池组织为循环缓冲，放入产品指针移动到下一位
mutex->signal();//唤醒其他进程可以进入缓冲区
fullbuffer->signal();//通知消费者缓冲区有资源可以取走了
}
//for consumer
consume(){
consumer the item in nextc;
fullbuffer->wait();//等待缓冲区有资源可以使用
mutex->wait();//保证缓冲区互斥
nextc = buffer[out];
out = (out 1) % N;//取出产品out 1
mutex->signal();//唤醒其他进程进入缓冲区
emptybuffer->signal();//通知缓冲区有空闲位置
}需要注意的是，无论是生产者还是消费者，一开始的两个P操作的顺序是不能颠倒的，否则可能出现这样一种情况，比如生产者成功进入了临界区，却发现没有空闲的缓冲区可供写入了，于是就等待emptybuffer信号。然而，此时消费者也无法进入被占用的缓冲区，在等待mutex信号。系统就进入了死锁状态。
3.用管程实现
代码语言：javascript复制//管程的伪代码
Class condition{
int numWaiting = 0;
WaitQueue q;
}
Condition :: Wait(lock){
numWaiting ;
Add this thread t to q;
release(lock);//释放锁，放弃对管程的互斥访问
schedule();
require(lock);
}
Condition::Signal(){
if(numWaiting > 0) {
Remove a thread t from q;
wakeup(t);
numWaiting—-;
}
}
//生产者-消费者问题具体实现
Class BoundedBuffer {//需要的资源都在管程中模块化
...
Lock lock;
int count = 0;//缓冲区内物品的个数,需互斥访问
Condition notFull, notEmpty;//条件变量，表示缓冲区的状态
}
BoundedBuffer::Deposit(c){
lock->Acquire();//申请锁，进入临界区
if(count == n)//如果满了则等待
notFull.wait(&lock);
Add c to the buffer;
count ;
notEmpty.signal();//通知缓冲区中多了一个物品
lock->Release();//释放锁
}
BoundedBuffer::Remove(c){
lock->Acquire();
if(count == 0)
notEmpty.Wait(&lock);
Remove c to the buffer;
count—-;
notFull.signal();
lock->Release();
}2.5.2 哲学家就餐问题
1.问题描述
5个哲学家围绕一张圆桌而坐，桌子上放着5支叉子，每两个哲学家之间放一支。哲学家的动作包括思考和进餐，进餐时需同时拿到左右两边的叉子，思考时将两支叉子放回原处，如何保证哲学家们的动作有序进行？
2.一人进餐的实现
代码语言：javascript复制#define N 5 // 哲学家个数
semaphore fork[5]; // 信号量初值为1
semaphore mutex; // 互斥信号量，初值1
void philosopher(int i){ // 哲学家编号：0 － 4
while (TRUE) {
think(); // 哲学家在思考
wait(mutex); // 进入临界区
wait(fork[i]); // 去拿左边的叉子
wait(fork[(i 1) % N]); // 去拿右边的叉子
eat(); // 吃面条中….
signal(fork[i]); // 放下左边的叉子
signal(fork[(i 1) % N]); // 放下右边的叉子
signal(mutex); // 退出临界区
}
}2.多人进餐
由于一共五个人，所以最多可以有四个人进入临界区，鸽巢原理，五只筷子四个人，保证至少有一人可以吃面条。设置资源值的初始值为4，保证最多四个人进入临界区即可。
代码语言：javascript复制#define N 5 // 哲学家个数
semaphore fork[5]; // 信号量初值为1
semaphore count = 4; // 资源信号量，初值4
void philosopher(int i){ // 哲学家编号：0 － 4
while (TRUE) {
think(); // 哲学家在思考
wait(count); // 只要不是第五人就可以进入临界区
wait(fork[i]); // 去拿左边的叉子
wait(fork[(i 1) % N]); // 去拿右边的叉子
eat(); // 吃面条中….
signal(fork[i]); // 放下左边的叉子
signal(fork[(i 1) % N]); // 放下右边的叉子
signal(count); // 退出临界区
}
}将哲学家按照奇偶编号，奇数人先拿左手再拿右手的，偶数人相反，可以保证不会同时有人拿到同一只筷子。
代码语言：javascript复制#define N 5 // 哲学家个数
semaphore fork[5]; // 信号量初值为1
void philosopher(int i) { // 哲学家编号：0 － 4
while (TRUE) {
think(); // 哲学家在思考
if (i % 2 == 0) {
wait(fork[i]); // 去拿左边的叉子
wait(fork[(i 1) % N]); // 去拿右边的叉子
} else {
wait(fork[(i 1) % N]); // 去拿右边的叉子
wait(fork[i]); // 去拿左边的叉子
}
eat(); // 吃面条中….
signal(fork[i]); // 放下左边的叉子
signal(fork[(i 1) % N]); // 放下右边的叉子
}
}2.5.3 读者-写者问题
1.问题描述
读者：只读取数据，不修改 写者：读取和修改数据 要求：“读 – 读”允许，“读 – 写”互斥， “写- 写”互斥
2. 用信号量描述约束
信号量wmutex：控制读写操作的互斥，初始化为1。 读者计数readcount：正在进行读的读者数目，初始化为0，共享变量，用于读写互斥的控制。 信号量rmutex：控制对读者计数的互斥修改，初始化为1。
3.实现（读者优先）
代码语言：javascript复制//Writer
wait(wmutex);
write;
signal(wmutex);
//Reader
wait(rmutex);//保证readcount的互斥访问
if (readcount == 0)//readcount为0，当前没有读者，可以进入临界区
wait(wmutex);
readcount;
singal(rmutex);
read;
wait(rmutex);
—-readcount;
if(readcount == 0)
singal(wmutex);
singal(rmutex);4.优先策略
- 写者优先策略 只要有读者正在读状态，后来的读者都能直接进入，如读者持续不断进入，则写者就处于饥饿。
- 写者优先策略 只要有写者就绪，写者应尽快执行写操作，如写者持续不断就绪，则读者就处于饥饿。
2.6 进程通信
- 低级通信： 进程间仅交换一些状态和少量数据。如：进程之间的互斥和同步。缺点：(1)效率低 (2)通信对用户不透明
- 高级通信： 进程间可交换大量数据。用户可直接利用操作系统提供的一组通信命令，高效地传送大量数据的一种通信方式。操作系统隐藏了进程通信的细节，对用户透明，减少了通信程序编制上的复杂性。
2.6.1 进程通信类型
1.共享存储器系统
相互通信的进程间共享某些数据结构或共享存储区，通过这些空间进行通信。
- 基于共享数据结构的通信方式 进程公用某些数据结构，借以实现诸进程间的信息交换。如生产者-消费者问题的有界缓冲区。由程序员负责公用数据结构的设置及对进程间同步的处理，操作系统只提供共享存储器。通信效率低，只适合传递相对少量的数据，属于低级通信。
- 基于共享存储区的通信方式 在存储器中划出一块共享存储区，诸进程可通过对共享存储区中数据的读或写来实现通信。通过共享存储分区实现进程之间的信息交换。共享内存是把同一个物理内存区域同时映射到多个进程的内存地址空间的通信机制。 通信过程： （1）申请共享存储分区； （2）将共享存储分区映射到本进程地址空间中； （3）进行数据读写； （4）解除共享存储分区映射； （5）删除共享存储分区；
特点： 最快的方法，一个进程写另外一个进程立即可见，没有系统调用干预没有数据复制，不提供同步，由程序员提供同步。
2. 管道通信
管道： 指用于连接一个读进程和一个写进程以实现他们之间通信的一个共享文件，又名pipe文件。 管道机制提供的协调能力： 互斥（读写互斥）；同步（管道空停止读，管道满停止写）；确定对方是否存在，只有对方存在的时候才能通信。
3. 消息传递系统
进程间的数据交换，以格式化的消息为单位。程序员直接利用系统提供的一组通信命令(原语)进行通信。
2.6.2 消息传递通信的实现方法
1.直接通信方式
发送进程利用OS提供的发送命令，直接把消息发送给目标进程。发送进程和接收进程都以显式方式提供对方的标识符。
- 通信原语： Send(Receiver, message); 发送一个消息给接收进程 Receive(Sender, message); 接收Sender发来的消息
- 消息格式： 单机系统环境：环境相同，消息格式简单 网络环境：环境不同，传输距离很远，消息格式比较复杂。
- 进程同步方式： 在进程之间进行通信时，辅以进程同步机制，使诸进程间能协调通信。发送进程或接收进程在完成消息的发送或接收后，都存在两种可能性：进程或者继续发送(接收)或者阻塞，出现三种情况： 发送进程阻塞、接收进程阻塞 发送进程不阻塞、接收进程阻塞 发送进程和接收进程均不阻塞
- 通信链路：
为使在发送进程和接受进程之间能进行通信，必须在两者之间建立一条通信链路。
- 根据通信链路的建立方式： 显示连接：先用 “建立连接”命令(原语) 建立一条通信链路； 通信；用显式方式拆除链路。——用于计算机网络 隐式连接：发送进程无须明确提出建立链路的要求，直接利用系统提供的发送命令(原语)，系统会自动地为之建立一条链路。——用于单机系统
- 根据通信链路的连接方法：点–点连接通信链路，多点连接通信链路
- 根据通信方式的不同：单向通信链路，双向链路
- 根据通信链路容量的不同：无容量通信链路，有容量通信链路
2. 间接通信方式（信箱）
信箱用来暂存发送进程发送给目标进程的消息，接收进程则从信箱中取出发送给自己的消息。
消息在信箱中可安全保存，只允许核准的目标用户随时读取，利用信箱通信方式，既可实时通信，又可非实时通信。
信箱的结构： 信箱头：信箱名、信箱大小、创建者、存取信件指针、信件数量等。 信箱体：存放消息。
信箱的类型：
2.6.3 直接消息传递系统实例
发送进程利用Send原语，将消息直接发送给接收进程；接收进程利用Receive原语接收消息。
基本思想：
1.消息缓冲队列通信机制中的数据结构
消息缓冲区：
代码语言：javascript复制type struct message_buffer {
int sender; //发送者进程标识符
int size; //消息长度
char *text; //消息正文
struct message_buffer next; //指向下一个消息缓冲区的指针
}PCB中有关通信的数据项: 应该在进程的PCB中增加消息队列队首指针，用于对消息队列进行操作，以及用于实现同步的互斥信号量mutex和信号量sm。
代码语言：javascript复制type struct processcontrol_block {
…
struct processcontrol_block mq; //消息队列队首指针
samaphore mutex; //消息队列互斥信号量
samaphore sm; //消息队列资源信号量
…
}PCB;2. 发送原语
代码语言：javascript复制void send(receiver, a) //将发送区a的内容发给receiver
{
getbuf(a.size, i); //根据a.size申请缓冲区i
i.sender = a.sender; //将发送区a中的信息复制
i.size = a.size; //到消息缓冲区i中
copy(i.text, a.text);
i.next = 0;
getid(PCBset, receiver.j); //取接收进程内部标识符放于j
wait(j.mutex); //将消息缓冲区插入消息队列
insert(&j.mq, i);
signal(j.mutex);
signal(j.sm);
}3. 接收原语
代码语言：javascript复制void receive(b) //从进程自己的消息接收队列中取
{ //消息i放入消息接收区b中
j = internal name; // j为接收进程内部标识符
wait(j.sm);
wait(j.mutex);
remove(j.mq, i); //将消息队列中的第一个消息移出
signal(j.mutex);
b.sender = i.sender; //将消息缓冲区i中的信息
b.size : = i.size; //复制到接收区b
copy(b.text, i.text);
}4.运行过程：
2.7 线程的基本概念
2.7.1 线程的概念
1. 定义
线程是进程的一部分，描述指令流执行状态。它是进程中的指令执行流的最小单元，是CPU调度的基本单位。
- 进程的资源分配角色： 进程由一组相关资源构成，包括地址空间（代码段、数据段）、打开的文件等各种资源。
- 线程的处理机调度角色： 线程描述在进程资源环境中的指令流执行状态，线程间各自独立。
- 线程的特性： 线程间并发执行，共享相同的地址空间。
2. 进程与线程的关系
线程 = 进程 – 共享资源
- 线程的优点： 一个进程中可以同时存在多个线程。 各个线程之间可以并发地执行，切换效率高。 各个线程之间可以共享地址空间和文件等资源。
- 线程的缺点： 一个线程崩溃，会导致其所属进程的所有线程崩溃。
3. 线程与进程的比较
- 进程是OS独立调度和分派的基本单位，线程是CPU调度的基本单位。
- 进程拥有一个完整的资源平台，线程只独享指令流执行的必要资源，如寄存器和栈。
- 进程具有就绪、等待、运行三种基本状态和状态间的转换关系
- 线程能减少并发执行的时间和空间开销：线程创建和终止时间短，同一进程内的线程切换速度快，同一进程内的线程可以不通过内核进行直接通信。
2.8 线程的实现
参考资料： https://blog.csdn.net/Shine__Wong/article/details/101453197 https://blog.csdn.net/Shine__Wong/article/details/101108284
