多线程同步机制摘要

来源：互联网发布：十元夺宝源码编辑：程序博客网时间：2024/05/22 04:47

Critical Section

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

· 一个局部性对象，不是一个核心对象。

· 快速而有效率。

· 不能够同时有一个以上的critical section被等待。

· 无法侦测是否已被某个线程放弃。

Mutex

Mutex是一个核心对象，可以在不同的线程之间实现“排他性占有”，甚至几十那些现成分属不同进程。它是：

· 一个核心对象。

· 如果拥有mutex的那个线程结束，则会产生一个“abandoned”错误信息。

· 可以使用Wait…()等待一个mutex。

· 可以具名，因此可以被其他进程开启。

· 只能被拥有它的那个线程释放（released）。

Semaphore

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

· 一个核心对象。

· 没有拥有者。

· 可以具名，因此可以被其他进程开启。

· 可以被任何一个线程释放（released）。

Event Object

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

· 一个核心对象。

· 完全在程序掌控之下。

· 适用于设计新的同步对象。

· “要求苏醒”的请求并不会被储存起来，可能会遗失掉。

· 可以具名，因此可以被其他进程开启。

Interlocked Variable

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

· 允许对4字节的数值有些基本的同步操作，不需动用到critical section或mutex之类。

· 在SMP（Symmetric Multi-Processors）操作系统中亦可有效运作。