Deadlock detection and recovery for component-based systems

Chen Li, Linpeng Huang*, Luxi Chen, Weichao Luo

*Kontaktforfatter

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

1 Citationer (Scopus)

Abstract

Component-based development has gained a lot of attention in recent years. As a software development paradigm, it enhances reusability and reduces complexity but it also brings new challenges in reliability, especially the deadlock problem. In this paper, we present a dynamic probe (DP) strategy for the deadlock problem of component-based systems (CBS). First a formal semantic model is proposed to abstract the interaction among the components for analyzing the deadlock connections, and then the dynamic probe detection (DPD) algorithm is used to detect the deadlock loops. If deadlock connections are detected then the dynamic probe elimination (DPE) algorithm is used to evaluate the component reliability using several measurement indexes to find a component with reliability lower than the other components, and then replace it. Last, in comparison to related work, the results show that the proposed strategy can achieve both lower processing cost and higher reliability.

OriginalsprogEngelsk
TidsskriftMathematical and Computer Modelling
Vol/bind58
Udgave nummer5-6
Sider (fra-til)1362-1378
Antal sider17
ISSN0895-7177
DOI
StatusUdgivet - 1 sep. 2013
Udgivet eksterntJa

Fingeraftryk

Dyk ned i forskningsemnerne om 'Deadlock detection and recovery for component-based systems'. Sammen danner de et unikt fingeraftryk.

Citationsformater