pthread的mutex通常用在多线程的同步当中,至于多进程的同步,一直以为只能使用记录锁和信号量,而这两种机制都需要内核的支持,属于“重量级”部件。也曾经在多进程同步中使用pthread mutex,但前提有两个:mutex能为多个进程所见,使mutex对象驻留在共享内存中;mutex本身不额外使用进程本地的内存,如堆内存。第一个前提容易满足,对于第二个,GCC的pthread实现也满足。但我一直没有注意到的是,pthread mutex标准本身对多进程提供了“可选”支持,只要实现支持、初始化mutex时pthread_mutexattr_t的pshared成员置为PTHREAD_PROCESS_SHARED即可。
pshared默认为PTHREAD_PROCESS_PRIVATE,即仅支持单进程。如果mutex驻留于共享内存,但pshared为PTHREAD_PROCESS_PRIVATE,此时多进程操作该mutex的行为是未定义的。这两天在写一个多进程可访问的库时就出现了这种“未定义”的行为,花费了一个多工作日才找到原因。
多进程使用mutex需要的基本操作如下:
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 | #include <pthread.h> #include <sys/mman.h> #include <sys/types.h> pthread_mutex_t *mtx = NULL; int main() { //~ reside mutex in shm mtx = (pthread_mutex_t*)mmap(NULL, sizeof(pthread_mutex_t), PROT_READ|PROT_WRITE, MAP_SHARED|MAP_ANON, -1, 0); if (mtx == MAP_FAILED) { perror("mmap"); exit(1); } pthread_mutexattr_t attr; pthread_mutexattr_init(&attr); //~necessary, or weird EINVAL error occurs when operating on the mutex pthread_mutexattr_setpshared(&attr, PTHREAD_PROCESS_SHARED); pthread_mutex_init(mtx, &attr); //~ here the fork pid_t pid = fork(); if (pid < 0) { perror("fork"); exit(1); } else if (pid > 0) { //~ parent //~ lock lock lock } else { //~ child //~ lock lock lock } return 0; } |
Linux环境下,可能需要码农们有更强的主动性。很多基础构件和第三方程序的描述文档和相关讯息不会“主动”找到你,尤其是那些不那么常用的特性,更不要说那些没有详细文档的了,很多时候需要你去扒拉他们的实现代码。但这也是开源魅力所在了,对于一个欲追求卓越的码农来说,代码就是莫大的恩赐了。Read the Fucking Manual, or Read the Fucking Code, beyond the code, nothing left.
你好!除了代码,此处没有多少原创之物,皆为本人搜集、整理、总结之记录与心得,欢迎转载分享!转载时请尽量注明出处,将不胜感激。祝你健康、快乐!
共享内存使用信号量的话有个数限制啊,而使用mutex有存在某个进程异常死掉,该进程持有的锁没有释放的问题。
是的,这是个棘手的问题,似乎没有什么好的解决办法啊
开源代码有利有弊,利在不用不用自己开发,弊在容易遭人攻击
多进程使用mutex同步什么的 与 多线程使用mutex的情形不是一样的吗?
俺没有写过多进程mutex,但在多线程mutex中,俺一般都是一个global的mutex初始化成PTHREAD_MUTEX_INITIALIZER,然后就开始多线程使用了,这样有不妥吗?
静态/全局的mutex并不总是合适的,单进程使用PTHREAD_MUTEX_INITIALIZER和pthread_mutex_init(&mutex, NULL)效果是一样的,对mutex没有特殊要求的话是没有问题的,但多进程时mutex必须放在共享内存中,而且需要使用特定的attribute来初始化mutex才行。