互斥鎖

互斥鎖

編程中,引入了對象互斥鎖的概念,來保證共享數據操作的完整性。每個對象都對應於一個可稱為" 互斥鎖" 的標記,這個標記用來保證在任一時刻,只能有一個執行緒訪問該對象

基本介紹

  • 中文名:互斥鎖
  • 領域:彙編語言
示例,屬性對象,銷毀對象,設定範圍,獲取範圍,類型屬性,獲取屬性,設定協定,獲取協定,設定上限,互斥上限,互斥鎖,獲取設定,強健屬性,互斥鎖的相關實現與效率問題,

示例

下面舉例:
在Posix Thread中定義有一套專門用於執行緒同步的mutex函式。
1. 創建和銷毀
有兩種方法創建互斥鎖,靜態方式和動態方式。POSIX定義了一個PTHREAD_MUTEX_INITIALIZER來靜態初始化互斥鎖,方法如下: pthread_mutex_t mutex=PTHREAD_MUTEX_INITIALIZER; 在LinuxThreads實現中,pthread_mutex_t是一個結構,而PTHREAD_MUTEX_INITIALIZER則是一個結構常量。
動態方式是採用pthread_mutex_init()函式來初始化互斥鎖,API定義如下: int pthread_mutex_init(pthread_mutex_t *mutex, const pthread_mutexattr_t *mutexattr) 其中mutexattr用於指定互斥鎖屬性(見下),如果為NULL則使用預設屬性。
pthread_mutex_destroy ()用於註銷一個互斥鎖,API定義如下: int pthread_mutex_destroy(pthread_mutex_t *mutex) 銷毀一個互斥鎖即意味著釋放它所占用的資源,且要求鎖當前處於開放狀態。由於在Linux中,互斥鎖並不占用任何資源,因此LinuxThreads中的 pthread_mutex_destroy()除了檢查鎖狀態以外(鎖定狀態則返回EBUSY)沒有其他動作。
2. 互斥鎖屬性
互斥鎖的屬性在創建鎖的時候指定,在LinuxThreads實現中僅有一個鎖類型屬性,不同的鎖類型在試圖對一個已經被鎖定的互斥鎖加鎖時表現不同。當前(glibc2.2.3,linuxthreads0.9)有四個值可供選擇:
* PTHREAD_MUTEX_TIMED_NP,這是預設值,也就是普通鎖。當一個執行緒加鎖以後,其餘請求鎖的執行緒將形成一個等待佇列,並在解鎖後按優先權獲得鎖。這種鎖策略保證了資源分配的公平性。
* PTHREAD_MUTEX_RECURSIVE_NP,嵌套鎖,允許同一個執行緒對同一個鎖成功獲得多次,並通過多次unlock解鎖。如果是不同執行緒請求,則在加鎖執行緒解鎖時重新競爭。
* PTHREAD_MUTEX_ERRORCHECK_NP,檢錯鎖,如果同一個執行緒請求同一個鎖,則返回EDEADLK,否則與PTHREAD_MUTEX_TIMED_NP類型動作相同。這樣就保證當不允許多次加鎖時不會出現最簡單情況下的死鎖。
* PTHREAD_MUTEX_ADAPTIVE_NP,適應鎖,動作最簡單的鎖類型,僅等待解鎖後重新競爭。
3.操作
鎖操作主要包括加鎖pthread_mutex_lock()、解鎖pthread_mutex_unlock()和測試加鎖 pthread_mutex_trylock()三個,不論哪種類型的鎖,都不可能被兩個不同的執行緒同時得到,而必須等待解鎖。對於普通鎖和適應鎖類型,解鎖者可以是同進程內任何執行緒;而檢錯鎖則必須由加鎖者解鎖才有效,否則返回EPERM;對於嵌套鎖,文檔和實現要求必須由加鎖者解鎖,但實驗結果表明並沒有這種限制,這個不同還沒有得到解釋。在同一進程中的執行緒,如果加鎖後沒有解鎖,則任何其他執行緒都無法再獲得鎖。
int pthread_mutex_lock(pthread_mutex_t *mutex)
int pthread_mutex_unlock(pthread_mutex_t *mutex)
int pthread_mutex_trylock(pthread_mutex_t *mutex)
pthread_mutex_trylock()語義與pthread_mutex_lock()類似,不同的是在鎖已經被占據時返回EBUSY而不是掛起等待。
4. 其他
POSIX 執行緒鎖機制的Linux實現都不是取消點,因此,延遲取消類型的執行緒不會因收到取消信號而離開加鎖等待。值得注意的是,如果執行緒在加鎖後解鎖前被取消,鎖將永遠保持鎖定狀態,因此如果在關鍵區段內有取消點存在,或者設定了異步取消類型,則必須在退出回調函式中解鎖。
這個鎖機制同時也不是異步信號安全的,也就是說,不應該在信號處理過程中使用互斥鎖,否則容易造成死鎖。
互斥鎖屬性使用互斥鎖(互斥)可以使執行緒按順序執行。通常,互斥鎖通過確保一次只有一個執行緒執行代碼的臨界段來同步多個執行緒。互斥鎖還可以保護單執行緒代碼。
要更改預設的互斥鎖屬性,可以對屬性對象進行聲明和初始化。通常,互斥鎖屬性會設定在應用程式開頭的某個位置,以便可以快速查找和輕鬆修改。表 4–1列出了用來處理互斥鎖屬性的函式。
表 4–1 互斥鎖屬性例程
操作
相關函式說明
初始化互斥鎖屬性對象
pthread_mutexattr_init 語法
銷毀互斥鎖屬性對象
pthread_mutexattr_destroy 語法
設定互斥鎖範圍
pthread_mutexattr_setpshared 語法
獲取互斥鎖範圍
pthread_mutexattr_getpshared 語法
設定互斥鎖的類型屬性
pthread_mutexattr_settype 語法
獲取互斥鎖的類型屬性
pthread_mutexattr_gettype 語法
設定互斥鎖屬性的協定
pthread_mutexattr_setprotocol 語法
獲取互斥鎖屬性的協定
pthread_mutexattr_getprotocol 語法
設定互斥鎖屬性的優先權上限
pthread_mutexattr_setprioceiling 語法
獲取互斥鎖屬性的優先權上限
pthread_mutexattr_getprioceiling 語法
設定互斥鎖的優先權上限
pthread_mutex_setprioceiling 語法
獲取互斥鎖的優先權上限
pthread_mutex_getprioceiling 語法
設定互斥鎖的強健屬性
pthread_mutexattr_setrobust_np 語法
獲取互斥鎖的強健屬性
pthread_mutexattr_getrobust_np 語法
表 4–2中顯示了在定義互斥範圍時 Solaris 執行緒和 POSIX 執行緒之間的差異。
表 4–2 互斥鎖範圍比較
Solaris
POSIX
定義
USYNC_PROCESS
PTHREAD_PROCESS_SHARED
用於同步該進程和其他進程中的執行緒
USYNC_PROCESS_ROBUST
無 POSIX 等效項
用於在進程間可靠地同步執行緒
USYNC_THREAD
PTHREAD_PROCESS_PRIVATE
用於僅同步該進程中的執行緒

