0
  • 聊天消息
  • 系統(tǒng)消息
  • 評(píng)論與回復(fù)
登錄后你可以
  • 下載海量資料
  • 學(xué)習(xí)在線課程
  • 觀看技術(shù)視頻
  • 寫(xiě)文章/發(fā)帖/加入社區(qū)
會(huì)員中心
創(chuàng)作中心

完善資料讓更多小伙伴認(rèn)識(shí)你,還能領(lǐng)取20積分哦,立即完善>

3天內(nèi)不再提示

Linux中的傷害/等待互斥鎖介紹

Linux閱碼場(chǎng) ? 來(lái)源:Linux驛站 ? 作者:szyhb1981 ? 2021-11-06 17:27 ? 次閱讀
序言:近期讀Linux 5.15的發(fā)布說(shuō)明,該版本合并了實(shí)時(shí)鎖機(jī)制,當(dāng)開(kāi)啟配置宏CONFIG_PREEMPT_RT的時(shí)候,這些鎖被基于實(shí)時(shí)互斥鎖的變體替代:mutex、ww_mutex、rw_semaphorespinlock和rwlock。第一次聽(tīng)說(shuō)ww_mutex,在百度上查找的時(shí)候發(fā)現(xiàn)介紹文檔很少,于是自己學(xué)習(xí),寫(xiě)成筆記。在某些場(chǎng)合必須同時(shí)持有多個(gè)鎖,并且獲取鎖的順序可能不同,為了避免死鎖,應(yīng)該使用傷害/等待互斥鎖(Wound/Wait Mutexes)。獲取一個(gè)鎖集合稱為一個(gè)事務(wù)(transaction),每個(gè)事務(wù)關(guān)聯(lián)一張門(mén)票(ticket),門(mén)票也稱為序列號(hào),根據(jù)門(mén)票判斷哪個(gè)事務(wù)年輕。有2種處理死鎖的方法,如下。(1)等待-死亡(Wait-Die)算法:一個(gè)事務(wù)申請(qǐng)另一個(gè)事務(wù)已經(jīng)獲取的鎖的時(shí)候,如果持有鎖的事務(wù)年輕,那么申請(qǐng)鎖的事務(wù)等待(wait);如果持有鎖的事務(wù)年老,那么申請(qǐng)鎖的事務(wù)退并且死亡(die)。

(2) 4.19版本開(kāi)始支持傷害-等待(Wound-Wait)算法:一個(gè)事務(wù)申請(qǐng)另一個(gè)事務(wù)已經(jīng)獲取的鎖的時(shí)候,如果持有鎖的事務(wù)年輕,那么申請(qǐng)鎖的事務(wù)傷害(wound)持有鎖的事務(wù),請(qǐng)求它去死亡;如果持有鎖的事務(wù)年老,那么申請(qǐng)鎖的事務(wù)等待(wait)。

