###
DOI:
:2001.12(10):1555-1561

动态优先系统及其应用
李文军,周晓聪,李师贤
(中山大学计算机科学系,广东广州 510275;南京大学计算机软件新技术国家重点实验室,江苏南京 210093)
Dynamic Priority Systems and Their Applications
LI Wen jun,ZHOU Xiao cong,LI Shi xian
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 2465   Download 2586
Received:March 06, 2000    Revised:June 13, 2000
> 中文摘要: 优先关系是并发系统控制的重要手段,常用于解决并发系统设计中的冲突问题.在有界P/T系统的基础上提出一种动态优先系统,并分别给出它们的交错语义与真并发语义.动态优先系统既可以作为并发与分布式系统的建模工具,也可以作为定义程序设计语言中优先算子的语义基础.最后,基于动态优先系统的概念,为Occam语言扩充了一种动态优先选择算子.
中文关键词: 并发模型  Petri网  优先关系
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.
文章编号:     中图分类号:    文献标志码:
基金项目:高等学校博士点基金资助项目(99-018-411703) 高等学校博士点基金资助项目(99-018-411703)
Foundation items:
Reference text:

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

LI Wen jun,ZHOU Xiao cong,LI Shi xian.Dynamic Priority Systems and Their Applications.Journal of Software,2001,12(10):1555-1561