C++之多线程
线程—操作系统调度的最小单位。线程包含在进程中,是进程中实际运行的单位。一个进程中可以同时运行多个线程,每个线程可以执行不同的任务,这就是所谓的多线程。同一进程中的多个线程将共享该进程中的全部系统资源,如虚拟地址空间、文件描
述符和信号处理等,但是同一个进程中的多个线程都有各自的调用栈、寄存器环境和线程本地存储。
下面以C++代码为例,
创建C++控制台程序,代码如下
//C++ 本身并没有提供任何多线程机制,但在windows下,我们可以调用 SDK win32 api 来编写多线程的程序
#include "stdafx.h"
//注意加头文件
#include <stdio.h>
#include <tchar.h>
#include <iostream>
#include <Windows.h>
using namespace std;
HANDLE hMutex;
DWORD WINAPI Fun(LPVOID ipParamter)
{
while(1)
{
//申请一个资源
//第一个参数指定所申请的资源的句柄,第二个参数一般指定为INFINITE,表示如果
//没有申请到资源就一直等待该资源,如果指定为0,表示一旦得不到资源就返回,也
//可以具体地指定等待多久才返回,单位是千分之一秒。
WaitForSingleObject(hMutex, INFINITE);
std::cout<<"Fun"<<endl;
std::cout<<"fun"<<endl;
//线程暂停 1 秒
Sleep(1000);
//释放一个独占资源,进程一旦释放该资源,该资源就不再属于它了,如果还要用到,需要重新申请得到该资源
ReleaseMutex(hMutex);
}
}
int _tmain(int argc, _TCHAR* argv[])
{
//创建一个资源
hMutex = CreateMutex( NULL, FALSE, NULL);
//创建线程函数
HANDLE hThread = CreateThread(NULL, 0, Fun, NULL, 0, NULL);
CloseHandle(hThread);
while (true)
{
//申请资源
WaitForSingleObject(hMutex, INFINITE);
std::cout<<"main display"<<endl;
std::cout<<"main"<<endl;
//线程暂停 1 秒
Sleep(1000);
//释放资源
ReleaseMutex(hMutex);
}
system("pause"); //防止运行结束后控制台闪退
return 0;
}
运行结果如下
细心的读者可能会发现我们的程序是每当Fun函数和main函数输出内容后就会输出换行,但是我们看到的确
是有的时候程序输出换行了,有的时候确没有输出换行,甚至有的时候是输出两个换行。这是怎么回事?
下面我们把程序改一下看看:
多线程的程序时并发地运行的,多个线程之间如果公用了一些资源的话,我们并不能保证这些资源都能正确
地被利用,因为这个时候资源并不是独占的
加入有一个资源 int a = 3
有一个线程函数 selfAdd() 该函数是使 a += a;
又有一个线程函数 selfSub() 该函数是使a -= a;
我们假设上面两个线程正在并发执行,如果selfAdd在执行的时候,我们的目的是想让a编程6,但此时selfSub
得到了运行的机会,所以a变成了0,等到selfAdd的到执行的机会后,a += a ,但是此时a确是0,并没有如我
们所预期的那样的到6,我们回到前面EG2,在这里,我们可以把屏幕看成是一个资源,这个资源被两个线程所
共用,加入当Fun函数输出了Fun display!后,将要输出endl(也就是清空缓冲区并换行,在这里我们可以不
用理解什么事缓冲区),但此时main函数确得到了运行的机会,此时Fun函数还没有来得及输出换行就把CPU让
给了main函数,而这时main函数就直接在Fun display!后输出main display!,至于为什么有的时候程序会连
续输出两个换行,读者可以采用同样的分析方法来分析,在这里我就不多讲了,留给读者自己思考了。
那么为什么我们把eg2改成eg3就可以正确的运行呢?原因在于,多个线程虽然是并发运行的,但是有一些操作
是必须一气呵成的,不允许打断的,所以我们看到eg2和eg3的运行结果是不一样的
那么,是不是eg2的代码我们就不可以让它正确的运行呢?答案当然是否,下面我就来讲一下怎样才能让eg2的
代码可以正确运行。这涉及到多线程的同步问题。对于一个资源被多个线程共用会导致程序的混乱,我们的解
决方法是只允许一个线程拥有对共享资源的独占,这样就能够解决上面的问题了。
HANDLE CreateMutex(
LPSECURITY_ATTRIBUTES lpMutexAttributes, // SD
BOOL bInitialOwner, // initial owner
LPCTSTR lpName // object name
);
该函数用于创造一个独占资源,第一个参数我们没有使用,可以设为NULL,第二个参数指定该资源初始是否归
属创建它的进程,第三个参数指定资源的名称。