浅谈Interlocked operations

Interlocked系列的原子操作函数，你了解到什么程度呢？

什么是原子操作

原子（atom）本意是“不能被进一步分割的最小粒子”，而原子操作（atomic operation）意为"不可被中断的一个或一系列操作" 。

非原子操作会出现的问题

1.例如前面的生产者和消费者问题中的nFood，如果多个线程对其进行增减操作,

不加以互斥操作可能会出现以下情况，nFood = -1;

我们在代码中的判断操作如下 ：

if( nFood > 0 )

     std::cout<<  "xxxxx,当前食物剩余"<< --nFood <<std::endl;

在单线程操作中，这段代码是安全的，不会出现nFood = -1这种情况，但是在多核CPU多线程就出现了问题，我们来探究出错的原因。

--nFood的反汇编代码：

其实--nFood是三步操作，在多线程中Load（CPU读操作，把内存数据读入寄存器）与Store（CPU写操作，把修改后的数据写会主存储器）有可能被撕裂掉,导致最后存入的nFood的eax不是减1后的值。

2.除此之外对于多核心CPU多线程处理上可能会发生内存指令重排的操作，原因很简单，为了提高CPU的处理性能和总线性能，比如处理器会这样处理以上指令：比如：

在执行过程中指令顺序重排为：

比如如下代码：

#include <windows.h>
#include <process.h>
#include <iostream>
long X, Y;
long r1, r2;
HANDLE beg_Semaphore1;
HANDLE beg_Semaphore2;
HANDLE end_Semaphore1;
HANDLE end_Semaphore2;

unsigned int __stdcall Thread1(void* lpParameter)
{
	for (;;)                                 
	{
		WaitForSingleObject(beg_Semaphore1, INFINITE);
		while ((rand() % 1000) % 8 != 0) {}
		X = 1;
		r1 = Y;
		ReleaseSemaphore(end_Semaphore1, 1, NULL);
	}
	return 0;
}

unsigned int __stdcall Thread2(void* lpParameter)
{
	for (;;)                                 
	{
		WaitForSingleObject(beg_Semaphore2, INFINITE);
		while ((rand() % 1000) % 8 != 0) {}
		Y = 1;
		r2 = X;
		ReleaseSemaphore(end_Semaphore2, 1, NULL);
	}
	return 0;
}

int _tmain(int argc, _TCHAR* argv[])
{
	beg_Semaphore1 = CreateSemaphore(NULL, 0, 1, NULL);
	beg_Semaphore2 = CreateSemaphore(NULL, 0, 1, NULL);
	end_Semaphore1 = CreateSemaphore(NULL, 0, 1, NULL);
	end_Semaphore2 = CreateSemaphore(NULL, 0, 1, NULL);
	_beginthreadex(NULL, 0, Thread1, (void *)NULL, NULL, NULL);
	_beginthreadex(NULL, 0, Thread2, (void *)NULL, NULL, NULL);
	int detected = 0;
	for (int iterations = 1; iterations < 10000; iterations+&