2024年3月14日发(作者:)

(转)临界区,互斥量,信号量,事件的区别(线程同步) 收藏

四种进程或线程同步互斥的控制方法

1、临界区:通过对多线程的串行化来访问公共资源或一段代码,速度快,适合控制数据访问。

2、互斥量:为协调共同对一个共享资源的单独访问而设计的。

3、信号量:为控制一个具有有限数量用户资源而设计。

4、事 件:用来通知线程有一些事件已发生,从而启动后继任务的开始。

临界区(Critical Section)

保证在某一时刻只有一个线程能访问数据的简便办法。在任意时刻只允许一个线程对共享资

源进行访问。如果有多个线程试图同时访问临界区,那么在有一个线 程进入后其他所有试

图访问此临界区的线程将被挂起,并一直持续到进入临界区的线程离开。临界区在被释放后,

其他线程可以继续抢占,并以此达到用原子方式操 作共享资源的目的。

临界区包含两个操作原语:

EnterCriticalSection() 进入临界区

LeaveCriticalSection() 离开临界区

EnterCriticalSection()语句执行后代码将进入临界区以后无论发生什么,必须确保与之匹

配的 LeaveCriticalSection()都能够被执行到。否则临界区保护的共享资源将永远不会被释

放。虽然临界区同步速度很快,但却只能用来同步本 进程内的线程,而不可用来同步多个

进程中的线程。

MFC提供了很多功能完备的类,我用MFC实现了临界区。MFC为临界区提供有一个

CCriticalSection类,使用该类进行线程同步处理是 非常简单的。只需在线程函数中用

CCriticalSection类成员函数Lock()和UnLock()标定出被保护代码片段即可。Lock()

后代 码用到的资源自动被视为临界区内的资源被保护。UnLock后别的线程才能访问这些资

源。

互斥量(Mutex)

互斥量跟临界区很相似,只有拥有互斥对象的线程才具有访问资源的权限,由于互斥对象只

有一个,因此就决定了任何情况下此共享资源都不会同时被多个线程 所访问。当前占据资

源的线程在任务处理完后应将拥有的互斥对象交出,以便其他线程在获得后得以访问资源。

互斥量比临界区复杂。因为使用互斥不仅仅能够在同 一应用程序不同线程中实现资源的安

全共享,而且可以在不同应用程序的线程之间实现对资源的安全共享。

互斥量包含的几个操作原语:

CreateMutex() 创建一个互斥量

OpenMutex() 打开一个互斥量

ReleaseMutex() 释放互斥量

WaitForMultipleObjects() 等待互斥量对象

同样MFC为互斥量提供有一个CMutex类。使用CMutex类实现互斥量操作非常简单,但

是要特别注意对CMutex的构造函数的调用

CMutex( BOOL bInitiallyOwn = FALSE, LPCTSTR lpszName = NULL,

LPSECURITY_ATTRIBUTES lpsaAttribute = NULL)

不用的参数不能乱填,乱填会出现一些意想不到的运行结果。

信号量(Semaphores)

信号量对象对线程的同步方式与前面几种方法不同,信号允许多个线程同时使用共享资源,

这与操作系统中的PV操作相同。它指出了同时访问共享资源的线程 最大数目。它允许多

个线程在同一时刻访问同一资源,但是需要限制在同一时刻访问此资源的最大线程数目。在

用CreateSemaphore()创建信号量 时即要同时指出允许的最大资源计数和当前可用资源计

数。一般是将当前可用资源计数设置为最大资源计数,每增加一个线程对共享资源的访问,

当前可用资源计数 就会减1,只要当前可用资源计数是大于0的,就可以发出信号量信号。

但是当前可用计数减小到0时则说明当前占用资源的线程数已经达到了所允许的最大数目,

不能在允许其他线程的进入,此时的信号量信号将无法发出。线程在处理完共享资源后,应

在离开的同时通过ReleaseSemaphore()函数将当前可 用资源计数加1。在任何时候当前

可用资源计数决不可能大于最大资源计数。

PV操作及信号量的概念都是由荷兰科学家ra提出的。信号量S是一个整数,S

大于等于零时代表可供并发进程使用的资源实体数,但S小于零时则表示正在等待使用共

享资源的进程数。

P操作 申请资源:

(1)S减1;

(2)若S减1后仍大于等于零,则进程继续执行;

(3)若S减1后小于零,则该进程被阻塞后进入与该信号相对应的队列中,然后转入进程

调度。

V操作 释放资源:

(1)S加1;

(2)若相加结果大于零,则进程继续执行;

(3)若相加结果小于等于零,则从该信号的等待队列中唤醒一个等待进程,然后再返回原

进程继续执行或转入进程调度。

信号量包含的几个操作原语:

CreateSemaphore() 创建一个信号量

OpenSemaphore() 打开一个信号量

ReleaseSemaphore() 释放信号量

WaitForSingleObject() 等待信号量

事件(Event)

事件对象也可以通过通知操作的方式来保持线程的同步。并且可以实现不同进程中的线程同

步操作。

信号量包含的几个操作原语:

CreateEvent() 创建一个信号量

OpenEvent() 打开一个事件

SetEvent() 回置事件

WaitForSingleObject() 等待一个事件