《Win32多线程程序设计》学习笔记——几种同步方式

同步的几种方式：

Critical Section

    Critical Section(临界区)用来实现“排他性占有”。适用范围是单一进程的个线程之间。一旦线程进入一个critical section，它就能够一再地重复进入该critical section。没有办法获知进入critical section中的那个线程是生是死。从另一个角度看，由于critical section不是核心对象，如果进入critical section的那个线程结束了或者当掉了，而没有调用LeaveCriticalSection()的话，系统没有办法将该critical section清楚。如果你需要那样的机能，你应该使用mutex。它是：

•     一个局部性对象，不是一个核心对象
•     快速而有效率
•     不能够同时有一个以上的critical section被等待
•     无法侦测是否已被某个线程放弃

Mutex

    Mutex是一个核心对象，可以在不同的线程之间实现“排他性占有”，甚至即使那些线程分属不同进程。它是：

•     一个核心对象
•     如果拥有mutex的那个线程结束，则会产生一个“abandoned”错误信息
•     可以使用Wait...()等待一个mutex
•     可以具名，因此可以被其他进程开启
•     只能被拥有它的那个线程释放

Semaphore

    Semaphore被用来追踪有限的资源，中译为信号量，表示了资源个数的量，当信号量值为1就是一个Mutex。它是：

•     一个核心对象
•     没有拥有者
•     可以具名，因此可以被其他进程开启
•     可以被任何一个线程释放

Event Object

    Event Object通常适用于 overlapped I/O，或用来设计某些自定义的同步对象。它是：

•     一个核心对象
•     完全在程序掌控之下
•     适用于设计新的同步对象
•     “要求苏醒”的请求并不会被储存起来，可能会遗失掉
•     可以具名，因此可以被其他进程开启

Interlocked Variable  

    如果Inerlocked...()函数被使用于所谓的spin-lock，那么它们只是一种同步机制。所谓spin-lock是一种busy loop，被预期在极短时间内执行，所以有最小的额外负担（overhead）。系统核心偶尔会使用它们。除此之外，interlocked variables 主要用于引用计数。它们：

•     允许对4字节的数值有些基本的同步操作，不需动用到critical section 或 mutex 之类
•     在SMP(Symmetric Multi-Processors)操作系统中亦可有效运作。

补充：

1、任何时候当一段代码需要两个（或更多）资源时，都有潜在性的死锁阴影。

2、对于核心对象都可调用Wait...()函数。