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）操作系统中亦可有效运作。