C++之多线程 - 一

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，第二个参数指定该资源初始是否归
属创建它的进程，第三个参数指定资源的名称。