一种新型同步控制机制Guard-Trace及其实现技术研究

摘要：

在并发面向对象环境中,对象需要同步控制机制来保证其内部状态的一致性,我们自行设计的Guard-Trace机制是在传统的同步控制机制Trace之上的拓广,可较好地刻划被动对象的同步控制约束,具有简明、表达能力强、使用灵活等优点.然而,Guard-Trace机制对实现技术提出了更高的要求,在定义了Guard-Trace的语法语义的基础上,阐述了它的模拟实现系统的设计决策,并深入讨论了Guard-Trace的关键实现技术问题.

关键词：同步控制机制、非确定性、同步控制树、同步控制线索、动态优化

所属期刊栏目：37

分类号：TP311(计算技术、计算机技术)

资助基金：国家杰出青年科学基金6152504;攀登计划项目

在线出版日期：2008-05-12（万方平台首次上网日期，不代表论文的发表时间）

页数：共9页

页码：165-173