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

　　两个甚至多个进程使用共享内存(shm)通信，总遇到同步问题。这里的“同步问题”不是说进程读写同步问题，这个用信号量就好了。这里的同步问题说的是同步退出问题，到底谁先退出，怎么知道对方退出了。举个例子：进程负责读写数据库Ａ，进程Ｂ负责处理数据。那么进程Ａ得比进程Ｂ晚退出才行，因为要保存进程Ｂ处理完的数据。可是Ａ不知道Ｂ什么时候退出啊。Ａ、Ｂ是无关联的进程，也不知道对方的pid。它们唯一的关联就是读写同一块共享内存。正常情况下，进程Ｂ在共享内存中写个标识：进程Ａ你可以退出了，也是可以的。不过进程Ｂ可能是异常退出，连标识都来不及写。其次，共享内存用来做数据通信的，加这么个标识感觉不太好，有滥用的感觉。

　　采用socket通信没有这个问题，因为进程Ｂ退出怎么也会导致socket断开，哪怕是超时。但shm却没有协议来检测这些行为，如果自己也做一个未免太麻烦。那就从共享内存下手吧。

　　共享内存是由内核来管理的，一个进程删除本身打开的共享内存并不影响另一个进程的共享内存，哪怕都是同一块共享内存。这是因为共享内存在内核中一个引用计数，一个进程使用该共享内存就会导致引用计数加１。如果其中一个进程调用了删除函数，只有这个计数为０才会真正删除共享内存。那么，需要最后才退出的进程检测这个计数就可以了。

　　在System V的共享内存中，创建一个共享内存会初始化一个结构：

           struct shmid_ds {
               struct ipc_perm shm_perm;    /* Ownership and permissions */
               size_t          shm_segsz;   /* Size of segment (bytes) */
               time_t          shm_atime;   /* Last attach time */
               time_t          shm_dtime;   /* Last detach time */
               time_t          shm_ctime;   /* Last change time */
               pid_t           shm_cpid;    /* PID of creator */
               pid_t           shm_lpid;    /* PID of last shmat(2)/shmdt(2) */
               shmatt_t        shm_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+] = "/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 + , name, PATH_MAX + );
 
  fd = open (shm_name, oflag, mode);
 
  if (fd != -)
    {
      /* once open we must add FD_CLOEXEC flag to file descriptor */
      int flags = fcntl (fd, F_GETFD, );
 
      if (flags >= )
        {
          flags |= FD_CLOEXEC;
          flags = fcntl (fd, F_SETFD, flags);
        }
 
      /* on failure, just close file and give up */
      if (flags == -)
        {
          close (fd);
          fd = -;
        }
    }
 
  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+] = "/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 + , name, PATH_MAX + );
 
  rc = unlink (shm_name);
 
  return rc;
}

这也只是一个普通的unlink函数。也就是说，POSIX标准的共享内存就是一个文件。所谓的“一个进程删除本身打开的共享内存并不影响另一个进程的共享内存”就相当于你用fstream对象打开了一个文件，然后去文件夹把文件删除了(也就是对文件进行了unlink操作)，可是fstream对象还可以正常读写文件，并没有什么引用计数。这下好了，进程退出时又没法同步了。

　　不过，在linux下怎么会有解决不了的问题呢？解决不了只能说明自己太菜。既然是文件，那就从文件下手。那文件有什么是原子操作，又可以计数的呢。答案：硬链接。比如：

xzc@xzc-HP-ProBook-4446s:/dev/shm$ stat abc
  文件："abc"
  大小：             块：          IO 块：   普通文件
设备：15h/21d    Inode：     硬链接：
权限：(/-rw-rw-r--)  Uid：( /     xzc)   Gid：( /     xzc)
最近访问：-- ::00.961053098 +
最近更改：-- ::00.961053098 +
最近改动：-- ::00.961053098 +
创建时间：-
xzc@xzc-HP-ProBook-4446s:/dev/shm$ 

这个硬链接可以通过fstat函数获取。可是要这样实现的话，意味着需要先创建一块共享内存，每个进程引用的时候需要调用link函数来创建一个硬链接。问题解决了，可是这样会在/dev/shm下多个Ｎ多个文件。这可是RAM啊，虽然现在的服务器都比较牛，但这样做也不太好吧。好吧，还有一个flock文件锁。flock使用LOCK_SH参数多个进程对同一个文件加锁。这样，进程Ｂ初始化共享内存时加锁(可以有多个这样的进程)，在退出(包括异常退出)时解锁。进程Ａ在退出时检测这个锁。当发现无锁时说明可以安全退出了。

　　同步退出的问题基本解决了。来不及写代码去验证，下次吧。

PS：内核unlink时应该也是有计数才知道当前有没有进程打开文件，在什么时候应该删除文件。这个还得去查资料，看用不用得上。另外lsof这个工具是可以检测到所有打开该共享内存的进程及相应的状态。这个应该也是有对应的api的，只是现在还没搞懂。