Win32多线程之同步机制摘要

Critical Section

Critical Section（临界区）用来实现“排他性占有”。适用范围是单一进程的各线程之间。它是：

1）一个局部性对象，不是一个核心对象；

2）快速而由效率。

3）不能够同时有一个以上的critical section被等待；

4）无法侦测是否已被某个线程放弃。

Mutex

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

1）一个核心对象；

2）如果拥有mutex的那个线程结束，则会产生一个“abandoned”错误信息；

3）可以使用Wait...()等待一个mutex；

4）可以有名字，因而可以被其他进程开启；

5）只能被拥有它的那个线程释放（released）。

Semaphore

Semaphore 被用来追踪有限的资源，它是：

1）一个核心对象；

2）可以有名字，因而可以被其他进程开启。

3）没有拥有者；

4）可以被任何一个线程释放（released）。

Event Object

Event Object 通常用于设计某些自定义的同步对象，它是：

1）一个核心对象；

2）完全在程序的掌控之下；

3）适用于设计新的同步对象；

4）“要求苏醒”的请求并不会被储存起来，可能会遗失掉；

5）可以有名字，因而可以被其他进程开启。

Interlocked Variable

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

1）允许对4字节的数值有些基本的同步操作，不需动用到critical section或mutex之类；

2）在SMP（Symmetric Multi-Processors）操作系统中亦可有效运作。