C++ - 多线程的实现

时间:2023-07-05 10:14:44

支持多线程可谓是C++语言最大的变化之一.

此前,C++只能利用操作系统的功能(Unix族系统使用pthreads库),或是例如OpenMP和MPI这些代码库,来实现多核计算的目标.

C++本身并没有提供任何多线程机制,但是在windows下,我们可以调用SDK win32 api来编写多线程的程序,下面是一些简单的例子:

创建线程

HANDLE CreateThread(
     LPSECURITY_ATTRIBUTES lpThreadAttributes, // SD
     SIZE_T dwStackSize,                       // initial stack size
     LPTHREAD_START_ROUTINE lpStartAddress,    // thread function
     LPVOID lpParameter,                       // thread argument
     DWORD dwCreationFlags,                    // creation option
     LPDWORD lpThreadId                        // thread identifier
);

在这里我们只用到了第三个和第四个参数,第三个参数传递了一个函数的地址,也是我们要指定的新的线程。第四个参数是传给新线程的参数指针

  example1:

) ) ;
}

我们可以看到主线程(main函数)和我们自己的线程(Fun函数)是随机地交替执行的.

但是两个线程输出太快,使我们很难看清楚,我们可以使用函数来暂停线程的执行,dwMilliseconds表示千分之一秒,所以Sleep(1000);表示暂停1秒

void Sleep(
     DWORD dwMilliseconds   // sleep time
);

  example2:

) ) ;
}

  执行上述代码,这次我们可以清楚地看到在屏幕上交错地输出Fun display!和main display!

我们发现这两个函数确实是并发运行的,细心的读者可能会发现我们的程序是每当Fun函数和main函数输出内容后就会输出换行,

但是我们看到的确是有的时候程序输出换行了,有的时候确没有输出换行,甚至有的时候是输出两个换行.

这是怎么回事?下面我们把程序改一下看看:

example3:

)
           ) ;
}

我们再次运行这个程序,我们发现这时候正如我们预期的,正确地输出了我们想要输出的内容并且格式也是正确的.

下面我就来讲一下此前我们的程序为什么没有正确的运行.

多线程的程序时并发地运行的,多个线程之间如果公用了一些资源的话,我们并不能保证这些资源都能正确地被利用,因为这个时候资源并不是独占的,举个例子吧:

example4:

加入有一个资源 int a = 3

有一个线程函数 selfAdd() 该函数是使a = a+a

又有一个线程函数 selfSub() 该函数是使a = a-a

我们假设上面两个线程正在并发欲行,如果selfAdd在执行的时候,我们的目的是想让a编程6,但此时selfSub得到了运行的机会,所以a变成了0,

等到selfAdd的到执行的机会后,a = a+a ,但是此时a确是0,并没有如我们所预期的那样的到6,

我们回到前面example2,在这里,我们可以把屏幕看成是一个资源,这个资源被两个线程所共用,

加入当Fun函数输出了Fun display!后,将要输出endl(也就是清空缓冲区并换行,在这里我们可以不用理解什么事缓冲区),

但此时main函数确得到了运行的机会,此时Fun函数还没有来得及输出换行就把CPU让给了main函数,

而这时main函数就直接在Fun display!后输出main display!,至于为什么有的时候程序会连续输出两个换行,

读者可以采用同样的分析方法来分析,在这里我就不多讲了,留给读者自己思考了.

那么为什么我们把example2改成example3就可以正确的运行呢?原因在于,多个线程虽然是并发运行的,

但是有一些操作是必须一气呵成的,不允许打断的,所以我们看到example2和example3的运行结果是不一样的.

那么,是不是example2的代码我们就不可以让它正确的运行呢?

答案当然是否,下面我就来讲一下怎样才能让example2的代码可以正确运行.

这涉及到多线程的同步问题。对于一个资源被多个线程共用会导致程序的混乱,我们的解决方法是只允许一个线程拥有对共享资源的独占,这样就能够解决上面的问题了.

HANDLE CreateMutex(
     LPSECURITY_ATTRIBUTES lpMutexAttributes,  // SD
     BOOL bInitialOwner,                       // initial owner
     LPCTSTR lpName                            // object name
);

该函数用于创造一个独占资源,第一个参数我们没有使用,可以设为NULL,第二个参数指定该资源初始是否归属创建它的进程,第三个参数指定资源的名称.  

HANDLE hMutex = CreateMutex(NULL,TRUE,"screen");

这条语句创造了一个名为screen并且归属于创建它的进程的资源

bool ReleaseMutex(
     HANDLE hMutex   // handle to mutex
);

该函数用于释放一个独占资源,进程一旦释放该资源,该资源就不再属于它了,如果还要用到,需要重新申请得到该资源。申请资源的函数如下

DWORD WaitForSingleObject(
     HANDLE hHandle,        // handle to object
     DWORD dwMilliseconds   // time-out interval
);

第一个参数指定所申请的资源的句柄,第二个参数一般指定为INFINITE,表示如果没有申请到资源就一直等待该资源,

如果指定为0,表示一旦得不到资源就返回,也可以具体地指定等待多久才返回,单位是千分之一秒。

现在我们来解决example2的问题,我们可以把example2做一些修改:

)
     );
           )
     );
           ;
}

这样即可解决问题.