生产者消费者问题(多进程+共享内存+信号量)

一. 引子

时隔一年再次用到 cout 的时候,哥潸然泪下,这是一种久别重逢的感动,虽然基本忘光了。趁着有大把时间,再把生产者消费者问题巩固一下,用纯C吧。珍惜能写代码的幸福时光。

二. 分析

生产者和消费者问题是多个相互合作的进程之间的一种抽象。生产者和消费者之间的关系:
1.  对缓冲区的访问是互斥的。由于两者都会修改缓冲区,因此,一方修改缓冲区时,另一方不能修改,这就是互斥。
2.  一方的行为影响另一方。缓冲区不空,才能消费,何时不空?生产了就不空;缓冲区满,就不能生产,何时不满?消费了就不满。这是同步关系。
为了描述这种关系,一方面,使用共享内存代表缓冲区;另一方面,使用 互斥信号量 控制对缓冲区的访问,使用同步信号量描述两者的依赖关系。

三. 共享存储

共享存储是进程间通信的一种手段,通常,使用信号量同步或互斥访问共享存储。共享存储的原理是将进程的地址空间映射到一个共享存储段。在LINUX下,通过使用 shmget 函数创建或者获取共享内存。

1. 创建

1)不指定 KEY

// IPC_PRIVATE指出需要创建内存; 
//SHM_SIZE 指出字节大小; 
//SHM_MODE 指出访问权限字如 0600表示,用户可以读写该内存
int shmget(key_t IPC_PRIVATE,size_t SHM_SIZE,int SHM_MODE);

2)指定KEY

//如果SHM_KEY指向的共享存储已经存在,则返回共享存储的ID; 
//否则,创建共享存储并返回其ID
int  shmget(key_t SHM_KEY,size_t SHM_SIZE,int SHM_MODE);

2. 访问

方法一
只需要共享存储的 ID 就可以通过  shmat  函数获得共享存储所占用的实际地址。因此,可以在父进程的栈中用变量存放指向共享存储的指针,那么 fork 之后,子进程就可以很方便地通过这个指针访问共享存储了。
方法二
如果进程之间并没有父子关系,但是协商好了共享存储的 KEY , 那么在每个进程中,就可以通过 KEY 以及 shmget 函数获得共享存储的 I D , 进而通过 shmat 函数获得共享存储的实际地址,最后访问。

在我的实现中,我把生产者实现为父进程,消费者实现为子进程,并通过方法一实现进程之间共享内存。

四. 信号量集

信号量有两种原语 P 和 V ,P 锁定资源,V 释放资源。LINUX 下的使用信号量集合的接口特别复杂。我所用到的函数如下:

1. 创建或者获取信号量集合

// IPC_PRIVATE 表示创建信号量集, NUM_OF_SEM表示该集合中有多少信号量; FLAGS复杂不追究
semget(IPC_PRIVATE, NUM_OF_SEM, FLAGS );
// SEM_KEY 是 key_t 类型
//如果 SEM_KEY 代表的信号量集存在,则返回信号量集的ID
//如果不存在,则创建信号量集并返回ID
semget(SEM_KEY, NUM_OF_SEM,FLAGS);

2. 初始化信号量

创建的过程并未指定信号量的初始值,需要使用 semctl 函数指定。
semctl(int semSetId , int semIdx , int cmd, union semun su);

其中 semSetId 是指信号量集的 ID , semIdx 指信号量集中某个信号量的索引(从零开始), 如果是要设置信号量的值, 填 SETVAL 即可, 为了设置信号量的值,可以指定su.val为索要设置的值。
我在 UBUNTU 下使用 union semun 编译时总报错:
invalid use of undefined type ‘union semun’
据说是 Linux 下删除了 semun 的定义。可以通过自定义 semun 解决:

[cpp]  view plain copy
  1. #if defined(__GNU_LIBRARY__) && !defined(_SEM_SEMUN_UNDEFINED)  
  2. /*   union   semun   is   defined   by   including   <sys/sem.h>   */   
  3. #else   
  4. /*   according   to   X/OPEN   we   have   to   define   it   ourselves   */   
  5. union semun{  
  6.     int val;  
  7.     struct semid_ds *buf;  
  8.     unsigned short *array;  
  9. };  
  10. #endif  


五. 代码分解

1. 头文件

