同步的几种方式:
Critical Section
Critical Section(临界区)用来实现“排他性占有”。适用范围是单一进程的个线程之间。一旦线程进入一个critical section,它就能够一再地重复进入该critical section。没有办法获知进入critical section中的那个线程是生是死。从另一个角度看,由于critical section不是核心对象,如果进入critical section的那个线程结束了或者当掉了,而没有调用LeaveCriticalSection()的话,系统没有办法将该critical section清楚。如果你需要那样的机能,你应该使用mutex。它是:
- 一个局部性对象,不是一个核心对象
- 快速而有效率
- 不能够同时有一个以上的critical section被等待
- 无法侦测是否已被某个线程放弃
Mutex
Mutex是一个核心对象,可以在不同的线程之间实现“排他性占有”,甚至即使那些线程分属不同进程。它是:
- 一个核心对象
- 如果拥有mutex的那个线程结束,则会产生一个“abandoned”错误信息
- 可以使用Wait...()等待一个mutex
- 可以具名,因此可以被其他进程开启
- 只能被拥有它的那个线程释放
Semaphore
Semaphore被用来追踪有限的资源,中译为信号量,表示了资源个数的量,当信号量值为1就是一个Mutex。它是:
- 一个核心对象
- 没有拥有者
- 可以具名,因此可以被其他进程开启
- 可以被任何一个线程释放
Event Object
Event Object通常适用于 overlapped I/O,或用来设计某些自定义的同步对象。它是:
- 一个核心对象
- 完全在程序掌控之下
- 适用于设计新的同步对象
- “要求苏醒”的请求并不会被储存起来,可能会遗失掉
- 可以具名,因此可以被其他进程开启
Interlocked Variable
如果Inerlocked...()函数被使用于所谓的spin-lock,那么它们只是一种同步机制。所谓spin-lock是一种busy loop,被预期在极短时间内执行,所以有最小的额外负担(overhead)。系统核心偶尔会使用它们。除此之外,interlocked variables 主要用于引用计数。它们:
- 允许对4字节的数值有些基本的同步操作,不需动用到critical section 或 mutex 之类
- 在SMP(Symmetric Multi-Processors)操作系统中亦可有效运作。