操作系统（三）：线程同步的方式有哪些？

建议：这种题如果能带着源码讲解 那你绝对夹在牛A与牛C之间

1、临界区（Critical Section)：

每个进程中访问临界资源的那段代码称为临界区（Critical Section）（临界资源是一次仅允许一个进程使用的共享资源）。

 

如果有多个线程试图访问公共资源，那么在有一个线程进入后，其他试图访问公共资源的线程将被挂起，并一直等到进入临界区的线程离开，临界区在被释放后，其他线程才可以抢占，是属于进程维护的。

 

相关函数：

 

void InitializeCriticalSection(LPCRITICAL_SECTION lpCriticalSection)  // 初始化临界区

 

void EnterCriticalSection(LPCRITICAL_SECTION lpCriticalSection)       // 进入临界区

 

void LeaveCriticalSection(LPCRITICAL_SECTION lpCriticalSection)       // 离开临界区

 

void DeleteCriticalSection(LPCRITICAL_SECTION lpCriticalSection)      // 释放临界区资源

 

 

2，互斥对象（Mutex）：

属于内核对象，能够确保线程拥有对单个资源的互斥访问权，只有拥有互斥对象的线程才有访问公共资源的权限

https://docs.microsoft.com/zh-cn/windows/desktop/api/synchapi/nf-synchapi-createmutexa

 

3，信号量（Semaphore）：

属于内核对象，它允许多个线程在同一时刻访问同一资源，但是需要限制在同一时刻访问此资源的最大线程数目

信号量我们在前面的文章也提到过，说到信号量就不得不说pv操作：

p(m)为-，如果m>0，就减1；如果m=0，就挂起该进程的执行.

v(m)为+，如果有其他进程因等待m而被挂起，就让它恢复运行，否则m+1.

 

4，事件对象（Event）：

属于内核对象，通过通知操作的方式来保持线程的同步，事件Event内部它包含一个使用计数，两个布尔值，一个表示手动置位事件还是自动置位事件，另一个布尔值用来表示事件有无触发。