一、基本概念
基本任务
协调合作进程的执行次序,使并发执行的各进程间能按照一定规则(或时序)有效的共享资源,以及相互协作,从而使程序的执行具有可再现性
制约关系
-
间接相互制约关系
当一个进程使用某临界资源时,另一个想使用该临界资源的进程必须等待。由于共享同一资源形成的关系,也成为互斥临界资源
是一次仅允许一个进程使用的共享资源。
各进程采取互斥的方式,实现共享的资源称作临界资源。
属于临界资源的硬件有,打印机,磁带机等;
软件有消息队列,变量,数组,缓冲区等。诸进程间采取互斥方式,实现对这种资源的共享。 -
直接相互制约关系
多个相关的进程在执行次序上的协调。这些进程需要互相等待或者互通消息。例如,进程B需要进程A的结果才能运行,进程B的执行影响进程A是否等待。
二、互斥锁
互斥锁是一种简单的加锁的方法来控制对共享资源的访问,互斥锁有两种状态,即加锁( lock )和解锁( unlock )
操作流程:
- 在访问共享资源后临界区前,对互斥锁进行加锁;
- 在访问完成后释放互斥锁导上的锁。在访问完成后释放互斥锁导上的锁;
- 对互斥锁进行加锁后,任何其他试图再次对互斥锁加锁的线程将会被阻塞,直到锁被