arrow
返回

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
delete原文链接
delete分享
delete收藏
查看原文
摘要

摘要

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.
Keyword:
Instruction sets
Libraries
Tools
System recovery
Software
Programming
Standards
Parallel programming
parallel processing
multithreading
AI总结

AI总结

对已上传原文的论文进行重点信息的提取,主要内容包括:简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。

期刊

IEEE Access 封面图
IEEE Access
IF:
3.6
论文数:
9.8W
被引数:
29.4W

机构

Koszalan University of Technology 封面图
Koszalan University of Technology
学者数:
504
论文数: 612
被引数: 362
引用论文

引用论文

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
err分享
err收藏
Predicting Intentions and Condom Use Among Latino College Students
err2002-03-01
err0
PREAI
errLoretta Sweet Jemmott; John B. Jemmott; Antonia M. Villarruel
err分享
err收藏
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
err分享
err收藏
Ebola virus sequencing protocol v1
err
IF0
err2019-09-25
err0
errOAAI
errJosh Quick
err分享
err收藏
err
IF0
err
err0
PREAI
err
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
学者 查看更多内容