操作系统-同步互斥1

进程并发执行

并发是所有问题产生的基础，是操作系统设计的基础。
从进程特征出发：

• 并发：进程的执行是间断性的；进程的相对执行速度不可预测
• 共享：进程/线程之间的制约性
• 不确定性：进程执行的结果与其执行的相对速度有关，是不确定的

与时间有关的错误：某银行业务系统，某客户账户有5000元，有两个ATM机T1和T2

T1:
...
read(x);
if x>=1000 then
  x:=x-1000;
write(x);

T2:
...
read(x);
if x>=2000 then
  x:=x-2000;
write(x);
...

关键活动x:=x-1000; x:=x-2000有交叉

进程互斥(MUTUAL EXCLUSIVE)

• 由于各进程要求使用共享资源（变量、文件等），而这些资源需要排他性使用，各进程之间竞争使用这些资源——这一关系称为进程互斥
• 临界资源：critical resource 系统中某些资源一次只允许一个进程使用，称这样的资源为临界资源或互斥资源或共享资源
• 临界区（互斥区）:critical section(region) 各个进程中对某个临界资源（共享变量）实施操作的程序片段

临界区（互斥区）的使用原则

• 没有进程在临界区时，想进入临界区的进程可进入
• 不允许两个进程同时处于其临界区中
• 临界区外运行的进程不得阻塞其他进程进入临界区
• 不得使进程无限期等待进入临界区

Paste_Image.png

Paste_Image.png

Paste_Image.png

Paste_Image.png

Paste_Image.png

Paste_Image.png