linux使用共享內(nèi)存通信的進(jìn)程同步退出問(wèn)題

两个甚至多个进程使用共享内存(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 //p

/ Copyright 2002, Red Hat Inc. /

#include
#include
#include
#include
#include
#include

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 //p

/ Copyright 2002, Red Hat Inc. /

#include
#include
#include
#include
#include

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的，只是现在还没搞懂。