屬性對象

使用pthread_mutexattr_init(3C)可以將與互斥鎖對象相關聯的屬性初始化為其預設值。在執行過程中,執行緒系統會為每個屬性對象分配存儲空間
pthread_mutexattr_init 語法
int pthread_mutexattr_init(pthread_mutexattr_t *mattr);
#include <pthread.h>
pthread_mutexattr_t mattr;
int ret;/* initialize an attribute to default value */
ret = pthread_mutexattr_init(&mattr);
調用此函式時,pshared 屬性的預設值為 PTHREAD_PROCESS_PRIVATE。該值表示可以在進程內使用經過初始化的互斥鎖。
mattr 的類型為 opaque,其中包含一個由系統分配的屬性對象。mattr 範圍可能的值為 PTHREAD_PROCESS_PRIVATE 和 PTHREAD_PROCESS_SHARED。PTHREAD_PROCESS_PRIVATE 是預設值
對於互斥鎖屬性對象,必須首先通過調用 pthread_mutexattr_destroy(3C) 將其銷毀,才能重新初始化該對象。pthread_mutexattr_init()調用會導致分配類型為 opaque 的對象。如果未銷毀該對象,則會導致記憶體泄漏。
ENOMEM
描述:記憶體不足,無法初始化互斥鎖屬性對象。

銷毀對象