[cpp]  view plain copy
  1. #include "stdio.h"   //支持 printf  
  2. #include <sys/shm.h> //支持 shmget shmat 等  
  3. #include <sys/sem.h> //支持 semget   
  4. #include <stdlib.h>  //支持 exit  

2. 信号量

共需要三个信号量:
第一个信号量用于限制生产者必须在缓冲区不满时才能生产,是同步信号量
第二个信号量用于限制消费者必须在缓冲区有产品时才消费,是同步信号量
第三个信号量用于限制生产者和消费者在访问缓冲区时必须互斥,是互斥信号量

创建信号量集合,semget
[cpp]  view plain copy
  1. if((semSetId = semget(IPC_PRIVATE,3,SEM_MODE)) < 0)  
  2. {  
  3.     perror("create semaphore failed");  
  4.     exit(1);  
  5. }  


初始化三个信号量,semctl,需要用到 union semun 
[cpp]  view plain copy
  1. union semun su;  
  2.   
  3. //信号量初始化,其中 su 表示 union semun   
  4. su.val = N_BUFFER;//当前库房还可以接收多少产品  
  5. if(semctl(semSetId,0,SETVAL, su) < 0){  
  6.     perror("semctl failed");  
  7.     exit(1);  
  8. }  
  9. su.val = 0;//当前没有产品  
  10. if(semctl(semSetId,1,SETVAL,su) < 0){  
  11.     perror("semctl failed");  
  12.     exit(1);  
  13. }  
  14. su.val = 1;//为1时可以进入缓冲区  
  15. if(semctl(semSetId,2,SETVAL,su) < 0){  
  16.     perror("semctl failed");  
  17.     exit(1);  
  18. }  



封装对信号量集中的某个信号量的值的+1或者-1操作
[cpp]  view plain copy
  1. //semSetId 表示信号量集合的 id  
  2. //semNum 表示要处理的信号量在信号量集合中的索引  
  3. void waitSem(int semSetId,int semNum)  
  4. {  
  5.     struct sembuf sb;  
  6.     sb.sem_num = semNum;  
  7.     sb.sem_op = -1;//表示要把信号量减一  
  8.     sb.sem_flg = SEM_UNDO;//  
  9.     //第二个参数是 sembuf [] 类型的,表示数组  
  10.     //第三个参数表示 第二个参数代表的数组的大小  
  11.     if(semop(semSetId,&sb,1) < 0){  
  12.         perror("waitSem failed");  
  13.         exit(1);  
  14.     }  
  15. }  
  16. void sigSem(int semSetId,int semNum)  
  17. {  
  18.     struct sembuf sb;  
  19.     sb.sem_num = semNum;  
  20.     sb.sem_op = 1;  
  21.     sb.sem_flg = SEM_UNDO;  
  22.     //第二个参数是 sembuf [] 类型的,表示数组  
  23.     //第三个参数表示 第二个参数代表的数组的大小  
  24.     if(semop(semSetId,&sb,1) < 0){  
  25.         perror("waitSem failed");  
  26.         exit(1);  
  27.     }  
  28. }  

3. 使用共享内存

[cpp]  view plain copy
  1. //把共享存储区域中的内容用结构体封装起来  
  2. struct ShM{  
  3.     int start;  
  4.     int end;  
  5. }* pSM;  
  6.   
  7.   
  8. //缓冲区分配以及初始化  
  9. if((shmId = shmget(IPC_PRIVATE,SHM_SIZE,SHM_MODE)) < 0)  
  10. {  
  11.     perror("create shared memory failed");  
  12.     exit(1);  
  13. }  
  14. //shmat返回void*指针需要强制转化类型  
  15. pSM = (struct ShM *)shmat(shmId,0,0);  
  16. //初始化工作  
  17. pSM->start = 0;  
  18. pSM->end = 0;  



4. 生产过程

[cpp]  view plain copy
  1. while(1)  
  2. {  
  3.     waitSem(semSetId,0);//获取一个空间用于存放产品  
  4.     waitSem(semSetId,2);//占有产品缓冲区  
  5.     produce();  
  6.     sigSem(semSetId,2);//释放产品缓冲区  
  7.     sleep(1);//每两秒生产一个  
  8.     sigSem(semSetId,1);//告知消费者有产品了  
  9. }  

5. 消费过程

