當一個用戶崩潰時共享內存中的互斥鎖？

Question

假設一個進程正在共享內存中創建一個互斥鎖，並鎖定它並在互斥鎖被鎖定時轉儲核心。

現在在另一個進程中，我該如何檢測互斥鎖是否已被鎖定，但不屬於任何進程？

Answer 1

如果你在Linux或類似的東西，可考慮使用named semaphores而不是（我假設是什麼）並行線程互斥。我不認爲有一種方法可以確定pthreads互斥量的鎖定PID，而不是構建自己的註冊表並將其放入共享內存。

Answer 2

您應該使用操作系統提供的信號量。

操作系統釋放進程已打開的所有資源，無論它是否死亡或正常退出。

Answer 3

只有當有人會有相同的想法並且會發現這個討論的使用時，我纔會退出這個錯誤的帖子！

---

您可以使用這種方法。 1）鎖定POSIX共享互斥鎖 2）將進程ID保存在共享內存中。 3）解鎖共享互斥 4）在正確的出口清潔過程-ID

如果進程核心轉儲下一過程會發現，在共享存儲器中有保存在步驟＃2中的進程ID。如果在操作系統中沒有這個進程ID的進程，那麼沒有人擁有共享互斥。所以只需要替換進程ID。爲了回答評論

更新：

場景1：1。 開始P1 2. P1創建/打開一個名爲互斥體，如果它不存在 3. P1它timed_locks命名的互斥體和successfuly （如果需要，等待10秒）; 4. P1 coredumps 5. P2在coredump後啓動 6. P2創建/打開一個已命名的互斥鎖，它存在，它是OK 7. P2 timed_locks已命名的互斥鎖並且無法鎖定（如果需要，等待10秒）; 8. P2刪除命名的互斥體 9. P2再現了命名的互斥體&鎖定

Answer 4

基於文件的鎖定（使用flock(2)）如何？當持有它的過程死亡時，它們會自動釋放。

演示程序：

#include <stdio.h> 
#include <time.h> 
#include <sys/file.h> 

void main() { 
    FILE * f = fopen("testfile", "w+"); 

    printf("pid=%u time=%u Getting lock\n", getpid(), time(NULL)); 
    flock(fileno(f), LOCK_EX); 
    printf("pid=%u time=%u Got lock\n", getpid(), time(NULL)); 

    sleep(5); 
    printf("pid=%u time=%u Crashing\n", getpid(), time(NULL)); 
    *(int *)NULL = 1; 
} 

輸出（我已經截斷了PID和次位爲清楚起見）：

$ ./a.out & sleep 2 ; ./a.out 
[1] 15 
pid=15 time=137 Getting lock 
pid=15 time=137 Got lock 
pid=17 time=139 Getting lock 
pid=15 time=142 Crashing 
pid=17 time=142 Got lock 
pid=17 time=147 Crashing 
[1]+ Segmentation fault  ./a.out 
Segmentation fault 

什麼情況是，第一個節目獲得鎖，並開始睡5秒鐘。 2秒後，程序的第二個實例開始在試圖獲取鎖的同時阻塞。 3秒鐘後，第一個程序段錯誤（bash直到後來才告訴你），第二個程序獲得鎖定並繼續。

Answer 5

似乎確切的答案已經以強健的互斥體的形式提供。

根據POSIX，可以使用pthread_mutexattr_setrobust（）將pthread互斥鎖初始化爲「健壯」。如果持有該互斥鎖的進程死亡，下一個獲得它的線程將收到EOWNERDEAD（但仍然成功獲取互斥鎖），以便它知道執行任何清理。然後需要使用pthread_mutex_consistent（）來通知獲取的互斥量再次一致。

很明顯，你需要內核和libc支持才能工作。在Linux上，內核支持被稱爲「健壯的futexes」，我發現引用了正在應用於glibc HEAD的用戶空間更新。

實際上，至少在Linux世界中，對此的支持似乎還沒有被濾除。如果這些函數不可用，您可能會發現pthread_mutexattr_setrobust_np（），就我所能收集而言，它似乎是一個提供相同語義的非POSIX前驅。我在Solaris文檔和Debian上的/usr/include/pthread.h中都找到了對pthread_mutexattr_setrobust_np（）的引用。

POSIX規範可以在這裏找到：http://www.opengroup.org/onlinepubs/9699919799/functions/pthread_mutexattr_setrobust.html