线程同步（临界区、互斥量、事件、信号量）

最新推荐文章于 2021-05-14 01:59:39 发布
最新推荐文章于 2021-05-14 01:59:39 发布
阅读量719 收藏 7
点赞数 2
分类专栏： 操作系统 文章标签： 线程同步 临界区 互斥 事件 信号量
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/qq_42717239/article/details/105594348
版权

1、为什么线程要同步？

#include<windows.h>
#include<iostream>
using namespace std;
DWORD WINAPI ThreadFunc1(PVOID pvParam)
{
	cout << "线程1：创建成功！" << endl;
	return 0;
}
DWORD WINAPI ThreadFunc2(PVOID pvParam)
{
	cout << "线程2：创建成功！" << endl;
	return 0;
}
DWORD WINAPI ThreadFunc3(PVOID pvParam)
{
	cout << "线程3：创建成功！" << endl;
	return 0;
}
int main(int argc, char* argv[])
{
	HANDLE ThreadHandle1, ThreadHandle2, ThreadHandle3;
	ThreadHandle1 = CreateThread(NULL, 0, ThreadFunc1, NULL, 0, NULL);
	ThreadHandle2 = CreateThread(NULL, 0, ThreadFunc2, NULL, 0, NULL);
	ThreadHandle3 = CreateThread(NULL, 0, ThreadFunc3, NULL, 0, NULL);
	getchar();
	return 0;
}

在这里插入图片描述
举一个例子，创建三个线程。根据结果得知：操作系统随机调用线程，不能预知线程的执行顺序。
2、Windows线程同步方法主要有临界区、事件、互斥量、信号量四种。
3、临界区

临界区—相关API函数
定义临界区对象（通常全局变量）
CRITICAL_SECTION cs
临界区对象初始化
InitializeCriticalSection(&cs)
进入临界区
EnterCriticalSection(&cs)
离开临界区
LeaveCriticalSection(&cs)
释放临界区对象
DeleteCriticalSection(&cs)

利用临界区相关API函数，上述程序可以修改为：

#include<windows.h>
#include<iostream>
using namespace std;
CRITICAL_SECTION cs;
DWORD WINAPI ThreadFunc1(PVOID pvParam)
{
	EnterCriticalSection(&cs);
	cout << "线程1：创建成功！" << endl;
	LeaveCriticalSection(&cs);
	return 0;
}
DWORD WINAPI ThreadFunc2(PVOID pvParam)
{
	EnterCriticalSection(&cs);
	cout << "线程2：创建成功！" << endl;
	LeaveCriticalSection(&cs);
	return 0;
}
DWORD WINAPI ThreadFunc3(PVOID pvParam)
{
	EnterCriticalSection(&cs);
	cout << "线程3：创建成功！" << endl;
	LeaveCriticalSection(&cs);
	return 0;
}
int main(int argc, char* argv[])
{
	InitializeCriticalSection(&cs);
	HANDLE ThreadHandle1, ThreadHandle2, ThreadHandle3;
	ThreadHandle1 = CreateThread(NULL, 0, ThreadFunc1, NULL, 0, NULL);
	ThreadHandle2 = CreateThread(NULL, 0, ThreadFunc2, NULL, 0, NULL);
	ThreadHandle3 = CreateThread(NULL, 0, ThreadFunc3, NULL, 0, NULL);
	getchar();
	DeleteCriticalSection(&cs);
	return 0;
}

在这里插入图片描述
虽然临界区同步速度很快，但是只能用来同步本进程内的线程，不能同步多个进程中的线程。
4、两个重要的同步等待函数

DWORD WaitForSingleObject(
	HANDLE hHandle,
	DWORD dwMilliseconds		0:立即返回;INFINITE:永远等待
	);
返回值：
WAIT_OBJECT_0	线程等待的对象变为已通知状态
WAIT_TIMEOUT	超时
WAIT_FAILED		将无效的句柄传递给WaitForSingleObject