假設(shè)進(jìn)程1和進(jìn)程2分別在2個(gè)處理器上運(yùn)行,進(jìn)程1獲取鎖A,進(jìn)程2獲取鎖B,然后進(jìn)程1申請(qǐng)鎖B,進(jìn)程2申請(qǐng)鎖A。假設(shè)進(jìn)程1的門(mén)票編號(hào)比進(jìn)程2的門(mén)票編號(hào)小,也就是進(jìn)程1年老,進(jìn)程2年輕。假設(shè)選擇等待-死亡算法。年老的進(jìn)程1申請(qǐng)鎖B,發(fā)現(xiàn)持有鎖B的進(jìn)程2年輕,那么年老的進(jìn)程1等待。年輕的進(jìn)程2申請(qǐng)鎖A,發(fā)現(xiàn)持有鎖A的進(jìn)程1年老,那么年輕的進(jìn)程2死亡(即申請(qǐng)鎖的函數(shù)返回“-EDEADLK”),接著回滾(即釋放已經(jīng)獲取的鎖B),然后重新開(kāi)始:先申請(qǐng)鎖A然后申請(qǐng)鎖B(必須改變申請(qǐng)順序,如果先申請(qǐng)鎖B,那么會(huì)把剛釋放的鎖B搶回來(lái))。假設(shè)選擇傷害-等待算法。年老的進(jìn)程1申請(qǐng)鎖B,發(fā)現(xiàn)持有鎖B的進(jìn)程2年輕,那么傷害年輕的進(jìn)程2,請(qǐng)求它死亡。年輕的進(jìn)程2申請(qǐng)鎖A,發(fā)現(xiàn)持有鎖A的進(jìn)程1年老,那么年輕的進(jìn)程2等待,在收到進(jìn)程1的死亡請(qǐng)求以后,年輕的進(jìn)程2死亡(即申請(qǐng)鎖的函數(shù)返回“-EDEADLK”),接著回滾(即釋放已經(jīng)獲取的鎖B),然后重新開(kāi)始:先申請(qǐng)鎖A然后申請(qǐng)鎖B。兩種算法都是公平的,因?yàn)槠渲幸粋€(gè)事務(wù)最終會(huì)成功。和等待-死亡算法相比,傷害-等待算法生成的退避少,但是從一次退避恢復(fù)的時(shí)候要做更多的工作。傷害-等待算法是一種搶占性的算法(因?yàn)槭聞?wù)被其它事務(wù)傷害),需要一種可靠的方法來(lái)選擇受傷狀態(tài)和搶占正在運(yùn)行的事務(wù)。在傷害-等待算法中,一個(gè)事務(wù)在受傷后死亡(返回“-EDEADLK”),就認(rèn)為這個(gè)事務(wù)被搶占。如果競(jìng)爭(zhēng)鎖的進(jìn)程少,并且希望減少回滾的次數(shù),那么應(yīng)該選擇傷害-等待算法。 和普通的互斥鎖相比,傷害/等待互斥鎖增加了下面2個(gè)概念。

(1)獲取上下文acquire context):一個(gè)獲取上下文表示一個(gè)事務(wù),關(guān)聯(lián)一張門(mén)票(ticket),門(mén)票也稱為序列號(hào),門(mén)票編號(hào)小表示年老,門(mén)票編號(hào)大表示年輕。獲取上下文跟蹤調(diào)試狀態(tài),捕獲對(duì)傷害/等待互斥鎖接口的錯(cuò)誤使用。

(2)傷害/等待類初始化獲取上下文的時(shí)候需要指定鎖類,鎖類會(huì)給獲取上下文分配門(mén)票。鎖類也指定算法:等待-死亡(Wait-Die)或傷害-等待(Wound-Wait)。當(dāng)多個(gè)進(jìn)程競(jìng)爭(zhēng)同一個(gè)鎖集合的時(shí)候,它們必須使用相同的鎖類。

3種獲取傷害/等待互斥鎖的函數(shù),如下。

(1) 普通的獲取鎖函數(shù)ww_mutex_lock(),帶有獲取上下文。

