Using Dynamic Probe for Deadlock Detection in Component-Based System

Component-based development has gained a lot of attention in recent years. As a software development paradigm, it enhances the reusability and reduces the complexity but it also brings new challenges to Component-based System (CBS) reliability especially for deadlock problem. Since the CBS has a unique character which is component based, the composition might easily cause the deadlock of component connection in semantic and hurt the system reliability. In this paper, we present Dynamic Probe(DP) strategy for the deadlock problem of CBS. First a formal semantic model is proposed to abstract the interaction among the components for analyzing the deadlock connection, and then DP Detection algorithm is used to detect the deadlock loops, if the deadlock connections are detected then DP Elimination algorithm is used to evaluated the components reliability by several measurement indexes to find the component, which reliability lower than other components, and then replace it. Last, by the comparison to other related work, the result shows that the proposed strategy can both achieve lower processing cost and higher reliability.