linux程序设计复习总结（十一）IPC

IPC （Inter-Process Communication，进程间通信）机制

信号量：用于管理对资源的访问。
共享内存：用于在程序之间高效地共享数据。
消息队列：在程序之间传递数据的一种简单方法。

1.信号量：

为了防止出现因多个程序同时访问一个共享资源而引发的问题，需要有一种方法，它可以通过生成并使用令牌来授权，在任一时刻只能有一个执行线程访问代码的临界区域。

信号量的一个更正式的定义是：它是一个特殊变量，只允许对它进行等待（wait）和发送信号（signal）这两种操作。P（信号量变量）：用于等待。V（信号量变量）：用于发送信号。

所有的Linux信号量函数都是针对成组的通用信号量进行操作，而不是只针对一个二进制信号量。乍看起来，这好像把事情弄得更复杂了，但在一个进程需要锁定多个资源的复杂情况中，这种能够对一组信号量进行操作的能力是一个巨大的优势。

#include <sys/types.h>
#include <sys/ipc.h>
#include <sys/sem.h>

int semctl(int sem_id, int sem_num, int command, ...);
int semop(int sem_id, struct sembuf *sem_ops, size_t num_sem_ops);
int semget(key_t key, int num_sems, int sem_flags); 

semget:创建一个新信号量或取得一个已有信号量的键

只有semget函数才直接使用信号量键，所有其他的信号量函数都是使用由semget函数返回的信号量标识符。

key:在创建新的信号量时，需要给键提供一个唯一的非零整数。

num_sems:创建的信号量个数

sem_flags参数是一组标志，它与open函数的标志非常相似。权限位（如666）和值IPC_CREAT做按位或操作，来创建一个新信号量。我们可以通过联合使用标志IPC_CREAT和 IPC_EXCL来确保创建出的是一个新的、唯一的信号量。如果该信号量已存在，它将返回一个错误。

semctl：用来直接控制信号量信息

sem_id：由semget返回的信号量标识符

sem_nums:信号量编号，非成组的信号量时为0

command：semctl将要采取的动作。常用值：SETVAL：用来把信号量初始化为一个已知的值。    这个值通过union semun中的val成员设置。其作用是在信号量第一次使用之前对它进行设置。IPC_RMID:用于删除一个已经无需继续使用的信号量标识符。

第四个参数是一个union semun

    union semun {
        int val;                    /* value for SETVAL */
        struct semid_ds *buf;       /* buffer for IPC_STAT, IPC_SET */
        unsigned short int *array;  /* array for GETALL, SETALL */
        struct seminfo *__buf;      /* buffer for IPC_INFO */
    };

sem_op:改变信号量的值

sem_ops：指向一个结构数组的指针，每个数组元素至少包含以下几个成员：

struct sembuf{

        short sem_num; 信号量编号，非一组信号量时为0

        short sem_op;信号量在一次操作中需要改变的值，通常为1（v操作）或-1（p操作）

        short sem_flg;通常设置为SEM_UNDO。如果这个进程在没有释放该信号量的情况下终止，操作系统将自动释放该进程持有的信号量。

};

num_sem_ops：要操作的信号量的个数

信号量用完要删除

2.共享内存

共享内存为在多个进程之间共享和传递数据提供了一种有效的方式。由于它并未提供同步机制，所以通常需要用其他的机制来同步对共享内存的访问。一般是用共享内存来提供对大块内存区域的有效访问，同时通过传递小消息来同步对该内存的访问。

共享内存使用的函数类似于信号量的函数

#include <sys/shm.h>

int shmget(key_t key, size_t size, int shmflg);
void *shmat(int shmid, void * shm_addr, int shmflg);
int shmctl(int shmid, int command, struct shmid_ds *buf);
int shmdt(const void *shm_addr);

shmget:提供一个参数key，返回一个共享内存标识符

size：申请的空间大小,单位字节

shmflg：权限 | IPC_CREAT创建共享内存段，若传递的是一个已有的共享内存段的键key，则shmget会忽略掉IPC_CREAT，不是错误操作。

shmat：传入共享内存标识符，返回指向共享内存的指针

shm_addr:共享内存连接到当前进程中的地址位置。一般设空指针，让系统选择位置。

shmflg：SHM_RND（这个标志与shm_addr联合使用，用来控制共享内存连接的地址）和SHM_RDONLY（它使得连接的内存只读）和0

shmctl：三个取值：

IPC_START:把shmid_ds结构中的数据设置为共享内存的当前关联值

IPC_SET:如果进程有足够权限，就把共享内存的当前关联值设置为shmid_ds结构中给出的值

IPC_RMID:删除共享内存段

struct shmid_ds{

   uid_t shm_perm.uid;

   uid_t shm_perm.gid;

   uid_t shm_perm.mode;

}

shmdt：将共享内存从当前进程中分离，将共享内存分离并未删除它，只是使得该共享内存对当前进程不再可用。

3.消息队列

消息队列提供了一种在两个不相关的进程之间传递数据的相当简单且有效的方法。与命名管道相比，消息队列的优势在于，它独立于发送和接收进程而存在，这消除了在同步命名管道的打开和关闭时可能产生的一些困难。

Linux系统有两个宏定义MSGMAX和MSGMNB，它们以字节为单位分别定义了一条消息的最大长度和一个队列的最大长度。

#include <sys/msg.h>

int msgget(key_t key, int msgflg);
int msgsnd(int msgid, const void *msg_ptr, size_t msg_sz, int msgflg);
int msgrcv(int msgid, void *msg_ptr, size_t msg_sz, long int msgtype, int msgflg);
int msgctl(int msgid, int command, struct msqid_ds *buf);

msgget：创建或访问一个消息队列

msgflg：权限 | IPC_CREAT

msgsnd：把消息添加到消息队列中，消息的结构受到两方面的约束。首先，它的长度必须小于系统规定的上限；其次，它必须以一个长整型成员变量开始，接收函数将用这个成员变量来确定消息的类型。

msg_ptr：准备发送消息的指针

msg_sz：消息的长度（不包括开头的长整型消息类型变量）

msgflg：第四个参数msgflg控制在当前消息队列满或队列消息到达系统范围的限制时将要发生的事情。如果msgflg中设置了IPC_NOWAIT标志，函数将立刻返回，不发送消息并且返回值为-1。如果msgflg中的IPC_NOWAIT标志被清除，则发送进程将挂起以等待队列中腾出可用空间。

msgrcv：从消息队列中获取消息

msgtype：它可以实现一种简单形式的接收优先级。如果msgtype的值为0，就获取队列中的第一个可用消息。如果它的值大于零，将获取具有相同消息类型的第一个消息。如果它的值小于零，将获取消息类型等于或小于msgtype的绝对值的第一个消息。

msgctl：参数同shmctl。

4.编写错误的程序或因为某些原因而执行失败的程序将把它的IPC资源（如消息队列中的数据）遗留在系统中，并且这些资源在程序结束后很长时间仍然在系统中游荡。这将导致对程序的新调用执行失败，因为程序期望以一个干净的系统来启动，但事实上却发现一些遗留的资源。

显示信号量/共享内存/消息队列状态：ipcs -s/ipcs -m/ipcs -q

删除遗留在系统中的信号量/共享内存/消息队列：ipcrm -s id/ipcrm -m id/ipcrm -q id