关于使用posix的信号量sem时，程序异常退出后的问题

gothicane

#include <stdio.h> #include <string.h> #include <semaphore.h> #include <errno.h> #include <sys/types.h> #include <sys/stat.h> #include <fcntl.h> #include <unistd.h> int main() { &nbsp;&nbsp;&nbsp;&nbsp;sem_t *mutex; &nbsp;&nbsp;&nbsp;&nbsp;mutex = sem_open ("semtest", O_RDWR|O_CREAT, 0644, 1); &nbsp;&nbsp;&nbsp;&nbsp;if (mutex == SEM_FAILED) &nbsp;&nbsp;&nbsp;&nbsp;{ &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;printf("sem_open failed! (%s)\n", strerror(errno)); &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;return -1; &nbsp;&nbsp;&nbsp;&nbsp;} &nbsp;&nbsp;&nbsp;&nbsp;printf("sem_open success!\n"); &nbsp;&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;sem_wait(mutex); &nbsp;&nbsp;&nbsp;&nbsp;printf("locked\n"); &nbsp;&nbsp;&nbsp;&nbsp;sleep(15); &nbsp;&nbsp;&nbsp;&nbsp;sem_post(mutex); &nbsp;&nbsp;&nbsp;&nbsp;printf("unlocked\n"); &nbsp;&nbsp;&nbsp;&nbsp;sem_close(mutex); &nbsp;&nbsp;&nbsp;&nbsp;return 0; }

刚才发到c/c++版去了.................

    正常情况下我分别运行两个上面的程序，两个程序可以实现先后解锁。但是，当我在第一个启动的程序sleep时把程序kill掉，那么这个信号量就永远不会被还原了，posix的sem没提供像system V的sem一样的UNDO能力么？