Filters








4,554 Hits in 3.5 sec

Fixing, preventing, and recovering from concurrency bugs

DongDong Deng, GuoLiang Jin, Marc de Kruijf, Ang Li, Ben Liblit, Shan Lu, ShanXiang Qi, JingLei Ren, Karthikeyan Sankaralingam, LinHai Song, YongWei Wu, MingXing Zhang (+2 others)
2015 Science China Information Sciences  
This article discusses our recent progresses on fixing, preventing, and recovering from concurrency bugs.  ...  Concurrency bugs are becoming widespread with the emerging ubiquity of multicore processors and multithreaded software. They manifest during production runs and lead to severe losses.  ...  Conclusion This article reviews our recent work on fixing concurrency bugs (CFix), preventing concurrency bug manifestations (AI), and recovering from concurrency bug failures (ConAir).  ... 
doi:10.1007/s11432-015-5315-9 fatcat:qx6mwxqhazaoror6whqhbauoi4

ConAir

Wei Zhang, Marc de Kruijf, Ang Li, Shan Lu, Karthikeyan Sankaralingam
2013 Proceedings of the eighteenth international conference on Architectural support for programming languages and operating systems - ASPLOS '13  
memory-state checkpoint, is sufficient to recover from many concurrency-bug failures.  ...  Many concurrency bugs are hidden in deployed software and cause severe failures for end-users. When they finally manifest and become known by developers, they are difficult to fix correctly.  ...  /Canada PhD fellowship, and a Claire Boothe Luce faculty fellowship.  ... 
doi:10.1145/2451116.2451129 dblp:conf/asplos/ZhangKLLS13 fatcat:tlw6b3dmkrgerblraunzbm2zwe

ConAir

Wei Zhang, Marc de Kruijf, Ang Li, Shan Lu, Karthikeyan Sankaralingam
2013 SIGPLAN notices  
memory-state checkpoint, is sufficient to recover from many concurrency-bug failures.  ...  Many concurrency bugs are hidden in deployed software and cause severe failures for end-users. When they finally manifest and become known by developers, they are difficult to fix correctly.  ...  /Canada PhD fellowship, and a Claire Boothe Luce faculty fellowship.  ... 
doi:10.1145/2499368.2451129 fatcat:5wdflyi7wffvpcngckpytssjai

A study of the internal and external effects of concurrency bugs

P Fonseca, Cheng Li, V Singhal, R Rodrigues
2010 2010 IEEE/IFIP International Conference on Dependable Systems & Networks (DSN)  
Concurrency bugs are particularly difficult to avoid and diagnose, and therefore in order to improve methods for handling such bugs, we need a better understanding of their characteristics.  ...  Our study uncovered several interesting facts, such as the existence of a significant number of latent concurrency bugs, which silently corrupt data structures and are exposed to the user potentially much  ...  Performing such a recovery could prevent concurrency bugs from affecting the correct behavior of the application, even after the concurrent requests that cause the error have already been executed and  ... 
doi:10.1109/dsn.2010.5544315 dblp:conf/dsn/FonsecaLSR10 fatcat:3yhugb7eovcgvftndcxbncuosm

Editor's Note

Tao Xie, Lu Zhang, Jian Lü
2015 Science China Information Sciences  
In the article "Fixing, preventing, and recovering from concurrency bugs", the authors discuss their recent research results on fixing, preventing, and recovering from concurrency bugs, which are increasingly  ...  In the article "The essence of bidirectional programming", the authors show that ambiguity is essential for bidirectional transformations and the synchronization strategy should be considered from the  ... 
doi:10.1007/s11432-015-5318-6 fatcat:dtakiynxpzhebf2xmvvafwngka

TaxDC

Tanakorn Leesatapornwongsa, Jeffrey F. Lukman, Shan Lu, Haryadi S. Gunawi
2016 Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS '16  
We study 104 distributed concurrency (DC) bugs from four widely-deployed cloud-scale datacenter distributed systems, Cassandra, Hadoop MapReduce, HBase and ZooKeeper.  ...  We present TaxDC, the largest and most comprehensive taxonomy of non-deterministic concurrency bugs in distributed systems.  ...  CCF-1336580, CNS-1350499, CCF-1439091, CNS-1514256, IIS-1546543) and generous supports from Huawei and Alfred P. Sloan Foundation.  ... 
doi:10.1145/2872362.2872374 dblp:conf/asplos/Leesatapornwongsa16 fatcat:62lumps6a5ccfirolkz4rj2qlm

An Empirical Study on the Correctness of Formally Verified Distributed Systems