(2) 進(jìn)程在回滾(即釋放所有已經(jīng)獲取的鎖)以后,使用慢路徑獲取鎖函數(shù)ww_mutex_lock_slow()獲取正在競(jìng)爭(zhēng)的鎖。帶有“_slow”后綴的函數(shù)不是必需的,因?yàn)榭梢哉{(diào)用函數(shù)ww_mutex_lock()獲取正在競(jìng)爭(zhēng)的鎖。帶有“_slow”后綴的函數(shù)的優(yōu)點(diǎn)是接口安全,如下。

  • 函數(shù)ww_mutex_lock()有一個(gè)整數(shù)返回值,而函數(shù)ww_mutex_lock_slow()沒(méi)有返回值。
  • 當(dāng)開(kāi)啟調(diào)試的時(shí)候,函數(shù)ww_mutex_lock_slow()檢查所有已經(jīng)獲取的鎖已經(jīng)被釋放,并且確保進(jìn)程阻塞在正在競(jìng)爭(zhēng)的鎖上面。

(3) 只獲取一個(gè)傷害/等待互斥鎖,和獲取普通的互斥鎖完全相同。調(diào)用函數(shù)ww_mutex_lock(),把獲取上下文指定為空指針。

傷害/等待互斥鎖的使用方法如下。

(1) 定義一個(gè)鎖類,鎖類在初始化獲取上下文的時(shí)候需要,鎖類也指定算法:等待-死亡(Wait-Die)或傷害-等待(Wound-Wait)。

/* 指定等待-死亡算法 */static DEFINE_WD_CLASS(my_class);
/* 指定傷害-等待算法 */staticDEFINE_WW_CLASS(my_class);

(2) 初始化一個(gè)獲取上下文,鎖類會(huì)給獲取上下文分配一張門(mén)票。

void ww_acquire_init(struct ww_acquire_ctx *ctx, struct ww_class *ww_class);
(3) 獲取鎖,返回0表示獲取成功,返回“-EDEADLK”表示檢測(cè)出死鎖。
int ww_mutex_lock(struct ww_mutex *lock, struct ww_acquire_ctx *ctx);
(4) 獲取需要的所有鎖以后,標(biāo)記獲取階段結(jié)束。目前這個(gè)函數(shù)沒(méi)有執(zhí)行任何操作,但是將來(lái)可能改變。
void ww_acquire_done(struct ww_acquire_ctx *ctx);
(5) 釋放鎖。
void ww_mutex_unlock(struct ww_mutex *lock);
(6) 釋放所有鎖以后,釋放獲取上下文。
void ww_acquire_fini(struct ww_acquire_ctx *ctx);

下面是一個(gè)例子,注意:調(diào)用函數(shù)ww_mutex_lock()申請(qǐng)鎖失敗以后,應(yīng)該先釋放已經(jīng)獲取的鎖,然后調(diào)用慢路徑函數(shù)ww_mutex_lock_slow()獲取正在競(jìng)爭(zhēng)的鎖,最后獲取其它鎖。重新開(kāi)始申請(qǐng)鎖的時(shí)候必須改變申請(qǐng)順序,因?yàn)槿绻凑赵瓉?lái)的順序申請(qǐng)鎖,那么會(huì)把剛釋放的鎖搶回來(lái)。
/* 第1步:定義鎖類,指定傷害-等待算法。*/static DEFINE_WW_CLASS(ww_class);
struct obj {  struct ww_mutex lock;  /* obj data */};
struct obj_entry {  struct list_head head;  struct obj *obj;};
int lock_objs(struct list_head *list, struct ww_acquire_ctx *ctx){  struct obj *res_obj = NULL;  struct obj_entry *contended_entry = NULL;  struct obj_entry *entry;  int ret;
  /* 第2步:初始化獲取上下文。*/  ww_acquire_init(ctx, &ww_class);
  /* 第3步:獲取鎖。*/retry:  list_for_each_entry(entry, list, head) {    if (entry->obj == res_obj) {      res_obj = NULL;      continue;    }
    ret = ww_mutex_lock(&entry->obj->lock, ctx);    if (ret < 0) {      contended_entry = entry;      goto err;    }  }
  /* 第4步:標(biāo)記獲取階段結(jié)束。*/  ww_acquire_done(ctx);  return 0;
err:  /* 回滾,釋放已經(jīng)獲取的鎖。*/  list_for_each_entry_continue_reverse(entry, list, head) {    ww_mutex_unlock(&entry->obj->lock);  }
  if (res_obj) {    ww_mutex_unlock(&res_obj->lock);  }
  if (ret == -EDEADLK) {    /* 使用慢路徑獲取鎖函數(shù)獲取正在競(jìng)爭(zhēng)的鎖。*/    ww_mutex_lock_slow(&contended_entry->obj->lock, ctx);    res_obj = contended_entry->obj;    /* 獲取其它鎖。*/    goto retry;  }  ww_acquire_fini(ctx);
  return ret;}
void unlock_objs(struct list_head *list, struct ww_acquire_ctx *ctx){  struct obj_entry *entry;
  /* 第5步:釋放鎖。*/  list_for_each_entry (entry, list, head) {    ww_mutex_unlock(&entry->obj->lock);  }
  /* 第6步:釋放獲取上下文。*/  ww_acquire_fini(ctx);}
責(zé)任編輯:haq

