【信息科学与工程】计算机科学与自动化 第二十三篇 集中式设计02

集中式系统设计核心算法——同步与通信、死锁处理、一致性算法

维度	集中式系统设计因素与算法详情
因素/算法名称​	生产者-消费者问题（信号量实现）
算法逻辑​	通过信号量协调生产者和消费者的同步，保证缓冲区操作的正确性
算法分步骤推理​	1. 初始化：empty = n（空缓冲区数），full = 0（满缓冲区数），mutex = 1（缓冲区互斥） 2. 生产者： a. 生产一个item b. wait(empty) // 检查是否有空缓冲区 c. wait(mutex) // 获取缓冲区访问权 d. 将item放入缓冲区 e. signal(mutex) // 释放缓冲区访问权 f. signal(full) // 增加满缓冲区计数 3. 消费者： a. wait(full) // 检查是否有满缓冲区 b. wait(mutex) // 获取缓冲区访问权 c. 从缓冲区取出item d. signal(mutex) // 释放缓冲区访问权 e. signal(empt