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.

[1]  Valmir Carneiro Barbosa,et al.  Strategies for the Prevention of Communication Deadlocks in Distributed Parallel Programs , 1990, IEEE Trans. Software Eng..

[2]  Dai Ha.  A New Distributed Deadlock Detection Algorithm Based on Mobile Agent Technology , 2005 .

[3]  Frantisek Plasil,et al.  Modeling Environment for Component Model Checking from Hierarchical Architecture , 2007, Electron. Notes Theor. Comput. Sci..

[4]  Edward A. Lee,et al.  Causality Interfaces and Compositional Causality Analysis 1 , 2005 .

[5]  Eric Barboni,et al.  Software Components: a Formal Semantics Based on Coloured Petri Nets , 2006, Electron. Notes Theor. Comput. Sci..

[6]  Christoph Minnameier,et al.  A Polynomial-Time Checkable Sufficient Condition for Deadlock-Freedom of Component-Based Systems , 2007, SOFSEM.

[7]  David Garlan,et al.  A formal basis for architectural connection , 1997, TSEM.

[8]  J M R Martin,et al.  How to Design Deadlock-free Networks Using Csp and Veriication Tools { a Tutorial Introduction , 1997 .

[9]  Shing-Tsaan Huang,et al.  A distributed deadlock detection algorithm for CSP-like communication , 1990, TOPL.

[10]  Jian Lü,et al.  Technical framework for Internetware: An architecture centric approach , 2008, Science in China Series F: Information Sciences.

[11]  Oscar Nierstrasz,et al.  A Calculus for Modeling Software Components , 2002, FMCO.

[12]  Joseph Sifakis,et al.  Component-Based Construction of Deadlock-Free Systems: Extended Abstract , 2003, FSTTCS.

[13]  Thomas A. Henzinger,et al.  Interface Theories for Component-Based Design , 2001, EMSOFT.

[14]  Barbara Simons,et al.  Static Deadlock Analysis for CSP-Type Communications , 1995, Responsive Computer Systems.

[15]  Christoph Minnameier.  Local and global deadlock-detection in component-based systems are NP-hard , 2007, Inf. Process. Lett..

[16]  Joseph Sifakis,et al.  Composition for component-based modeling , 2002, Sci. Comput. Program..

[17]  Wei-Wei Lin,et al.  An Approach to Solve Deadlock Problem of Component Connection: An Approach to Solve Deadlock Problem of Component Connection , 2008 .

[18]  Edward A. Lee,et al.  A causality interface for deadlock analysis in dataflow , 2006, EMSOFT '06.

[19]  Chen Li,et al.  Dynamic probe based strategy for deadlock prevention in distributed systems: Dynamic probe based strategy for deadlock prevention in distributed systems , 2009 .

[20]  Paola Inverardi,et al.  Connectors synthesis for deadlock-free component based architectures , 2001, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).

[21]  Edgar Knapp,et al.  Deadlock detection in distributed databases , 1987, CSUR.

[22]  James W. Havender.  Avoiding Deadlock in Multitasking Systems , 1968, IBM Syst. J..

[23]  Moritz Martens,et al.  Using Architectural Constraints for Deadlock-Freedom of Component Systems with Multiway Cooperation , 2009, 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering.

[24]  Qi De-Yu,et al.  An Approach to Solve Deadlock Problem of Component Connection , 2008 .

[25]  Moritz Martens,et al.  Compositional analysis of deadlock-freedom for tree-like component architectures , 2008, EMSOFT '08.

[26]  Peng Dun-lu.  Dynamic probe based strategy for deadlock prevention in distributed systems , 2009 .

[27]  T. Soininen,et al.  MODELING CONFIGURABLE PRODUCT FAMILIES , 1998 .