摘要
本文研究如何解决构件并发访问时所产生的冲突问题.我们提出一种基于构件说明的冲突处理方案:首先讨论如何恰当地抽象描述一个构件的外部特性,然后我们利用数据依赖分析技术和包裹(wrapper)技术对冲突进行处理.
In this paper, we study how to solve the problems of interference while the components are accessed concurrently. We present a solution to interference based component specification: firstly we discuss how to describe the external property of a component abstractly, then we deal with the interference using data dependence analysis and wrapper.
出处
《小型微型计算机系统》
CSCD
北大核心
1999年第7期540-542,共3页
Journal of Chinese Computer Systems
关键词
冲突
并发性
数据依赖分析
包裹
构件
软件开发
InterferenceConcurrencyAbstract specificationData dependence analysisWrapper