PBDDR: Probe-based deadlock detection and recovery strategy for component-based systems

Chen Li; Linpeng Huang; Luxi Chen; Weichao Luo; Xu Li

doi:10.1109/APSEC.2012.33

PBDDR: Probe-based deadlock detection and recovery strategy for component-based systems

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

^*Corresponding author for this work

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

1 Citation (Scopus)

Abstract

Correctness is a critical requirement for software systems and one of the key factors in correctness is that the system be deadlock-free. In this paper, we present a Probe-Based Deadlock Detection and Recovery (PBDDR) strategy for Component-based System (CBS) which brings four contributions. First, we define a formal semantic model by using Communicating Sequential Processes (CSP) to abstract interaction behavior for statically analyzing deadlock. Second, we propose a Deadlock Detection Algorithm (DDA) to find deadlock loops in a CBS. Third, we consider two qualities of concern, Timeliness (i.e., response time) and DLC (i.e., How many deadlock loops that a component involved in). Then we give a Deadlock Recovery Algorithm (DRA) to evaluate and replace the component to solve the deadlock problem based on above quality concerns. Finally, we implement our approach using the Arch Studio tool. Experimental results show that our approach has reasonable performance.

Original language	English
Title of host publication	APSEC 2012 - Proceedings of the 19th Asia-Pacific Software Engineering Conference
Number of pages	6
Volume	1
Publisher	IEEE Computer Society Press
Publication date	1 Jan 2012
Pages	790-795
Article number	6462747
ISBN (Print)	9780769549224
DOIs	https://doi.org/10.1109/APSEC.2012.33
Publication status	Published - 1 Jan 2012
Externally published	Yes
Event	19th Asia-Pacific Software Engineering Conference, APSEC 2012 - Hong Kong, China Duration: 4 Dec 2012 → 7 Dec 2012

Conference

Conference	19th Asia-Pacific Software Engineering Conference, APSEC 2012
Country/Territory	China
City	Hong Kong
Period	04/12/2012 → 07/12/2012
Sponsor	ACM Hong Kong Chapter, IEEE Hong Kong Section Computer Society Chapter

Keywords

based system
CSP
deadlock
probe
software architecture

Access to Document

10.1109/APSEC.2012.33

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

@inproceedings{420744cea66247aeb597cb873f841be4,

title = "PBDDR: Probe-based deadlock detection and recovery strategy for component-based systems",

abstract = "Correctness is a critical requirement for software systems and one of the key factors in correctness is that the system be deadlock-free. In this paper, we present a Probe-Based Deadlock Detection and Recovery (PBDDR) strategy for Component-based System (CBS) which brings four contributions. First, we define a formal semantic model by using Communicating Sequential Processes (CSP) to abstract interaction behavior for statically analyzing deadlock. Second, we propose a Deadlock Detection Algorithm (DDA) to find deadlock loops in a CBS. Third, we consider two qualities of concern, Timeliness (i.e., response time) and DLC (i.e., How many deadlock loops that a component involved in). Then we give a Deadlock Recovery Algorithm (DRA) to evaluate and replace the component to solve the deadlock problem based on above quality concerns. Finally, we implement our approach using the Arch Studio tool. Experimental results show that our approach has reasonable performance.",

keywords = "based system, CSP, deadlock, probe, software architecture",

author = "Chen Li and Linpeng Huang and Luxi Chen and Weichao Luo and Xu Li",

year = "2012",

month = jan,

day = "1",

doi = "10.1109/APSEC.2012.33",

language = "English",

isbn = "9780769549224",

volume = "1",

pages = "790--795",

booktitle = "APSEC 2012 - Proceedings of the 19th Asia-Pacific Software Engineering Conference",

publisher = "IEEE Computer Society Press",

address = "United States",

note = "19th Asia-Pacific Software Engineering Conference, APSEC 2012 ; Conference date: 04-12-2012 Through 07-12-2012",

}

Li, C, Huang, L, Chen, L, Luo, W & Li, X 2012, PBDDR: Probe-based deadlock detection and recovery strategy for component-based systems. in APSEC 2012 - Proceedings of the 19th Asia-Pacific Software Engineering Conference. vol. 1, 6462747, IEEE Computer Society Press, pp. 790-795, 19th Asia-Pacific Software Engineering Conference, APSEC 2012, Hong Kong, China, 04/12/2012. https://doi.org/10.1109/APSEC.2012.33

PBDDR: Probe-based deadlock detection and recovery strategy for component-based systems. / Li, Chen; Huang, Linpeng; Chen, Luxi et al.
APSEC 2012 - Proceedings of the 19th Asia-Pacific Software Engineering Conference. Vol. 1 IEEE Computer Society Press, 2012. p. 790-795 6462747.

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

TY - GEN

T1 - PBDDR

T2 - 19th Asia-Pacific Software Engineering Conference, APSEC 2012

AU - Li, Chen

AU - Huang, Linpeng

AU - Chen, Luxi

AU - Luo, Weichao

AU - Li, Xu

PY - 2012/1/1

Y1 - 2012/1/1

N2 - Correctness is a critical requirement for software systems and one of the key factors in correctness is that the system be deadlock-free. In this paper, we present a Probe-Based Deadlock Detection and Recovery (PBDDR) strategy for Component-based System (CBS) which brings four contributions. First, we define a formal semantic model by using Communicating Sequential Processes (CSP) to abstract interaction behavior for statically analyzing deadlock. Second, we propose a Deadlock Detection Algorithm (DDA) to find deadlock loops in a CBS. Third, we consider two qualities of concern, Timeliness (i.e., response time) and DLC (i.e., How many deadlock loops that a component involved in). Then we give a Deadlock Recovery Algorithm (DRA) to evaluate and replace the component to solve the deadlock problem based on above quality concerns. Finally, we implement our approach using the Arch Studio tool. Experimental results show that our approach has reasonable performance.

AB - Correctness is a critical requirement for software systems and one of the key factors in correctness is that the system be deadlock-free. In this paper, we present a Probe-Based Deadlock Detection and Recovery (PBDDR) strategy for Component-based System (CBS) which brings four contributions. First, we define a formal semantic model by using Communicating Sequential Processes (CSP) to abstract interaction behavior for statically analyzing deadlock. Second, we propose a Deadlock Detection Algorithm (DDA) to find deadlock loops in a CBS. Third, we consider two qualities of concern, Timeliness (i.e., response time) and DLC (i.e., How many deadlock loops that a component involved in). Then we give a Deadlock Recovery Algorithm (DRA) to evaluate and replace the component to solve the deadlock problem based on above quality concerns. Finally, we implement our approach using the Arch Studio tool. Experimental results show that our approach has reasonable performance.

KW - based system

KW - CSP

KW - deadlock

KW - probe

KW - software architecture

UR - http://www.scopus.com/inward/record.url?scp=84874634564&partnerID=8YFLogxK

U2 - 10.1109/APSEC.2012.33

DO - 10.1109/APSEC.2012.33

M3 - Article in proceeding

AN - SCOPUS:84874634564

SN - 9780769549224

VL - 1

SP - 790

EP - 795

BT - APSEC 2012 - Proceedings of the 19th Asia-Pacific Software Engineering Conference

PB - IEEE Computer Society Press

Y2 - 4 December 2012 through 7 December 2012

ER -

PBDDR: Probe-based deadlock detection and recovery strategy for component-based systems

Abstract

Conference

Keywords

Access to Document

AUB Link

Other files and links

Fingerprint

Cite this