同步
同步亦称直接制约关系,指为完成某种任务而建立的两个或多个进程,这些进程因为需要在某些位置上协调它们的工作次序而等待、传递信息所产生的制约关系,进程之间的直接制约关系源于它们之间的相互合作。
如,输入进程A通过单缓冲向进程B提供数据。当该缓冲区空时,进程B不能获得所需数据而阻塞,一旦进程A将数据送入缓冲区,进程B被唤醒。反之,当缓冲区满时,进程A被阻塞,仅当进程B取走缓冲数据时,才唤醒进程A
互斥
互斥亦称间接制约关系,当一个进程进入临界区使用临界资源时,另一个进程必须等待,当占有临界资源的进程退出临界区后,另一进程才允许去访问此临界资源
例如,在仅有一台打印机的系统中,有两个进程A和进程B,如果进程A需要打印时, 系统已将打印机分配给进程B,则进程A必须阻塞。一旦进程B将打印机释放,系统便将进程A唤醒,并将其由阻塞状态变为就绪状态
临界资源:一次仅允许一个进程使用的资源称为临界资源
进入区、临界区、退出区、剩余区
经典进程同步问题:
生产者-消费者问题、读者-写者问题、哲学家进餐问题、吸烟者问题