linux使用共享内存通信的进程同步退出问题

两个甚至多个进程使用共享内存（shm）通信，总遇到同步问题。这里的“同步问题”不是说进程读写同步问题，这个用信号量就好了。这里的同步问题说的是同步退出问题，到底谁先退出，怎么知道对方退出了。举个例子：进程负责读写数据库Ａ，进程Ｂ负责处理数据。那么进程Ａ得比进程Ｂ晚退出才行，因为要保存进程Ｂ处理完的数据。可是Ａ不知道Ｂ什么时候退出啊。Ａ、Ｂ是无关联的进程，也不知道对方的pid。它们唯一的关联就是读写同一块共享内存。正常情况下，进程Ｂ在共享内存中写个标识：进程Ａ你可以退出了，也是可以的。不过进程Ｂ可能是异常退出，连标识都来不及写。其次，共享内存用来做数据通信的，加这么个标识感觉不太好，有滥用的感觉。
采用socket通信没有这个问题，因为进程Ｂ退出怎么也会导致socket断开，哪怕是超时。但shm却没有协议来检测这些行为，如果自己也做一个未免太麻烦。那就从共享内存下手吧。
共享内存是由内核来管理的，一个进程删除本身打开的共享内存并不影响另一个进程的共享内存，哪怕都是同一块共享内存。这是因为共享内存在内核中一个引用计数，一个进程使用该共享内存就会导致引用计数加１。如果其中一个进程调用了删除函数，只有这个计数为０才会真正删除共享内存。那么，需要最后才退出的进程检测这个计数就可以了。
在System V的共享内存中，创建一个共享内存会初始化一个结构：

复制代码代码如下:
struct shmid_ds {
struct ipc_perm shm_perm;/* Ownership and permissions */
size_tshm_segsz; /* Size of segment （bytes） */
time_tshm_atime; /* Last attach time */
time_tshm_dtime; /* Last detach time */
time_tshm_ctime; /* Last change time */
pid_t shm_cpid;/* PID of creator */
pid_t shm_lpid;/* PID of last shmat（2）/shmdt（2） */
shmatt_tshm_nattch;/* No. of current attaches */
...
};

使用shmctl函数可以读取该结构体，其中的shm_nattch就是使用该共享内存的进程数。
不过，现在有了新的POSIX标准，当然要用新标准了。shm_open创建的共享内存也具有“一个进程删除本身打开的共享内存并不影响另一个进程的共享内存”的特点。可是用shm_open创建的共享内存不再有上面的结构，那么，内核是怎么管理shm_open创建共享内存？？看下面的源码：

复制代码代码如下:
/* shm_open - open a shared memory file *//* Copyright 2002, Red Hat Inc. */#include <sys/types.h>
#include <sys/mman.h>
#include <unistd.h>
#include <string.h>
#include <fcntl.h>
#include <limits.h>int
shm_open （const char *name, int oflag, mode_t mode）
{
int fd;
char shm_name[PATH_MAX+20] = "/dev/shm/";/* skip opening slash */
if （*name == "/"）
++name;/* create special shared memory file name and leave enough space to
cause a path/name error if name is too long */
strlcpy （shm_name + 9, name, PATH_MAX + 10）;fd = open （shm_name, oflag, mode）;if （fd ！= -1）
{
/* once open we must add FD_CLOEXEC flag to file descriptor */
int flags = fcntl （fd, F_GETFD, 0）;if （flags >= 0）
{
flags |= FD_CLOEXEC;
flags = fcntl （fd, F_SETFD, flags）;
}/* on failure, just close file and give up */
if （flags == -1）
{
close （fd）;
fd = -1;
}
}return fd;
}

我嚓，这就是创建一个普通的文件啊，只是创建的位置在/dev/shm下（也就是RAM上）。再来看看删除共享内存的函数shm_unlink：

复制代码代码如下:
/* shm_unlink - remove a shared memory file *//* Copyright 2002, Red Hat Inc. */#include <sys/types.h>
#include <sys/mman.h>
#include <unistd.h>
#include <string.h>
#include <limits.h>int
shm_unlink （const char *name）
{
int rc;
char shm_name[PATH_MAX+20] = "/dev/shm/";/* skip opening slash */
if （*name == "/"）
++name;/* create special shared memory file name and leave enough space to
cause a path/name error if name is too long */
strlcpy （shm_name + 9, name, PATH_MAX + 10）;rc = unlink （shm_name）;return rc;
}

这也只是一个普通的unlink函数。也就是说，POSIX标准的共享内存就是一个文件。所谓的“一个进程删除本身打开的共享内存并不影响另一个进程的共享内存”就相当于你用fstream对象打开了一个文件，然后去文件夹把文件删除了（也就是对文件进行了unlink操作），可是fstream对象还可以正常读写文件，并没有什么引用计数。这下好了，进程退出时又没法同步了。
不过，在linux下怎么会有解决不了的问题呢？解决不了只能说明自己太菜。既然是文件，那就从文件下手。那文件有什么是原子操作，又可以计数的呢。答案：硬链接。比如：

复制代码代码如下:
xzc@xzc-HP-ProBook-4446s:/dev/shm$ stat abc
文件："abc"
大小：4 块：8IO 块：4096 普通文件
设备：15h/21dInode：5743159 硬链接：1
权限：（0664/-rw-rw-r--）Uid：（ 1000/ xzc） Gid：（ 1000/ xzc）
最近访问：2015-01-25 21:27:00.961053098 +0800
最近更改：2015-01-25 21:27:00.961053098 +0800
最近改动：2015-01-25 21:27:00.961053098 +0800
创建时间：-
xzc@xzc-HP-ProBook-4446s:/dev/shm$

这个硬链接可以通过fstat函数获取。可是要这样实现的话，意味着需要先创建一块共享内存，每个进程引用的时候需要调用link函数来创建一个硬链接。问题解决了，可是这样会在/dev/shm下多个Ｎ多个文件。这可是RAM啊，虽然现在的服务器都比较牛，但这样做也不太好吧。好吧，还有一个flock文件锁。flock使用LOCK_SH参数多个进程对同一个文件加锁。这样，进程Ｂ初始化共享内存时加锁（可以有多个这样的进程），在退出（包括异常退出）时解锁。进程Ａ在退出时检测这个锁。当发现无锁时说明可以安全退出了。
同步退出的问题基本解决了。来不及写代码去验证，下次吧。
PS：内核unlink时应该也是有计数才知道当前有没有进程打开文件，在什么时候应该删除文件。这个还得去查资料，看用不用得上。另外lsof这个工具是可以检测到所有打开该共享内存的进程及相应的状态。这个应该也是有对应的api的，只是现在还没搞懂。