线程同步的方法主要有四种（《操作系统教程》一书）：
1、临界区:通过对多线程的串行化来访问公共资源或一段代码，速度快，适合控制数据访问。
2、互斥量:为协调一起对一个共享资源的单独访问而设计的。
3、信号量:为控制一个具备有限数量用户资源而设计。
4、事 件:用来通知线程有一些事件已发生，从而启动后继任务的开始。
1、临界区（Critical Section）
确保在某一时刻只有一个线程能访问数据的简便办法。在任意时刻只允许一个线程对共享资源进行访问。假如有多个线程试图同时访问临界区，那么在有一个线程进入后其他任何试图访问此临界区的线程将被挂起，并一直持续到进入临界区的线程离开。
临界区在被释放后，其他线程能够继续抢占，并以此达到用原子方式操作共享资源的目的。
临界区包含两个操作原语：
EnterCriticalSection（） 进入临界区 LeaveCriticalSection（） 离开临界区
EnterCriticalSection（）语句执行后代码将进入临界区以后无论发生什么，必须确保和之匹配的LeaveCriticalSection（）都能够被执行到。否则临界区保护的共享资源将永远不会被释放。虽然临界区同步速度很快，但却只能用来同步本进程内的线程，而不可用来同步多个进程中的线程。
2、互斥量（Mutex）
互斥量跟临界区很相似，只有拥有互斥对象的线程才具备访问资源的权限，由于互斥对象只有一个，因此就决定了任何情况下此共享资源都不会同时被多个线程所访问。当前占据资源的线程在任务处理完后应将拥有的互斥对象交出，以便其他线程在获得后得以访问资源。互斥量比临界区复杂。因为使用互斥不但仅能够在同一应用程式不同线程中实现资源的安全共享，而且能够在不同应用程式的线程之间实现对资源的安全共享。
互斥量包含的几个操作原语：
CreateMutex（） 创建一个互斥量
OpenMutex（） 打开一个互斥量
ReleaseMutex（） 释放互斥量
WaitForMultipleObjects（） 等待互斥量对象
3、信号量（Semaphores）
信号量对象对线程的同步方式和前面几种方法不同，信号允许多个线程同时使用共享资源，这和操作系统中的PV操作相同。他指出了同时访问共享资源的线程最大数目。
他允许多个线程在同一时刻访问同一资源，但是需要限制在同一时刻访问此资源的最大线程数目。在用CreateSemaphore（）创建信号量时即要同时指出允许的最大资源计数和当前可用资源计数。一般是将当前可用资源计数配置为最大资源计数，每增加一个线程对共享资源的访问，当前可用资源计数就会减1，只要当前可用资源计数是大于0的，就能够发出信号量信号。但是当前可用计数减小到0时则说明当前占用资源的线程数已达到了所允许的最大数目，不能在允许其他线程的进入，此时的信号量信号将无法发出。
线程在处理完共享资源后，应在离开的同时通过ReleaseSemaphore（）函数将当前可用资源计数加1。在任何时候当前可用资源计数决不可能大于最大资源计数。
PV操作及信号量的概念都是由荷兰科学家E.W.Dijkstra提出的。信号量S是个整数，S大于等于零时代表可供并发进程使用的资源实体数，但S小于零时则表示正在等待使用共享资源的进程数。
P操作申请资源：
（1）S减1；
（2）若S减1后仍大于等于零，则进程继续执行；
（3）若S减1后小于零，则该进程被阻塞后进入和该信号相对应的队列中，然后转入进程调度。
V操作 释放资源：
（1）S加1；
（2）若相加结果大于零，则进程继续执行；
（3）若相加结果小于等于零，则从该信号的等待队列中唤醒一个等待进程，然后再返回原进程继续执行或转入进程调度。
信号量包含的几个操作原语：
CreateSemaphore（） 创建一个信号量
OpenSemaphore（） 打开一个信号量
ReleaseSemaphore（） 释放信号量
WaitForSingleObject（） 等待信号量
4、事件（Event）
事件对象也能够通过通知操作的方式来保持线程的同步。并且能够实现不同进程中的线程同步操作。
事件包含的几个操作原语：
CreateEvent（） 创建一个事件
OpenEvent（） 打开一个事件
SetEvent（） 回置事件
WaitForSingleObject（） 等待一个事件
WaitForMultipleObjects（） 等待多个事件
WaitForMultipleObjects 函数原型：
WaitForMultipleObjects（
IN DWORD nCount, // 等待句柄数
IN CONST HANDLE *lpHandles, //指向句柄数组
IN BOOL bWaitAll, //是否完全等待标志
IN DWORD dwMilliseconds //等待时间
）
参数nCount指定了要等待的内核对象的数目，存放这些内核对象的数组由lpHandles来指向。fWaitAll对指定的这nCount个内核对象的两种等待方式进行了指定，为TRUE时当任何对象都被通知时函数才会返回，为FALSE则只要其中任何一个得到通知就能够返回。dwMilliseconds在这里的作用和在WaitForSingleObject（）中的作用是完全一致的。假如等待超时，函数将返回WAIT_TIMEOUT。
事件能够实现不同进程中的线程同步操作，并且能够方便的实现多个线程的优先比较等待操作，例如写多个WaitForSingleObject来代替WaitForMultipleObjects从而使编程更加灵活。
总结：
1． 互斥量和临界区的作用很相似，但互斥量是能够命名的，也就是说他能够跨越进程使用。所以创建互斥量需要的资源更多，所以假如只为了在进程内部是用的话使用临界区会带来速度上的优势并能够减少资源占用量。因为互斥量是跨进程的互斥量一旦被创建，就能够通过名字打开他。
2． 互斥量（Mutex），信号灯（Semaphore），事件（Event）都能够被跨越进程使用来进行同步数据操作，而其他的对象和数据同步操作无关，但对于进程和线程来讲，假如进程和线程在运行状态则为无信号状态，在退出后为有信号状态。所以能够使用WaitForSingleObject来等待进程和线程退出。
3． 通过互斥量能够指定资源被独占的方式使用，但假如有下面一种情况通过互斥量就无法处理，比如现在一位用户购买了一份三个并发访问许可的数据库系统，能够根据用户购买的访问许可数量来决定有多少个线程/进程能同时进行数据库操作，这时候假如利用互斥量就没有办法完成这个需要，信号灯对象能够说是一种资源计数器。