Critical Section VS Mutex
*锁住一个未被拥有的 mu tex,比锁住一个未被拥有的 critical section,
需要花费几乎 100 倍的时间。因为critical section 不需要进入操作系统核心,直接在“ user m ode”就可以进行操作。(译注:作者这里所谓的“user
mode”,是相对于 Window s NT的“ kernel mode”而言。至于Window s 95 底
下,没有所谓“ user mode”这个名词或观念,应该是指ring3 层次。)
*Mutexes 可以跨进程使用。 Critical section则只能够在同一个进程中使用。
*等待一个 mutex时,你可以指定“结束等待”的时间长度。但对于critical section 则不行。
Critical Section
Critical section(临界区)用来实现“排他性占有”。适用范围是单一进程
的各线程之间。它是:
*一个局部性对象,不是一个核心对象。
*快速而有效率。
*不能够同时有一个以上的 critical section 被等待。
*无法侦测是否已被某个线程放弃。
Mutex
Mutex 是一个核心对象,可以在不同的线程之间实现“排他性占有”,甚
至即使那些线程分属不同进程。它是:
* 一个核心对象。
*如果拥有 mu tex 的那个线程结束,则会产生一个 “ abandoned” 错
误信息。
*可以使用 Wait...() 等待一个 mu tex。
*可以具名,因此可以被其他进程开启。
*只能被拥有它的那个线程释放( released)。
Semaphore
Semaphore 被用来追踪有限的资源。它是:
*一个核心对象。
*没有拥有者
*可以具名,因此可以被其他进程开启。
*可以被任何一个线程释放( released)。
Event Object
Event object 通常使用于 overlapped I/O(第6章),或用来设计某些自定
义的同步对象。它是:
*一个核心对象。
*完全在程序掌控之下。
*适用于设计新的同步对象。
*“要求苏醒”的请求并不会被储存起来,可能会遗失掉。
*可以具名,因此可以被其他进程开启。
interlocked Variable
如果 Interlocked...() 函数被使用于所谓的 spin-lock,那么它们只是一种同
步机制。所谓 spin-lock 是一种 busy loop,被预期在极短时间内执行,所以有
最小的额外负担( overhead)。系统核心偶尔会使用它们。除此之外, interlocked
variables 主要用于引用计数。它们:
*允许对 4 字节的数值有些基本的同步操作,不需动用到 criticalsection 或 mu tex 之类。
*在 SMP ( Symmetric Multi-Processors)操作系统中亦可有效运作