论文部分内容阅读
生产者—消费者模型为进程间传递数据提供了经典解决方法 ,但该模型局限于进程的一次运行。当任一进程退出重运行后 ,该模型下 ,所有相关进程必须重新初始化资源来达到需要的同步 ,从而完全丢失缓冲区中现有数据。文中从流程中断恢复的角度出发 ,应用集合映射关系逐步分析问题 ,提出了让进程可以接续退出前工作的有效算法