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+&