Write a Blog >>
Fri 29 May 2020 12:10 - 12:30 at TBD2 - Testing 1

Multithreaded programs can have deadlocks, even after deployment, so users may want to run deadlock tools on deployed programs. However, current deadlock predictors such as MagicLock and UnDead have large overheads that make them impractical for end-user deployment and confine their use to development time. Such overhead stems from running an exponential-time algorithm on a large execution trace. In this paper, we present the first low-overhead deadlock predictor, called AirLock, that is fit for both in-house testing and deployed programs. AirLock maintains a small predictive lock reachability graph, searches the graph for cycles, and runs an exponential-time algorithm only for each cycle. This approach lets AirLock find the same deadlocks as MagicLock and UnDead but with much less overhead because the number of cycles is small in practice. Our experiments with real-world benchmarks show that the average time overhead of AirLock is 3.5%, which is three orders of magnitude less than that of MagicLock and UnDead. AirLock’s low overhead makes it suitable for use with fuzz testers like AFL and on-the-fly after deployment.

Fri 29 May

10:50 - 12:30: Paper Presentations - Testing 1 at TBD2
icse-2020-Journal-First10:50 - 11:05
Marco PaolieriUniversity of Southern California, Marco BiagiUniversity of Florence, Laura CarnevaliUniversity of Florence, Enrico VicarioUniversity of Florence
icse-2020-Journal-First11:05 - 11:20
Shujuan JiangChina University of Mining and Technology, Miao ZHANGCity University of Hong Kong, Yanmei ZHANGChina University of Mining and Technology, Rongcun WangChina University of Mining and Technology, Qiao YUJiangsu Normal University, Jacky KeungCity University of Hong Kong
icse-2020-New-Ideas-and-Emerging-Results11:20 - 11:30
Andriy MiranskyyRyerson University, Lei ZhangRyerson University, Javad DoliskaniRyerson University, Toronto, Canada
icse-2020-papers11:30 - 11:50
Dehai ZhaoAustralian National University, Zhenchang XingAustralia National University, Chunyang ChenMonash University, Xiwei XuData 61, Liming ZhuCSIRO's Data61 and UNSW, Guoqiang LiShanghai Jiao Tong University, Jinshui WangSchool of Information Science and Engineering, Fujian University of Technology, Fuzhou, China
Demonstrations11:50 - 12:00
Matias MartinezUniversité Polytechnique Hauts-de-France, Anne EtienUniversité de Lille, CNRS, Inria, Centrale Lille, UMR 9189 –CRIStAL, Stéphane Ducasse INRIA Lille, Christopher FuhrmanÉcole de technologie supérieure
Demonstrations12:00 - 12:10
Yung-Pin ChengNational Central University, Wei-Nien HsiungNational Central University, Yu-Shan WuIsCoollab Co. Ltd, Li-Hsuan ChenIsCoollab Co. Ltd
icse-2020-papers12:10 - 12:30
Yan CaiInstitute of Software, Chinese Academy of Sciences, Ruijie MengUniversity of Chinese Academy of Sciences, Jens PalsbergUniversity of California, Los Angeles