NDLI: 2ndStrike:toward manifesting hidden concurrency typestate bugs (CARN, Vol. 39, Issue. 1)

Content Provider	ACM Digital Library
Author	Gao, Qi Zheng, Mai Qin, Feng Chen, Zhezhe Zhang, Wenbin
Abstract	Concurrency bugs are becoming increasingly prevalent in the multi-core era. Recently, much research has focused on data races and atomicity violation bugs, which are related to low-level memory accesses. However, a large number of concurrency typestate bugs such as "invalid reads to a closed file from a different thread" are under-studied. These concurrency typestate bugs are important yet challenging to study since they are mostly relevant to high-level program semantics. This paper presents 2ndStrike, a method to manifest hidden concurrency typestate bugs in software testing. Given a state machine describing correct program behavior on certain object typestates, 2ndStrike profiles runtime events related to the typestates and thread synchronization. Based on the profiling results, 2ndStrike then identifies bug candidates, each of which is a pair of runtime events that would cause typestate violation if the event order is reversed. Finally, 2ndStrike re-executes the program with controlled thread interleaving to manifest bug candidates. We have implemented a prototype of 2ndStrike on Linux and have illustrated our idea using three types of concurrency typestate bugs, including invalid file operation, invalid pointer dereference, and invalid lock operation. We have evaluated 2ndStrike with six real world bugs (including one previously unknown bug) from three open-source server and desktop programs (i.e., MySQL, Mozilla, pbzip2). Our experimental results show that 2ndStrike can effectively and efficiently manifest all six software bugs, most of which are difficult or impossible to manifest using stress testing or active testing techniques that are based on data race/atomicity violation. Additionally, 2ndStrike reports no false positives, provides detailed bug reports for each manifested bug, and can consistently reproduce the bug after manifesting it once.
Starting Page	239
Ending Page	250
Page Count	12
File Format	PDF
ISSN	01635964
DOI	10.1145/1961295.1950394
Journal	ACM SIGARCH Computer Architecture News (CARN)
Volume Number	39
Issue Number	1
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	1981-04-01
Publisher Place	New York
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	Software testing Concurrency bugs Typestate bugs
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

2ndStrike:toward manifesting hidden concurrency typestate bugs (SIGP, Vol. 46, Issue. 3)

ConSeq:detecting concurrency bugs through sequential errors (CARN, Vol. 39, Issue. 1)

2ndStrike: toward manifesting hidden concurrency typestate bugs

ConMem:detecting severe concurrency bugs through an effect-oriented approach (CARN, Vol. 38, Issue. 1)

CTrigger:exposing atomicity violation bugs from their hiding places (CARN, Vol. 37, Issue. 1)

TaxDC:A Taxonomy of Non-Deterministic Concurrency Bugs in Datacenter Distributed Systems (CARN, Vol. 44, Issue. 2)

2ndstrike: toward manifesting hidden concurrency typestate bugs (2011)

DCatch:Automatically Detecting Distributed Concurrency Bugs in Cloud Systems (CARN, Vol. 45, Issue. 1)

A randomized scheduler with probabilistic guarantees of finding bugs (CARN, Vol. 38, Issue. 1)

2ndStrike:toward manifesting hidden concurrency typestate bugs (CARN, Vol. 39, Issue. 1)

Similar Documents

2ndStrike:toward manifesting hidden concurrency typestate bugs (SIGP, Vol. 46, Issue. 3)

ConSeq:detecting concurrency bugs through sequential errors (CARN, Vol. 39, Issue. 1)

2ndStrike: toward manifesting hidden concurrency typestate bugs

ConMem:detecting severe concurrency bugs through an effect-oriented approach (CARN, Vol. 38, Issue. 1)

CTrigger:exposing atomicity violation bugs from their hiding places (CARN, Vol. 37, Issue. 1)

TaxDC:A Taxonomy of Non-Deterministic Concurrency Bugs in Datacenter Distributed Systems (CARN, Vol. 44, Issue. 2)

2ndstrike: toward manifesting hidden concurrency typestate bugs (2011)

DCatch:Automatically Detecting Distributed Concurrency Bugs in Cloud Systems (CARN, Vol. 45, Issue. 1)

A randomized scheduler with probabilistic guarantees of finding bugs (CARN, Vol. 38, Issue. 1)

2ndStrike:toward manifesting hidden concurrency typestate bugs (CARN, Vol. 39, Issue. 1)