多线程编程学习3

实现多线程同步的方式：

Critical Section

用来实现“排他性占有”。适用范围是单一进程的各线程之间。他是：
一个局部性对象，不是一个核心对象。
快速而有效率
不能够同时有一个以上的critical section被等待。（只能同时一个）。
无法侦测是否已经被某个线程放弃。


Mutex
是一个核心对象，可以在不同的线程之间实现“排他性占有”，甚至即使那些线程分属不同进程，它是：
一个核心对象。
如果拥有mutex 的那个线程结束，则会产生一个“abandoned”错误信息。
可以使用Wait...()等待一个Mutex
可以具名，因此可以被其他进程开启。
只能被拥有它的那个线程释放（released）.


Semaphore
被用来追踪有限的资源，它是：
一个核心对象。
没有拥有者。
可以具名，因此可以被其他进程开启
可以被任何一个线程释放(released)


Event Object
通常用于overlapped I/O(第6章)，或用来设计某些自定义的同步对象。它是：
一个核心对象。
完全在程序掌控之下。
适用于设计新的同步对象。
“要求苏醒”的请求并不会被存储起来，可能会遗失掉。
可以具名，因此可以被其他进程开启。


Interlocked Variable
如果Interlocked...()函数被使用于所谓的spin-lock，那么它们只是一种同步机制。所谓spin-lock是一种busy loop，被预期在极短时间内执行，所以有最小的额外负担(overhead)。系统核心偶尔会使用它们。除此之外，interlocked variables 主要用于引用计数，它们：
允许对4字节的数值有些基本的同步操作，不需动用critical section 或mutex 之类。
在SMP(Symmetric Multi-Processors)操作系统中亦可有效运作。