C語言中如何用純軟件來代替Mutex互斥鎖
一、前言
二、Peterson 算法簡(jiǎn)介
三、測(cè)試代碼
四、Mutex 互斥鎖對(duì)代碼執(zhí)行效率的影響
五、總結(jié)
一、前言
在 Linux 系統(tǒng)中,當(dāng)多個(gè)線程并行執(zhí)行時(shí),如果需要訪問同一個(gè)資源,那么在訪問資源的地方,需要使用操作系統(tǒng)為我們提供的同步原語來進(jìn)行保護(hù)。同步原語包括:互斥鎖、條件變量、信號(hào)量等,被保護(hù)的代碼稱作“臨界區(qū)”。
這是非常正規(guī)的流程,我們基本上也都是這么做的。
那有沒有想過,這些同步原語對(duì)代碼的執(zhí)行效率會(huì)產(chǎn)生多大的影響?是否可以不使用操作系統(tǒng)提供的這些機(jī)制,而是用其它純軟件的方法也能達(dá)到保護(hù)臨界區(qū)的目的呢?
這篇文章我們介紹一下 Peterson(皮特森)算法,也許實(shí)用性不強(qiáng),但是可以給我們帶來一些思考,提高我們的編程元技能。
二、Peterson 算法簡(jiǎn)介
這個(gè)算法主要用來解決臨界區(qū)的保護(hù)問題。我們知道,一個(gè)臨界區(qū)必須保證 3 個(gè)條件:
互斥訪問: 在任意一個(gè)時(shí)刻,最多只能有一個(gè)線程可以進(jìn)入臨界區(qū);空閑讓進(jìn):當(dāng)沒有線程正在執(zhí)行臨界區(qū)的代碼時(shí),必須在所有申請(qǐng)進(jìn)入臨界區(qū)的線程中,選擇其中的一個(gè),讓它進(jìn)入臨界區(qū);有限等待:當(dāng)一個(gè)線程申請(qǐng)進(jìn)去臨界區(qū)時(shí),不能無限的等待,必須在有限的時(shí)間內(nèi)獲得許可進(jìn)入臨界區(qū)。也就是說,不論其優(yōu)先級(jí)多低,不應(yīng)該餓死在該臨界區(qū)入口處。
Peterson算法是一個(gè)實(shí)現(xiàn)互斥鎖的并發(fā)程序設(shè)計(jì)算法,可以控制兩個(gè)線程訪問一個(gè)共享的用戶資源而不發(fā)生訪問沖突。
Peterson 算法是基于雙線程互斥訪問的 LockOne 與 LockTwo 算法而來。
LockOne 算法使用一個(gè) flag 布爾數(shù)組來實(shí)現(xiàn)互斥; LockTwo 使用一個(gè) turn 的整型量來實(shí)現(xiàn)互斥;
這 2 個(gè)算法都實(shí)現(xiàn)了互斥,但是都存在死鎖的可能。Peterson 算法把這兩種算法結(jié)合起來,完美地用軟件實(shí)現(xiàn)了雙線程互斥問題。
算法說明如下

兩個(gè)重要的全局變量:
1. flag 數(shù)組:有 2 個(gè)布爾元素,分別代表一個(gè)線程是否申請(qǐng)進(jìn)入臨界區(qū);
2. turn:如果 2 個(gè)線程都申請(qǐng)進(jìn)入臨界區(qū),這個(gè)變量將會(huì)決定讓哪一個(gè)線程進(jìn)入臨界區(qū);
三、測(cè)試代碼 // 被 2 個(gè)線程同時(shí)訪問的全局資源
static int num = 0;
BOOL flag[2] = { 0 };
int turn = 0;
void *thread0_routine(void *arg)
{
for (int i = 0; i < 1000000; ++i)
{
flag[0] = TRUE;
turn = 1;
while (TRUE == flag[1] && 1 == turn);
// 臨階區(qū)代碼
num++;
flag[0] = FALSE;
}
return NULL;
}
void *thread1_routine(void *arg)
{
for (int i = 0; i < 1000000; ++i)
{
flag[1] = TRUE;
turn = 0;
while (TRUE == flag[0] && 0 == turn);
// 臨階區(qū)代碼
num++;
flag[1] = FALSE;
}
return NULL;
}
全局資源 num 的初始值為 0 ,兩個(gè)編程分別遞增 100 萬次,因此最終結(jié)果應(yīng)該是 200 萬,實(shí)際測(cè)試結(jié)果也確實(shí)如此。
四、Mutex 互斥鎖對(duì)代碼執(zhí)行效率的影響
1. 單線程中:Mutex 互斥鎖對(duì)代碼執(zhí)行效率的影響for (int i = 0; i < 1000000; ++i)
{
num++;
}
以上代碼,耗時(shí)約:1.8ms -- 3.5ms。
for (int i = 0; i < 1000000; ++i)
{
pthread_mutex_lock(&mutex);
num++;
pthread_mutex_unlock(&mutex);
}
以上代碼,耗時(shí)約:23.9ms -- 38.9ms。可以看出,上鎖和解鎖對(duì)代碼執(zhí)行效率的影響還是很明顯的。
2. 多線程中:Mutex 互斥鎖對(duì)代碼執(zhí)行效率的影響void *thread0_routine(void *arg)
{
for (int i = 0; i < 1000000; ++i)
{
pthread_mutex_lock(&mutex);
num++;
pthread_mutex_unlock(&mutex);
}
return NULL;
}
void *thread1_routine(void *arg)
{
for (int i = 0; i < 1000000; ++i)
{
pthread_mutex_lock(&mutex);
num++;
pthread_mutex_unlock(&mutex);
}
return NULL;
}
耗時(shí):
thread0: diff = 125.8ms
thread1: diff = 129.1ms
3. 在兩個(gè)線程中,使用 Peterson 算法來保護(hù)臨界區(qū)
耗時(shí):
thread1: diff = 1.89ms
thread0: diff = 1.94ms
五、總結(jié)
Peterson 算法使用純軟件來保護(hù)臨界區(qū),比使用操作系統(tǒng)提供的互斥鎖表現(xiàn)出了更好的性能。
但是它也有一個(gè)缺點(diǎn):只能使用在 2 個(gè)線程中,但是由于它與平臺(tái)無關(guān),在某些特殊的場(chǎng)合,也許能夠拿來為我們所用!
發(fā)表評(píng)論
請(qǐng)輸入評(píng)論內(nèi)容...
請(qǐng)輸入評(píng)論/評(píng)論長度6~500個(gè)字
圖片新聞
-

