windows 多線程之原子性

首先來看一段代碼：

#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時間變化會有不同結果，請根據自己電腦嘗試。