一、异步与同步
1.进程异步：各进程以各自独立的、不可预知的速度向前推进。
2.同步：直接制约关系，为完成某任务的进程需要按照某工作次序执行而产生的制约关系。
3.进程同步：各进程的推进次序是按我们预期的顺序向前推进，需要进程同步机制实现
二、共享与互斥
1.资源共享方式：互斥共享-在一个时间段只能有一个进程访问该资源；同时共享-允许一个时间段有多个进程访问该资源
2.临界资源：一个时间段只能有一个进程访问的资源，对其访问必须互斥进行。
3.互斥：间接制约关系，多进程访问同一临界资源时需要按照某次序访问而产生的制约关系
4.进程互斥：一个进程访问临界资源时，其它进程必须等待，直至该进程访问结束。
三、逻辑实现
1.逻辑上分四个部分：
进入区：设置正在访问临界资源的标志，以阻止其他进程同时进入临界区
临界区：也称临界段，是访问临界资源的代码
退出区：解除正在访问临界资源的标志
剩余区：做其它处理
2.遵循的原则：(临界区)空闲让(进程)进，(有进程)忙则(其它进程)等待，(请求访问进程)有限(时间内)等待(不会饥饿)，(不能进入临界区的进程)让权(释放处理机)等待