DWORD WaitForMultipleObject(
	DWORD dwCount,				指明内核对象的数量
	CONST HANDLE* phHandle,		指向内核对象句柄的数组指针
	BOOL fWaitAll,				true：所有对象变为已通知前，不允许调用线程
	DWORD dwMilliseconds
	);

上述的程序代码又可以改写为：

#include<windows.h>
#include<iostream>
using namespace std;
HANDLE ThreadHandle1, ThreadHandle2, ThreadHandle3;
DWORD WINAPI ThreadFunc1(PVOID pvParam)
{
	cout << "线程1：创建成功！" << endl;
	return 0;
}
DWORD WINAPI ThreadFunc2(PVOID pvParam)
{
	WaitForSingleObject(ThreadHandle1, INFINITE);
	cout << "线程2：创建成功！" << endl;
	return 0;
}
DWORD WINAPI ThreadFunc3(PVOID pvParam)
{
	WaitForSingleObject(ThreadHandle2, INFINITE);
	cout << "线程3：创建成功！" << endl;
	return 0;
}
int main(int argc, char* argv[])
{
	ThreadHandle1 = CreateThread(NULL, 0, ThreadFunc1, NULL, 0, NULL);
	ThreadHandle2 = CreateThread(NULL, 0, ThreadFunc2, NULL, 0, NULL);
	ThreadHandle3 = CreateThread(NULL, 0, ThreadFunc3, NULL, 0, NULL);
	getchar();
	return 0;
}

在这里插入图片描述
线程1直接创建，线程2等待线程1创建，线程3等待线程2创建。
5、互斥量

互斥量—API函数
互斥量的创建，返回句柄
HANDLE CreateMutex(
	PSECURITY_ATTRIBUTES psa,	安全属性的指针
	BOOL bInitialOwner,			初始化互斥对象的所有者
	PCTSTR pszName				指向互斥对象名的指针
	);
为现有的一个已命名互斥对象创建一个新句柄
HANDLE openMutex(
	DOWRD fdwAccess,
	BOOL bInheritHandle,
	PCTSTR pszName
	);
释放互斥量
HANDLE ReleaseMutex(HANDLE hMutex);
等待互斥量
DOWRD WaitForSingleObject(
	HANDLE hHandle,
	DOWRD dwMilliseconds
	);

上述程序又可以改写为：

#include<windows.h>
#include<iostream>
using namespace std;
HANDLE ThreadHandle1, ThreadHandle2, ThreadHandle3;
HANDLE ThreadMutex;
DWORD WINAPI ThreadFunc1(PVOID pvParam)
{
	WaitForSingleObject(ThreadMutex, INFINITE);
	cout << "线程1：创建成功！" << endl;
	ReleaseMutex(ThreadMutex);
	return 0;
}
DWORD WINAPI ThreadFunc2(PVOID pvParam)
{
	WaitForSingleObject(ThreadMutex, INFINITE);
	cout << "线程2：创建成功！" << endl;
	ReleaseMutex(ThreadMutex);
	return 0;
}
DWORD WINAPI ThreadFunc3(PVOID pvParam)
{
	WaitForSingleObject(ThreadMutex, INFINITE);
	cout << "线程3：创建成功！" << endl;
	ReleaseMutex(ThreadMutex);
	return 0;
}
int main(int argc, char* argv[])
{
	ThreadMutex = CreateMutex(NULL, false, "tMutex");
	ThreadHandle1 = CreateThread(NULL, 0, ThreadFunc1, NULL, 0, NULL);
	ThreadHandle2 = CreateThread(NULL, 0, ThreadFunc2, NULL, 0, NULL);
	ThreadHandle3 = CreateThread(NULL, 0, ThreadFunc3, NULL, 0, NULL);
	getchar();
	return 0;
}

在这里插入图片描述
注意CreateMutex第二个参数为false，说明当前主线程并不拥有互斥对象。
6、事件

事件—API函数
创建事件内核对象，返回句柄
HANDLE CreateEvent(
	PSECURITY_ATTRIBUTES psa,		安全属性
	BOOL fManuaResrt,				复位方式,false自动
	BOOL fInitialState,				初始状态，true有信号
	PCTSTR pszName					对象名称
	);
