A

C

B

D

A

C

D

B

C

A

D

B

封闭性；可再现性

并发进程

临界区；相关临界区

信号量    

进程的互斥

进程的同步

信箱通信；消息缓冲通信；管道通信

发送原语；接收原语

进程同步

原语；信号量  

共享资源和临界区

P操作；V操作

前；后  

进程同步

资源分配；调度和执行

A

B

应改为：P、V操作在程序相关的任一执行流程上应成对出现，但在源程序中可能不是成对的。

A

B

应改为：P、V操作是原语操作，原语的执行可以被中断。

假定信号量S=1，且进程P1和P2并发地执行P(S)，那么，下面的执行序列就违反了互斥性：
   ·  TO：P1判定S之值等于1；
   ·  T1：P2判写S之值等于1；
   ·  T2：P1将S减1并进入临界段；
   ·  T3：P2将S减1并进入临界段

在生产者来“生产”出一个结果之前，不允许消费者使用那个结果；若缓冲区全满，则不允许生产者“生产”任何结果，即在消费者未“消费”一个结果之前，不允许生产者“生产”出“新”结果。比如：编译程序连接程序，连接程序装配程序，卡片阅读机/行式打印机。

线程是进程中可独立的子任务，一个进程可以有一个或多个线程。每个线程都有一个惟一的标识符。线程与进程有许多相似之外，往往把线程又称为“轻型进程”(light weight process)，线程与进程的根本区别是把进程作为资源分配单位，而线程是调度和执行单位。多线程技术具有以下几个方面的优越性：
   ·  创建速度快、系统开销小：创建线程不需要另行分配资源；
   ·  通信简洁、信息传送速度快：线程间的通信在统一地址空间，不需要额外的通信机制；
   ·  并行性高：线程能独立执行，能充分利用和发挥处理器与外围设备并行工作的能力。

P、V操作是由两个操作——P操作和V操作组成。这两个操作是两个不可中断的过程，它们在屏蔽中断的情况下连续执行。把不可中断的过程称作“原语”，于是P操作和V操作也可称为P操作原语和V操作原语，简称P、V操作。P\V操作是对信号量进行操作，它们的定义如下：
   ·  P操作P(S)：将信号量S减去1，若结果小于0，则调用P(S)的进程被置成等待信号量S的状态。
   ·  V操作V(S)：将信号量S加1，若结果不大于0，则释放一个等待信号量S的进程。
   P操作和V操作可表示成如下两个过程：
   procedure P  (Var s:  semaphore);
   begin
                   s:=s-1;
                   if s＜0 then W(s)
   end;{p}
   procedure V(Var s:semaphore);
   begin
                  s:=s+1;
                  if s＜=0 then R(S)
   end;{v}
   其中，W(S)表示将调用过程的进程置成等待信号量S的状态；R(S)表示释放一个等待信号量S的进程，信号量S的初值为0或1或其他整数，它应在系统初始化时确定。

对若干个并发进程共享某一变量的相关临界区的管理有3个要求：
   ·  一次至多一个进程能够进入临界区，当有进程在临界区执行时，其他想进入临界区执行的进程必须等待；
   ·  不能让一个进程无限制地在临界区执行，即任何一个进入临界区的进程必须在有限的时间内退出临界区；
   ·  不能强迫一个进程无限地等待进入它的临界区，即有进程退出临界区时应让一个等待进入临界区的进程进入它的临界区执行。

共享数据结构是：
   var barber,wait:semaphore;{初始值=0}
       entry:semaphore;{初始值=1}
       couter:integer;  {初始值=0}
   关于理发师的代码段：
   repeat
       p(barber);
       "share"
   until false;
   关于顾客的代码段：    
   p(entry);
   if count=n then exit;
   count:=count+1;
   if count＞1 then
   begin
                  v(eatry);
                  p(wait);
   end    
   else
   begin
                  v(entry);
                  v(barber);
   "share"
                  p(entry);
    count:=count-1;
                  if count＞0 then v(wait);
                  v(entry);
   end

设生产者消费者进程要设立的公用信箱B，假设现在信箱中放一封初始信件，表示物品已取走。
    用进程通信管理生产者消费者问题的程序如下；
     begin
       :
   process producer
         :
   begin
       L1:produce a product；
       L2:receive  (B，K)
             if {x中设有表示物品已取走} then go to L2;
             else begin
          {组织回信M}；
                  '/M中含产品完成存放地点，产品说明，规格价格等
                send(B,M);
             end;
           goto L1
   end;
   process consumer
   begin
            L3:receive  (B,Y);
              if{Y中表示产品已完成}then  
              begin
                {按信件中地址取出物品};
                {组织回信M};
                  '/回信中表示物品已取走，并反映对产品的评价和处理情况
                send(B,M);
                goto L3
              end;
   end;
      end;