[操作系统] -- 进程同步之Bounded Buffer

最新推荐文章于 2024-07-15 14:46:32 发布

别碰我的肉丸子

最新推荐文章于 2024-07-15 14:46:32 发布

阅读量1.3k

点赞数 2

分类专栏：操作系统文章标签：操作系统 c语言

本文链接：https://blog.csdn.net/weixin_45613069/article/details/109698137

版权

操作系统专栏收录该内容

4 篇文章

订阅专栏

本文探讨了并发编程中的经典问题——生产者消费者模型，通过使用信号量实现对有限缓冲区的同步访问。在该模型中，信号量mutex用于互斥访问缓冲区，empty和full则分别表示空闲缓冲项和已填满的缓冲项数量。生产者等待empty信号量，消费者等待full信号量，确保了数据的正确生产和消费。此模型为多线程环境下的资源管理提供了一种有效解决方案。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

有限缓冲问题（Bounded Buffer)

假设缓冲池有 n 个缓冲项，每个缓冲项能存一个数据项。信号量 mutex 提供了对缓冲池访问的互斥要求。并初始化为 1。

信号量 empty 和 full 分别用来表示空缓存项和满缓存项的个数。信号量 empty 初始化为 n;信号量 full 初始化为 0。

下面为消费者生产者问题的pseudocode：

share-data structure: 共享变量的结构体

int n;
semaphore mutex = 1;
semaphore empty = n;
semaphore full = 0;

producer： 生产者

while (true){
		//produce an item
		wait(empty); // empty-=1
		wait(mutex); // 是否有权限添加item到buffer里面
			//add item to buffer 添加item到buffer里面
	 	signal(mutex); //使用过后，释放mutex
		signal(full); // full+=1
};

consumer: 消费者

while (true){
		wait(full); //full-=1
		wait(mutex); //是否有权限消费buffer里的item
			//remove item from buffer //如有权限，且buffer里面有item可供使用，取走使用
		signal(mutex); //使用过后，释放mutex
		signal(empty); //empty+=1
		//consume the just removed item
};

学习记录，多多包涵。如有错误，欢迎指正。谢谢～