首先来看一段代码:
#include <Windows.h>
#include <iostream>
using namespace std;
int x=0;
DWORD WINAPI FirstThread(PVOID pvParam){
for(int i=0;i<100;i++){
Sleep(5);
x++;
}
return(0);
}
DWORD WINAPI SecondThread(PVOID pvParam){
for(int i=0;i<100;i++)
x++;
return(0);
}
int main(){
HANDLE hThread1,hThread2;
DWORD dwThreadId;
hThread1=CreateThread(NULL,0,FirstThread,NULL,0,&dwThreadId);
hThread2=CreateThread(NULL,0,SecondThread,NULL,0,&dwThreadId);
Sleep(500);
cout<<x;
CloseHandle(hThread1);
CloseHandle(hThread2);
system("pause");
return 0;
}
读者预期的结果是什么呢??可能有的人想到了,没错,这里要讲一下原子性的问题。x++这一句在汇编语句层时被拆分成三句的,
MOV EAX, [x] ; Move the value in x into a register.
INC EAX ; Increment the value in the register.
MOV [x], EAX ; Store the new value back in x.
这样的话我们看似一句x++实际上分三部执行,即没有原子性(有关原子性请参考专业资料解释)。这样的话由于语句执行顺序的问题x++可能被插入别的语句了(在汇编语言层),例如:
MOV EAX, [x] ; Thread 1: Move 0 into a register.
INC EAX ; Thread 1: Increment the register to 1.
MOV EAX, [x] ; Thread 2: Move 0 into a register.
INC EAX ; Thread 2: Increment the register to 1.
MOV [x], EAX ; Thread 2: Store 1 back in x.
MOV [x], EAX ; Thread 1: Store 1 back in x.
读者自行运行该程序。这里的结果视电脑性能决定。下面是我的结果。讲FirstThread中的sleep时间变化会有不同结果,请根据自己电脑尝试。