进程与线程(同步、互斥、通信方式等)
一、并发 并行 同步 异步 多线程的区别(引用:https://blog.csdn.net/cqkxboy168/article/details/9026205)
1. 并发:在操作系统中,是指一个时间段中有几个程序都处于已启动运行到运行完毕之间,且这几个程序都是在同一个处理机上运行。其中两种并发关系分别是同步和互斥
2. 互斥:进程间相互排斥的使用临界资源的现象,就叫互斥。
3. 同步:进程之间的关系不是相互排斥临界资源的关系,而是相互依赖的关系。进一步的说明:就是前一个进程的输出作为后一个进程的输入,当第一个进程没有输出时第二个进程必须等待。具有同步关系的一组并发进程相互发送的信息称为消息或事件。
其中并发又有伪并发和真并发,伪并发是指单核处理器的并发,真并发是指多核处理器的并发。
4.
并行:在单处理器中多道程序设计系统中,进程被交替执行,表现出一种并发的外部特种;在多处理器系统中,进程不仅可以交替执行,而且可以重叠执行。在多处理器上的程序才可实现并行处理。从而可知,并行是针对多处理器而言的。并行是同时发生的多个并发事件,具有并发的含义,但并发不一定并行,也亦是说并发事件之间不一定要同一时刻发生。
5. 多线程:多线程是程序设计的逻辑层概念,它是进程中并发运行的一段代码。多线程可以实现线程间的切换执行。
6.
异步:异步和同步是相对的,同步就是顺序执行,执行完一个再执行下一个,需要等待、协调运行。异步就是彼此独立,在等待某事件的过程中继续做自己的事,不需要等待这一事件完成后再工作。线程就是实现异步的一个方式。异步是让调用方法的主线程不需要同步等待另一线程的完成,从而可以让主线程干其它的事情。
异步和多线程并不是一个同等关系,异步是最终目的,多线程只是我们实现异步的一种手段。异步是当一个调用请求发送给被调用者,而调用者不用等待其结果的返回而可以做其它的事情。实现异步可以采用多线程技术或则交给另外的进程来处理。
为了对以上概念的更好理解举一个简单例子,假设我要做 烧开水,举杠铃100下, 洗衣服 3件事情。
烧开水这件事情, 我要做的事情为,准备烧开水 1分钟,等开水烧开 8 分钟,关掉烧水机 1分钟
举杠铃100下 我要做的事情为, 举杠铃100下,10分钟
洗衣服 我要做的事情为,准备洗衣服1分钟,等开水烧开 5 分钟,关掉洗衣机 1分钟
单核情况下
同步的完成,我需要做的时间为 1+ 8 +1 + 10 + 1+ 5 +1 = 27 分
如果异步,就是在等的时候,我可以切换去做别的事情
准备烧开水(1) + 准备洗衣服(1) + 举50下杠铃 (5)分钟+ 关洗衣机 1分钟 + 举杠铃20下 (2)分钟+ 关烧水机 1分钟 + 举30下杠铃(3)分钟
1+1+5+1+2+1+3 =14 分钟
双核 异步 并行
核1 准备烧开水 1分钟+ 举杠铃50下(5)分钟+ 等待3分钟 + 关掉烧水机 1分钟
核2 准备洗衣服 1分钟+ 举杠铃50下(5)分钟+ 关掉洗衣机 1分钟 + 等待3分钟
其实只花了 1+5+3+1 = 10分钟
其中还有双核都等待了3分钟
双核 异步 非并行
核1 举杠铃100下(10)分钟
核2 准备烧开水 1分钟+ 准备洗衣服 1分钟+ 等待5 分钟+ + 关掉烧水机 1分钟 + 等待 1 分钟 + 关掉洗衣机 1分钟
其实只花了 1+5+3+1 = 10分钟
多线程的做法
单核下
线程1 准备烧开水 1分钟, 等开水烧开 8 分钟 , 关掉烧水机 1分钟
线程2 举杠铃100下 10分钟
线程3 准备洗衣服 1分钟, 等开水烧开 5 分钟 , 关掉洗衣机 1分钟
cpu 可能这么切换 最理想的切换方式
线程1 准备烧开水1 sleep 1 sleep 5 sleep 1 sleep 2 关开水 1分钟 exit
线程2 sleep 1 sleep 1 举杠铃50 5分钟 sleep 1 举杠铃20 2分钟 sleep1 举杠铃30下 3分钟
线程3 sleep 1 准备洗衣服1 分钟 sleep 5 关洗衣机1分钟 exit
最后使用了 14分钟 和异步是一样的。
但是实际上是不一样的,因为线程不会按照我们设想的去跑, 如果线程2 举杠铃先跑,整个流程的速度就下来了。
异步和同步的区别, 在io等待的时候,同步不会切走,浪费了时间。
如果都是独占cpu 的业务, 比如举杠铃的业务, 在单核情况下 多线和单线 没有区别。
多线程的好处,比较容易的实现了 异步切换的思想, 因为异步的程序很难写的。多线程本身程还是以同步完成,但是应该说
比效率是比不上异步的。 而且多线很容易写, 相对效率也高。
多核的好处,就是可以同时做事情, 这个和单核完全不一样的。
什么是线程同步和互斥?
同步就是协同步调,按预定的先后次序进行运行。如:你说完,我再说。这里的同步千万不要理解成那个同时进行,应是指协同、协助、互相配合。线程同步是指多线程通过特定的设置(如互斥量,事件对象,临界区)来控制线程之间的执行顺序(即所谓的同步)也可以说是在线程之间通过同步建立起执行顺序的关系,如果没有同步,那线程之间是各自运行各自的!
线程互斥是指对于共享的进程系统资源,在各单个线程访问时的排它性。当有若干个线程都要使用某一共享资源时,任何时刻最多只允许一个线程去使用,其它要使用该资源的线程必须等待,直到占用资源者释放该资源。线程互斥可以看成是一种特殊的线程同步(下文统称为同步)。
二、线程同步的方式和机制
临界区(Critical Section)、互斥对象(Mutex):主要用于互斥控制;都具有拥有权的控制方法,只有拥有该对象的线程才能执行任务,所以拥有,执行完任务后一定要释放该对象。
信号量(Semaphore)、事件对象(Event):事件对象是以通知的方式进行控制,主要用于同步控制!
1、临界区:通过对多线程的串行化来访问公共资源或一段代码,速度快,适合控制数据访问。在任意时刻只允许一个线程对共享资源进行访问,如果有多个线程试图访问公共资源,那么在有一个线程进入后,其他试图访问公共资源的线程将被挂起,并一直等到进入临界区的线程离开,临界区在被释放后,其他线程才可以抢占。它并不是核心对象,不是属于操作系统维护的,而是属于进程维护的。
临界区(关键代码段)
函数功能:初始化
函数原型:
void InitializeCriticalSection(LPCRITICAL_SECTION lpCriticalSection);
函数说明:定义关键段变量后必须先初始化。
函数功能:销毁
函数原型:
void DeleteCriticalSection(LPCRITICAL_SECTION lpCriticalSection);
函数说明:用完之后记得销毁。
函数功能:进入关键区域
函数原型:
void EnterCriticalSection(LPCRITICAL_SECTION lpCriticalSection);
函数说明:系统保证各线程互斥的进入关键区域。
函数功能:离开关关键区域
函数原型:
void LeaveCriticalSection(LPCRITICAL_SECTION lpCriticalSection);
总结下临界区:
1)临界区有初始化、销毁、进入和离开临界区四个函数。
2)临界区可以解决线程的互斥问题,但因为具有“线程所有权”,所以无法解决同步问题。
3)推荐临界区与旋转锁配合使用。
2、互斥对象:互斥对象和临界区很像,采用互斥对象机制,只有拥有互斥对象的线程才有访问公共资源的权限。因为互斥对象只有一个,所以能保证公共资源不会同时被多个线程同时访问。当前拥有互斥对象的线程处理完任务后必须将线程交出,以便其他线程访问该资源。
总结下互斥量Mutex:
1)互斥量是内核对象,它与关键段都有“线程所有权”所以不能用于线程的同步。
2)互斥量能够用于多个进程之间线程互斥问题,并且能完美的解决某进程意外终止所造成的“遗弃”问题。
第一个CreateMutex
函数功能:创建互斥量(注意与事件Event的创建函数对比)
函数原型:
HANDLE CreateMutex(
LPSECURITY_ATTRIBUTES lpMutexAttributes,
BOOL bInitialOwner,
LPCTSTR lpName
);
函数说明:
第一个参数表示安全控制,一般直接传入NULL。
第二个参数用来确定互斥量的初始拥有者。如果传入TRUE表示互斥量对象内部会记录创建它的线程的线程ID号并将递归计数设置为1,由于该线程ID非零,所以互斥量处于未触发状态。如果传入FALSE,那么互斥量对象内部的线程ID号将设置为NULL,递归计数设置为0,这意味互斥量不为任何线程占用,处于触发状态。
第三个参数用来设置互斥量的名称,在多个进程中的线程就是通过名称来确保它们访问的是同一个互斥量。
函数访问值:
成功返回一个表示互斥量的句柄,失败返回NULL。
第二个打开互斥量
函数原型:
HANDLE OpenMutex(
DWORD dwDesiredAccess,
BOOL bInheritHandle,
LPCTSTR lpName //名称
);
函数说明:
第一个参数表示访问权限,对互斥量一般传入MUTEX_ALL_ACCESS。详细解释可以查看MSDN文档。
第二个参数表示互斥量句柄继承性,一般传入TRUE即可。
第三个参数表示名称。某一个进程中的线程创建互斥量后,其它进程中的线程就可以通过这个函数来找到这个互斥量。
函数访问值:
成功返回一个表示互斥量的句柄,失败返回NULL。
第三个触发互斥量
函数原型:
BOOL ReleaseMutex (HANDLE hMutex)
函数说明:
访问互斥资源前应该要调用等待函数,结束访问时就要调用ReleaseMutex()来表示自己已经结束访问,其它线程可以开始访问了。
最后一个清理互斥量
由于互斥量是内核对象,因此使用CloseHandle()就可以(这一点所有内核对象都一样)。
首先我们需要创建CreateMutex一把互斥对象,我们可以指明当前线程是否拥有它,互斥对象完全就像一把钥匙一样,我们用WaitForSignalObject来等待这把钥匙,但是这把钥匙被等到并且使用后必须释放-----ReleaseMutex ,不然别人永远无法等到。这样从等待到释放中间的代码段永远都是只有一个线程在执行,也就形成了互斥控制。当然互斥对象的句柄是要关闭的CloseHandle。
3、信号量:信号量也是内核对象。它允许多个线程在同一时刻访问同一资源,但是需要限制在同一时刻访问此资源的最大线程数目
在用CreateSemaphore()创建信号量时即要同时指出允许的最大资源计数和当前可用资源计数。一般是将当前可用资源计数设置为最 大资源计数,每增加一个线程对共享资源的访问,当前可用资源计数就会减1 ,只要当前可用资源计数是大于0 的,就可以发出信号量信号。但是当前可用计数减小 到0 时则说明当前占用资源的线程数已经达到了所允许的最大数目,不能在允许其他线程的进入,此时的信号量信号将无法发出。线程在处理完共享资源后,应在离 开的同时通过ReleaseSemaphore ()函数将当前可用资源计数加1 。在任何时候当前可用资源计数决不可能大于最大资源计数。
信号量Semaphore常用有三个函数,使用很方便。下面是这几个函数的原型和使用说明。
HANDLE CreateSemaphore(
LPSECURITY ATTRIBUTES lpSemaphoreAttributes, //安全属性
LONG lInitialCount, //信号量对象的初始值
LONG lMaximumCount, //信号量的最大值
LPCTSTR lpName //信号量名
);
参数说明:
(1)lpSemaphoreAttributes:指定安全属性,为NULL时,信号量得到一个
默认的安全描述符。
(2)
lInitialCount:指定信号量对象的初始值。该值必须大于等于0,小于等于lMaximumCount。当其值大于0时,信号量被唤醒。当该函数释放了一个等待该信号量的线程时,lInitialCount值减1,当调用函数ReleaseSemaphore()时,按其指定的数量加一个值。
(3) lMaximumCount:指出该信号量的最大值,该值必须大于0。
(4) lpName:给出信号量的名字。
返回值:
信号量创建成功,将返回该信号量的句柄。如果给出的信号量名是系统已经存在的信号量,将返回这个已存在信号量的句柄。如果失败,系统返回NULL,可以调用函数GetLastError()查询失败的原因
第二个 OpenSemaphore
函数功能:打开信号量
函数原型:
HANDLE OpenSemaphore(
DWORD dwDesiredAccess,
BOOL bInheritHandle,
LPCTSTR lpName
);
函数说明:
第一个参数表示访问权限,对一般传入SEMAPHORE_ALL_ACCESS。详细解释可以查看MSDN文档。
第二个参数表示信号量句柄继承性,一般传入TRUE即可。
第三个参数表示名称,不同进程中的各线程可以通过名称来确保它们访问同一个信号量。
第三个 ReleaseSemaphore
函数功能:递增信号量的当前资源计数
函数原型:
BOOL ReleaseSemaphore(
HANDLE hSemaphore,
LONG lReleaseCount,
LPLONG lpPreviousCount
);
函数说明:
第一个参数是信号量的句柄。
第二个参数表示增加个数,必须大于0且不超过最大资源数量。
第三个参数可以用来传出先前的资源计数,设为NULL表示不需要传出。
注意:当前资源数量大于0,表示信号量处于触发,等于0表示资源已经耗尽故信号量处于末触发。在对信号量调用等待函数时,等待函数会检查信号量的当前资源计数,如果大于0(即信号量处于触发状态),减1后返回让调用线程继续执行。一个线程可以多次调用等待函数来减小信号量。
最后一个 信号量的清理与销毁
由于信号量是内核对象,因此使用CloseHandle()就可以完成清理与销毁了。
信号量超形象解释:
以一个停车场的运作为例。简单起见,假设停车场只有三个车位(共有资源),一开始三个车位都是空的。这时如果同时来了五辆车(线程),看门人(信号量)允许其中三辆(线程)直接进入,然后放下车拦,剩下的车则必须在入口等待,此后来的车也都不得不在入口处等待。这时,有一辆车(线程)离开停车场,看门人(信号量)得知后,打开车拦,放入外面的一辆进去,如果又离开两辆,则又可以放入两辆,如此往复。
抽象的来讲,信号量的特性如下:信号量是一个非负整数(车位数),所有通过它的线程/进程(车辆)都会将该整数减一(通过它使得资源被使用了1个),当该整数值为零时,所有试图通过它的线程(车辆)都将处于等待状态。在信号量上我们定义两种操作:
Wait(等待函数) 和
Release(释放函数)。当一个线程调用Wait操作时,它要么得到资源然后将信号量减一,要么一直等下去(指放入阻塞队列),直到信号量大于等于一时。Release(释放)对应于车辆离开停车场,该操作之所以叫做“释放”是因为释放了由信号量守护的资源(车位)。
4、事件对象: 通过通知操作的方式来保持线程的同步,还可以方便实现对多个线程的优先级比较的操作
总结下事件Event
1)事件是内核对象,事件分为手动置位事件和自动置位事件。事件Event内部它包含一个使用计数(所有内核对象都有),一个布尔值表示是手动置位事件还是自动置位事件,另一个布尔值用来表示事件有无触发。
2)事件可以由SetEvent()来触发,由ResetEvent()来设成未触发。还可以由PulseEvent()来发出一个事件脉冲。
3)事件可以解决线程间同步问题,因此也能解决互斥问题。
第一个 CreateEvent
函数功能:创建事件
函数原型:
HANDLE CreateEvent(
LPSECURITY_ATTRIBUTES lpEventAttributes,
BOOL bManualReset,
BOOL bInitialState,
LPCTSTR lpName
);
函数说明:
第一个参数表示安全控制,一般直接传入NULL。
第二个参数确定事件是手动置位还是自动置位,传入TRUE表示手动置位,传入FALSE表示自动置位。如果为自动置位,则对该事件调用WaitForSingleObject()后会自动调用ResetEvent()使事件变成未触发状态。
第三个参数表示事件的初始状态,传入TRUR表示已触发。
第四个参数表示事件的名称,传入NULL表示匿名事件。
第二个 OpenEvent
函数功能:根据名称获得一个事件句柄。
函数原型:
HANDLE OpenEvent(
DWORD dwDesiredAccess,
BOOL bInheritHandle,
LPCTSTR lpName //名称
);
函数说明:
第一个参数表示访问权限,对事件一般传入EVENT_ALL_ACCESS。详细解释可以查看MSDN文档。
第二个参数表示事件句柄继承性,一般传入TRUE即可。
第三个参数表示名称,不同进程中的各线程可以通过名称来确保它们访问同一个事件。
第三个SetEvent
函数功能:触发事件
函数原型:BOOL SetEvent(HANDLE hEvent);
函数说明:每次触发后,必有一个或多个处于等待状态下的线程变成可调度状态。
第四个ResetEvent
函数功能:将事件设为末触发
函数原型:BOOLResetEvent(HANDLEhEvent);
最后一个事件的清理与销毁
由于事件是内核对象,因此使用CloseHandle()就可以完成清理与销毁了。
事件对象的形象比喻:
首先我们需要创建CreateEvent一个事件对象,它的使用方式是触发方式,要想被WaitForSingleObject等待到该事件对象必须是有信号的,事件要想有信号可以用SetEvent手动置为有信号,要想事件对象无信号可以使用ResetEvent(或者在创建事件对象时就声明该事件对象WaitForSingleObject后自动置为无信号,见上面CreateEvent第二个参数),打个小小比方,手动置位事件相当于教室门,教室门一旦打开(被触发),所以有人都可以进入直到老师去关上教室门(事件变成未触发)。自动置位事件就相当于医院里拍X光的房间门,门打开后只能进入一个人,这个人进去后会将门关上,其它人不能进入除非门重新被打开(事件重新被触发)。当然事件对象的句柄是要关闭的CloseHandle。
三、进程间通信
进程间通信(IPC,InterProcess Communication)是指在不同进程之间传播或交换信息。
IPC的方式通常有管道(包括无名管道和命名管道)、消息队列、信号量、共享存储、Socket、Streams等。其中 Socket和Streams支持不同主机上的两个进程IPC。
以Linux中的C语言编程为例。
(一)管道
管道,通常指无名管道,是 UNIX 系统IPC最古老的形式。
1、特点:
-
它是半双工的(即数据只能在一个方向上流动),具有固定的读端和写端。
-
它只能用于具有亲缘关系的进程之间的通信(也是父子进程或者兄弟进程之间)。
-
它可以看成是一种特殊的文件,对于它的读写也可以使用普通的read、write 等函数。但是它不是普通的文件,并不属于其他任何文件系统,并且只存在于内存中。
2、原型:
#include <unistd.h> int pipe(int fd[2]); // 返回值:若成功返回0,失败返回-1
当一个管道建立时,它会创建两个文件描述符:fd[0]
为读而打开,fd[1]
为写而打开。如下图
要关闭管道只需将这两个文件描述符关闭即可。
3、例子
单个进程中的管道几乎没有任何用处。所以,通常调用 pipe 的进程接着调用 fork,这样就创建了父进程与子进程之间的 IPC 通道。如下图所示:
若要数据流从父进程流向子进程,则关闭父进程的读端(fd[0]
)与子进程的写端(fd[1]
);反之,则可以使数据流从子进程流向父进程。
1 #include<stdio.h> 2 #include<unistd.h> 3 4 int main() 5 { 6 int fd[2]; // 两个文件描述符 7 pid_t pid; 8 char buff[20]; 9 10 if(pipe(fd) < 0) // 创建管道 11 printf("Create Pipe Error!\n"); 12 13 if((pid = fork()) < 0) // 创建子进程 14 printf("Fork Error!\n"); 15 else if(pid > 0) // 父进程 16 { 17 close(fd[0]); // 关闭读端 18 write(fd[1], "hello world\n", 12); 19 } 20 else 21 { 22 close(fd[1]); // 关闭写端 23 read(fd[0], buff, 20); 24 printf("%s", buff); 25 } 26 27 return 0; 28 }
(二)有名管道
FIFO,也称为命名管道,它是一种文件类型。
1、特点
-
FIFO可以在无关的进程之间交换数据,与无名管道不同。
-
FIFO有路径名与之相关联,它以一种特殊设备文件形式存在于文件系统中。
2、原型
#include <sys/stat.h> int mkfifo(const char *pathname, mode_t mode); // 返回值:成功返回0,出错返回-1
其中的 mode 参数与open
函数中的 mode 相同。一旦创建了一个 FIFO,就可以用一般的文件I/O函数操作它。
当 open 一个FIFO时,是否设置非阻塞标志(O_NONBLOCK
)的区别:
-
若没有指定
O_NONBLOCK
(默认),只读 open 要阻塞到某个其他进程为写而打开此 FIFO。类似的,只写 open 要阻塞到某个其他进程为读而打开它。 -
若指定了
O_NONBLOCK
,则只读 open 立即返回。而只写 open 将出错返回 -1 如果没有进程已经为读而打开该 FIFO,其errno置ENXIO。
3、例子
FIFO的通信方式类似于在进程中使用文件来传输数据,只不过FIFO类型文件同时具有管道的特性。在数据读出时,FIFO管道中同时清除数据,并且“先进先出”。下面的例子演示了使用 FIFO 进行 IPC 的过程:
write_fifo.c
1 #include<stdio.h> 2 #include<stdlib.h> // exit 3 #include<fcntl.h> // O_WRONLY 4 #include<sys/stat.h> 5 #include<time.h> // time 6 7 int main() 8 { 9 int fd; 10 int n, i; 11 char buf[1024]; 12 time_t tp; 13 14 printf("I am %d process.\n", getpid()); // 说明进程ID 15 16 if((fd = open("fifo1", O_WRONLY)) < 0) // 以写打开一个FIFO 17 { 18 perror("Open FIFO Failed"); 19 exit(1); 20 } 21 22 for(i=0; i<10; ++i) 23 { 24 time(&tp); // 取系统当前时间 25 n=sprintf(buf,"Process %d's time is %s",getpid(),ctime(&tp)); 26 printf("Send message: %s", buf); // 打印 27 if(write(fd, buf, n+1) < 0) // 写入到FIFO中 28 { 29 perror("Write FIFO Failed"); 30 close(fd); 31 exit(1); 32 } 33 sleep(1); // 休眠1秒 34 } 35 36 close(fd); // 关闭FIFO文件 37 return 0; 38 }
read_fifo.c
1 #include<stdio.h> 2 #include<stdlib.h> 3 #include<errno.h> 4 #include<fcntl.h> 5 #include<sys/stat.h> 6 7 int main() 8 { 9 int fd; 10 int len; 11 char buf[1024]; 12 13 if(mkfifo("fifo1", 0666) < 0 && errno!=EEXIST) // 创建FIFO管道 14 perror("Create FIFO Failed"); 15 16 if((fd = open("fifo1", O_RDONLY)) < 0) // 以读打开FIFO 17 { 18 perror("Open FIFO Failed"); 19 exit(1); 20 } 21 22 while((len = read(fd, buf, 1024)) > 0) // 读取FIFO管道 23 printf("Read message: %s", buf); 24 25 close(fd); // 关闭FIFO文件 26 return 0; 27 }
上述例子可以扩展成 客户进程—服务器进程 通信的实例,write_fifo
的作用类似于客户端,可以打开多个客户端向一个服务器发送请求信息,read_fifo
类似于服务器,它适时监控着FIFO的读端,当有数据时,读出并进行处理,但是有一个关键的问题是,每一个客户端必须预先知道服务器提供的FIFO接口,下图显示了这种安排:
(三)消息队列
消息队列,是消息的链接表,存放在内核中。一个消息队列由一个标识符(即队列ID)来标识。
1、特点
-
消息队列是面向记录的,其中的消息具有特定的格式以及特定的优先级。
-
消息队列独立于发送与接收进程。进程终止时,消息队列及其内容并不会被删除。
-
消息队列可以实现消息的随机查询,消息不一定要以先进先出的次序读取,也可以按消息的类型读取。
2、原型
#include <sys/msg.h> // 创建或打开消息队列:成功返回队列ID,失败返回-1 int msgget(key_t key, int flag); // 添加消息:成功返回0,失败返回-1 int msgsnd(int msqid, const void *ptr, size_t size, int flag); // 读取消息:成功返回消息数据的长度,失败返回-1 int msgrcv(int msqid, void *ptr, size_t size, long type,int flag); // 控制消息队列:成功返回0,失败返回-1 int msgctl(int msqid, int cmd, struct msqid_ds *buf);
在以下两种情况下,msgget
将创建一个新的消息队列:
- 如果没有与键值key相对应的消息队列,并且flag中包含了
IPC_CREAT
标志位。 - key参数为
IPC_PRIVATE
。
函数msgrcv
在读取消息队列时,type参数有下面几种情况:
type == 0
,返回队列中的第一个消息;type > 0
,返回队列中消息类型为 type 的第一个消息;type < 0
,返回队列中消息类型值小于或等于 type 绝对值的消息,如果有多个,则取类型值最小的消息。
可以看出,type值非 0 时用于以非先进先出次序读消息。也可以把 type 看做优先级的权值。
3、例子
下面写了一个简单的使用消息队列进行IPC的例子,服务端程序一直在等待特定类型的消息,当收到该类型的消息以后,发送另一种特定类型的消息作为反馈,客户端读取该反馈并打印出来。
msg_server.c
1 #include <stdio.h> 2 #include <stdlib.h> 3 #include <sys/msg.h> 4 5 // 用于创建一个唯一的key 6 #define MSG_FILE "/etc/passwd" 7 8 // 消息结构 9 struct msg_form { 10 long mtype; 11 char mtext[256]; 12 }; 13 14 int main() 15 { 16 int msqid; 17 key_t key; 18 struct msg_form msg; 19 20 // 获取key值 21 if((key = ftok(MSG_FILE,'z')) < 0) 22 { 23 perror("ftok error"); 24 exit(1); 25 } 26 27 // 打印key值 28 printf("Message Queue - Server key is: %d.\n", key); 29 30 // 创建消息队列 31 if ((msqid = msgget(key, IPC_CREAT|0777)) == -1) 32 { 33 perror("msgget error"); 34 exit(1); 35 } 36 37 // 打印消息队列ID及进程ID 38 printf("My msqid is: %d.\n", msqid); 39 printf("My pid is: %d.\n", getpid()); 40 41 // 循环读取消息 42 for(;;) 43 { 44 msgrcv(msqid, &msg, 256, 888, 0);// 返回类型为888的第一个消息 45 printf("Server: receive msg.mtext is: %s.\n", msg.mtext); 46 printf("Server: receive msg.mtype is: %d.\n", msg.mtype); 47 48 msg.mtype = 999; // 客户端接收的消息类型 49 sprintf(msg.mtext, "hello, I'm server %d", getpid()); 50 msgsnd(msqid, &msg, sizeof(msg.mtext), 0); 51 } 52 return 0; 53 }
msg_client.c
1 #include <stdio.h> 2 #include <stdlib.h> 3 #include <sys/msg.h> 4 5 // 用于创建一个唯一的key 6 #define MSG_FILE "/etc/passwd" 7 8 // 消息结构 9 struct msg_form { 10 long mtype; 11 char mtext[256]; 12 }; 13 14 int main() 15 { 16 int msqid; 17 key_t key; 18 struct msg_form msg; 19 20 // 获取key值 21 if ((key = ftok(MSG_FILE, 'z')) < 0) 22 { 23 perror("ftok error"); 24 exit(1); 25 } 26 27 // 打印key值 28 printf("Message Queue - Client key is: %d.\n", key); 29 30 // 打开消息队列 31 if ((msqid = msgget(key, IPC_CREAT|0777)) == -1) 32 { 33 perror("msgget error"); 34 exit(1); 35 } 36 37 // 打印消息队列ID及进程ID 38 printf("My msqid is: %d.\n", msqid); 39 printf("My pid is: %d.\n", getpid()); 40 41 // 添加消息,类型为888 42 msg.mtype = 888; 43 sprintf(msg.mtext, "hello, I'm client %d", getpid()); 44 msgsnd(msqid, &msg, sizeof(msg.mtext), 0); 45 46 // 读取类型为777的消息 47 msgrcv(msqid, &msg, 256, 999, 0); 48 printf("Client: receive msg.mtext is: %s.\n", msg.mtext); 49 printf("Client: receive msg.mtype is: %d.\n", msg.mtype); 50 return 0; 51 }
(四)信号量
信号量(semaphore)与已经介绍过的 IPC 结构不同,它是一个计数器。信号量用于实现进程间的互斥与同步,而不是用于存储进程间通信数据。
1、特点
-
信号量用于进程间同步,若要在进程间传递数据需要结合共享内存。
-
信号量基于操作系统的 PV 操作,程序对信号量的操作都是原子操作。
-
每次对信号量的 PV 操作不仅限于对信号量值加 1 或减 1,而且可以加减任意正整数。
-
支持信号量组。
2、原型
最简单的信号量是只能取 0 和 1 的变量,这也是信号量最常见的一种形式,叫做二值信号量(Binary Semaphore)。而可以取多个正整数的信号量被称为通用信号量。
Linux 下的信号量函数都是在通用的信号量数组上进行操作,而不是在一个单一的二值信号量上进行操作。
#include <sys/sem.h> // 创建或获取一个信号量组:若成功返回信号量集ID,失败返回-1 int semget(key_t key, int num_sems, int sem_flags); // 对信号量组进行操作,改变信号量的值:成功返回0,失败返回-1 int semop(int semid, struct sembuf semoparray[], size_t numops); // 控制信号量的相关信息 int semctl(int semid, int sem_num, int cmd, ...);
当semget
创建新的信号量集合时,必须指定集合中信号量的个数(即num_sems
),通常为1; 如果是引用一个现有的集合,则将num_sems
指定为 0 。
在semop
函数中,sembuf
结构的定义如下:
struct sembuf { short sem_num; // 信号量组中对应的序号,0~sem_nums-1 short sem_op; // 信号量值在一次操作中的改变量 short sem_flg; // IPC_NOWAIT, SEM_UNDO }
其中 sem_op 是一次操作中的信号量的改变量:
-
若
sem_op > 0
,表示进程释放相应的资源数,将 sem_op 的值加到信号量的值上。如果有进程正在休眠等待此信号量,则换行它们。 -
若
sem_op < 0
,请求 sem_op 的绝对值的资源。- 如果相应的资源数可以满足请求,则将该信号量的值减去sem_op的绝对值,函数成功返回。
- 当相应的资源数不能满足请求时,这个操作与
sem_flg
有关。- sem_flg 指定
IPC_NOWAIT
,则semop函数出错返回EAGAIN
。 - sem_flg 没有指定
IPC_NOWAIT
,则将该信号量的semncnt值加1,然后进程挂起直到下述情况发生:- 当相应的资源数可以满足请求,此信号量的semncnt值减1,该信号量的值减去sem_op的绝对值。成功返回;
- 此信号量被删除,函数smeop出错返回EIDRM;
- 进程捕捉到信号,并从信号处理函数返回,此情况下将此信号量的semncnt值减1,函数semop出错返回EINTR
- sem_flg 指定
-
若
sem_op == 0
,进程阻塞直到信号量的相应值为0:- 当信号量已经为0,函数立即返回。
- 如果信号量的值不为0,则依据
sem_flg
决定函数动作:- sem_flg指定
IPC_NOWAIT
,则出错返回EAGAIN
。 - sem_flg没有指定
IPC_NOWAIT
,则将该信号量的semncnt值加1,然后进程挂起直到下述情况发生:- 信号量值为0,将信号量的semzcnt的值减1,函数semop成功返回;
- 此信号量被删除,函数smeop出错返回EIDRM;
- 进程捕捉到信号,并从信号处理函数返回,在此情况将此信号量的semncnt值减1,函数semop出错返回EINTR
- sem_flg指定
在semctl
函数中的命令有多种,这里就说两个常用的:
SETVAL
:用于初始化信号量为一个已知的值。所需要的值作为联合semun的val成员来传递。在信号量第一次使用之前需要设置信号量。IPC_RMID
:删除一个信号量集合。如果不删除信号量,它将继续在系统中存在,即使程序已经退出,它可能在你下次运行此程序时引发问题,而且信号量是一种有限的资源。
3、例子
1 #include<stdio.h> 2 #include<stdlib.h> 3 #include<sys/sem.h> 4 5 // 联合体,用于semctl初始化 6 union semun 7 { 8 int val; /*for SETVAL*/ 9 struct semid_ds *buf; 10 unsigned short *array; 11 }; 12 13 // 初始化信号量 14 int init_sem(int sem_id, int value) 15 { 16 union semun tmp; 17 tmp.val = value; 18 if(semctl(sem_id, 0, SETVAL, tmp) == -1) 19 { 20 perror("Init Semaphore Error"); 21 return -1; 22 } 23 return 0; 24 } 25 26 // P操作: 27 // 若信号量值为1,获取资源并将信号量值-1 28 // 若信号量值为0,进程挂起等待 29 int sem_p(int sem_id) 30 { 31 struct sembuf sbuf; 32 sbuf.sem_num = 0; /*序号*/ 33 sbuf.sem_op = -1; /*P操作*/ 34 sbuf.sem_flg = SEM_UNDO; 35 36 if(semop(sem_id, &sbuf, 1) == -1) 37 { 38 perror("P operation Error"); 39 return -1; 40 } 41 return 0; 42 } 43 44 // V操作: 45 // 释放资源并将信号量值+1 46 // 如果有进程正在挂起等待,则唤醒它们 47 int sem_v(int sem_id) 48 { 49 struct sembuf sbuf; 50 sbuf.sem_num = 0; /*序号*/ 51 sbuf.sem_op = 1; /*V操作*/ 52 sbuf.sem_flg = SEM_UNDO; 53 54 if(semop(sem_id, &sbuf, 1) == -1) 55 { 56 perror("V operation Error"); 57 return -1; 58 } 59 return 0; 60 } 61 62 // 删除信号量集 63 int del_sem(int sem_id) 64 { 65 union semun tmp; 66 if(semctl(sem_id, 0, IPC_RMID, tmp) == -1) 67 { 68 perror("Delete Semaphore Error"); 69 return -1; 70 } 71 return 0; 72 } 73 74 75 int main() 76 { 77 int sem_id; // 信号量集ID 78 key_t key; 79 pid_t pid; 80 81 // 获取key值 82 if((key = ftok(".", 'z')) < 0) 83 { 84 perror("ftok error"); 85 exit(1); 86 } 87 88 // 创建信号量集,其中只有一个信号量 89 if((sem_id = semget(key, 1, IPC_CREAT|0666)) == -1) 90 { 91 perror("semget error"); 92 exit(1); 93 } 94 95 // 初始化:初值设为0资源被占用 96 init_sem(sem_id, 0); 97 98 if((pid = fork()) == -1) 99 perror("Fork Error"); 100 else if(pid == 0) /*子进程*/ 101 { 102 sleep(2); 103 printf("Process child: pid=%d\n", getpid()); 104 sem_v(sem_id); /*释放资源*/ 105 } 106 else /*父进程*/ 107 { 108 sem_p(sem_id); /*等待资源*/ 109 printf("Process father: pid=%d\n", getpid()); 110 sem_v(sem_id); /*释放资源*/ 111 del_sem(sem_id); /*删除信号量集*/ 112 } 113 return 0; 114 }
上面的例子如果不加信号量,则父进程会先执行完毕。这里加了信号量让父进程等待子进程执行完以后再执行。
(五)共享内存
共享内存(Shared Memory),指两个或多个进程共享一个给定的存储区。
1、特点
-
共享内存是最快的一种 IPC,因为进程是直接对内存进行存取。
-
因为多个进程可以同时操作,所以需要进行同步。
-
信号量+共享内存通常结合在一起使用,信号量用来同步对共享内存的访问。
2、原型
#include <sys/shm.h> // 创建或获取一个共享内存:成功返回共享内存ID,失败返回-1 int shmget(key_t key, size_t size, int flag); // 连接共享内存到当前进程的地址空间:成功返回指向共享内存的指针,失败返回-1 void *shmat(int shm_id, const void *addr, int flag); // 断开与共享内存的连接:成功返回0,失败返回-1 int shmdt(void *addr); // 控制共享内存的相关信息:成功返回0,失败返回-1 int shmctl(int shm_id, int cmd, struct shmid_ds *buf);
当用shmget
函数创建一段共享内存时,必须指定其 size;而如果引用一个已存在的共享内存,则将 size 指定为0 。
当一段共享内存被创建以后,它并不能被任何进程访问。必须使用shmat
函数连接该共享内存到当前进程的地址空间,连接成功后把共享内存区对象映射到调用进程的地址空间,随后可像本地空间一样访问。
shmdt
函数是用来断开shmat
建立的连接的。注意,这并不是从系统中删除该共享内存,只是当前进程不能再访问该共享内存而已。
shmctl
函数可以对共享内存执行多种操作,根据参数 cmd 执行相应的操作。常用的是IPC_RMID
(从系统中删除该共享内存)。
3、例子
下面这个例子,使用了【共享内存+信号量+消息队列】的组合来实现服务器进程与客户进程间的通信。
- 共享内存用来传递数据;
- 信号量用来同步;
- 消息队列用来 在客户端修改了共享内存后 通知服务器读取。
server.c
1 #include<stdio.h> 2 #include<stdlib.h> 3 #include<sys/shm.h> // shared memory 4 #include<sys/sem.h> // semaphore 5 #include<sys/msg.h> // message queue 6 #include<string.h> // memcpy 7 8 // 消息队列结构 9 struct msg_form { 10 long mtype; 11 char mtext; 12 }; 13 14 // 联合体,用于semctl初始化 15 union semun 16 { 17 int val; /*for SETVAL*/ 18 struct semid_ds *buf; 19 unsigned short *array; 20 }; 21 22 // 初始化信号量 23 int init_sem(int sem_id, int value) 24 { 25 union semun tmp; 26 tmp.val = value; 27 if(semctl(sem_id, 0, SETVAL, tmp) == -1) 28 { 29 perror("Init Semaphore Error"); 30 return -1; 31 } 32 return 0; 33 } 34 35 // P操作: 36 // 若信号量值为1,获取资源并将信号量值-1 37 // 若信号量值为0,进程挂起等待 38 int sem_p(int sem_id) 39 { 40 struct sembuf sbuf; 41 sbuf.sem_num = 0; /*序号*/ 42 sbuf.sem_op = -1; /*P操作*/ 43 sbuf.sem_flg = SEM_UNDO; 44 45 if(semop(sem_id, &sbuf, 1) == -1) 46 { 47 perror("P operation Error"); 48 return -1; 49 } 50 return 0; 51 } 52 53 // V操作: 54 // 释放资源并将信号量值+1 55 // 如果有进程正在挂起等待,则唤醒它们 56 int sem_v(int sem_id) 57 { 58 struct sembuf sbuf; 59 sbuf.sem_num = 0; /*序号*/ 60 sbuf.sem_op = 1; /*V操作*/ 61 sbuf.sem_flg = SEM_UNDO; 62 63 if(semop(sem_id, &sbuf, 1) == -1) 64 { 65 perror("V operation Error"); 66 return -1; 67 } 68 return 0; 69 } 70 71 // 删除信号量集 72 int del_sem(int sem_id) 73 { 74 union semun tmp; 75 if(semctl(sem_id, 0, IPC_RMID, tmp) == -1) 76 { 77 perror("Delete Semaphore Error"); 78 return -1; 79 } 80 return 0; 81 } 82 83 // 创建一个信号量集 84 int creat_sem(key_t key) 85 { 86 int sem_id; 87 if((sem_id = semget(key, 1, IPC_CREAT|0666)) == -1) 88 { 89 perror("semget error"); 90 exit(-1); 91 } 92 init_sem(sem_id, 1); /*初值设为1资源未占用*/ 93 return sem_id; 94 } 95 96 97 int main() 98 { 99 key_t key; 100 int shmid, semid, msqid; 101 char *shm; 102 char data[] = "this is server"; 103 struct shmid_ds buf1; /*用于删除共享内存*/ 104 struct msqid_ds buf2; /*用于删除消息队列*/ 105 struct msg_form msg; /*消息队列用于通知对方更新了共享内存*/ 106 107 // 获取key值 108 if((key = ftok(".", 'z')) < 0) 109 { 110 perror("ftok error"); 111 exit(1); 112 } 113 114 // 创建共享内存 115 if((shmid = shmget(key, 1024, IPC_CREAT|0666)) == -1) 116 { 117 perror("Create Shared Memory Error"); 118 exit(1); 119 } 120 121 // 连接共享内存 122 shm = (char*)shmat(shmid, 0, 0); 123 if((int)shm == -1) 124 { 125 perror("Attach Shared Memory Error"); 126 exit(1); 127 } 128 129 130 // 创建消息队列 131 if ((msqid = msgget(key, IPC_CREAT|0777)) == -1) 132 { 133 perror("msgget error"); 134 exit(1); 135 } 136 137 // 创建信号量 138 semid = creat_sem(key); 139 140 // 读数据 141 while(1) 142 { 143 msgrcv(msqid, &msg, 1, 888, 0); /*读取类型为888的消息*/ 144 if(msg.mtext == 'q') /*quit - 跳出循环*/ 145 break; 146 if(msg.mtext == 'r') /*read - 读共享内存*/ 147 { 148 sem_p(semid); 149 printf("%s\n",shm); 150 sem_v(semid); 151 } 152 } 153 154 // 断开连接 155 shmdt(shm); 156 157 /*删除共享内存、消息队列、信号量*/ 158 shmctl(shmid, IPC_RMID, &buf1); 159 msgctl(msqid, IPC_RMID, &buf2); 160 del_sem(semid); 161 return 0; 162 }
client.c
1 #include<stdio.h> 2 #include<stdlib.h> 3 #include<sys/shm.h> // shared memory 4 #include<sys/sem.h> // semaphore 5 #include<sys/msg.h> // message queue 6 #include<string.h> // memcpy 7 8 // 消息队列结构 9 struct msg_form { 10 long mtype; 11 char mtext; 12 }; 13 14 // 联合体,用于semctl初始化 15 union semun 16 { 17 int val; /*for SETVAL*/ 18 struct semid_ds *buf; 19 unsigned short *array; 20 }; 21 22 // P操作: 23 // 若信号量值为1,获取资源并将信号量值-1 24 // 若信号量值为0,进程挂起等待 25 int sem_p(int sem_id) 26 { 27 struct sembuf sbuf; 28 sbuf.sem_num = 0; /*序号*/ 29 sbuf.sem_op = -1; /*P操作*/ 30 sbuf.sem_flg = SEM_UNDO; 31 32 if(semop(sem_id, &sbuf, 1) == -1) 33 { 34 perror("P operation Error"); 35 return -1; 36 } 37 return 0; 38 } 39 40 // V操作: 41 // 释放资源并将信号量值+1 42 // 如果有进程正在挂起等待,则唤醒它们 43 int sem_v(int sem_id) 44 { 45 struct sembuf sbuf; 46 sbuf.sem_num = 0; /*序号*/ 47 sbuf.sem_op = 1; /*V操作*/ 48 sbuf.sem_flg = SEM_UNDO; 49 50 if(semop(sem_id, &sbuf, 1) == -1) 51 { 52 perror("V operation Error"); 53 return -1; 54 } 55 return 0; 56 } 57 58 59 int main() 60 { 61 key_t key; 62 int shmid, semid, msqid; 63 char *shm; 64 struct msg_form msg; 65 int flag = 1; /*while循环条件*/ 66 67 // 获取key值 68 if((key = ftok(".", 'z')) < 0) 69 { 70 perror("ftok error"); 71 exit(1); 72 } 73 74 // 获取共享内存 75 if((shmid = shmget(key, 1024, 0)) == -1) 76 { 77 perror("shmget error"); 78 exit(1); 79 } 80 81 // 连接共享内存 82 shm = (char*)shmat(shmid, 0, 0); 83 if((int)shm == -1) 84 { 85 perror("Attach Shared Memory Error"); 86 exit(1); 87 } 88 89 // 创建消息队列 90 if ((msqid = msgget(key, 0)) == -1) 91 { 92 perror("msgget error"); 93 exit(1); 94 } 95 96 // 获取信号量 97 if((semid = semget(key, 0, 0)) == -1) 98 { 99 perror("semget error"); 100 exit(1); 101 } 102 103 // 写数据 104 printf("***************************************\n"); 105 printf("* IPC *\n"); 106 printf("* Input r to send data to server. *\n"); 107 printf("* Input q to quit. *\n"); 108 printf("***************************************\n"); 109 110 while(flag) 111 { 112 char c; 113 printf("Please input command: "); 114 scanf("%c", &c); 115 switch(c) 116 { 117 case 'r': 118 printf("Data to send: "); 119 sem_p(semid); /*访问资源*/ 120 scanf("%s", shm); 121 sem_v(semid); /*释放资源*/ 122 /*清空标准输入缓冲区*/ 123 while((c=getchar())!='\n' && c!=EOF); 124 msg.mtype = 888; 125 msg.mtext = 'r'; /*发送消息通知服务器读数据*/ 126 msgsnd(msqid, &msg, sizeof(msg.mtext), 0); 127 break; 128 case 'q': 129 msg.mtype = 888; 130 msg.mtext = 'q'; 131 msgsnd(msqid, &msg, sizeof(msg.mtext), 0); 132 flag = 0; 133 break; 134 default: 135 printf("Wrong input!\n"); 136 /*清空标准输入缓冲区*/ 137 while((c=getchar())!='\n' && c!=EOF); 138 } 139 } 140 141 // 断开连接 142 shmdt(shm); 143 144 return 0; 145 }
注意:当scanf()
输入字符或字符串时,缓冲区中遗留下了\n
,所以每次输入操作后都需要清空标准输入的缓冲区。但是由于 gcc 编译器不支持fflush(stdin)
(它只是标准C的扩展),所以我们使用了替代方案:
while((c=getchar())!='\n' && c!=EOF);
五种通讯方式总结
1.管道:速度慢,容量有限,只有父子进程能通讯
2.FIFO:任何进程间都能通讯,但速度慢
3.消息队列:容量受到系统限制,且要注意第一次读的时候,要考虑上一次没有读完数据的问题
4.信号量:不能传递复杂消息,只能用来同步
5.共享内存区:能够很容易控制容量,速度快,但要保持同步,比如一个进程在写的时候,另一个进程要注意读写的问题,相当于线程中的线程安全,当然,共享内存区同样可以用作线程间通讯,不过没这个必要,线程间本来就已经共享了同一进程内的一块内存
四、线程间通信
实现线程间通信的方法有很多,常用的主要是通过全局变量、自定义消息和事件对象等来实现的。其中又以对全局变量的使用最为简洁。该方法将全局变量作为线程监视的对象,并通过在主线程对此变量值的改变而实现对子线程的控制。
由于这里的全局变量需要在使用它的线程之外对其值进行改变,这就需要通过volatile关键字对此变量进行说明。使用全局变量进行线程通信的方法非常简单,通过下面给出的示例代码能够对其有一个基本的认识。
// 线程通信用全局变量
volatile bool g_bDo = false;
……
//线程处理函数
UINT ThreadProc5(LPVOID pParam)
{
//根据全局变量g_bDo的取值来决定线程的运行
while (g_bDo)
{
Sleep(2000);
AfxMessageBox("线程正在运行!");
}
AfxMessageBox("线程终止");
return 0;
}
……
void CSample06View::OnGlobalStart()
{
// 通过全局变量通知线程执行
g_bDo = true;
// 启动线程
AfxBeginThread(ThreadProc5, NULL);
}
void CSample06View::OnGlobalEnd()
{
// 通过全局变量通知线程结束
g_bDo = false;
}
2.利用自定义消息(可适用于窗体)
全局变量在线程通信中的应用多用在主线程对子线程的控制上,而从子线程向主线程的信息反馈则多采用自定义消息的方式来进行。这里对自定义消息的使用同使用普通自定义消息非常相似,只不过消息的发送是在子线程函数中进行的。该方法的主体是自定义消息,应首先定义自定义消息并添加对消息的响应代码。
// 自定义消息
#define WM_USER_MSG WM_USER + 101
……
//消息响应函数在头文件中的定义:
//{{AFX_MSG(CSample06View)
//}}AFX_MSG
afx_msg void OnUserMsg(WPARAM wParam, LPARAM lParam);
DECLARE_MESSAGE_MAP()
……
//消息映射
BEGIN_MESSAGE_MAP(CSample06View, CView)
//{{AFX_MSG_MAP(CSample06View)
//}}AFX_MSG_MAP
ON_MESSAGE(WM_USER_MSG, OnUserMsg)
END_MESSAGE_MAP()
……
//消息响应函数
void CSample06View::OnUserMsg(WPARAM wParam, LPARAM lParam)
{
// 报告消息
AfxMessageBox("线程已退出!");
}
此后,在子线程函数需要向主线程发送消息的地方调用PostMessage()或SendMessage()消息传递函数将消息发送给主线程即可。由于消息发送函数是在线程中被调用,因此需要指出接受窗口句柄,可通过线程参数将其传递进线程函数。
UINT ThreadProc6(LPVOID pParam)
{
// 延迟一秒
Sleep(1000);
// 向主线程发送自定义消息
::PostMessage((HWND)pParam, WM_USER_MSG, 0, 0);
return 0;
}
……
void CSample06View::OnUseMessage()
{
// 获取窗口句柄
HWND hWnd = GetSafeHwnd();
// 启动线程
AfxBeginThread(ThreadProc6, hWnd);
}
3.使用事件内核对象(相当好用)
利用事件(Event)内核对象对线程的通信要复杂些,主要通过对事件对象的监视来实现线程间的通信。事件对象由CreateEvent()函数来创建,具有两种存在状态:置位与复位,分别由SetEvent()和ResetEvent()来产生。事件的置位将通过
WaitForSingleObject()或WaitForMultipleObjects()之类的通知等待函数继续执行。
// 事件句柄
HANDLE hEvent = NULL;
UINT ThreadProc7(LPVOID pParam)
{
while(true)
{
// 等待事件发生
DWORD dwRet = WaitForSingleObject(hEvent, 0);
// 如果事件置位则退出线程,否则将继续执行
if (dwRet == WAIT_OBJECT_0)
break;
else
{
Sleep(2000);
AfxMessageBox("线程正在运行!");
}
}
AfxMessageBox("线程终止运行!");
return 0;
}
……
void CSample06View::OnEventStart()
{
// 创建事件
hEvent = CreateEvent(NULL, FALSE, FALSE, NULL);
// 启动线程
AfxBeginThread(ThreadProc7, NULL);
}
void CSample06View::OnEventEnd()
{
// 事件置位
SetEvent(hEvent);
}
上面这段代码展示了事件对象在线程通信中的作用。在创建线程前首先创建一个事件对象hEvent,这里CreateEvent()函数所采用的四个参数分别表示句柄不能被继承、事件在置位后将由系统自动进行复位、事件对象初始状态为复位状态和不指定事件名。在创建的子线程中使用 WaitForSingleObject()对hEvent进行监视。WaitForSingleObject()的函数原型为:
DWORD WaitForSingleObject(
HANDLE hHandle, //等待对象的句柄
DWORD dwMilliseconds //超过时间间隔
);
函数将在hHandle对象有信号时或是在等待时间超出由dwMilliseconds设定的超时时间间隔返回。其返回值可以为 WAIT_ABANDONED、WAIT_OBJECT_0和WAIT_TIMEOUT,分别表示被等待的互斥量(Mutex)对象没有被释放、等待的对象信号置位和超时。通过对返回值的判断可以区分出引起WaitForSingleObject()函数返回的原因。在本例中只关心 WAIT_OBJECT_0的返回值,当通过SetEvent()将hEvent置位后即可使WaitForSingleObject()立即返回并通过跳出循环而结束线程。