共享内存允许两个不相关的进程访问同一块逻辑内存,是在两个正在运行的进程之间传递数据的一种非常有效的方式。大多数共享内存的具体实现,都把由不同进程之间共享的内存安排为同一段物理内存。
共享内存是由IPC为进程创建的一个特殊的地址范围,它将出现在该进程的地址空间中。其他进程可以将同一段共享内存连接到它们自己的地址空间中。所有进程都可以访问共享内存中的地址,就好像它们是由malloc分配的一样。 如果某个进程向共享内存写入了数据,所做的改动将立刻被可以访问同一段共享内存的任何其他进程看到。
共享内存为在多个进程之间共享和传递数据提供了一种有效的方式。由于它并未提供同步机制,所以我们通常需要用其他的机制来同步对共享内存的访问。我们一般是用共享内存来提供对大块内存区域的有效访问,同时通过传递小消息来同步对该内存的访问。
在第一个进程结束对共享内存的写操作之前,并无自动的机制可以阻止第二个进程开始对它进行读取。对共享内存访问的同步控制必须由程序员来负责。图14-2显示了共享内存是如何工作的。
图中的箭头显示了每个进程的逻辑地址空间到可用物理内存的映射关系。实际情况要比图中显示的更加复杂,因为可用内存实际上由物理内存和已交换到磁盘上的内存页面混合组成。
#include <sys/shm.h> void *shmat(int shm_id, const void *shm_addr, int shmflg); int shmctl(int shm_id, int cmd, struct shmid_ds *buf); int shmdt(const void *shm_addr); int shmget(key_t key, size_t size, int shmflg);
int shmget(key_t key, size_t size, int shmflg);
shnget函数的作用就是用来创建共享内存。shnget 函数返回一个共享内存标识符,该标识符将用于后续的共享内存函数。有一个特殊的键值IPC_PRIVATE, 它用于创建一个只属于创建进程的共享内存。通常你不会用到这个值,而且你可能会发现在一些Linux系统中,私有的共享内存其实并不是真正的私有。
第一个参数key是共享内存段命名。
第二个参数size以字节为单位指定需要共享的内存容量。
第三个参数shmflg包含9个比特的权限标志,它们的作用与创建文件时使用的mode标志一样。 由IPC_CREAT定义的一个特殊比特必须和权限标志按位或才能创建一个新的共享内存段。设置IPC_CREAT标志的同时,给shnget函数传递一个已有共享内存段的键并不是一个错误,如果无需用到IPC_CREAT标志,该标志就会被悄悄地忽略掉。
权限标志对共享内存非常有用,因为它们允许一个进程创建的共享内存可以被共享内存的创建者所拥有的进程写入,同时其他用户创建的进程只能读取该共享内存。我们可以利用这个功能来提供一种有效的对数据进行只读访问的方法,通过将数据放入共享内存并设置它的权限,就可以避免数据被其他用户修改。
如果共享内存创建成功,shmget返回一个非负整数,即共享内存标识符;如果失败,就返回-1。
void *shmat(int shm_id, const void *shm_addr, int shmflg);
第一次创建共享内存段时,它不能被任何进程访问。要想启用对该共享内存的访问,必须将其连接到一个进程的地址空间中。这项工作由shmat函数来完成。
第一个参数shm_id是由shmget返回的共享内存标识符。
第二个参数shm_addr指定的是共享内存连接到当前进程中的地址位置。它通常是一个空指针,表示让系统来选择共享内存出现的地址。
第三个参数shmflg是一组位标志。它的两个可能取值是SHM_RND(这个标志与shm_addr联合使用,用来控制共享内存连接的地址)和SHM_RDONLY (它使得连接的内存只读)。我们很少需要控制共享内存连接的地址,通常都是让系统来选择一个地址, 否则就会使应用程序对硬件的依赖性过高。
如果shmat调用成功,它返回一个指向共享内存第一个字节的指针;如果失败,它就返回-1。
共享内存的读写权限由它的属主(共享内存的创建者)、它的访问权限和当前进程的属主决定。共享内存的访问权限类似于文件的访问权限。
这个规则的一个例外是, 当shmflg & SHM_RDONLY 为true时的情况。此时即使该共享内存的访问权限允许写操作,他都不能被写入。
shmdt函数的作用是将共享内存从当前进程中分离。它的参数是shmat返回的地址指针。成功时它返回0,失败时返回-1。注意,将共享内存分离并未删除它,只是使得该共享内存对当前进程不再可用。
与复杂的信号量控制函数相比,共享内存的控制函数要稍微简单一些。它的定义如下所示:
int shmctl(int shm_id, int command, struct shmid_ds *buf);
shmid_ds结构至少包含以下成员:
struct shmid_ds{ uid_t shm_perm.uid; uid_t shm_perm.gid; mode_t shm_perm.mode; }
第一个参数shm_id是shmget返回的共享内存标识符。
第二个参数command是要采取的动作,它可以取3个值,如下表所示。
命令 | 说明 |
---|---|
IPC_STAT | 把shmid_ds结构中的数据设置为共享内存的当前关联值 |
IPC_SET | 如果进程有足够的权限,就把共享内存的当前关联值设置为shmid_ds结构中给出的值 |
IPC_RMID | 删除共享内存段 |
第三个参数buf是一个指针,它指向包含共享内存模式和访问权限的结构。
成功时返回0,失败时返回-1。X/Open规范没有定义当你试图删除一个正处于连接状态的共享内存段时将会发生的情况。通常这个已经被删除的处于连接状态的共享内存段还能继续使用,直到它从最后一个进程中分离为止。但因为这个行为并未在规范中定义,所以最好不要依赖它。
介绍完共享内存函数后,我们将编写一对程序shm1.c和shm2.c。第一个程序(消费者)将创建一个共享内存段,然后把写到它里面的数据都显示出来。第二个程序(生产者)将连接一个已有的共享内存段,并允许我们向其中输入数据。
我们首先创建一个公共的头文件,来定义我们希望分发的共享内存。
#define TEXT_SZ 2048 struct shared_use_st{ int written_by_you; char some_text[TEXT_SZ]; };
这里定义的结构在消费者和生产者程序中都会用到。当有数据写入这个结构时,我们用该结构中
的一个整型标志written_by_you来通知消费者。需要传输的文本长度2K是由我们随意决定的。
第一个程序shm1.c是消费者程序。
#include <unistd.h> #include <stdlib.h> #include <stdio.h> #include <string.h> #include <sys/shm.h> #include "shm_com.h" int main() { int running = 1; void *shared_memory = (void*)0; struct shared_use_st *shared_stuff; int shmid; srand((unsigned int)getpid()); shmid = shmget((key_t)1234, sizeof(struct shared_use_st), 0666 | IPC_CREAT); if(shmid == -1){ fprintf(stderr, "shmat failed\n"); exit(EXIT_FAILURE); } shared_memory = shmat(shmid, (void*)0, 0); if(shared_memory == (void*)-1){ fprintf(stderr, "shmat failed\n"); exit(EXIT_FAILURE); } printf("Memory attached at %p\n", shared_memory); shared_stuff = (struct shared_use_st*)shared_memory; shared_stuff->written_by_you = 0; while(running){ if(shared_stuff->written_by_you){ printf("You write :%s", shared_stuff->some_text); sleep(rand() %4); shared_stuff->written_by_you = 0; if(strncmp(shared_stuff->some_text, "end", 3) ==0){ running = 0; } } } if(shmdt(shared_memory) == -1){ fprintf(stderr, "shmdt failed\n"); exit(EXIT_FAILURE); } exit(EXIT_SUCCESS); }
第二个程序shm2.c是生产者程序,通过它向消费者程序输入数据。
#include <unistd.h> #include <stdlib.h> #include <stdio.h> #include <string.h> #include <sys/shm.h> #include "shm_com.h" int main() { int running = 1; void *shared_memory = (void*)0; struct shared_use_st *shared_stuff; char buffer[BUFSIZ]; int shmid; shmid = shmget((key_t)1234, sizeof(struct shared_use_st), 0666 |IPC_CREAT); if(shmid == -1){ fprintf(stderr, "shmget failed\n"); exit(EXIT_FAILURE); } shared_memory = shmat(shmid, (void*)0, 0); if(shared_memory == (void*)-1){ fprintf(stderr, "shmat failed\n"); exit(EXIT_FAILURE); } printf("Memory attached at %p\n", shared_memory); shared_stuff = (struct shared_use_st*)shared_memory; while(running){ while(shared_stuff->written_by_you == 1){ sleep(1); printf("waiting for client ...\n"); } printf("Enter some text:"); fgets(buffer, BUFSIZ, stdin); strncpy(shared_stuff->some_text, buffer, TEXT_SZ); shared_stuff->written_by_you = 1; if(strncmp(buffer, "end", 3) == 0){ running = 0; } } if(shmdt(shared_memory) == -1){ fprintf(stderr, "shmdt failed\n"); exit(EXIT_FAILURE); } exit(EXIT_SUCCESS); }
输出结果:
第一个程序shm1创建共享内存段,然后将它连接到自己的地址空间中。我们在共享内存的开始处使用了一个结构shared_use_st。该结构中有个标志written_by_you,,当共享内存中有数据写入时,就设置这个标志。这个标志被设置时,程序就从共享内存中读取文本,将它打印出来,然后清除这个标志表示已经读完数据。我们用一个特殊字符串end来退出循环。接下来,程序分离共享内存段并删除它。
第二个程序shm2使用相同的键1234来取得并连接同一个共享内存段。然后它提示用户输入一些文本。如果标志written_by_you被设置,shm2 就知道客户进程还未读完上一次的数据,因此就继续等待。当其他进程清除了这个标志后,shm2写入新数据并设置该标志。它还使用字符串end来终止并分离共享内存段。
注意,我们只能提供自己的、非常简陋的同步标志written_by_you,它包括一个非常缺乏效率的忙等待(不停地循环)。这可以使得我们的示例比较简单,但在实际编程中,我们应该使用信号量或通过传递消息(使用管道或IPC消息)、 生成信号的方法来提供应用程序读、写部分之间的一种更有效率的同步机制。