Dynamic Analysis Method for Concurrency Bugs in Multi-process/Multi-thread Environments

In this paper, we propose a method of analyzing the types and causes of concurrency bugs that can occur in multi-process/multi-thread environments by analyzing the information gathered in the execution environment. Our method reduces the false detection rate by employing a hooking technique that int...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:International journal of parallel programming Ročník 48; číslo 6; s. 1032 - 1060
Hlavní autoři: Park, Jihyun, Choi, Byoungju, Jang, Seungyeun
Médium: Journal Article
Jazyk:angličtina
Vydáno: New York Springer US 01.12.2020
Springer Nature B.V
Témata:
Computer Science
Concurrency
Processor Architectures
Software
Software Engineering/Programming and Operating Systems
Theory of Computation
Use statistics
Violations
Weapon systems
Concurrency bug
Multi-thread
Multi-process
Defect detection
ISSN:0885-7458, 1573-7640
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí:In this paper, we propose a method of analyzing the types and causes of concurrency bugs that can occur in multi-process/multi-thread environments by analyzing the information gathered in the execution environment. Our method reduces the false detection rate by employing a hooking technique that intercepts the software’s execution at runtime and reduces the overhead that can occur in the original software due to defect detection methods using optimized data collection. We implemented the proposed method as a tool and demonstrated its effectiveness by applying it to weapon system software that previously had concurrency bugs. In addition, the proposed method’s high performance was proven by applying it to software into which faults were injected and comparing the results with those obtained using other tools.
Bibliografie:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ISSN:0885-7458
1573-7640
DOI:10.1007/s10766-020-00661-3