打开一个已经存在的命名事件对象
HANDLE OpenEvent(
	DOWRD fdwAccess,
	BOOL fInherit,
	PCTSTR pszName
	);
EVENT_ALL_ACCESS	要求对事件对象进行完全访问
EVENT_MODIFY_STATE	允许SetEvent和ResetEvent函数
SYNCHRONIZE			允许事件对象的使用同步
将事件设置为已通知状态
BOOL SetEvent(HANDLE hEvent);
将事件设置为未通知状态
BOOL ResetEvent(HANDLE hEvent);

上述程序可以改为：

#include<windows.h>
#include<iostream>
using namespace std;
HANDLE ThreadHandle1, ThreadHandle2, ThreadHandle3;
HANDLE ThreadEvent;
DWORD WINAPI ThreadFunc1(PVOID pvParam)
{
	WaitForSingleObject(ThreadEvent, INFINITE);
	cout << "线程1：创建成功！" << endl;
	SetEvent(ThreadEvent);
	return 0;
}
DWORD WINAPI ThreadFunc2(PVOID pvParam)
{
	WaitForSingleObject(ThreadEvent, INFINITE);
	cout << "线程2：创建成功！" << endl;
	SetEvent(ThreadEvent);
	return 0;
}
DWORD WINAPI ThreadFunc3(PVOID pvParam)
{
	WaitForSingleObject(ThreadEvent, INFINITE);
	cout << "线程3：创建成功！" << endl;
	SetEvent(ThreadEvent);
	return 0;
}
int main(int argc, char* argv[])
{
	ThreadEvent = CreateEvent(NULL, false, true, "tEvent");
	ThreadHandle1 = CreateThread(NULL, 0, ThreadFunc1, NULL, 0, NULL);
	ThreadHandle2 = CreateThread(NULL, 0, ThreadFunc2, NULL, 0, NULL);
	ThreadHandle3 = CreateThread(NULL, 0, ThreadFunc3, NULL, 0, NULL);
	getchar();
	return 0;
}

在这里插入图片描述
注意CreateEvent中的第三个参数要设置为true，一开始就是有信号的。
其中，每个线程函数还可以改写为：

DWORD WINAPI ThreadFunc1(PVOID pvParam)
{
	HANDLE event1=OpenEvent(EVENT_ALL_ACCESS,true,"tEvent");
	WaitForSingleObject(event1,INFINITE);
	cout<<"线程1：创建成功！"<<endl;
	SetEvent(ThreadEvent);
	return 0;
}

7、信号量

信号量—API函数
创建信号量
HANDLE CreateSemaphore(
	PSECURITY_ATTRIBUTES psa,
	LONG lInitialCount,				当前可用资源数
	LONG lMaximumCount,				允许最大资源数
	PCTSTR pszName
	);
为现有的一个已命名信号机对象创建一个新句柄
HANDLE OpenSemaphore(
	DWORD fdwAccess,
	BOOL bInheritHandle,
	PCTSTR pszName
	);
SEMAPHORE_ALL_ACCESS		要求对信号量的完全访问
SEMAPHORE_MODIFY_STATE		允许使用ReleaseSemaphore函数
SYNCHRONIZE					允许使用信号量同步
释放信号量
ReleaseSemaphore(
	HANDLE hSem,
	LONG lReleaseCount,
	PLONG plPreviousCount
	);

上述程序可以改写为：

