IFIX: Fixing concurrency bugs while they are introduced

Concurrency bugs are notoriously hard to identify and fix. A systematic way of avoiding concurrency bugs is to design and implement a locking policy that consistently guards all shared variables. Concurrency bugs thus can be viewed as the result of an illy-designed or poorly implemented locking poli...

Full description

Saved in:
Bibliographic Details
Main Authors: WANG, Zan, WANG, Haichi, LIU, Shuang, SUN, Jun, WANG, Haoyu, CHEN, Junjie
Format: text
Language:English
Published: Institutional Knowledge at Singapore Management University 2020
Subjects:
Online Access:https://ink.library.smu.edu.sg/sis_research/5938
https://ink.library.smu.edu.sg/context/sis_research/article/6941/viewcontent/IFIX_2020_pv.pdf
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Singapore Management University
Language: English