PPT-DoubleChecker: Efficient Sound and Precise Atomicity Checki

Swarnendu Biswas Jipeng Huang Aritra Sengupta and Michael D Bond The Ohio State University PLDI 2014 Impact of Concurrency Bugs Impact of Concurrency Bugs Northeastern blackout 2003 Impact of Concurrency Bugs. Atomicity is a fundamental concept in computer science Ini tially it was de64257ned as an abstraction to be used in a local context But over time its use has expanded or scaled as application programmers have come to rely on it This reliance is base Bond Department of Computer Science and Engineering Ohio State University biswasshuangjipsenguptamikebondcseohiostateedu Abstract Atomicity is a key correctness property that allows programmers to reason about code regions in isolation However progr . DEVELOPERS. FOR . DEAF. PEOPLE . Le MESSAGEUR . Cooperative company registered in France in the field of social and solidarity’s economy. The . company. . is. . born. on . march. 2012, . from. Azade. h Farzan . . Univ. of Toronto. P. Mad. husudan . Univ. of Illinois at Urbana Champaign. .. Motivation: . Interleaving explosion problem. Testing is the main technique for correctness in the industry. Prof. . Moonzoo. Kim. CS492B Analysis of Concurrent Programs. Data Race Free, Yet Race Bug (1/2). Atomicity Violation Detection, Prof. Moonzoo Kim. 2. public class . Vector . implements. Collection. Shreya. Patel (130460107050). Vidhi. Patel (130460107052). Universal College Of Engineering And Technology. ACID Properties. Atomicity. Consistency. Isolation. Durability. Transactions. A transaction is a ‘logical unit of work’ on a database. 1 Precise Interrupts Precise interruptspreserve the model that instructions execute in program-generated order, one at a time•If an interrupt occurs, the processor can recover from itWhat happens Invariants. Arie Gurfinkel (SEI / CMU). Anton . Belov. (UCD / Synopsys). Joao Marques-. Silva (UCD). Copyright 2013 Carnegie Mellon . University. This . material is based upon work funded and supported by the Department of Defense under Contract No. FA8721-05-C-0003 with Carnegie Mellon University for the operation of the Software Engineering Institute, a federally funded research and development center. Komondoor. V. . Raghavan. Indian Institute of Science, Bangalore. The problem of program slicing. Given a . program. . P. , and a statement . c . (the . criterion. ). , . identify statements and conditionals in the program that are . Precise thinking nanoseconds (typical). Small package and low power consumption The SUPERSTAR II, designed as a drop-in replacement for the SUPERSTAR I, ts with ease into even the smallest systems, Swarnendu Biswas, . Jipeng Huang, Aritra Sengupta, and Michael D. Bond. The Ohio State University. PLDI 2014. Impact of Concurrency Bugs. Impact of Concurrency Bugs. Northeastern blackout, 2003. Impact of Concurrency Bugs. Aditya. . Kulkarni. , . Yu David Liu. State University of New York at Binghamton. &. Scott Smith. Johns Hopkins University. October 2010 @OOPSLA. Task Types for Pervasive. Atomicity. Aditya. . Prof. . Moonzoo. Kim. CS492B Analysis of Concurrent Programs. Data Race Free, Yet Race Bug (1/2). Atomicity Violation Detection, Prof. Moonzoo Kim. 2. public class . Vector . implements. Collection. transportation system. . that delivers economic opportunity and enhances the quality of life in Kentucky.. To provide a . safe, efficient, environmentally sound and fiscally responsible. . transportation system.