用信号量解决经典同步问题,生产者消费者问题及c语言代码示例

时间: 2023-08-22 14:05:11 浏览: 66
生产者消费者问题是一个经典的同步问题,可以通过信号量来解决。 信号量是一种同步机制,用于协调多个进程或线程之间的操作。它可以用来实现互斥、同步和通信等功能。在生产者消费者问题中,可以使用两个信号量来实现同步,一个用于表示有空闲的缓冲区可以写入,一个用于表示有数据可以读取。 以下是一个用信号量解决生产者消费者问题的示例代码: ```c #include <stdio.h> #include <stdlib.h> #include <pthread.h> #include <semaphore.h> #define BUFFER_SIZE 5 #define PRODUCER_NUM 2 #define CONSUMER_NUM 2 sem_t empty, full, mutex; int buffer[BUFFER_SIZE]; int in = 0, out = 0; void *producer(void *arg) { int id = *((int *)arg); while (1) { int item = rand() % 100 + 1; sem_wait(&empty); sem_wait(&mutex); buffer[in] = item; printf("Producer %d produced item %d\n", id, item); in = (in + 1) % BUFFER_SIZE; sem_post(&mutex); sem_post(&full); sleep(rand() % 3); } pthread_exit(NULL); } void *consumer(void *arg) { int id = *((int *)arg); while (1) { sem_wait(&full); sem_wait(&mutex); int item = buffer[out]; printf("Consumer %d consumed item %d\n", id, item); out = (out + 1) % BUFFER_SIZE; sem_post(&mutex); sem_post(&empty); sleep(rand() % 3); } pthread_exit(NULL); } int main() { pthread_t producer_threads[PRODUCER_NUM], consumer_threads[CONSUMER_NUM]; sem_init(&empty, 0, BUFFER_SIZE); sem_init(&full, 0, 0); sem_init(&mutex, 0, 1); int i, id[PRODUCER_NUM + CONSUMER_NUM]; for (i = 0; i < PRODUCER_NUM; i++) { id[i] = i; pthread_create(&producer_threads[i], NULL, producer, &id[i]); } for (i = 0; i < CONSUMER_NUM; i++) { id[PRODUCER_NUM + i] = i; pthread_create(&consumer_threads[i], NULL, consumer, &id[PRODUCER_NUM + i]); } for (i = 0; i < PRODUCER_NUM; i++) { pthread_join(producer_threads[i], NULL); } for (i = 0; i < CONSUMER_NUM; i++) { pthread_join(consumer_threads[i], NULL); } sem_destroy(&empty); sem_destroy(&full); sem_destroy(&mutex); return 0; } ``` 在本示例代码中,empty、full和mutex是三个信号量,分别用于表示空闲缓冲区数、有数据缓冲区数和互斥访问缓冲区。在生产者线程中,先使用sem_wait(&empty)等待有空闲缓冲区可以写入,然后使用sem_wait(&mutex)获取互斥访问权,向缓冲区写入数据,然后释放互斥访问权和写入信号量full,并睡眠一段时间。在消费者线程中,先使用sem_wait(&full)等待有数据缓冲区可以读取,然后使用sem_wait(&mutex)获取互斥访问权,从缓冲区读取数据,然后释放互斥访问权和空闲信号量empty,并睡眠一段时间。 这样通过信号量的机制,就可以实现多个生产者和多个消费者并发地操作缓冲区,避免了数据竞争和死锁等问题。

相关推荐

最新推荐

recommend-type

进程同步实验代码(c语言)

一个就绪队列(ready),两个等待队列:生产者等待队列(producer);消费者队列(consumer)。一个链表(over),用于收集已经运行结束的进程 本程序通过函数模拟信号量的原子操作。 算法的文字描述: ...
recommend-type

微信小程序-番茄时钟源码

微信小程序番茄时钟的源码,支持进一步的修改。番茄钟,指的是把工作任务分解成半小时左右,集中精力工作25分钟后休息5分钟,如此视作种一个“番茄”,而“番茄工作法”的流程能使下一个30分钟更有动力。
recommend-type

zigbee-cluster-library-specification

最新的zigbee-cluster-library-specification说明文档。
recommend-type

管理建模和仿真的文件

管理Boualem Benatallah引用此版本:布阿利姆·贝纳塔拉。管理建模和仿真。约瑟夫-傅立叶大学-格勒诺布尔第一大学,1996年。法语。NNT:电话:00345357HAL ID:电话:00345357https://theses.hal.science/tel-003453572008年12月9日提交HAL是一个多学科的开放存取档案馆,用于存放和传播科学研究论文,无论它们是否被公开。论文可以来自法国或国外的教学和研究机构,也可以来自公共或私人研究中心。L’archive ouverte pluridisciplinaire
recommend-type

