PPT-Testing Atomicity of Composed Concurrent Operations

Ohad Shacham Tel Aviv University Nathan Bronson Stanford University Alex Aiken Stanford University Mooly Sagiv Tel Aviv University Martin Vechev ETH amp IBM Research Eran Yahav . In building concurrent FIFO queues this reasoning has led re searchers to propose combiningbased concurrent queues This paper takes a different approach showing how to rely on fetchandadd FA a less powerful primitive that is available on x86 process shachamcstauacil Nathan Bronson Stanford University nbronsoncsstanfordedu Alex Aiken Stanford University aikencsstanfordedu Mooly Sagiv Tel Aviv University msagivposttauacil Martin Vechev ETH Zurich and IBM Research martinvechevgmailcom Eran Yahav Te 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 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. 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. Presented by Eyal Dushkin. GC Seminar, Tel-Aviv University. 30.12.14. Outline of talk. Introduction. Tricolour Invariants (Reminder). Mostly Concurrent Mark & Sweep. Concurrent Marking and Sweeping. CS 2110 – Spring 2016. Consistency. x = 2;. y = 3;. a = y > 0 ? x : 0;. System.out.println. (a);. Thread 1. Thread 2. x = 1;. y = -1;. What is printed?. 0, 1, and 2 can be printed!. Consistency. 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. Rita. Lingmei. Chi. Chunkun. Study. Problems. Testing multi-threaded programs challenging. Concurrent fault detection techniques have limited accuracy. . Solution. : Concurrent Coverage Metrics. Concurrent Coverage Metrics. 1.3.2:. (a) . indexing. (d) SQL – Interpret and . Modify. (e) Referential integrity. (f) Transaction processing, ACID (Atomicity, Consistency, Isolation, Durability), record locking and redundancy..