操作系统02——线程同步问题

一、基本概念

基本任务

协调合作进程的执行次序，使并发执行的各进程间能按照一定规则（或时序）有效的共享资源，以及相互协作，从而使程序的执行具有可再现性

制约关系

• 间接相互制约关系
  当一个进程使用某临界资源时，另一个想使用该临界资源的进程必须等待。由于共享同一资源形成的关系，也成为互斥

  临界资源

  是一次仅允许一个进程使用的共享资源。
  各进程采取互斥的方式，实现共享的资源称作临界资源。
  属于临界资源的硬件有，打印机，磁带机等；
  软件有消息队列，变量，数组，缓冲区等。诸进程间采取互斥方式，实现对这种资源的共享。

• 直接相互制约关系
  多个相关的进程在执行次序上的协调。这些进程需要互相等待或者互通消息。例如，进程B需要进程A的结果才能运行，进程B的执行影响进程A是否等待。

二、互斥锁

互斥锁是一种简单的加锁的方法来控制对共享资源的访问，互斥锁有两种状态,即加锁( lock )和解锁( unlock )

操作流程：

1. 在访问共享资源后临界区前，对互斥锁进行加锁；
2. 在访问完成后释放互斥锁导上的锁。在访问完成后释放互斥锁导上的锁；
3. 对互斥锁进行加锁后，任何其他试图再次对互斥锁加锁的线程将会被阻塞，直到锁被