Posted on 2006-01-12 17:45
小明 閱讀(21783)
評(píng)論(23) 編輯 收藏 引用 所屬分類:
C/C++ 、
Win32
對(duì)于多線程編程，很多人概念不清，寫(xiě)代碼的時(shí)候要么是處處加鎖，影響性能不說(shuō)，還容易莫名其妙的死鎖，還有人對(duì)多線程敬而遠(yuǎn)之。
所以學(xué)習(xí)多線程編程最重要的不是學(xué)習(xí)API,而是理解什么才是多線程安全的代碼
從例子說(shuō)起
#include <windows.h>
#include <process.h>
long global1 = 0;
volatile long global2 = 0;
class MyClass
{
public:
MyClass() : m(0)
{
++m;
}
int fun(int v)
{
return m+v; //-----------9
}
void set(int v)
{
m = v; //-------------10
}
int m;
};
MyClass global_object; //-------------8
unsigned int __stdcall thread_fun1(void *param)
{
static int static2 = 0;
static MyClass static_object; //--------6
int local1 = 0;
++local1; //-------1
++static2; //-------2
++global1; //-------3
++global2; //-------4
InterlockedIncrement(&global1); //--------5
local1 = global_object.fun(local1); //----------7
global_object.set(local1); //---------------11
return 0;
}
unsigned int __stdcall thread_fun2(void *param)
{
++global1; //-------3
++global2; //-------4
InterlockedIncrement(&global1); //--------5
global_object.set(1); //-----------11
return 0;
}
int main()
{
HANDLE thread1 = (HANDLE)_beginthreadex(0,0,&thread_fun1,0,0,0); //thread 1
HANDLE thread2 = (HANDLE)_beginthreadex(0,0,&thread_fun1,0,0,0); //thread 2
HANDLE thread3 = (HANDLE)_beginthreadex(0,0,&thread_fun2,0,0,0); //thread 3
WaitForSingleObject(thread1,INFINITE);
WaitForSingleObject(thread2,INFINITE);
WaitForSingleObject(thread3,INFINITE);
return 0;
}
1.局部變量局部使用是安全的為什么?因?yàn)槊總€(gè)thread 都有自己的運(yùn)行堆棧，而局部變量是生存在堆棧中,大家不干擾。
所以代碼1
int local1;
++local1;
是安全的
2.全局原生變量多線程讀寫(xiě)是不安全的
全局變量是在堆(heap)中
long global1 = 0;
++global2;
++這個(gè)操作其實(shí)分為兩部，一個(gè)是讀，另外一個(gè)是寫(xiě)
mov ecx,global
add ecx,1
mov global,ecx
所以代碼3處是不安全的
3.函數(shù)靜態(tài)變量多線程讀寫(xiě)也是不安全的
道理同2
所以代碼2處也是不安全的
4.volatile能保證全局整形變量是多線程安全的么不能。
volatile僅僅是告誡compiler不要對(duì)這個(gè)變量作優(yōu)化，每次都要從memory取數(shù)值，而不是從register
所以代碼4也不是安全
5.InterlockedIncrement保證整型變量自增的原子性所以代碼5是安全的
6.function static object的初始化是多線程安全的么不是。
著名的Meyer Singleton其實(shí)不是線程安全的
Object & getInstance()
{
static Object o;
return o;
}
可能會(huì)造成多次初始化對(duì)象
所以代碼6處是不安全的
7.在32機(jī)器上，4字節(jié)整形一次assign是原子的比如
i =10; //thread1
i=4; //thread2
不會(huì)導(dǎo)致i的值處于未知狀態(tài),要么是10要么是4
其它的大家自己去體會(huì)。
寫(xiě)好多線程安全的法寶就是封裝，使數(shù)據(jù)有保護(hù)的被訪問(wèn)到
安全性：
局部變量>成員變量>全局變量