Approach to solve deadlock problem of component connection

作者：Mao, Fei-Qiao^*; Qi, De-Yu; Lin, Wei-Wei

来源：Journal of Software, 2008, 19(10): 2527-2538.

DOI：10.3724/SP.J.1001.2008.02527

• Adaptability
• Component
• Deadlock
• Deadlock problems
• Design and implements
• Formal Semantics
• Hidden problems
• ITS applications

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.

• 出版日期2008-10
• 单位华南理工大学