PPT-Eraser: A Dynamic Data Race Detector

for Multithreaded Programs STEFAN SAVAGE MICHAEL BURROWS GREG NELSON PATRICK SOBALVARRO and THOMAS ANDERSON Ethan Holder 2014 Presentation Outline About the Authors What is Eraser. It is easy to make a mistake in synchronization that produces a data race yet it can be extremely hard to locate this mistake during debugging This article describes a new tool called Eraser for dynamically detecting data races in lockbased multithr Multithreaded Programs. STEFAN . SAVAGE,. MICHAEL BURROWS, GREG NELSON. ,. PATRICK . SOBALVARRO and . THOMAS ANDERSON. Introduction. Multithreaded programming is difficult and error . prone.. easy to make a mistake . for . Multithreaded . Programs. STEFAN . SAVAGE, MICHAEL . BURROWS, GREG . NELSON, PATRICK SOBALVARRO, . and . THOMAS . ANDERSON. Ethan Holder 2014. Presentation Outline. About the Authors. What is Eraser. By: Davina 5C. Step 1: Question. Problem. I always lose my eraser. I usually leave it at school or in the house. I always end up having to buy a new one.. Step 2: Background Research. Purpose. I want to make sure my eraser is always with me.. rases hard drives and DLT tapes Erases data in seconds High energy Tabletop design Cost effective Easy operation Media Handling Audio Cassettes: All oxide and metal particle Video cartridges: VHS, S Stefan Savage, Michael Burrows, . Greg Nelson, Patrick . Sobalvarro. ,. Thomas Anderson. Presenter: Chao Kong . EECS 582 – W16. 1. Outline. Introduction. Previous works. The Lockset Algorithm. Eraser implementation. Swarnendu Biswas. , UT Austin. Man Cao. , Ohio State University. Minjia Zhang. , Microsoft Research. Michael D. Bond. , Ohio State University. Benjamin P. Wood. , Wellesley College. CC 2017. A Java Program With a Data Race. : Crowd-sourced Data Race Detection. Baris. . Kasikci. , . Cristian. . Zamfir. and George . Candea. EPFL, Switzerland. To appear in the Symposium on Operating Systems Principles (SOSP), November 2013. Swarnendu Biswas. , UT Austin. Man Cao. , Ohio State University. Minjia Zhang. , Microsoft Research. Michael D. Bond. , Ohio State University. Benjamin P. Wood. , Wellesley College. CC 2017. A Java Program With a Data Race. Linear Time. Umang Mathur. Dileep. . Kini. Mahesh Viswanathan. University of Illinois . at Urbana Champaign. Debugging concurrent . p. rograms is a . nightmare. Reasoning about all possible inter-leavings !. WHAT OUR PRODUCT DOES. Our product gives you more erasers , you first need to . . completely. run out of the eraser on the top of your pencil . Then, press the button located on the back of the pencil . Race Detection. John Erickson. Microsoft. Stephen Freund. Williams College. Madan Musuvathi. Microsoft Research. Introductions…. Tutorial Goals. What is (and is not) a data race. State of the art techniques in dynamic data race detection. Highlights. Inner silicon detector, 700,000 channels. Scintillating fiber tracker & . preshower. , . 100,000 channels. Uranium/liquid argon calorimeter, 50,000 channels. Muon. system (wire chambers and scintillator), 70,000 channels. Serdar . Tasiran. Koc University, Istanbul, . Turkey. Microsoft Research, Redmond. Hassan . Salehe. . Matar. ,. . Ismail . Kuru. , . Koc University, Istanbul, Turkey. Roman . Dementiev. Intel, Munich, Germany.