Linux作業系統多執行緒同步Mutex詳細介紹

2021-07-07 09:32:35 字數 2500 閱讀 1965

初始化:

在linux下, 執行緒的互斥量資料型別是pthread_mutex_t. 在使用前, 要對它進行初始化:

對於靜態分配的互斥量, 可以把它設定為pthread_mutex_initializer, 或者呼叫pthread_mutex_init.

對於動態分配的互斥量, 在申請記憶體(malloc)之後, 通過pthread_mutex_init進行初始化, 並且在釋放記憶體(free)前需要呼叫pthread_mutex_destroy.

原型:

int pthread_mutex_init(pthread_mutex_t *restrict mutex, const pthread_mutexattr_t *restric attr);

int pthread_mutex_destroy(pthread_mutex_t *mutex);

標頭檔案:

返回值: 成功則返回0, 出錯則返回錯誤編號.

說明: 如果使用預設的屬性初始化互斥量, 只需把attr設為null. 其他值在以後講解.

互斥操作:

對共享資源的訪問, 要對互斥量進行加鎖, 如果互斥量已經上了鎖, 呼叫執行緒會阻塞, 直到互斥量被解鎖. 在完成了對共享資源的訪問後, 要對互斥量進行解鎖.

首先說一下加鎖函式:

標頭檔案:

原型:

int pthread_mutex_lock(pthread_mutex_t *mutex);

int pthread_mutex_trylock(pthread_mutex_t *mutex);

返回值: 成功則返回0, 出錯則返回錯誤編號.

說明: 具體說一下trylock函式, 這個函式是非阻塞呼叫模式, 也就是說, 如果互斥量沒被鎖住, trylock函式將把互斥量加鎖, 並獲得對共享資源的訪問許可權; 如果互斥量被鎖住了, trylock函式將不會阻塞等待而直接返回ebusy, 表示共享資源處於忙狀態.

再說一下解所函式:

標頭檔案:

原型: int pthread_mutex_unlock(pthread_mutex_t *mutex);
返回值: 成功則返回0, 出錯則返回錯誤編號.

死鎖:

死鎖主要發生在有多個依賴鎖存在時, 會在乙個執行緒試圖以與另乙個執行緒相反順序鎖住互斥量時發生. 如何避免死鎖是使用互斥量應該格外注意的東西.

總體來講, 有幾個不成文的基本原則:

對共享資源操作前一定要獲得鎖.

完成操作以後一定要釋放鎖.

盡量短時間地占用鎖.

如果有多鎖, 如獲得順序是abc連環扣, 釋放順序也應該是abc.

執行緒錯誤返回時應該釋放它所獲得的鎖.

示例:

#include 

#include

#include

#include

#include

pthread_mutex_t mutex = pthread_mutex_initializer;

int lock_var;

time_t end_time;

int sum;

void pthread1(void *arg);

void pthread2(void *arg);

void pthread3(void *arg);

int main(int argc, char *argv)

void pthread1(void *arg)

else

printf("pthread1:pthread1 lock the variable\n");

for(i=0;i<2;i++)

if(pthread_mutex_unlock(&mutex)!=0) //unlock

else

printf("pthread1:pthread1 unlock the variable\n");

sleep(1);}}

void pthread2(void *arg)

else

printf("pthread2:pthread2 got lock.the variable is %d\n",lock_var);

if(pthread_mutex_unlock(&mutex)!=0)//unlock

else

printf("pthread2:pthread2 unlock the variable\n");

}sleep(1);}}

void pthread3(void *arg)

else

printf("pthread3:pthread3 got lock.the variable is %d\n",lock_var);

if(pthread_mutex_unlock(&mutex)!=0)

else

printf("pthread3:pthread2 unlock the variable\n");

}sleep(3);

}*/}

linux多執行緒 作業系統執行緒同步互斥

這一目主要我想得是理論和實際結合的辦法去做,先將理論,把這塊在作業系統中的內容先進行陳述。然後用linux下的 去真正實現。perterson演算法是用來是實現對臨界區資源的互斥訪問,它是用軟體的機制實現。也就是說在linux系統程式設計當中,如果不讓你使用pthread mutex t mutex...

作業系統(Linux)多執行緒 互斥量實現同步

在linux多執行緒 訊號量實現同步中用訊號量實現了多執行緒同步。在訊號量中用sem t結構表示,在互斥量中用 pthread mutexattr t表示。使用互斥變數以前,必須首先對它進行初始化,可以把它設定為常量pthread mutex initializer 只適合用於靜態分配的互斥量 也可...

作業系統 執行緒同步

執行緒同步是為了多執行緒能夠安全訪問共享資源。臨界區 互斥量 事件 訊號量四種方式 臨界區 critical section 互斥量 mutex 訊號量 semaphore 事件 event 的區別 1 臨界區 通過對多執行緒的序列化來訪問公共資源或一段 速度快,適合控制資料訪問。在任意時刻只允許乙...