聲明:本文內(nèi)容及配圖由入駐作者撰寫(xiě)或者入駐合作網(wǎng)站授權(quán)轉(zhuǎn)載。文章觀點(diǎn)僅代表作者本人,不代表電子發(fā)燒友網(wǎng)立場(chǎng)。文章及其配圖僅供工程師學(xué)習(xí)之用,如有內(nèi)容侵權(quán)或者其他違規(guī)問(wèn)題,請(qǐng)聯(lián)系本站處理。 舉報(bào)投訴
  • 鎖相環(huán)
    +關(guān)注

    關(guān)注

    35

    文章

    584

    瀏覽量

    87769
  • Linux
    +關(guān)注

    關(guān)注

    87

    文章

    11304

    瀏覽量

    209523

原文標(biāo)題:傷害/等待互斥鎖

文章出處:【微信號(hào):LinuxDev,微信公眾號(hào):Linux閱碼場(chǎng)】歡迎添加關(guān)注!文章轉(zhuǎn)載請(qǐng)注明出處。

收藏 人收藏

    評(píng)論

    相關(guān)推薦

    華納云監(jiān)視Linux磁盤(pán)IO性能命令:iotop,iostat,vmstat,atop,dstat,ioping

    以下介紹6個(gè)監(jiān)視 Linux 磁盤(pán)IO性能的命令(工具),它們分別是iotop、iostat、vmstat、atop、dstat、ioping,以下將附上簡(jiǎn)單的使用方法。 前言 磁盤(pán)IO
    的頭像 發(fā)表于 10-24 14:43 ?180次閱讀

    詳解Linux的權(quán)限控制

    本章將和大家分享Linux的權(quán)限控制。廢話不多說(shuō),下面我們直接進(jìn)入主題。
    的頭像 發(fā)表于 08-05 15:32 ?582次閱讀
    詳解<b class='flag-5'>Linux</b><b class='flag-5'>中</b>的權(quán)限控制

    存器電路的中間是什么元件

    存器電路概述 定義與功能 存器(Latch)是數(shù)字電路的一種基本存儲(chǔ)元件,用于存儲(chǔ)一個(gè)位(1或0)的狀態(tài)。它能夠在特定輸入脈沖電平作用下改變狀態(tài),并保持該狀態(tài)直到下一個(gè)脈沖電平到來(lái)。
    的頭像 發(fā)表于 07-23 11:29 ?375次閱讀

    互斥和自旋的實(shí)現(xiàn)原理

    保護(hù)共享資源不被多個(gè)線程同時(shí)訪問(wèn)。它的實(shí)現(xiàn)原理主要包括以下幾個(gè)方面: 1. 的初始化 互斥鎖在創(chuàng)建時(shí)需要進(jìn)行初始化,通常包括設(shè)置的狀態(tài)為“未鎖定”。在某些實(shí)現(xiàn),還需要初始化
    的頭像 發(fā)表于 07-10 10:07 ?495次閱讀

    自旋互斥的使用場(chǎng)景是什么

    自旋互斥是兩種常見(jiàn)的同步機(jī)制,它們?cè)诙嗑€程編程中被廣泛使用。在本文中,我們將介紹自旋互斥
    的頭像 發(fā)表于 07-10 10:05 ?1008次閱讀

    B系列推拉自連接器介紹

    電子發(fā)燒友網(wǎng)站提供《B系列推拉自連接器介紹.pdf》資料免費(fèi)下載
    發(fā)表于 07-01 13:09 ?0次下載

    小米汽車(chē)推出等待關(guān)懷計(jì)劃,為用戶送上暖心禮遇

    在如今的汽車(chē)市場(chǎng),消費(fèi)者對(duì)于交付周期的長(zhǎng)短越來(lái)越敏感。為了回饋那些因車(chē)輛交付周期長(zhǎng)而需要耐心等待的用戶,小米汽車(chē)近日在其APP更新推出了一項(xiàng)備受矚目的新政策——“
    的頭像 發(fā)表于 06-29 15:54 ?1702次閱讀

    介紹一種嵌入式Linux的錄音降噪方案

    降噪不僅只能從硬件入手,本文為您介紹一種嵌入式Linux的錄音降噪方案。該方案完全依靠軟件實(shí)現(xiàn),最大程度上降低投入。
    的頭像 發(fā)表于 05-21 11:52 ?559次閱讀

    四個(gè)2輸入互斥NOR門(mén),帶開(kāi)路集電極輸出數(shù)據(jù)表

    電子發(fā)燒友網(wǎng)站提供《四個(gè)2輸入互斥NOR門(mén),帶開(kāi)路集電極輸出數(shù)據(jù)表.pdf》資料免費(fèi)下載
    發(fā)表于 05-14 09:36 ?0次下載
    四個(gè)2輸入<b class='flag-5'>互斥</b>NOR門(mén),帶開(kāi)路集電極輸出數(shù)據(jù)表

    關(guān)于FreeRTOS互斥量的用法求解

    會(huì)引起死,比如當(dāng)同一個(gè)任務(wù)多次搶占時(shí), 最后還是得換到互斥量, 基于串口中斷發(fā)送模式, 希望使用互斥量來(lái)訪問(wèn)串口的話 , 該如何釋放發(fā)送完成信號(hào)呢? 在中斷函數(shù)釋放
    發(fā)表于 04-24 08:03

    使用 PREEMPT_RT 在 Ubuntu 構(gòu)建實(shí)時(shí) Linux 內(nèi)核

    的實(shí)時(shí)內(nèi)核補(bǔ)丁來(lái)完成。簡(jiǎn)介我們?cè)?b class='flag-5'>介紹過(guò)在Ubuntu22.04啟用實(shí)時(shí)Linux內(nèi)核有多簡(jiǎn)單,因?yàn)镃anonical已將該內(nèi)核列為一個(gè)選項(xiàng)。但要為默認(rèn)Linux內(nèi)
    的頭像 發(fā)表于 04-12 08:36 ?2473次閱讀
    使用 PREEMPT_RT 在 Ubuntu <b class='flag-5'>中</b>構(gòu)建實(shí)時(shí) <b class='flag-5'>Linux</b> 內(nèi)核

    藍(lán)牙在智能的應(yīng)用

    科技的飛速發(fā)展,智能家居產(chǎn)品開(kāi)始逐步步入人們的視線,智能燈具、智能門(mén)鎖等不斷冒出來(lái),為生活帶來(lái)更多的便利性。所謂智能門(mén)鎖是在傳統(tǒng)機(jī)械的基礎(chǔ)上改進(jìn),在用戶安全、識(shí)別、管理性方面更加智能化簡(jiǎn)單化的鎖具
    的頭像 發(fā)表于 03-08 15:04 ?562次閱讀

    RTThread4.1.1在spiflash上掛dfs文件系統(tǒng)報(bào)互斥錯(cuò)誤的原因?

    最近使用gd32f450vg芯片,在SPI4接口上掛了gd25q32,想使用dfs文件系統(tǒng),gd25q32能夠正常的識(shí)別,顯示文件系統(tǒng)掛載正常,但是只要操作文件系統(tǒng)就會(huì)出現(xiàn)報(bào)錯(cuò),看像是互斥的問(wèn)題,請(qǐng)問(wèn)這個(gè)要從哪個(gè)方向查原因
    發(fā)表于 03-05 07:39

    如何解決Linux系統(tǒng)的網(wǎng)絡(luò)連接問(wèn)題?

    如何解決Linux系統(tǒng)的網(wǎng)絡(luò)連接問(wèn)題? Linux系統(tǒng)的網(wǎng)絡(luò)連接問(wèn)題是常見(jiàn)的技術(shù)難題之一,通常涉及在Linux上配置網(wǎng)絡(luò)接口、解決網(wǎng)絡(luò)故
    的頭像 發(fā)表于 01-12 15:17 ?998次閱讀

    信號(hào)量實(shí)現(xiàn)原理介紹

    除了原子操作,中斷屏蔽,自旋以及自旋的衍生之外,在Linux內(nèi)核還存在著一些其他同步互斥
    的頭像 發(fā)表于 01-10 09:07 ?1197次閱讀