并行程序模型及其哲学家就餐问题解的有效性验证
详细信息   全文下载|推荐本文 |
  • 出版年：1988
  • 作者：吴时霖；张雯
  • 单位1：复旦大学
  • 语种：中文
  • 起始页：12
  • 总页数：6
  • 刊名：计算机应用与软件
  • 是否内版：是
  • 刊频：双月刊
  • 卷：5
  • 期：1
摘要
本文先介绍类似Pefcri网的并行程序概念，包括基本模型及有效性证明的方法。然后用并行卷序模型解决操作系统的一个典型问题— 哲学家就餐问题，本文提出该问题的一个并行程序算法作出正确性验证。

© 2004-2018 中国地质图书馆版权所有 京ICP备05064691号 京公网安备11010802017129号

地址：北京市海淀区学院路29号 邮编：100083

电话：办公室：(+86 10)66554848；文献借阅、咨询服务、科技查新：66554700