windows多线程（三）原子操作

一、分析上一篇程序的现象

我们先从上一篇文章中的最后一个程序开始分析。



#include <stdio.h>

#include <windows.h>

const unsigned int THREAD_NUM = 10;

DWORD WINAPI  ThreadFunc(LPVOID);

int main()

{

	printf("我是主线程， pid = %d\n", GetCurrentThreadId());  //输出主线程pid

	HANDLE hThread[THREAD_NUM];

	for (int i = 0; i < THREAD_NUM; i++)

	{

		hThread[i] = CreateThread(NULL, 0, ThreadFunc, &i, 0, NULL); // 创建线程

	}

	WaitForMultipleObjects(THREAD_NUM,hThread,true, INFINITE);	//一直等待，知道所有子线程全部返回

	return 0;

}

DWORD WINAPI  ThreadFunc(LPVOID p)

{

	int n = *(int*)p;

	Sleep(1000*n);  //第 n 个线程睡眠 n 秒

	printf("我是， pid = %d 的子线程\n", GetCurrentThreadId());   //输出子线程pid

	printf(" pid = %d 的子线程退出\n\n", GetCurrentThreadId());   //延时10s后输出

	return 0;

}

看程序的输出：

按照正常情况来看应该是每一行输出两列，但是中间有一行多出了一列，看图中圈出来的地方，pid = 208 的线程输出线程pid后并没有马上退出，而是等到了最后才退出。（可能每次运行的情况不一样，这里只说明这一种情况），这是为什么的。这里涉及到了线程调度的问题，说明pid = 208 的线程输出线程pid后操作系统进行了线程调度，cpu资源被其它线程抢占，这个线程直到最后才又重新分配到cpu资源，重新往下执行。

二、原子操作

这里明明是要写原子操作，但是到目前为止，并没有任何地方提及什么是原子操作，不要着急，接下来就慢慢来说。那么什么是原子操作呢？一个操作如果能够不受中断地完成，我们称之为原子操作

我们来看这个程序



#include <stdio.h>

#include <windows.h>

const unsigned int THREAD_NUM = 50;

unsigned int g_Count = 0;

DWORD WINAPI  ThreadFunc(LPVOID);

int main()

{

	HANDLE hThread[THREAD_NUM];

	for (int i = 0; i < THREAD_NUM; i++)

	{

		hThread[i] = CreateThread(NULL, 0, ThreadFunc, 0, 0, NULL); // 创建线程

	}

	WaitForMultipleObjects(THREAD_NUM, hThread, true, INFINITE);	//一直等待，直到所有子线程全部返回

	printf(" 总共 %d 个线程给 g_Count 的值加一，现在 g_Count = %d\n", THREAD_NUM, g_Count);

	return 0;

}

DWORD WINAPI  ThreadFunc(LPVOID p)

{

	Sleep(50);

	g_Count++;

	Sleep(50);

	return 0;

}

有一个全局变量 g_Count ，每个线程给这个全局变量加一，照这么来看最后应该输出 50 ，我们看一下程序的输出（每次都可能不一样的结果）

为什么会这样呢？？？明明有 50 个线程都给 g_Count 加一了，为什么输出 46，根源在于 g_Count++; 这条语句上，这里就只有一条c++语句，按理说不应该有问题，其实不然，现在，在这里打下断点，开始调试，打开反汇编窗口（Vs编译器快捷键 Alt+8），如下图

可以看到，这一条c++语句，被分成了三条汇编语句，先是把 g_Count 的值给寄存器 eax，然后寄存器 eax 的值加一，再把 eax 的值给 g_Count ，这样就完成一次 g_Count++ 操作。出问题的原因就在于，在这几条汇编语句执行的过程中发送了线程切换，比如，A线程刚执行完 add eax，1 还没有把 eax的值给 g_Count，这时B线程开始执行，把 g_Count 原先的值又存入 eax，这就修改了 eax 中A线程计算好的值。

因此在多线程环境中对一个变量进行读写时，我们需要有一种方法能够保证对一个值的递增操作是原子操作——即这个操作不可以被打断性，一个线程在执行原子操作时，其它线程必须等待它完成之后才能开始执行该原子操作。Windows系统为我们提供了一些以Interlocked开头的函数来完成这一任务。这里只是介绍原子操作的概念，这和线程同步息息相关，但是这些以以Interlocked 开头的函数我们基本不用，就不一一介绍了，感兴趣的可以自己去了解。