[cpp]  view plain copy
  1. while(1)  
  2. {  
  3.     waitSem(semSetId,1);//必须有产品才能消费  
  4.     waitSem(semSetId,2);//锁定缓冲区  
  5.     consume();//获得产品,需要修改缓冲区  
  6.     sigSem(semSetId,2);//释放缓冲区  
  7.     sigSem(semSetId,0);//告知生产者,有空间了  
  8.     sleep(2);//消费频率  
  9. }  


六. 代码全文

[cpp]  view plain copy
  1. #include "stdio.h"  
  2. #include <sys/shm.h>  
  3. #include <sys/sem.h>  
  4. #include <stdlib.h>  
  5. #define SHM_SIZE (1024*1024)  
  6. #define SHM_MODE 0600  
  7. #define SEM_MODE 0600  
  8.   
  9. #if defined(__GNU_LIBRARY__) && !defined(_SEM_SEMUN_UNDEFINED)  
  10. /*   union   semun   is   defined   by   including   <sys/sem.h>   */   
  11. #else   
  12. /*   according   to   X/OPEN   we   have   to   define   it   ourselves   */   
  13. union semun{  
  14.     int val;  
  15.     struct semid_ds *buf;  
  16.     unsigned short *array;  
  17. };  
  18. #endif  
  19.   
  20. struct ShM{  
  21.     int start;  
  22.     int end;  
  23. }* pSM;  
  24.   
  25. const int N_CONSUMER = 3;//消费者数量  
  26. const int N_BUFFER = 5;//缓冲区容量  
  27. int shmId = -1,semSetId=-1;  
  28. union semun su;//sem union,用于初始化信号量  
  29.   
  30. //semSetId 表示信号量集合的 id  
  31. //semNum 表示要处理的信号量在信号量集合中的索引  
  32. void waitSem(int semSetId,int semNum)  
  33. {  
  34.     struct sembuf sb;  
  35.     sb.sem_num = semNum;  
  36.     sb.sem_op = -1;//表示要把信号量减一  
  37.     sb.sem_flg = SEM_UNDO;//  
  38.     //第二个参数是 sembuf [] 类型的,表示数组  
  39.     //第三个参数表示 第二个参数代表的数组的大小  
  40.     if(semop(semSetId,&sb,1) < 0){  
  41.         perror("waitSem failed");  
  42.         exit(1);  
  43.     }  
  44. }  
  45. void sigSem(int semSetId,int semNum)  
  46. {  
  47.     struct sembuf sb;  
  48.     sb.sem_num = semNum;  
  49.     sb.sem_op = 1;  
  50.     sb.sem_flg = SEM_UNDO;  
  51.     //第二个参数是 sembuf [] 类型的,表示数组  
  52.     //第三个参数表示 第二个参数代表的数组的大小  
  53.     if(semop(semSetId,&sb,1) < 0){  
  54.         perror("waitSem failed");  
  55.         exit(1);  
  56.     }  
  57. }  
  58. //必须在保证互斥以及缓冲区不满的情况下调用  
  59. void produce()  
  60. {  
  61.     int last = pSM->end;  
  62.     pSM->end = (pSM->end+1) % N_BUFFER;  
  63.     printf("生产 %d\n",last);  
  64. }  
  65. //必须在保证互斥以及缓冲区不空的情况下调用  
  66. void consume()  
  67. {  
  68.     int last = pSM->start;  
  69.     pSM->start = (pSM->start + 1)%N_BUFFER;  
  70.     printf("消耗 %d\n",last);  
  71. }  
  72.   
  73. void init()  
  74. {  
  75.     //缓冲区分配以及初始化  
  76.     if((shmId = shmget(IPC_PRIVATE,SHM_SIZE,SHM_MODE)) < 0)  
  77.     {  
  78.         perror("create shared memory failed");  
  79.         exit(1);  
  80.     }  
  81.     pSM = (struct ShM *)shmat(shmId,0,0);  
  82.     pSM->start = 0;  
  83.     pSM->end = 0;  
  84.       
  85.     //信号量创建  
  86.     //第一个:同步信号量,表示先后顺序,必须有空间才能生产  
  87.     //第二个:同步信号量,表示先后顺序,必须有产品才能消费  
  88.     //第三个:互斥信号量,生产者和每个消费者不能同时进入缓冲区  
  89.   
  90.     if((semSetId = semget(IPC_PRIVATE,3,SEM_MODE)) < 0)  
  91.     {  
  92.         perror("create semaphore failed");  
  93.         exit(1);  
  94.     }  
  95.     //信号量初始化,其中 su 表示 union semun   
  96.     su.val = N_BUFFER;//当前库房还可以接收多少产品  
  97.     if(semctl(semSetId,0,SETVAL, su) < 0){  
  98.         perror("semctl failed");  
  99.         exit(1);  
  100.     }  
  101.     su.val = 0;//当前没有产品  
  102.     if(semctl(semSetId,1,SETVAL,su) < 0){  
  103.         perror("semctl failed");  
  104.         exit(1);  
  105.     }  
  106.     su.val = 1;//为1时可以进入缓冲区  
  107.     if(semctl(semSetId,2,SETVAL,su) < 0){  
  108.         perror("semctl failed");  
  109.         exit(1);  
  110.     }  
  111. }  
  112. int main()  
  113. {  
  114.     int i = 0,child = -1;  
  115.     init();  
  116.     //创建 多个(N_CONSUMER)消费者子进程  
  117.     for(i = 0; i < N_CONSUMER; i++)  
  118.     {  
  119.         if((child = fork()) < 0)//调用fork失败  
  120.         {  
  121.             perror("the fork failed");  
  122.             exit(1);  
  123.         }  
  124.         else if(child == 0)//子进程  
  125.         {  
  126.             printf("我是第 %d 个消费者子进程,PID = %d\n",i,getpid());  
  127.             while(1)  
  128.             {  
  129.                 waitSem(semSetId,1);//必须有产品才能消费  
  130.                 waitSem(semSetId,2);//锁定缓冲区  
  131.                 consume();//获得产品,需要修改缓冲区  
  132.                 sigSem(semSetId,2);//释放缓冲区  
  133.                 sigSem(semSetId,0);//告知生产者,有空间了  
  134.                 sleep(2);//消费频率  
  135.             }  
  136.             break;//务必有  
  137.         }  
  138.     }  
  139.       
  140.       
  141.     //父进程开始生产  
  142.     if(child > 0)  
  143.     {  
  144.         while(1)  
  145.         {  
  146.             waitSem(semSetId,0);//获取一个空间用于存放产品  
  147.             waitSem(semSetId,2);//占有产品缓冲区  
  148.             produce();  
  149.             sigSem(semSetId,2);//释放产品缓冲区  
  150.             sleep(1);//每两秒生产一个  
  151.             sigSem(semSetId,1);//告知消费者有产品了  
  152.         }  
  153.     }  
  154.     return 0;  
  155. }  
