《Win32多线程程序设计》学习笔记 第4章 同步控制 摘要

Critical Section

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

• 一个局部性对象，不是核心对象。
• 快速有效率。
• 不能同时有一个以上的critical section 被等待。
• 无法侦测是否已被某个线程放弃。 

 Mutex

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

• 核心对象
• 如果拥有mutex的那个线程结束 ，则会产生一个“abandoned”错误信息
• 可使用Wait。。。（）等待一个mutex。
• 可以具名，因此可以被其他进程开启。
• 只能被拥有它的那个线程释放。

 Semaphore

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

• 核心对象
• 没有拥有者
• 可以具名，因此可以被其他进程开启
• 可以被任何一个线程释放

 Event Object

 Event object 通常用于overlapped I/O,或是用来设计某些自定义的同步对象。 它是：

 

• 核心对象
• 完全在程序掌控之下
• 适用于设计新的同步对象
• 可以具名，因此可以被其他进程开启
• “要求苏醒”的请求并不会被储存起来，可能会被遗失掉。

Interlocked Variable

 

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

• 允许对4字节的数值有些基本的同步操作，不需动用到critical section 或者 mutex之类。
• 在SMP （Symmetric Multi-Processors）操作系统中亦可有效运作。