NDLI: Randomized active atomicity violation detection in concurrent programs

Please wait, while we are loading the content...

A design-centric view of the economy: abstract

Can developer-module networks predict failures?

Finding programming errors earlier by evaluating runtime monitors ahead-of-time

An empirical study of the effect of time constraints on the cost-benefits of regression testing

The implications of method placement on API learnability

Randomized active atomicity violation detection in concurrent programs

Efficient online monitoring of web-service SLAs

Automatically locating framework extension examples

Requirements engineering: from craft to discipline

Effective blame for information-flow violations

Dev 2.0: model driven development in the cloud

ACM SIGSOFT impact paper award: reflections and prospects

Towards compositional synthesis of evolving systems

What makes a good bug report?

Javert: fully automatic mining of general temporal properties from dynamic traces

Predicting failures with developer networks and social network analysis

Profile-guided program simplification for effective testing and analysis

Deriving input syntactic structure from execution

Empirical evidence of the benefits of workspace awareness in software configuration management

Generation of concurrency control code using discrete-event systems theory

Automated identification of parameter mismatches in web applications

Semi-automating small-scale source code reuse via structural correspondence

Model-based fault detection in context-aware adaptive applications

On correct and complete strong merging of partial behaviour models

Experience in using a process language to define scientific workflow and generate dataset provenance

Doloto: code splitting for network-bound web 2.0 applications

Latent social structure in open source projects

A scalable technique for characterizing the usage of temporaries in framework-intensive Java applications

Inter-context control-flow and data-flow test adequacy criteria for nesC applications

Using assertions to help end-user programmers create dependable web macros

Alchemy: transmuting base alloy specifications into implementations

Modular verification of web services using efficient symbolic encoding and summarization

Differential symbolic execution

Marple: a demand-driven path-sensitive buffer overflow detector

ENNA: software effort estimation using ensemble of neural networks with associative memory

Randomized active atomicity violation detection in concurrent programs

Content Provider	ACM Digital Library
Author	Park, Chang-Seo Sen, Koushik
Abstract	Atomicity is an important specification that enables programmers to understand atomic blocks of code in a multi-threaded program as if they are sequential. This significantly simplifies the programmer's job to reason about correctness. Several modern multithreaded programming languages provide no built-in support to ensure atomicity; instead they rely on the fact that programmers would use locks properly in order to guarantee that atomic code blocks are indeed atomic. However, improper use of locks can sometimes fail to ensure atomicity. Therefore, we need tools that can check atomicity properties of lock-based code automatically. We propose a randomized dynamic analysis technique to detect a special, but important, class of atomicity violations that are often found in real-world programs. Specifically, our technique modifies the existing Java thread scheduler behavior to create atomicity violations with high probability. Our approach has several advantages over existing dynamic analysis tools. First, we can create a real atomicity violation and see if an exception can be thrown. Second, we can replay an atomicity violating execution by simply using the same seed for random number generation---we do not need to record the execution. Third, we give no false warnings unlike existing dynamic atomicity checking techniques. We have implemented the technique in a prototype tool for Java and have experimented on a number of large multi-threaded Java programs and libraries. We report a number of previously known and unknown bugs and atomicity violations in these Java programs.
Starting Page	135
Ending Page	145
Page Count	11
File Format	PDF
ISBN	9781595939951
DOI	10.1145/1453101.1453121
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2008-11-09
Publisher Place	New York
Access Restriction	Subscribed
Subject Keyword	Random testing Concurrency Dynamic analysis Atomicity violation detection
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

Randomized active atomicity violation detection in concurrent programs (2008)

Randomized active atomicity violation detection in concurrent programs (2008)

Race directed random testing of concurrent programs

Calfuzzer: An extensible active testing framework for concurrent programs (2009)

Calfuzzer: An extensible active testing framework for concurrent programs (2009)

Falcon: fault localization in concurrent programs

Falcon: fault localization in concurrent programs

PENELOPE: weaving threads to expose atomicity violations

Synthesizing tests for detecting atomicity violations

Randomized active atomicity violation detection in concurrent programs

Similar Documents

Randomized active atomicity violation detection in concurrent programs (2008)

Randomized active atomicity violation detection in concurrent programs (2008)

Race directed random testing of concurrent programs

Calfuzzer: An extensible active testing framework for concurrent programs (2009)

Calfuzzer: An extensible active testing framework for concurrent programs (2009)

Falcon: fault localization in concurrent programs

Falcon: fault localization in concurrent programs

PENELOPE: weaving threads to expose atomicity violations

Synthesizing tests for detecting atomicity violations

Randomized active atomicity violation detection in concurrent programs