#include<windows.h>
#include<iostream>
using namespace std;
HANDLE ThreadHandle1, ThreadHandle2, ThreadHandle3;
HANDLE ThreadSemaphore;
LONG a = 0;
DWORD WINAPI ThreadFunc1(PVOID pvParam)
{
	WaitForSingleObject(ThreadSemaphore, INFINITE);
	cout << "线程1：创建成功！" << endl;
	ReleaseSemaphore(ThreadSemaphore, 1, &a);
	return 0;
}
DWORD WINAPI ThreadFunc2(PVOID pvParam)
{
	WaitForSingleObject(ThreadSemaphore, INFINITE);
	cout << "线程2：创建成功！" << endl;
	ReleaseSemaphore(ThreadSemaphore, 1, &a);
	return 0;
}
DWORD WINAPI ThreadFunc3(PVOID pvParam)
{
	WaitForSingleObject(ThreadSemaphore, INFINITE);
	cout << "线程3：创建成功！" << endl;
	ReleaseSemaphore(ThreadSemaphore, 1, &a);
	return 0;
}
int main(int argc, char* argv[])
{
	ThreadSemaphore = CreateSemaphore(NULL, 1, 3, NULL);
	ThreadHandle1 = CreateThread(NULL, 0, ThreadFunc1, NULL, 0, NULL);
	ThreadHandle2 = CreateThread(NULL, 0, ThreadFunc2, NULL, 0, NULL);
	ThreadHandle3 = CreateThread(NULL, 0, ThreadFunc3, NULL, 0, NULL);
	getchar();
	return 0;
}

在这里插入图片描述
注意CreateSemaphore中的参数设置，为了防止乱序产生，当前可用的资源数应该设置为1。
8、总结
互斥量、事件、信号量都是内核对象，可用于进程间的线程同步；临界区只能用于进程内的线程同步。虽然在同一个进程内同步时，互斥量和临界区的功能相似，但是临界区的性能更好。
事件和其他几个同步方法的不同在于事件的主要作用不是保护共享资源，而是用于等待某个事件和在特定的事件发生时的发送信号，以协调线程之间的动作。
信号量与其他同步方法的区别在于它允许一个以上的线程同时访问共享资源，而其他线程同步方法都保证同时只能有一个线程访问共享资源。信号量的主要功能是用于资源计数。

