###
DOI:
Journal of Software:2008.19(10):2527-2538

一种解决构件连接死锁问题的方法
毛斐巧,齐德昱,林伟伟
(华南理工大学 计算机科学与工程学院,广东 广州 510640)
An Approach to Solve Deadlock Problem of Component Connection
MAO Fei-Qiao,QI De-Yu,LIN Wei-Wei
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 3159   Download 3452
Received:June 04, 2007    Revised:October 09, 2007
> 中文摘要: 隐式硬编码的基于过程调用构件连接束缚构件集成的灵活性,且存在的死锁连接造成软件可靠性隐患问题.针对该问题,首先建立基于过程调用连接器形式语义模型,显式地将连接关系从构件中分离;然后给出并通过映射规则进行连接器到构件连接有向图的转换,并设计给出两阶段死锁检查算法和基于极大复用频率死锁连接消除算法,用于找到存在的所有死锁连接回路和消除所有死锁连接需要消除的最小数目连接的位置.最后应用及实验结果表明,该解决方法可行而且有效,可以用于增强软件可靠性,同时因其从语义上分离描述和存储构件连接方式,适合以此为基础进一步设计实现适应性连接器.
中文关键词: 适应性  可靠性  连接器  构件  死锁
Abstract:Procedure call-based component connections which are latent in hard code do not only restrict the flexibility of software but also cause hidden problems to software reliability because of the existing deadlock connection loops. To solve this problem, first, a formal semantic model called call-based connector has been built which explicitly separates connection from components. Second, mapping rules used to convert call-based connectors into component the connection directed graph are proposed. Then, two algorithms, TPDCC (two phases deadlock connection check) used to find all existing deadlock connection loops, and DCEMRF (deadlock connection elimination based on maximum reuse frequency) used to find locations with the least number of connections that must be eliminated to eliminate the loops, are provided respectively. Last, its application and experimental results show that the presented approach is feasible and effective, so it can be used to enhance the reliability of software, also be fit as a basis to further design and implement adaptive connector due to its separative way of description and storage of component connection in semantic.
文章编号:     中图分类号:    文献标志码:
基金项目:Supported by the Natural Science Foundation of Guangdong Province of China under Grant No.05300200 (广东省自然基金); the Guangdong-Hong Kong Technology Cooperation Funding Scheme of China under Grant No.2005A10307007 (粤港关键领域重点突破项目) Supported by the Natural Science Foundation of Guangdong Province of China under Grant No.05300200 (广东省自然基金); the Guangdong-Hong Kong Technology Cooperation Funding Scheme of China under Grant No.2005A10307007 (粤港关键领域重点突破项目)
Foundation items:
Reference text:

毛斐巧,齐德昱,林伟伟.一种解决构件连接死锁问题的方法.软件学报,2008,19(10):2527-2538

MAO Fei-Qiao,QI De-Yu,LIN Wei-Wei.An Approach to Solve Deadlock Problem of Component Connection.Journal of Software,2008,19(10):2527-2538