PFix: Fixing concurrency bugs based on memory access patterns

• المؤلفون الرئيسيون: LIN, Huarui, WANG, Zan, LIU, Shuang, SUN, Jun, ZHANG, Dongdi, WEI, Guangning
• التنسيق: text
• اللغة: English
• منشور في: Institutional Knowledge at Singapore Management University 2018
• الموضوعات: Multi-threading; Concurrency bugs; Memory-access pattern; Locking policy; Automatic fixing; Computer Engineering; Software Engineering
• الوصول للمادة أونلاين: https://ink.library.smu.edu.sg/sis_research/4655; https://ink.library.smu.edu.sg/context/sis_research/article/5658/viewcontent/3238147.3238198.pdf
• المؤسسة: 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...