pthread_mutexattr_destroy(3C)可用來取消分配用於維護pthread_mutexattr_init()所創建的屬性對象的存儲空間
pthread_mutexattr_destroy 語法
int pthread_mutexattr_destroy(pthread_mutexattr_t *mattr)#include <pthread.h>pthread_mutexattr_t mattr;int ret;/* destroy an attribute */ret = pthread_mutexattr_destroy(&mattr);
pthread_mutexattr_destroy 返回值
pthread_mutexattr_destroy()成功完成之後會返回零。其他任何返回值都表示出現了錯誤。如果出現以下情況,該函式將失敗並返回對應的值。
EINVAL
描述:由 mattr 指定的值無效。

設定範圍

pthread_mutexattr_setpshared(3C)可用來設定互斥鎖變數作用域
pthread_mutexattr_setpshared 語法
int pthread_mutexattr_setpshared(pthread_mutexattr_t *mattr, int pshared);
#include <pthread.h>
pthread_mutexattr_t mattr;
int ret;
ret = pthread_mutexattr_init(&mattr);/* * resetting to its default value: private */
ret = pthread_mutexattr_setpshared(&mattr, PTHREAD_PROCESS_PRIVATE);
互斥鎖變數可以是進程專用的(進程內)變數,也可以是系統範圍內的(進程間)變數。要在多個進程中的執行緒之間共享互斥鎖,可以在共享記憶體中創建互斥鎖,並將pshared屬性設定為 PTHREAD_PROCESS_SHARED。 此行為與最初的 Solaris 執行緒實現中mutex_init()中的 USYNC_PROCESS 標誌等效。
如果互斥鎖的pshared屬性設定為 PTHREAD_PROCESS_PRIVATE,則僅有那些由同一個進程創建的執行緒才能夠處理該互斥鎖。

獲取範圍

pthread_mutexattr_getpshared(3C)可用來返回由pthread_mutexattr_setpshared()定義的互斥鎖變數的範圍。
pthread_mutexattr_getpshared 語法
int pthread_mutexattr_getpshared(pthread_mutexattr_t *mattr, int *pshared);#include <pthread.h>pthread_mutexattr_t mattr;int pshared, ret;/* get pshared of mutex */ret = pthread_mutexattr_getpshared(&mattr, &pshared); 此函式可為屬性對象 mattr 獲取 pshared 的當前值。該值為 PTHREAD_PROCESS_SHARED 或 PTHREAD_PROCESS_PRIVATE。

類型屬性

pthread_mutexattr_settype(3C)可用來設定互斥鎖的type屬性。
pthread_mutexattr_settype 語法
#include <pthread.h>int pthread_mutexattr_settype(pthread_mutexattr_t *attr , int type);類型屬性的預設值為 PTHREAD_MUTEX_DEFAULT。
type參數指定互斥鎖的類型。以下列出了有效的互斥鎖類型:
PTHREAD_MUTEX_NORMAL
描述:此類型的互斥鎖不會檢測死鎖。如果執行緒在不首先解除互斥鎖的情況下嘗試重新鎖定該互斥鎖,則會產生死鎖。嘗試解除由其他執行緒鎖定的互斥鎖會產生不確定的行為。如果嘗試解除鎖定的互斥鎖未鎖定,則會產生不確定的行為。
PTHREAD_MUTEX_ERRORCHECK
描述:此類型的互斥鎖可提供錯誤檢查。如果執行緒在不首先解除鎖定互斥鎖的情況下嘗試重新鎖定該互斥鎖,則會返回錯誤。如果執行緒嘗試解除鎖定的互斥鎖已經由其他執行緒鎖定,則會返回錯誤。如果執行緒嘗試解除鎖定的互斥鎖未鎖定,則會返回錯誤。
PTHREAD_MUTEX_RECURSIVE
描述:如果執行緒在不首先解除鎖定互斥鎖的情況下嘗試重新鎖定該互斥鎖,則可成功鎖定該互斥鎖。 與 PTHREAD_MUTEX_NORMAL 類型的互斥鎖不同,對此類型互斥鎖進行重新鎖定時不會產生死鎖情況。多次鎖定互斥鎖需要進行相同次數的解除鎖定才可以釋放該鎖,然後其他執行緒才能獲取該互斥鎖。如果執行緒嘗試解除鎖定的互斥鎖已經由其他執行緒鎖定,則會返回錯誤。 如果執行緒嘗試解除鎖定的互斥鎖未鎖定,則會返回錯誤。
PTHREAD_MUTEX_DEFAULT
描述:如果嘗試以遞歸方式鎖定此類型的互斥鎖,則會產生不確定的行為。對於不是由調用執行緒鎖定的此類型互斥鎖,如果嘗試對它解除鎖定,則會產生不確定的行為。對於尚未鎖定的此類型互斥鎖,如果嘗試對它解除鎖定,也會產生不確定的行為。允許在實現中將該互斥鎖映射到其他互斥鎖類型之一。對於 Solaris 執行緒,PTHREAD_PROCESS_DEFAULT 會映射到 PTHREAD_PROCESS_NORMAL。
pthread_mutexattr_settype 返回值
如果運行成功,pthread_mutexattr_settype 函式會返回零。否則,將返回用於指明錯誤的錯誤號。
EINVAL
描述:值為type無效。
EINVAL
描述:attr指定的值無效。

