Critical Section
Critical section(临界区)用来实现“排他性占有”。适用范围是单一进程的各线程之间。它是:
i 一个局部性对象,不是一个核心对象。
i 快速而有效率。
i 不能够同时有一个以上的critical section 被等待。
i 无法侦测是否已被某个线程放弃。
Mutex
Mutex 是一个核心对象,可以在不同的线程之间实现“排他性占有”,甚至即使那些线程分属不同进程。它是:i 一个核心对象。
i 如果拥有mu tex 的那个线程结束,则会产生一个 “abandoned” 错误信息。
i 可以使用Wait...() 等待一个mu tex。
i 可以具名,因此可以被其他进程开启。
i 只能被拥有它的那个线程释放(released)。
Semaphore
Semaphore 被用来追踪有限的资源。它是:i 一个核心对象。
i 没有拥有者。
i 可以具名,因此可以被其他进程开启。
i 可以被任何一个线程释放(released)。
Event Object
Event object 通常使用于overlapped I/O(第6章),或用来设计某些自定义的同步对象。它是:i 一个核心对象。
i 完全在程序掌控之下。
i 适用于设计新的同步对象。
i “要求苏醒”的请求并不会被储存起来,可能会遗失掉。
i 可以具名,因此可以被其他进程开启。
Interlocked Variable
如果Interlocked...() 函数被使用于所谓的spin-lock,那么它们只是一种同步机制。所谓spin-lock 是一种busy loop,被预期在极短时间内执行,所以有最小的额外负担(overhead)。系统核心偶尔会使用它们。除此之外,interlocked variables 主要用于引用计数。它们:i 允许对4 字节的数值有些基本的同步操作,不需动用到critical
section 或mu tex 之类。
i 在SMP(Symmetric Multi-Processors)操作系统中亦可有效运作
文字版电子书-----请点击这里