生产者消费者 1.线程创建函数:用户界面线程和工作者线程都是由AfxBeginThread创建的 CWinThread* AFXAPI AfxBeginThread(    CRuntimeClass* pThreadClass,    int nPriority,    UINT nStackSize,    DWORD dwCreateFlags,    LPSECURITY_ATTRIBUTES lpSecurityAttrs) 其中: 参数1是从CWinThread派生的RUNTIME_CLASS类; 参数2指定线程优先级,如果为0,则与创建该线程的线程相同; 参数3指定线程的堆栈大小,如果为0,则与创建该线程的线程相同; 参数4是一个创建标识,如果是CREATE_SUSPENDED,则在悬挂状态创建线程,在线程创建后线程挂起,否则线程在创建后开始线程的执行。 参数5表示线程的安全属性,NT下有用。 2.删除信号量DeleteObject该函数删除一个逻辑笔、画笔、字体、位图、区域或者调色板,释放所有与该对象有关的系统资源,在对象被删除之后,指定的句柄也就失效了 函数原型:BOOL DeleteObject(HGDIOBJ hObject); 参数: hObject:逻辑笔、画笔、字体、位图、区域或者调色板的句柄。 返回值:成功,返回非零值;如果指定的句柄无效或者它已被选入设备上下文环境,则返回值为零。 3.创建信号量:创建一个新的信号量 CreateSemaphore()函数 HANDLE CreateSemaphore(  LPSECURITY_ATTRIBUTES lpSemaphoreAttributes, // 安全属性指针  LONG lInitialCount, // 初始计数  LONG lMaximumCount, // 最大计数  LPCTSTR lpName // 对象名指针
评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值