2.3 进程同步

文章目录

• • 2.3.1 进程同步的基本概念
  • 2.3.2 实现临界区互斥的基本方法

2.3.1 进程同步的基本概念

多道程序环境下，进程是并发执行的，不同进程之间存在着不同的制约关系。为了协调进程之间的相互制约关系，引入进程同步的基本概念。
异步性：各并发执行的进程以各自独立的，不可预知的速度向前推进。

1.临界资源

对临界资源的访问必须 进行
访问临界资源的代码叫做

2.同步

同步亦称直接制约关系是指多个进程中发生的事件存在某种

3.互斥
互斥也称间接制约关系是指多个进程不允许使用同一

1）空闲让进
2）忙则等待
3）有限等待
4）让权等待 当进程不能进入临界区时，应立即释放处理机，防止进程忙等待。

2.3.2 实现临界区互斥的基本方法

一、软件实现方法
1）算法一 ：单标志法
违背 设置变量 turn，turn=0允许P0进入，turn=1允许P1进入。若P0顺利离开，此时临界区空闲，但是P1没有进入临界区的打算，turn=1就一直成立，其他进程无法进入。

3）算法三 ：双标志法后检查

算法二先检查对方的进程状态，在设置自己的标志，会造成两个进程同时进入临界区。
为此

2）硬件指令方法

TestAndSet指令：这条指令是原子操作，执行该代码

Swap指令：