arrow
Return

Detection of Concurrency Errors in Multithreaded Applications Based on Static Source Code Analysis

delete2021-01-01
delete11
delete
OA
AI
D
Damian Giebas
R
Rafał Wojszczyk *
DOI:10.1109/ACCESS.2021.3073859delete
deleteOriginal
deleteShare
deleteSave
View PDF
Abstract

Abstract

En 中文
Computer systems that allow multithreaded execution of applications have become extremely common, even small portable devices operate in multithreaded mode. This is undoubtedly very convenient for users, but for programmers it is associated with many unwanted errors, which can occur after writing application code. These errors include race condition, deadlock, atomicity violation and order violation. The subject of this work is related to the detection of these errors in the process of static software analysis. The paper presents the author's model, which was then used to detect the above-mentioned occurrences, additionally each error has been discussed in detail. A tool supporting the detection of errors in multithreaded applications was also developed and the results of this tool were presented.
Keywords:
Instruction sets
Libraries
Tools
System recovery
Software
Programming
Standards
Parallel programming
parallel processing
multithreading
AI Summary

AI Summary

Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.

Journal

IEEE Access cover
IEEE Access
IF:
3.6
Papers:
9.8W
Citations:
29.4W

Organization

Koszalan University of Technology cover
Koszalan University of Technology
Scholars:
504
Papers: 612
Citations: 362
Cited Papers

Cited Papers

Prevalence of Antimicrobial‐Resistant Pathogens in Canadian Hospitals: Results of the Canadian Ward Surveillance Study (CANWARD 2007)
err2009-01-01
err0
errOAAI
errGeorge G Zhanel; James A Karlowsky; Mel DeCorby; Kim A Nichol; Aleksandra Wierzbowski; Patricia J Baudry; Philippe Lagacé-Wiens; Andrew Walkty; Frank Schweizer; Heather Adam; Melissa McCracken; Michael R Mulvey; The Canadian Antimicrobial Resistance Alliance (CARA); Daryl J Hoban
errShare
errSave
Predicting Intentions and Condom Use Among Latino College Students
err2002-03-01
err0
PREAI
errLoretta Sweet Jemmott; John B. Jemmott; Antonia M. Villarruel
errShare
errSave
Levofloxacin Preventive Treatment in Children Exposed to MDR Tuberculosis
err2024-12-19
err0
PREAI
errAnneke C. Hesseling; Susan E. Purchase; Neil A. Martinson; Lee Fairlie; H. Simon Schaaf; Joanna Brigden; Suzanne Staples; Diana M. Gibb; Anthony Garcia-Prats; Francesca Conradie; Charlotte McGowan; Charlotte Layton; Elize Batist; Anne-Marie Demers; Samukelisiwe Nyamathe; Lisa Frigati; Rebecca Turner; Trinh Duong; James A. Seddon
errShare
errSave
Ebola virus sequencing protocol v1
err
IF0
err2019-09-25
err0
errOAAI
errJosh Quick
errShare
errSave
err
IF0
err
err0
PREAI
err
errShare
errSave
Painless treatment of hydrocele: EMLA cream anaesthesia and fibrin adhesive sclerotherapy
err1997-07-01
err0
PREAI
errM. Cecchi; C. A. Sepich; G. Pagni; C. Ippolito; R. Minervini; L. Fiorentini
errShare
errSave
Should the Angiotensin II Antagonists be Discontinued Before Surgery?
err2001-01-01
err0
errOAAI
errMichèle Bertrand; Gilles Godet; Karolin Meersschaert; Luc Brun; Eduardo Salcedo; Pierre Coriat
errShare
errSave
researcher View more