獲取屬性

pthread_mutexattr_gettype(3C)可用來獲取由pthread_mutexattr_settype()設定的互斥鎖的type屬性。
pthread_mutexattr_gettype 語法
#include <pthread.h>int pthread_mutexattr_gettype(pthread_mutexattr_t *attr , int *type);類型屬性的預設值為 PTHREAD_MUTEX_DEFAULT。
type參數指定互斥鎖的類型。有效的互斥鎖類型包括:
PTHREAD_MUTEX_NORMAL
PTHREAD_MUTEX_ERRORCHECK
PTHREAD_MUTEX_RECURSIVE
PTHREAD_MUTEX_DEFAULT
有關每種類型的說明,請參見pthread_mutexattr_settype 語法。
pthread_mutexattr_gettype 返回值
如果成功完成,pthread_mutexattr_gettype()會返回 0。其他任何返回值都表示出現了錯誤。

設定協定

pthread_mutexattr_setprotocol(3C)可用來設定互斥鎖屬性對象的協定屬性。
pthread_mutexattr_setprotocol 語法
#include <pthread.h>int pthread_mutexattr_setprotocol(pthread_mutexattr_t *attr, int protocol);attr 指示以前調用pthread_mutexattr_init()時創建的互斥鎖屬性對象。
protocol 可定義套用於互斥鎖屬性對象的協定。
pthread.h 中定義的 protocol 可以是以下值之一:PTHREAD_PRIO_NONE、PTHREAD_PRIO_INHERIT 或 PTHREAD_PRIO_PROTECT。
PTHREAD_PRIO_NONE
執行緒的優先權和調度不會受到互斥鎖擁有權的影響。
PTHREAD_PRIO_INHERIT
此協定值(如 thrd1)會影響執行緒的優先權和調度。如果更高優先權的執行緒因 thrd1 所擁有的一個或多個互斥鎖而被阻塞,而這些互斥鎖是用 PTHREAD_PRIO_INHERIT 初始化的,則 thrd1 將以高於它的優先權或者所有正在等待這些互斥鎖(這些互斥鎖是 thrd1 指所擁有的互斥鎖)的執行緒的最高優先權運行。
如果 thrd1 因另一個執行緒 (thrd3) 擁有的互斥鎖而被阻塞,則相同的優先權繼承效應會以遞歸方式傳播給 thrd3。
使用 PTHREAD_PRIO_INHERIT 可以避免優先權倒置。低優先權的執行緒持有較高優先權執行緒所需的鎖時,便會發生優先權倒置。只有在較低優先權的執行緒釋放該鎖之後,較高優先權的執行緒才能繼續使用該鎖。設定 PTHREAD_PRIO_INHERIT,以便按與預期的優先權相反的優先權處理每個執行緒。
如果為使用協定屬性值 PTHREAD_PRIO_INHERIT 初始化的互斥鎖定義了 _POSIX_THREAD_PRIO_INHERIT,則互斥鎖的屬主失敗時會執行以下操作。屬主失敗時的行為取決於pthread_mutexattr_setrobust_np()的 robustness 參數的值。
解除鎖定互斥鎖。
互斥鎖的下一個屬主將獲取該互斥鎖,並返回錯誤 EOWNERDEAD。
互斥鎖的下一個屬主會嘗試使該互斥鎖所保護的狀態一致。如果上一個屬主失敗,則狀態可能會不一致。如果屬主成功使狀態保持一致,則可針對該互斥鎖調用pthread_mutex_init()並解除鎖定該互斥鎖。
注 –如果針對以前初始化的但尚未銷毀的互斥鎖調用pthread_mutex_init(),則該互斥鎖不會重新初始化。
如果屬主無法使狀態保持一致,請勿調用pthread_mutex_init(),而是解除鎖定該互斥鎖。在這種情況下,所有等待的執行緒都將被喚醒。以後對pthread_mutex_lock()的所有調用將無法獲取互斥鎖,並將返回錯誤代碼 ENOTRECOVERABLE。現在,通過調用pthread_mutex_destroy()來取消初始化該互斥鎖,即可使其狀態保持一致。調用pthread_mutex_init()可重新初始化互斥鎖。
如果已獲取該鎖的執行緒失敗並返回 EOWNERDEAD,則下一個屬主將獲取該鎖及錯誤代碼 EOWNERDEAD。
PTHREAD_PRIO_PROTECT
當執行緒擁有一個或多個使用 PTHREAD_PRIO_PROTECT 初始化的互斥鎖時,此協定值會影響其他執行緒(如 thrd2)的優先權和調度。thrd2 以其較高的優先權或者以 thrd2 擁有的所有互斥鎖的最高優先權上限運行。基於被 thrd2 擁有的任一互斥鎖阻塞的較高優先權執行緒對於 thrd2 的調度沒有任何影響。
如果某個執行緒調用sched_setparam()來更改初始優先權,則調度程式不會採用新優先權將該執行緒移到調度佇列末尾。
執行緒擁有使用 PTHREAD_PRIO_INHERIT 或 PTHREAD_PRIO_PROTECT 初始化的互斥鎖
執行緒解除鎖定使用 PTHREAD_PRIO_INHERIT 或 PTHREAD_PRIO_PROTECT 初始化的互斥鎖
一個執行緒可以同時擁有多個混合使用 PTHREAD_PRIO_INHERIT 和 PTHREAD_PRIO_PROTECT 初始化的互斥鎖。在這種情況下,該執行緒將以通過其中任一協定獲取的最高優先權執行。
pthread_mutexattr_setprotocol 返回值
如果成功完成,pthread_mutexattr_setprotocol()會返回 0。其他任何返回值都表示出現了錯誤。
如果出現以下任一情況,pthread_mutexattr_setprotocol()將失敗並返回對應的值。
ENOSYS
描述:選項 _POSIX_THREAD_PRIO_INHERIT 和 _POSIX_THREAD_PRIO_PROTECT 均未定義並且該實現不支持此函式。
ENOTSUP
描述:protocol 指定的值不受支持。
如果出現以下任一情況,pthread_mutexattr_setprotocol()可能會失敗並返回對應的值。
EINVAL
描述:attr 或 protocol 指定的值無效。
EPERM
描述:調用方無權執行該操作。

