PPT-A Programming-Languages View of Data Races

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. Lecture 11. Closures-. ish. Java & . C. Dan Grossman. Fall 2011. Higher-order programming. Higher-order programming, e.g., with . map. and . filter. , is great. Language support for closures makes it very pleasant. 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. OPEN FORUM. BRIAN KAVANAGH, VICE CHAIRMAN, IFHA. Quality Control of Group / Graded Races. Brian Kavanagh. Vice Chairman, IFHA. IFHA Basic Mission. “. The organisation of competitions to select the best horses in order to improve the quality of breeding”. 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 . Yongjian Hu Iulian . Neamtiu. . Arash. . Alavi. Rise of Event-Driven Systems. Mobile apps. Web apps. 2. Event-based races are prevalent and may cause harmful . result: crash, incorrect results, etc.. Classification of programming languages. “There are only two kinds of programming languages: those people always bitch about and those nobody uses.”. --. Bjarne. . Stroustrup. 1. . Generated using wordle.net from the text of this ppt file. Lecture . 9. Function-Closure Idioms. Zach Tatlock. Winter 2018. More idioms. We know the rule for lexical scope and function closures. Now what is it good for. A partial but wide-ranging list:. Pass functions with private data to iterators: Done. 13. Learning Objectives. Define programming of and describe the six steps of . programming.. Compare . design tools including top-down design, pseudocode, flowcharts, and logic . structures.. Describe program testing and the tools for finding and removing . CS 170b. Benjamin Gaska, much help from William Mitchell. What is a programming language. A simple definition:. A system for describing computation.. It is generally agreed that in order for a language to be . Lecture 14. Thunks. , Laziness, Streams, . Memoization. Dan Grossman. Spring . 2017. Delayed evaluation. For each language construct, the semantics specifies when . subexpressions. get evaluated. In ML, Racket, Java, C:. Lecture 18. Static vs. Dynamic Typing. Dan Grossman. Autumn . 2018. Key differences. Racket and ML have . much. . . in common. Key differences. Syntax. Pattern-matching vs. . struct. -tests and . accessor. Scholastic Press. 2011. Lillie Busch. Pre-IB 9. 2A. “Some . riders live.. Others die. .”. The . setting is the . fictional . island of Thisby.. Each November, . capaill uisce . {singular is . capall usice. Lecture 17. Implementing Languages Including Closures. Dan Grossman. Spring 2013. Typical workflow. Spring 2013. 2. CSE341: Programming Languages. "(. fn. x => x + x) 4". Parsing. Call. Function.