PFix: Fixing concurrency bugs based on memory access patterns

• Main Authors: LIN, Huarui, WANG, Zan, LIU, Shuang, SUN, Jun, ZHANG, Dongdi, WEI, Guangning
• Format: text
• Language: English
• Published: Institutional Knowledge at Singapore Management University 2018
• Subjects: Multi-threading; Concurrency bugs; Memory-access pattern; Locking policy; Automatic fixing; Computer Engineering; Software Engineering
• Online Access: https://ink.library.smu.edu.sg/sis_research/4655; https://ink.library.smu.edu.sg/context/sis_research/article/5658/viewcontent/3238147.3238198.pdf
• Institution: Singapore Management University

Concurrency bugs of a multi-threaded program may only manifest with certain scheduling, i.e., they are heisenbugs which are observed only from time to time if we execute the same program with the same input multiple times. They are notoriously hard to fix. In this work, we propose an approach to aut...