獲取協定

pthread_mutexattr_getprotocol(3C)可用來獲取互斥鎖屬性對象的協定屬性。
pthread_mutexattr_getprotocol 語法
#include <pthread.h>int pthread_mutexattr_getprotocol(const pthread_mutexattr_t *attr, int *protocol);attr 指示以前調用pthread_mutexattr_init()時創建的互斥鎖屬性對象。
protocol 包含以下協定屬性之一:PTHREAD_PRIO_NONE、PTHREAD_PRIO_INHERIT 或 PTHREAD_PRIO_PROTECT。
pthread_mutexattr_getprotocol 返回值
如果成功完成,pthread_mutexattr_getprotocol()會返回 0。其他任何返回值都表示出現了錯誤。
如果出現以下情況,pthread_mutexattr_getprotocol()將失敗並返回對應的值。
ENOSYS
描述:_POSIX_THREAD_PRIO_INHERIT 選項和 _POSIX_THREAD_PRIO_PROTECT 選項均未定義並且該實現不支持此函式。
如果出現以下任一情況,pthread_mutexattr_getprotocol()可能會失敗並返回對應的值。
EINVAL
描述:attr 指定的值無效。
EPERM
描述:調用方無權執行該操作。

設定上限

pthread_mutexattr_setprioceiling(3C)可用來設定互斥鎖屬性對象的優先權上限屬性。
pthread_mutexattr_setprioceiling 語法
#include <pthread.h>int pthread_mutexattr_setprioceiling(pthread_mutexatt_t *attr, int prioceiling, int *oldceiling);attr 指示以前調用pthread_mutexattr_init()時創建的互斥鎖屬性對象。
prioceiling 指定已初始化互斥鎖的優先權上限。優先權上限定義執行互斥鎖保護的臨界段時的最低優先權。prioceiling 位於 SCHED_FIFO 所定義的優先權的最大範圍內。要避免優先權倒置,請將 prioceiling 設定為高於或等於可能會鎖定特定互斥鎖的所有執行緒的最高優先權。
oldceiling 包含以前的優先權上限值。
pthread_mutexattr_setprioceiling 返回值
如果成功完成,pthread_mutexattr_setprioceiling()會返回 0。其他任何返回值都表示出現了錯誤。
如果出現以下任一情況,pthread_mutexattr_setprioceiling()將失敗並返回對應的值。
ENOSYS
描述:選項 _POSIX_THREAD_PRIO_PROTECT 未定義並且該實現不支持此函式。
如果出現以下任一情況,pthread_mutexattr_setprioceiling()可能會失敗並返回對應的值。
EINVAL
描述:attr 或 prioceiling 指定的值無效。
EPERM
描述:調用方無權執行該操作。