Pedro Fonseca, Kaiyuan Zhang, Xi Wang, Arvind Krishnamurthy
2017 Proceedings of the Twelfth European Conference on Computer Systems - EuroSys '17  
Through code review and testing, we found a total of 16 bugs, many of which produce serious consequences, including crashing servers, returning incorrect results to clients, and invalidating verification  ...  Based on our observations, we have built a testing toolkit called PK, which focuses on testing these parts and is able to automate the detection of 13 (out of 16) bugs. Revised version (4/  ...  Acknowledgments We thank the anonymous reviewers and our shepherd, Neeraj Suri, for their feedback.  ... 
doi:10.1145/3064176.3064183 dblp:conf/eurosys/FonsecaZWK17 fatcat:oqryjfoo4zarnbregbo2gk7gzm

Learning from mistakes

Shan Lu, Soyeon Park, Eunsoo Seo, Yuanyuan Zhou
2008 Proceedings of the 13th international conference on Architectural support for programming languages and operating systems - ASPLOS XIII  
Specifically, we have carefully examined concurrency bug patterns, manifestation, and fix strategies of 105 randomly selected real world concurrency bugs from 4 representative server and client opensource  ...  non-deadlock concurrency bugs were not fixed by simply adding or changing locks, and many of the fixes were not correct at the first try, indicating the difficulty of reasoning concurrent execution by  ...  the Information and Telecommunication National Scholarship program of the Ministry of Information and Communication of Korea.  ... 
doi:10.1145/1346281.1346323 dblp:conf/asplos/LuPSZ08 fatcat:g3wgqoeo3fhgrlhtbssstbyhom

Automated atomicity-violation fixing

Guoliang Jin, Linhai Song, Wei Zhang, Shan Lu, Ben Liblit
2011 Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation - PLDI '11  
Fixing software bugs has always been an important and timeconsuming process in software development. Fixing concurrency bugs has become especially critical in the multicore era.  ...  However, fixing concurrency bugs is challenging, in part due to nondeterministic failures and tricky parallel reasoning.  ...  Unmerged patches fix five out of eight bugs. Deadlock prevents this from fixing the Apache bug that merging does correctly fix. The naïve approach fixes no bug.  ... 
doi:10.1145/1993498.1993544 dblp:conf/pldi/JinSZLL11 fatcat:axff6gjlrfghxp7yvlx22mp6qu

Automated atomicity-violation fixing

Guoliang Jin, Linhai Song, Wei Zhang, Shan Lu, Ben Liblit
2011 SIGPLAN notices  
Fixing software bugs has always been an important and timeconsuming process in software development. Fixing concurrency bugs has become especially critical in the multicore era.  ...  However, fixing concurrency bugs is challenging, in part due to nondeterministic failures and tricky parallel reasoning.  ...  Unmerged patches fix five out of eight bugs. Deadlock prevents this from fixing the Apache bug that merging does correctly fix. The naïve approach fixes no bug.  ... 
doi:10.1145/1993316.1993544 fatcat:kifgwfu2lvchbmgiq2kqovcmri

Automated atomicity-violation fixing

Guoliang Jin, Linhai Song, Wei Zhang, Shan Lu, Ben Liblit
2012 SIGPLAN notices  
Fixing software bugs has always been an important and timeconsuming process in software development. Fixing concurrency bugs has become especially critical in the multicore era.  ...  However, fixing concurrency bugs is challenging, in part due to nondeterministic failures and tricky parallel reasoning.  ...  Unmerged patches fix five out of eight bugs. Deadlock prevents this from fixing the Apache bug that merging does correctly fix. The naïve approach fixes no bug.  ... 
doi:10.1145/2345156.1993544 fatcat:3ety5z5spbakdmgq7bh6gbdop4

AI: a lightweight system for tolerating concurrency bugs

Mingxing Zhang, Yongwei Wu, Shan Lu, Shanxiang Qi, Jinglei Ren, Weimin Zheng
2014 Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2014  
Concurrency bugs are notoriously difficult to eradicate during software testing because of their non-deterministic nature. Moreover, fixing concurrency bugs is time-consuming and error-prone.  ...  and hence has good performance Experiments with 35 real-world concurrency bugs demonstrate that AI is capable of detecting and tolerating most types of concurrency bugs, including both atomicity and order  ...  The authors from Tsinghua University are sponsored by the Na  ... 
doi:10.1145/2635868.2635885 dblp:conf/sigsoft/ZhangWLQRZ14 fatcat:43o5j3cgsjhq7keq45dnbg3su4

Have things changed now?

Zhenmin Li, Lin Tan, Xuanhui Wang, Shan Lu, Yuanyuan Zhou, Chengxiang Zhai
2006 Proceedings of the 1st workshop on Architectural and system support for improving software dependability - ASID '06  
To effectively design tools and support for detecting and recovering from software failures requires a deep understanding of bug 1 characteristics.  ...  with their full capacity; (3) semantic bugs are the dominant root causes, as they are application specific and difficult to fix, which suggests that more efforts should be put into detecting and fixing  ...  Further, 55.5% of concurrency bugs lead to fail-stop failures (crashes and hangs), which can be detected and recovered by generic recovery techniques.  ... 
doi:10.1145/1181309.1181314 dblp:conf/asplos/LiTWLZZ06 fatcat:nfe3info3vcc7k22s6cuk3qfgq

Multithreaded programming challenges, current practice, and languages/tools support

Yuan Lin
2006 2006 IEEE Hot Chips 18 Symposium (HCS)  
• 3) Fix the bug, not the data race!  ...  8.Achieving scalability 9.Achieving portable & predictable performance 10.Recovering from errors 11.  ...  Use MT-Safe Routines 79 Deadlock: Prevention and Avoidance • Prevention > Use protocols to ensure at least one of the four conditions does not hold. > Example: enforce lock hierarchy to ensure circular-wait  ... 
doi:10.1109/hotchips.2006.7477737 fatcat:kiitqdej2fhcjpqbe2koyrvcza

A Lightweight System for Detecting and Tolerating Concurrency Bugs

Mingxing Zhang, Yongwei Wu, Shan Lu, Shanxiang Qi, Jinglei Ren, Weimin Zheng
2016 IEEE Transactions on Software Engineering  
Even worse, due to the non-deterministic nature of concurrency bugs, these bugs are both difficult to detect and fix even after the detection.  ...  Experiments with 35 real-world concurrency bugs demonstrate that AI is capable of detecting and tolerating many important types of concurrency bugs, including both atomicity and order violations.  ...  Thus it is both hard to detect concurrency bugs during the in-house testing phase, and difficult to fix the detected concurrency bugs.  ... 
doi:10.1109/tse.2016.2531666 fatcat:gexbi7xouzc6bpuildc4vhs7we
« Previous Showing results 1 — 15 out of 4,554 results