在操作系统中，进程是占有资源的最小单位。
临界资源是指系统中一次只允许一个进程使用的资源（可以是硬件资源像打印机，也包括软件资源，如程序中的数据结构、表格和变量、文件等。）访问临界资源的那段代码称为临界区。
进程同步：它主要源于进程合作，是进程间共同完成一项任务时直接发生相互作用的关系。为进程之间的直接制约关系。
比如说进程A需要从缓冲区读取进程B产生的信息，当缓冲区为空时，进程B因为读取不到信息而被阻塞。而当进程A产生信息放入缓冲区时，进程B才会被唤醒。
进程互斥：主要源于资源共享，是进程之间的间接制约关系。进程互斥就是保证每次只有一个进程使用临界资源。
比如进程B需要访问打印机，但此时进程A占有了打印机，进程B会被阻塞，直到进程A释放了打印机资源,进程B才可以继续执行。
同步和互斥这两种制约关系的区别：进程的互斥是进程间竞争共享资源的使用权，这种竞争没有固定的必然关系；而进程同步时，涉及到共享资源的并发进程之间有一种必然的依赖关系。
使用系统中的临界资源时，诸进程应采取互斥方式，实现对资源的共享。为实现进程互斥的进入自己的临界区，可用软件方法，但更多的是在系统中设置专门的同步机制来协调各进程间的运行。所有的同步机制都应遵循以下四条准则：
（1）空闲让进：因为，当无进程处于临界区时，表明临界资源处于空闲状态，应允许一个请求进入临界区的进程立即进入自己的临界区，以有效地利用临界资源。
（2）忙则等待：因为，当已有进程进入临界区时，表明临界资源正在被访问，因而其它试图进入临界区的进程必须等待，以保证对临界资源的互斥访问。
（3）有限等待：因为，对要求访问的临界资源的进程，应保证在有限时间内能进入自己的临界区，以免陷入“死等”状态。
（4）让权等待：因为，当进程不能进入自己的临界区时，应立即释放处理机，以免进程陷入“忙等”状态。
多线程同步与互斥的实现方法
1. 临界区：通过对多线程的串行化来访问公共资源或一段代码，速度快，适合控制数据访问。
2. 互斥量：为协调共同对一个共享资源的单独访问而设计的。
3. 信号量：为控制一个具有有限数量用户资源而设计。
4. 事 件：用来通知线程有一些事件已发生，从而启动后继任务的开始。
临界区（Critical Section）
保证在某一时刻只有一个线程能访问数据的简便办法。在任意时刻只允许一个线程对共享资源进行访问。如果有多个线程试图同时访问临界区，那么在有一个线程 进入后其他所有试图访问此临界区的线程将被挂起，并一直持续到进入临界区的线程离开。临界区在被释放后，其他线程可以继续抢占，并以此达到用原子方式操作，共享资源的目的。
临界区包含两个操作原语：
EnterCriticalSection（） 进入临界区
LeaveCriticalSection（） 离开临界区
互斥量（Mutex）
互斥量跟临界区很相似，只有拥有互斥对象的线程才具有访问资源的权限，由于互斥对象只有一个，因此就决定了任何情况下此共享资源都不会同时被多个线程所访问。当前占据资源的线程在任务处理完后应将拥有的互斥对象交出，以便其他线程在获得后得以访问资源。互斥量比临界区复杂。因为使用互斥不仅仅能够在同一应用程序不同线程中实现资源的安全共享，而且可以在不同应用程序的线程之间实现对资源的安全共享。
互斥量包含的几个操作原语：
CreateMutex（） 创建一个互斥量
OpenMutex（） 打开一个互斥量
ReleaseMutex（） 释放互斥量
WaitForMultipleObjects（） 等待互斥量对象
信号量（Semaphores）
这也是我们比较熟悉P V操作。通过设置一个表示资源个数的信号量S，通过对信号量S的P和V操作来实现进程的的互斥。
P操作 申请资源：
（1）S减1；
（2）若S减1后仍大于等于零，则进程继续执行；
（3）若S减1后小于零，则该进程被阻塞后进入与该信号相对应的队列中，然后转入进程调度。
V操作 释放资源：
（1）S加1；
（2）若相加结果大于零，则进程继续执行；
（3）若相加结果小于等于零，则从该信号的等待队列中唤醒一个等待进程，然后再返回原进程继续执行或转入进程调度。
信号量包含的几个操作原语：
CreateSemaphore（） 创建一个信号量
OpenSemaphore（） 打开一个信号量
ReleaseSemaphore（） 释放信号量
WaitForSingleObject（） 等待信号量
事件（Event）
事件对象也可以通过通知操作的方式来保持线程的同步。并且可以实现不同进程中的线程同步操作。
事件包含的几个操作原语：
CreateEvent（） 创建一个信号量
OpenEvent（） 打开一个事件
SetEvent（） 回置事件
WaitForSingleObject（） 等待一个事件
WaitForMultipleObjects（）等待多个事件