互斥上限

pthread_mutexattr_getprioceiling(3C)可用來獲取互斥鎖屬性對象的優先權上限屬性。
pthread_mutexattr_getprioceiling 語法
#include <pthread.h>int pthread_mutexattr_getprioceiling(const pthread_mutexatt_t *attr, int *prioceiling);attr 指定以前調用pthread_mutexattr_init()時創建的屬性對象。
注 –
僅當定義了 _POSIX_THREAD_PRIO_PROTECT 符號時,attr 互斥鎖屬性對象才會包括優先權上限屬性。
pthread_mutexattr_getprioceiling()返回 prioceiling 中已初始化互斥鎖的優先權上限。優先權上限定義執行互斥鎖保護的臨界段時的最低優先權。prioceiling 位於 SCHED_FIFO 所定義的優先權的最大範圍內。要避免優先權倒置,請將 prioceiling 設定為高於或等於可能會鎖定特定互斥鎖的所有執行緒的最高優先權。
pthread_mutexattr_getprioceiling 返回值
如果成功完成,pthread_mutexattr_getprioceiling()會返回 0。其他任何返回值都表示出現了錯誤。
如果出現以下任一情況,pthread_mutexattr_getprioceiling()將失敗並返回對應的值。
ENOSYS
描述:_POSIX_THREAD_PRIO_PROTECT 選項未定義並且該實現不支持此函式。
如果出現以下任一情況,pthread_mutexattr_getprioceiling()可能會失敗並返回對應的值。
EINVAL
描述:attr 指定的值無效。
EPERM
描述:調用方無權執行該操作。

互斥鎖

pthread_mutexattr_setprioceiling(3C)可用來設定互斥鎖的優先權上限。
pthread_mutex_setprioceiling 語法
#include <pthread.h>int pthread_mutex_setprioceiling(pthread_mutex_t *mutex, int prioceiling, int *old_ceiling);pthread_mutex_setprioceiling()可更改互斥鎖 mutex 的優先權上限 prioceiling。pthread_mutex_setprioceiling()可鎖定互斥鎖(如果未鎖定的話),或者一直處於阻塞狀態,直到pthread_mutex_setprioceiling()成功鎖定該互斥鎖,更改該互斥鎖的優先權上限並將該互斥鎖釋放為止。鎖定互斥鎖的過程無需遵循優先權保護協定。
如果pthread_mutex_setprioceiling()成功,則將在 old_ceiling 中返回以前的優先權上限值。如果pthread_mutex_setprioceiling()失敗,則互斥鎖的優先權上限保持不變。
pthread_mutex_setprioceiling 返回值
如果成功完成,pthread_mutex_setprioceiling()會返回 0。其他任何返回值都表示出現了錯誤。
如果出現以下情況,pthread_mutexatt_setprioceiling()將失敗並返回對應的值。
ENOSYS
描述:選項_POSIX_THREAD_PRIO_PROTECT 未定義並且該實現不支持此函式。
如果出現以下任一情況,pthread_mutex_setprioceiling()可能會失敗並返回對應的值。
EINVAL
描述:prioceiling 所請求的優先權超出了範圍。
EINVAL
描述:mutex 指定的值不會引用當前存在的互斥鎖。
ENOSYS
描述:該實現不支持互斥鎖的優先權上限協定。
EPERM
描述:調用方無權執行該操作。

獲取設定