三千越甲可吞吴、
关注
  • 2
    点赞
  • 踩
  • 7
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
Windows多线程——临界区、事件、互斥量、信号量详解加代码
流楚丶格念的博客
03-25 4552
一、【临界区】 每个进程中访问临界资源的那段代码称为临界区（Critical Section）（临界 资源是一次仅允许一个进程使用的共享资源）。每次只准许一个进程进入临界区， 进入后不允许其他进程进入。不论是硬件临界资源，还是软件临界资源，多个进程 必须互斥地对它进行访问。 多个进程中涉及到同一个临界资源的临界区称为相关临界区。 【进程进入临界区的调度原则】 如果有若干进程要求进入空闲的临界区，一...
【多线程】临界区，互斥量，信号量，条件变量，事件以及区别
最新发布
小鱼菜鸟的博客
10-04 597
目录 互斥量(互斥锁)和信号量(PV) 信号和信号量 信号量与条件变量 临界区与互斥量 总结 Linux和windows临界区 互斥量(互斥锁)和信号量(PV) 多任务间同步的方式包括关中断，调度器上锁， 互斥量(mutex),信号量，消息队列几种， 其中互斥量和信号量使用使用方式相近，连概念和实现都有些近似， 所以没有扎实操作系统背景...
临界区，互斥量，信号量，事件
qq_44864056的博客
06-04 532
临界区，互斥量，信号量，事件 四种进程或线程同步互斥的控制方法 1、临界区:通过对多线程的串行化来访问公共资源或一段代码，速度快，适合控制数据访问。 2、互斥量:为协调共同对一个共享资源的单独访问而设计的。 3、信号量:为控制一个具有有限数量用户资源而设计。 4、事 件:用来通知线程有一些事件已发生，从而启动后继任务的开始。 临界区（Critical Section） 保证在某一时刻只有一个线程...
线程的互斥与同步、锁与信号量
lijianyi0219的博客
03-29 1216
文章目录前言一、互斥1、加锁互斥锁自旋锁读写锁乐观锁2、信号量概念实现互斥二、同步1、信号量总结 前言 我在阅读 “小林coding” 公众号的图解操作系统系列文章后感觉受益良多，因此进行一些小总结，方便日后查阅。本篇是针对线程间互斥与同步的实现方法进行的总结。 原文链接： 面试官：你说说互斥锁、自旋锁、读写锁、悲观锁、乐观锁的应用场景 多个线程为了同个资源打起架来了，该如何让他们安分？ 线程之间存在两种常见的协作关系：互斥和同步，为了实现进程/线程间正确的协作，操作系统必须提供实现线程协作的措施和方
多线程（3）临界区，互斥量和信号量的区别
哈尼的博客
02-26 1111
Linux多线程（3）临界区，互斥量和信号量的区别1 临界区，互斥量和信号量使用范围2 互斥量和信号量的区别2.1 互斥量用于线程的互斥，信号量用于线程的同步2.2 互斥量值只能为0或1，信号量值可以为非负整数。 1 临界区，互斥量和信号量使用范围 信号量：可以被任何进程，任何线程获取和释放 互斥量：不限进程，但是哪个线程获取，哪个线程释放 临界区：仅限于本进程使用 2 互斥量和信号量的区别 2....
信号量使用之：线程间同步与互斥，线程与中断同步，资源计数
pl0020的博客
05-10 999
生产者与消费者问题本质是：解决线程间互斥关系和同步关系问题 由于缓冲区是临界资源，它一个时刻只允许一个生产者放入消息，或者一个消费者从中取出消息，所以需要解决互斥访问的问题。 同时生产者和消费者又是一个相互协作的关系，生产者生产以后，消费者才能消费，因此又存在一个同步问题。 为了解决上述既互斥又同步的问题，需要定义如下3 个信号量分： ①lock：信号量锁的作用，因为 2 个线程都会对同一个数组 array 进行操作，所以该数组是一个共享资源，锁用来保护这个共享资源。 ②empty：空位个数，初
操作系统原理：临界区、信号量、管程的同步和互斥
superSmart_Dong的博客
05-14 1497
临界区：要访问（读写）的共享资源那段代码称之为临界区。这里的代码并不是指C语言等高级语言的代码，而是指机器语言的代码。 互斥：当线程处于临界区并访问共享资源时，其他线程将不会访问相同的共享资源。 锁 :对资源加上一种保护机制，使得外部程序无法进行访问。对应的反向操作称之为解锁。 死锁：两个或以上的进程，进程之间相互等待对方完成特定任务，造成等待的死循环。 饥饿：一个可执行的进程长期无法获取到CPU的使用权。 信号量：有些进程只需要访问共享资源的某个...
临界区、互斥量、信号量
HuangQinJian
12-20 813
1.临界区:通过对多线程的串行化来访问公共资源或一段代码，速度快，适合控制数据访问。 2.互斥量:为协调共同对一个共享资源的单独访问而设计的。 3.信号量:为控制一个具有有限数量用户资源而设计。 临界区（Critical Section）保证在某一时刻只有一个线程能访问数据的简便办法。在任意时刻只允许一个线程对共享资源进行访问。如果有多个线程试图同时访问临界区，那么在有一个线程进
C++互斥锁 临界区 信号量 事件的区别总结
~探路者~的博客
11-29 2667
转自http://blog.csdn.net/anddy926/article/details/7828173四种进程或线程同步互斥的控制方法 1、临界区CriticalSection: 通过对多线程的串行化来访问公共资源或一段代码，速度快，适合控制数据访问。 2、互斥量Mutex: 为协调共同对一个共享资源的单独访问而设计的。 3、信号量Semaphore: 为控制一个具有有限数量用户资
Delphi线程同步（临界区、互斥、信号量）.pdf
12-05
在Delphi中，临界区、互斥量和信号量是三种常用的线程同步手段。临界区适用于同一进程内的线程同步，互斥量支持跨进程同步，而信号量则更适用于控制多个线程对资源的访问次数。根据具体的应用场景选择合适的同步机制...
《临界区,互斥,信号量》
03-20
互斥量提供了比临界区更强大的功能，不仅支持同一进程内的线程同步，还支持跨进程的线程同步。通过互斥量，可以确保一次只有一个线程访问共享资源。 **创建与释放互斥量：** - `CreateMutex()`：用于创建一个新的...
sem_syn.rar_linux syn_信号量_线程 同步
09-19
总结，这个压缩包提供了一个使用Linux信号量实现线程同步的实例，通过`sem_wait()`和`sem_post()`操作确保线程安全地访问共享资源。理解和应用这个示例可以帮助开发者深入理解多线程环境中的同步和互斥问题，提高...
多线程 教程 各种锁 半成品的CAS 临界区 信号量 事件 互斥锁 队列
06-07
本教程将深入探讨多线程相关的知识点，包括各种锁机制、条件变量、半成品的CAS操作、临界区、信号量、事件、互斥锁以及队列。 **多线程**：多线程是操作系统提供的一种并发执行机制，一个进程可以包含多个线程，每...
多线程代码 经典线程同步互斥问题 生产者消费者问题
06-01
a: 创建一个线程 b: 创建多个线程 c: 多线程访问同一资源 d: 经典线程同步互斥问题 e: 使用关键段解决子线程互斥问题 f: 利用事件实现线程同步问题 ...I: 信号量 semaphore 解决线程同步问题
桌上有一空盘，允许存放一只水果。爸爸可向盘中放苹果，也可向盘中放桔子，儿子专等吃盘中的桔子，女儿专等吃盘中的苹果。规定当盘空时一次只能放一只水果供吃者取用，请用P、V原语实现爸爸、儿子、女儿三个并发进
热门推荐
qq_42717239的博客
04-01 2万+
桌上有一空盘，允许存放一只水果。爸爸可向盘中放苹果，也可向盘中放桔子，儿子专等吃盘中的桔子，女儿专等吃盘中的苹果。规定当盘空时一次只能放一只水果供吃者取用，请用P、V原语实现爸爸、儿子、女儿三个并发进程的同步。 typedef int semaphore;//设置四个信号量 semaphore empty=1;//盘子是否为空 semaphore mutex=1;//一次只能进行一个操作：取或者放...
操作系统（复习）——第三章 存储管理
qq_42717239的博客
08-12 3500
一、存储管理基本概念 1.逻辑地址和物理地址 地址空间是逻辑地址的集合 存储空间是物理地址的集合 二、连续分区存储 1.单一连续分配方式 最简单的一种存储管理方式，但只能用于单用户、单任务的OS 存储管理方法：将内存分为系统区和用户区。采用静态分配方式，即作业一旦进入内存，就要等待它运行结束后才能释放内存。 主要特点：管理简单，只需要少量的软件和硬件支持，便于用户了解和使用。但因内存中只装入一道作业运行，内存空间浪费大，各资源的利用率也不高。 例 一个容量为256KB的内存，操作系统占用32KB，.
处理机调度—调度算法（FCFS、SJF、SRT、RR）
qq_42717239的博客
04-02 3491
1、FCFS 算法原理：first come first served，先到达进程先执行 编程思想：按照到达时间排序，顺序执行 2、SJF 算法原理：shortest job first，从就绪的队列中选择服务时间最短的进程执行 编程思想：按照到达时间、服务时间排序，根据服务时间从小到大的顺序判断进程是否就绪（设置就绪标识、进程完成标识） 3、SRT 算法原理：shortest remaining...
操作系统进程同步—PV机制
qq_42717239的博客
04-01 2870
四个进程ABCD共享一个文件，要求可以多进程共享文件，但AC、BD不能同时共享文件。 /*四个进程A、B、C、D、都要读一个共享文件F，系统允许多个进程同时读文件F，但限制是： 进程A和进程C不能同时读文件F 进程B和进程D不能同时读文件F 为了使这四个进程并发执行时能按照系统要求执行文件，用PV操作编写相关程序*/ #include<iostream> #include<wi...
C#线程同步：临界区、互斥量、信号量与事件解析
"本文详细介绍了C#中的线程同步方法，包括临界区、互斥量、信号量和事件这四种方式，并提供了相关的示例。线程同步是解决多线程并发访问共享资源问题的关键，确保资源的安全访问和程序的正确执行。" 在多线程编程中...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值