当一个用户崩溃时共享内存中的互斥锁？

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