pthread_mutexattr_getprioceiling(3C)可用來獲取互斥鎖的優先權上限。
pthread_mutex_getprioceiling 語法
#include <pthread.h>int pthread_mutex_getprioceiling(const pthread_mutex_t *mutex, int *prioceiling);pthread_mutex_getprioceiling()會返回 mutex 的優先權上限 prioceiling。
pthread_mutex_getprioceiling 返回值
如果成功完成,pthread_mutex_getprioceiling()會返回 0。其他任何返回值都表示出現了錯誤。
如果出現以下任一情況,pthread_mutexatt_getprioceiling()將失敗並返回對應的值。
ENOSYS
描述:_POSIX_THREAD_PRIO_PROTECT 選項未定義並且該實現不支持此函式。
如果出現以下任一情況,pthread_mutex_getprioceiling()可能會失敗並返回對應的值。
EINVAL
描述:mutex 指定的值不會引用當前存在的互斥鎖。
ENOSYS
描述:該實現不支持互斥鎖的優先權上限協定。
EPERM
描述:調用方無權執行該操作。

強健屬性

pthread_mutexattr_setrobust_np(3C)可用來設定互斥鎖屬性對象的強健屬性。
pthread_mutexattr_setrobust_np 語法
#include <pthread.h>int pthread_mutexattr_setrobust_np(pthread_mutexattr_t *attr, int *robustness);注 –
僅當定義了符號 _POSIX_THREAD_PRIO_INHERIT 時,pthread_mutexattr_setrobust_np()才適用。
attr 指示以前通過調用pthread_mutexattr_init()創建的互斥鎖屬性對象。
robustness 定義在互斥鎖的屬主失敗時的行為。pthread.h 中定義的 robustness 的值為 PTHREAD_MUTEX_ROBUST_NP 或 PTHREAD_MUTEX_STALLED_NP。預設值為 PTHREAD_MUTEX_STALLED_NP。
PTHREAD_MUTEX_ROBUST_NP
如果互斥鎖的屬主失敗,則以後對pthread_mutex_lock()的所有調用將以不確定的方式被阻塞。
PTHREAD_MUTEX_STALLED_NP
互斥鎖的屬主失敗時,將會解除鎖定該互斥鎖。互斥鎖的下一個屬主將獲取該互斥鎖,並返回錯誤 EOWNWERDEAD。
注 –應用程式必須檢查pthread_mutex_lock()的返回代碼,查找返回錯誤 EOWNWERDEAD 的互斥鎖。
互斥鎖的新屬主應使該互斥鎖所保護的狀態保持一致。如果上一個屬主失敗,則互斥鎖狀態可能會不一致。
如果新屬主能夠使狀態保持一致,請針對該互斥鎖調用pthread_mutex_consistent_np(),並解除鎖定該互斥鎖。
如果新屬主無法使狀態保持一致,請勿針對該互斥鎖調用pthread_mutex_consistent_np(),而是解除鎖定該互斥鎖。
所有等待的執行緒都將被喚醒,以後對pthread_mutex_lock()的所有調用都將無法獲取該互斥鎖。返回代碼為 ENOTRECOVERABLE。通過調用pthread_mutex_destroy()取消對互斥鎖的初始化,並調用pthread_mutex_int()重新初始化該互斥鎖,可使該互斥鎖保持一致。
如果已獲取該鎖的執行緒失敗並返回 EOWNERDEAD,則下一個屬主獲取該鎖時將返回代碼 EOWNERDEAD。
pthread_mutexattr_setrobust_np 返回值
如果成功完成,pthread_mutexattr_setrobust_np()會返回 0。其他任何返回值都表示出現了錯誤。
如果出現以下任一情況,pthread_mutexattr_setrobust_np()將失敗並返回對應的值。
ENOSYS
描述:選項 _POSIX_THREAD_PRIO__INHERIT 未定義,或者該實現不支持pthread_mutexattr_setrobust_np()
ENOTSUP
描述:robustness 指定的值不受支持。
pthread_mutexattr_setrobust_np()可能會在出現以下情況時失敗:
EINVAL
描述:attr 或 robustness 指定的值無效。

互斥鎖的相關實現與效率問題

互斥鎖實際的效率還是可以讓人接受的,加鎖的時間大概100ns左右,而實際上互斥鎖的一種可能的實現是先自旋一段時間,當自旋的時間超過閥值之後再將執行緒投入睡眠中,因此在並發運算中使用互斥鎖(每次占用鎖的時間很短)的效果可能不亞於使用自旋鎖。

相關詞條

熱門詞條

聯絡我們