落地?zé)o錫!京東首個(gè)物流機(jī)器人超級(jí)工廠來了
-

OpenAI發(fā)布的AI瀏覽器,市場(chǎng)為何反應(yīng)強(qiáng)烈?
-

馬云重返一線督戰(zhàn),阿里重啟創(chuàng)始人模式
-

機(jī)器人奧運(yùn)會(huì)戰(zhàn)報(bào):宇樹機(jī)器人摘下首金,天工Ultra搶走首位“百米飛人”
-

存儲(chǔ)圈掐架!江波龍起訴佰維,索賠121萬
-

長安汽車母公司突然更名:從“中國長安”到“辰致科技”
-

豆包前負(fù)責(zé)人喬木出軌BP后續(xù):均被辭退
-

字節(jié)AI Lab負(fù)責(zé)人李航卸任后返聘,Seed進(jìn)入調(diào)整期
最新活動(dòng)更多
-
即日-5.20立即下載>> 【限時(shí)免費(fèi)】物理場(chǎng)仿真助力生物醫(yī)學(xué)領(lǐng)域技術(shù)創(chuàng)新
-
精彩回顧立即查看>> 【直播】 智測(cè)未來·2026海克斯康春季產(chǎn)品創(chuàng)新日
-
精彩回顧立即查看>> 【線下論壇】新唐科技×芯唐南京 2026 年度研討會(huì)
-
精彩回顧立即查看>> OFweek 2026(第十五屆)中國機(jī)器人產(chǎn)業(yè)大會(huì)
-
精彩回顧立即查看>> 維科杯· OFweek 2025中國機(jī)器人行業(yè)年度評(píng)選
-
精彩回顧立即查看>> 【在線會(huì)議】液冷服務(wù)器信號(hào)完整性及冷卻液關(guān)鍵電參數(shù)測(cè)試
推薦專題
- 1 AI狂歡遇上油價(jià)破百,全球股市還能漲多久? | 產(chǎn)聯(lián)看全球
- 2 OpenAI深夜王炸!ChatGPT Images 2.0實(shí)測(cè):中文穩(wěn)、細(xì)節(jié)炸,設(shè)計(jì)師慌了
- 3 6000億美元估值錨定:字節(jié)跳動(dòng)的“去單一化”突圍與估值重構(gòu)
- 4 Tesla AI5芯片最新進(jìn)展總結(jié)
- 5 連夜測(cè)了一波DeepSeek-V4,我發(fā)現(xiàn)它可能只剩“審美”這個(gè)短板了
- 6 熱點(diǎn)丨AI“瑜亮之爭(zhēng)”:既生OpenClaw,何生Hermes?
- 7 AI界的殺豬盤:9秒刪庫跑路,全員被封號(hào),還繼續(xù)扣錢!
- 8 2026,人形機(jī)器人只贏了面子
- 9 DeepSeek降價(jià)90%:價(jià)格屠夫不是身份,是戰(zhàn)略
- 10 AI Infra產(chǎn)業(yè)鏈卡在哪里了?
- 高級(jí)軟件工程師 廣東省/深圳市
- 自動(dòng)化高級(jí)工程師 廣東省/深圳市
- 光器件研發(fā)工程師 福建省/福州市
- 銷售總監(jiān)(光器件) 北京市/海淀區(qū)
- 激光器高級(jí)銷售經(jīng)理 上海市/虹口區(qū)
- 光器件物理工程師 北京市/海淀區(qū)
- 激光研發(fā)工程師 北京市/昌平區(qū)
- 技術(shù)專家 廣東省/江門市
- 封裝工程師 北京市/海淀區(qū)
- 結(jié)構(gòu)工程師 廣東省/深圳市


分享





