PPT-Detecting and surviving data races using complementary schedules

Kaushik Veeraraghavan Peter Chen Jason Flinn Satish Narayanasamy University of Michigan Multicoresmultiprocessors are ubiquitous Most desktops laptops amp cellphones use multiprocessors. Cormac. Flanagan & Stephen Freund. UC Santa Cruz Williams . College. PLDI 2010. Slides by Michelle Goodstein. LBA Reading Group, June 2 2010. Motivation. Multi-threaded programs often contain data races. S. . Narayanasamy. , Z. Wang, J. . Tigani. , A. Edwards, B. Calder. UCSD and Microsoft. PLDI 2007. Data Races hard to debug. Difficult to detect. Even more difficult to reproduce. Data Race Detectors help in detection. Races. Eraser: A Dynamic Data Race Detector . for Multithreaded . Programs. STEFAN . SAVAGE, MICHAEL . BURROWS, GREG NELSON, . PATRICK SOBALVARRO, THOMAS ANDERSON. ACM Transactions on Computer Systems, Vol. 15, No. 4, November 1997. 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. 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. Constructed Response. Types. Constructed Response is the written response to a question. . The answer is gathered from a text, prompt, diagram, map, etc. . There are three types:. Constructed Response . John Erickson, . Madanlal. . Musuvathi. , Sebastian Burckhardt, Kirk . Olynyk. Microsoft . Research. Motivations. Need for race detection in Kernel modules. Also must detect race conditions between hardware and Kernel. Dan Grossman. University. . of Washington. Prepared for the . 2012 Microsoft Research Summer School on Concurrency. St. Petersburg, Russia. Goals. Broad overview of . data races. What they are [not]. Madan Musuvathi. . Visiting Professor, UCLA . Principal Researcher, Microsoft Research. Mid-point feedback. Are you learning from the papers we are reading?. Do you find class discussions helpful?. Does preparing for the class presentation help? . 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. Guiding Principles for Complementary Feeding. After 6 months of age, it becomes increasingly difficult for breastfed infants to meet their nutrient needs from human milk alone.. Furthermore most infants are developmentally ready for other foods at about 6 months. . Old schedule. 1 dose of BCG. 3 doses of DPT. 3 doses of Oral Polio. 1 . dose . of Measles. Current schedule. Different combinations. DPT, . Hep.B. , and . HiB. Still separate in some countries. Increasingly as Pentavalent. Forecasted Requirements. QAD Supplier Portal. 2019. Content Overview. Overview of Schedules & Forecasted Requirements, . 2-3. Schedules View. Accessing the View, . 4. Details View, . 5-6. Form View, . at Cork University Hospital. www.survivingsepsis.org. The . Surviving Sepsis Campaign. SSC. Joint collaborative of the Society of Critical Care Medicine and European Society of Intensive Care Medicine.