动态优先系统及其应用
DOI:
作者:
作者单位:

作者简介:

通讯作者:

中图分类号:

基金项目:

高等学校博士点基金资助项目(99-018-411703)


Dynamic Priority Systems and Their Applications
Author:
Affiliation:

Fund Project:

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 资源附件
  • |
  • 文章评论
    摘要:

    优先关系是并发系统控制的重要手段,常用于解决并发系统设计中的冲突问题.在有界P/T系统的基础上提出一种动态优先系统,并分别给出它们的交错语义与真并发语义.动态优先系统既可以作为并发与分布式系统的建模工具,也可以作为定义程序设计语言中优先算子的语义基础.最后,基于动态优先系统的概念,为Occam语言扩充了一种动态优先选择算子.

    Abstract:

    Priority is an important approach to the control of concurrent systems. It is often applied to solve the conflict problems in the design of concurrent systems. In this paper, the concept of dynamic priority systems is developed based on bounded P/T systems and the interleaving and the true-concurrency semantics are provided for them respectively. Dynamic priority systems can be used as both modeling tools to build concurrent and distributed systems and semantic foundations to define prioritised operators in programming languages. Finally, the Occam language with a dynamic prioritised operator based on the concept of dynamic priority systems is extended.

    参考文献
    相似文献
    引证文献
引用本文

李文军,周晓聪,李师贤.动态优先系统及其应用.软件学报,2001,12(10):1555-1561

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:2000-03-06
  • 最后修改日期:2000-06-13
  • 录用日期:
  • 在线发布日期:
  • 出版日期:
文章二维码
您是第位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号