实现实时数据湖架构:Kafka与Hive集成

![实现实时数据湖架构:Kafka与Hive集成](https://img-blog.csdnimg.cn/img_convert/10eb2e6972b3b6086286fc64c0b3ee41.jpeg) # 1. 实时数据湖架构概述** 实时数据湖是一种现代数据管理架构,它允许企业以低延迟的方式收集、存储和处理大量数据。与传统数据仓库不同,实时数据湖不依赖于预先定义的模式,而是采用灵活的架构,可以处理各种数据类型和格式。这种架构为企业提供了以下优势: - **实时洞察:**实时数据湖允许企业访问最新的数据,从而做出更明智的决策。 - **数据民主化:**实时数据湖使各种利益相关者都可
recommend-type

用 Python 画一个可以动的爱心

好的,我可以帮助您使用Python来绘制一个动态的爱心。您可以使用turtle库来实现。以下是实现代码: ```python import turtle import math # 设置画布和画笔 canvas = turtle.Screen() canvas.bgcolor("black") pencil = turtle.Turtle() pencil.speed(0) pencil.color("red", "pink") pencil.pensize(3) # 定义爱心函数 def draw_love(heart_size, x_offset=0, y_offset=0):
recommend-type

JSBSim Reference Manual

JSBSim参考手册,其中包含JSBSim简介,JSBSim配置文件xml的编写语法,编程手册以及一些应用实例等。其中有部分内容还没有写完,估计有生之年很难看到完整版了,但是内容还是很有参考价值的。
recommend-type

"互动学习:行动中的多样性与论文攻读经历"

多样性她- 事实上SCI NCES你的时间表ECOLEDO C Tora SC和NCESPOUR l’Ingén学习互动,互动学习以行动为中心的强化学习学会互动,互动学习,以行动为中心的强化学习计算机科学博士论文于2021年9月28日在Villeneuve d'Asq公开支持马修·瑟林评审团主席法布里斯·勒菲弗尔阿维尼翁大学教授论文指导奥利维尔·皮耶昆谷歌研究教授:智囊团论文联合主任菲利普·普雷教授,大学。里尔/CRISTAL/因里亚报告员奥利维耶·西格德索邦大学报告员卢多维奇·德诺耶教授,Facebook /索邦大学审查员越南圣迈IMT Atlantic高级讲师邀请弗洛里安·斯特鲁布博士,Deepmind对于那些及时看到自己错误的人...3谢谢你首先,我要感谢我的两位博士生导师Olivier和Philippe。奥利维尔,"站在巨人的肩膀上"这句话对你来说完全有意义了。从科学上讲,你知道在这篇论文的(许多)错误中,你是我可以依
recommend-type

实现实时监控告警系统:Kafka与Grafana整合

![实现实时监控告警系统:Kafka与Grafana整合](https://imgconvert.csdnimg.cn/aHR0cHM6Ly9tbWJpei5xcGljLmNuL21tYml6X2pwZy9BVldpY3ladXVDbEZpY1pLWmw2bUVaWXFUcEdLT1VDdkxRSmQxZXB5R1lxaWNlUjA2c0hFek5Qc3FyRktudFF1VDMxQVl3QTRXV2lhSWFRMEFRc0I1cW1ZOGcvNjQw?x-oss-process=image/format,png) # 1.1 Kafka集群架构 Kafka集群由多个称为代理的服务器组成,这
recommend-type

已知n个人(以编号0,1,2,3...n-1分别表示)围坐在一张圆桌周围。从编号为0的人开始报数1,数到m的那个人出列;他的下一个人又从1开始报数,数到m+1的那个人又出列(每次报数值加1);依此规律重复下去,直到圆桌周围的人全部出列。用递归方法解决

这个问题可以使用递归方法解决。下面是一个思路: 1. 定义一个函数,接收三个参数:n、m、i,表示还剩下n个人,每次数到m时出列,当前报数的人是i; 2. 如果n=1,返回i,即最后留下的那个人的编号; 3. 否则,计算出下一个出列的人的编号j,通过递归调用函数解决n-1个人的问题,其结果为k; 4. 如果k < j,即当前i之后出列的人的编号为k,需要将k转换为在i之前出列的编号,返回值为 k+(n-1); 5. 如果k>=j,即当前i之后出列的人的编号为k,返回值为 k-(j-1); 下面是对应的Python代码: ```python def josephus(n, m, i):