windows 线程同步

最近面试被问到Windows下的线程同步，有的地方记不清了，只好把老视频找出来，对照整理一下。

一、原子操作

1、InterlockedIncrement: 加1操作；

2、InterlockedDecrement: 减1操作；

3、InterlockedExchangeAdd: 加上指定的值，也可以加上一个负数；

4、InterlockedExchange、InterlockedExchangePointe: 能够以原子操作的方式用第二个参数的值取代第一个参数的值；

二、临界区域 Critical Sections

使用方法：

1、初始化：InitializeCriticalSection;

2、删除：DeleteCriticalSection;

3、进入: EnterCriticalSection(可能造成阻塞)；

4、尝试进入：TryEnterCriticalSection(不会造成阻塞);

5、离开：LeaveCriticalSection;

优缺点：

1、是一个用户模式的对象，不是系统核心对象。所以执行速度快、有效率且不能跨进程使用。

2、可以多次"进入", 但必须多次"退出";

3、最好不要同时进入或等待多个 Critical Sections, 容易造成死锁；

4、无法检测到进入到Critical Sections 里面的线程当前是否已经退出！

三、互斥量 Mutex

命名标准：Mutex可以跨进程使用，所以其名称对整个系统而言是全局的，所以命名不要过于普通（不要叫类似：Mutex、Object这种）；

使用方法：

1、创建一个互斥量：CreatMutex；

2、打开一个已经存在的互斥量：OpenMutex;

3、获得互斥量的所有权：WaitForSingleObject、WaitForMultipleObjects等一类等待的函数......（可能造成阻塞）;

4、释放互斥量的所有权：ReleaseMutex;

5、关闭互斥量CloseHandle;

优缺点：

1、是一个系统核心对象，所以有安全描述指针，用完了要CloseHandle关闭句柄，这些是内核对象的共同特征；

2、因为是核心对象，所以可以命名、可以跨进程使用，但执行速度相对于Critical Sections较慢；

3、Mutex在使用正确的情况下不会发生死锁；

4、在等待一个Mutex的时候，可以指定"结束等待"的时间长度；

5、可以检测到当前拥有Mutex所有权的线程是否退出！如果退出会返回WAIT_ABANDONED

四、信号量 Semaphores

命名标准：Semaphores 可以跨进程使用，所以其名称对整个系统而言是全局的，所以命名不要过于普通（不要叫类似：Semaphore、Object这种）；

使用方法：

1、创建：CreateSemaphore;

2、打开：OpenSemaphore;

3、获得一个Semaphore的占有权：WaitForSingleObject、WaitForMultipleObjects等一类等待的函数......（可能造成阻塞）;

4、释放：ReleaseSemaphore;

5、关闭：CloseHandle;

优缺点：

1、是一个系统核心对象，所以有安全描述指针，用完了要CloseHandle关闭句柄，这些是内核对象的共同特征；

2、因为是核心对象，所以可以命名、可以跨进程使用，但执行速度相对于Critical Sections较慢；

3、Semaphores在使用正确的情况下不会发生死锁；

4、在等待一个Semaphores的时候，可以指定"结束等待"的时间长度；

5、非排他性的占有，跟Critical Sections 和Mutex 不同（这两种是排他性的占有），即：同一时间内只能有单一线程获得目标并拥有操作的权力，而Semaphore不是这样的。Semaphore可以同一个时间内有多个线程获得目标并操作；

五、事件 Event

Event 方式是最具有弹性的同步机制，因为它的状态完全由你决定，不会像Mutex、Semaphores那样由类似：WaitForSingleObject一类的等待函数的调用而改变，所以可以精确的告诉Event对象什么时候该做什么事情（如让一堆线程按照顺序依次对一个变量进行操作）；

使用方法：

1、创建：CreateEvent;

2、打开一个已经存在的事件：OpenEvent；

3、获得Event的占有权：WaitForSingleObject等函数（可能造成阻塞）；

4、释放Event的占有权（设置为激发状态，以让其他等待的线程苏醒）：SetEvent;

5、手动设置为非激发状态：ResetEvent;

6、关闭： CloseHandle；

优缺点：

1、是一个系统核心对象，所以有安全描述指针，用完了要CloseHandle关闭句柄，这些是内核对象的共同特征；

2、因为是核心对象，所以可以命名、可以跨进程使用，但执行速度相对于Critical Sections较慢；

3、通常被用于 overlapped I/O 或被用来设计某些自定义的同步对象。