error handling via the happens before relation
play

Error Handling via the Happens-Before Relation Nicholas D. Matsakis - PowerPoint PPT Presentation

Dec 13, 2023 •715 likes •1.7k views

Error Handling via the Happens-Before Relation Nicholas D. Matsakis Thomas R. Gross ETH Zurich 1 Sunday, April 18, 2010 Exception Handling Goal of this talk: Extend exception handling into a parallel setting 2 Sunday, April 18,

  1. Error Handling via the Happens-Before Relation Nicholas D. Matsakis Thomas R. Gross ETH Zurich 1 Sunday, April 18, 2010

  2. Exception Handling • Goal of this talk: • Extend exception handling into a parallel setting 2 Sunday, April 18, 2010

  3. Sequential Exceptions void child() { statement 1; statement 2; statement 3; } 3 Sunday, April 18, 2010

  4. Sequential Exceptions void child() { statement 1; statement 2; statement 3; } 3 Sunday, April 18, 2010

  5. Sequential Exceptions void child() { statement 1; statement 2; statement 3; } 3 Sunday, April 18, 2010

  6. Sequential Exceptions void child() { statement 1; statement 2; statement 3; } 3 Sunday, April 18, 2010

  7. Sequential Exceptions void child() { statement 1; statement 2; statement 3; } 3 Sunday, April 18, 2010

  8. Sequential Exceptions void child() { statement 1; statement 2; statement 3; } 3 Sunday, April 18, 2010

  9. Sequential Exceptions void child() { statement 1; statement 2; statement 3; } 4 Sunday, April 18, 2010

  10. Sequential Exceptions void child() { statement 1; statement 2; statement 3; } 4 Sunday, April 18, 2010

  11. Sequential Exceptions void child() { statement 1; ! statement 2; statement 3; } 4 Sunday, April 18, 2010

  12. Sequential Exceptions void child() { statement 1; ! statement 2; statement 3; } 4 Sunday, April 18, 2010

  13. Sequential Exceptions void child() { statement 1; ! statement 2; Subsequent statement 3; statements } are skipped. 4 Sunday, April 18, 2010

  14. Sequential Exceptions void parent() { child(); ...; } 5 Sunday, April 18, 2010

  15. Sequential Exceptions void parent() ! { child(); ...; } 5 Sunday, April 18, 2010

  16. Sequential Exceptions void parent() ! { child(); ...; } 5 Sunday, April 18, 2010

  17. Sequential Exceptions void parent() ! { child(); Subsequent statements ...; in outer } scopes are also skipped. 5 Sunday, April 18, 2010

  18. Sequential Exceptions void grandparent() { try { parent(); ... } catch (...) { } } 6 Sunday, April 18, 2010

  19. Sequential Exceptions void grandparent() { ! try { parent(); ... } catch (...) { } } 6 Sunday, April 18, 2010

  20. Sequential Exceptions void grandparent() { ! try { parent(); ... } catch (...) { } } 6 Sunday, April 18, 2010

  21. Sequential Exceptions void grandparent() { ! try { parent(); ... } catch (...) { Continues } until caught. } 6 Sunday, April 18, 2010

  22. Key Points • After an error occurs: • Subsequent statements are skipped • Until the error is caught in some enclosing scope 7 Sunday, April 18, 2010

  23. Exceptions and Threads • In a sequential setting, subsequent statements are easy to identify. • Not with threads. 8 Sunday, April 18, 2010

  24. Threads write read Buffer Producer Consumer 9 Sunday, April 18, 2010

  25. Threads write read Buffer Producer Consumer 9 Sunday, April 18, 2010

  26. Threads write read Buffer Producer Consumer 9 Sunday, April 18, 2010

  27. Threads write read Buffer Producer Consumer 9 Sunday, April 18, 2010

  28. Threads write read Buffer Producer Consumer 9 Sunday, April 18, 2010

  29. Threads write read Buffer Producer Consumer 10 Sunday, April 18, 2010

  30. Threads write read Buffer Producer Consumer 10 Sunday, April 18, 2010

  31. Threads write read Buffer Producer Consumer 10 Sunday, April 18, 2010

  32. Threads write read ! Buffer Producer Consumer 10 Sunday, April 18, 2010

  33. Threads write read ! Buffer Producer Consumer 10 Sunday, April 18, 2010

  34. Threads write read ! Buffer Producer Consumer 10 Sunday, April 18, 2010

  35. Invisible Ordering • Ordering between statements in different threads is never stated explicitly • Created by side-effects • signals, locks 11 Sunday, April 18, 2010

  36. Intervals • An alternative model for parallel programs • Based on an explicit happens-before relation 12 Sunday, April 18, 2010

  37. Interval Interval a = a interval { statement 1; statement 2; }; 13 Sunday, April 18, 2010

  38. Interval Interval a = interval {...}; a Interval b = b c interval {...}; Interval c = interval {...}; 14 Sunday, April 18, 2010

  39. Happens Before Interval a = interval {...}; a b Interval b = interval {...}; Interval c = interval {...}; c a.end.addHb(c.start); b.end.addHb(c.start); 15 Sunday, April 18, 2010

  40. Happens Before Interval a = interval {...}; a b Interval b = interval {...}; Interval c = interval {...}; c a.end.addHb(c.start); b.end.addHb(c.start); 15 Sunday, April 18, 2010

  41. Happens Before Interval a = interval {...}; a b Interval b = interval {...}; Interval c = interval {...}; c a.end.addHb(c.start); b.end.addHb(c.start); 15 Sunday, April 18, 2010

  42. Hierarchy par void method(Interval par) { a b a = interval(par) {...} b = interval(par) {...} c = interval(par) {...} a.end.addHb(c.start); c b.end.addHb(c.start); } 16 Sunday, April 18, 2010

  43. Hierarchy par void method(Interval par) { a b a = interval(par) {...} b = interval(par) {...} c = interval(par) {...} a.end.addHb(c.start); c b.end.addHb(c.start); } 16 Sunday, April 18, 2010

  44. Hierarchy par void method(Interval par) { a b a = interval(par) {...} b = interval(par) {...} c = interval(par) {...} a.end.addHb(c.start); c b.end.addHb(c.start); } 16 Sunday, April 18, 2010

  45. Hierarchy par void method(Interval par) { a b a = interval(par) {...} b = interval(par) {...} c = interval(par) {...} a.end.addHb(c.start); c b.end.addHb(c.start); } 16 Sunday, April 18, 2010

  46. Hierarchy par void method(Interval par) { a b a = interval(par) {...} b = interval(par) {...} c = interval(par) {...} a.end.addHb(c.start); c b.end.addHb(c.start); } 16 Sunday, April 18, 2010

  47. Two-Phase Execution par par = interval { doSomething(); method(par); doSomethingElse(); } 17 Sunday, April 18, 2010

  48. Two-Phase Execution par par = interval { doSomething(); method(par); doSomethingElse(); } 17 Sunday, April 18, 2010

  49. Two-Phase Execution par par = interval { doSomething(); method(par); a b doSomethingElse(); c } 17 Sunday, April 18, 2010

  50. Two-Phase Execution par par = interval { doSomething(); method(par); a b doSomethingElse(); c } 17 Sunday, April 18, 2010

  51. Two-Phase Execution par par = interval { doSomething(); method(par); a b doSomethingElse(); c } 17 Sunday, April 18, 2010

  52. Error Handling • If an exception is thrown at point P and caught at point Q: • Statements that happen after P and before Q are skipped. • An interval may catch errors that occur in it or its children. 18 Sunday, April 18, 2010

  53. Everything Goes Well par par = interval { doSomething(); method(par); doSomethingElse(); } 19 Sunday, April 18, 2010

  54. Everything Goes Well par par = interval { doSomething(); method(par); doSomethingElse(); } 19 Sunday, April 18, 2010

  55. Everything Goes Well par par = interval { doSomething(); method(par); a b doSomethingElse(); c } 19 Sunday, April 18, 2010

  56. Everything Goes Well par par = interval { doSomething(); method(par); a b doSomethingElse(); c } 19 Sunday, April 18, 2010

  57. Everything Goes Well par par = interval { doSomething(); method(par); a b doSomethingElse(); c } 19 Sunday, April 18, 2010

  58. Everything Goes Well par par = interval { doSomething(); method(par); a b doSomethingElse(); c } 19 Sunday, April 18, 2010

  59. Everything Goes Well par par = interval { doSomething(); method(par); a b doSomethingElse(); c } 19 Sunday, April 18, 2010

  60. Child Fails par par = interval { doSomething(); method(par); doSomethingElse(); } 20 Sunday, April 18, 2010

  61. Child Fails par par = interval { doSomething(); method(par); a b doSomethingElse(); c } 20 Sunday, April 18, 2010

  62. Child Fails par par = interval { doSomething(); ! method(par); a b doSomethingElse(); c } 20 Sunday, April 18, 2010

  63. Child Fails par par = interval { doSomething(); ! method(par); a b doSomethingElse(); c } 20 Sunday, April 18, 2010

  64. Child Fails par par = interval { doSomething(); ! method(par); a b doSomethingElse(); c S } 20 Sunday, April 18, 2010

  65. Child Fails par par = interval { doSomething(); ! method(par); a b doSomethingElse(); c S } 20 Sunday, April 18, 2010

  66. Parent Fails par par = interval { doSomething(); method(par); doSomethingElse(); } 21 Sunday, April 18, 2010

  67. Parent Fails par par = interval { doSomething(); method(par); a b doSomethingElse(); c } 21 Sunday, April 18, 2010

  68. Parent Fails par par = interval { ! doSomething(); method(par); a b doSomethingElse(); c } 21 Sunday, April 18, 2010

  69. Parent Fails par par = interval { ! doSomething(); method(par); a b doSomethingElse(); c } 21 Sunday, April 18, 2010

  70. Parent Fails par par = interval { ! doSomething(); method(par); a b S S doSomethingElse(); c S } 21 Sunday, April 18, 2010

Recommend

llvm::Error Rich Error Handling in LLVM Error Handling History LLVMs APIs historically

llvm::Error Rich Error Handling in LLVM Error Handling History LLVMs APIs historically

llvm::Error Rich Error Handling in LLVM Error Handling History LLVMs APIs historically used ad-hoc approaches bools, nullptrs, string errors std::error_code C++ standard library error type Enumerable errors only Lack

273 views • 9 slides
Error Handling Marco Chiarandini Department of Mathematics & Computer Science University of

Error Handling Marco Chiarandini Department of Mathematics & Computer Science University of

DM560 Introduction to Programming in C++ Error Handling Marco Chiarandini Department of Mathematics & Computer Science University of Southern Denmark [ Based on slides by Bjarne Stroustrup ] Error Handling Outline 1. Error Handling 2

573 views • 36 slides
Compilers Error Handling Alex Aiken Error Handling Purpose of the compiler is To detect

Compilers Error Handling Alex Aiken Error Handling Purpose of the compiler is To detect

Compilers Error Handling Alex Aiken Error Handling Purpose of the compiler is To detect non-valid programs To translate the valid ones Many kinds of possible errors (e.g. in C) Error kind Example Detected

656 views • 9 slides
Exception Handling in C++ throw - try - catch ! class InvalidNumber { }; void main() {

Exception Handling in C++ throw - try - catch ! class InvalidNumber { }; void main() {

14 . Exception Handling: Mechanism and Usage Exception Handling Synchronous Errors Asynchronous Errors An Example function : Call may result in an error double sqrt(int number); Traditional Error Handling Exit the program Return an

454 views • 8 slides
Functional Error Handling 1 / 13 Whats right with exceptions? Exceptions provide a way to

Functional Error Handling 1 / 13 Whats right with exceptions? Exceptions provide a way to

Functional Error Handling 1 / 13 Whats right with exceptions? Exceptions provide a way to consolidate error handling code and separate it from main logic, and an alternative to APIs that require callers of functions to know error

477 views • 13 slides
Error Handling in RCMS Error Handling in RCMS An Overview Francesco Lelli

Error Handling in RCMS Error Handling in RCMS An Overview Francesco Lelli

CMS Error Handling in RCMS Error Handling in RCMS An Overview Francesco Lelli Francesco.lelli@lnl.infn.it L.N.L L.N.L D.S.I. Venezia Venezia D.S.I. CMS Overview Error Handler Principles An Error Handling Framemork: Purpose

729 views • 21 slides
1 Handling exceptions (III) Handling exceptions (II) n try -statements can be nested and

1 Handling exceptions (III) Handling exceptions (II) n try -statements can be nested and

2.6 Error, exception and event Error and exception handling in handling Pascal n There are conditions that have to be fulfilled by a n While errors definitely can occur in Pascal programs, program that sometimes are not fulfilled, which Pascal

143 views • 3 slides
1 Benefits of exception handling Handling exceptions Generally, there are many ways to handle an

1 Benefits of exception handling Handling exceptions Generally, there are many ways to handle an

Java exception mechanism when an error or exceptional condition occurs, you throw an exception which is caught by an exception handler try { // statements that may throw an exception.. if (someCondition) Exceptions and error handling

289 views • 6 slides
Improving the Quality of Error-Handling Code in Systems Software using Function-Local Information

Improving the Quality of Error-Handling Code in Systems Software using Function-Local Information

Improving the Quality of Error-Handling Code in Systems Software using Function-Local Information Suman Saha Laboratoire d'Informatique de Paris 6 Regal 25 th March, 2013 Outline Motivation Contribution 1: Understanding error-handling

869 views • 62 slides
Java Programming Unit 7 Error Handling. Excep8ons. (c)

Java Programming Unit 7 Error Handling. Excep8ons. (c)

Java Programming Unit 7 Error Handling. Excep8ons. (c) Yakov Fain 2014 Run8me errors An excep8on is an run-8me error that may stop

453 views • 20 slides
Control Exception Handling: Exception handling is the control of error conditions or other

Control Exception Handling: Exception handling is the control of error conditions or other

Control Exception Handling: Exception handling is the control of error conditions or other unusual events during the execution of a program. 1 Control In a language without exception handling: When an exception occurs, control

1.15k views • 19 slides
Principles of Programming CM10227 Lecture D.11: Java: Error Handling & Writing Better Code

Principles of Programming CM10227 Lecture D.11: Java: Error Handling & Writing Better Code

Error Handling Input-Output Writing Better Code Principles of Programming CM10227 Lecture D.11: Java: Error Handling & Writing Better Code Dr. Marina De Vos University of Bath Ext: 5053 Academic Year 2012-2013 Lecture D.10. (MDV)

844 views • 81 slides
ECE 2574: Data Structures and Algorithms - Error Handling and Exceptions C. L. Wyatt Today we

ECE 2574: Data Structures and Algorithms - Error Handling and Exceptions C. L. Wyatt Today we

ECE 2574: Data Structures and Algorithms - Error Handling and Exceptions C. L. Wyatt Today we will look at more detail into error handling mechanisms and the use of exceptions. Motivation: what can go wrong? The two and a half approaches

523 views • 18 slides
ERROR HANDLING IN COCOA AGENDA Objective-Cs NSError Swifts try/catch/throws Swifts

ERROR HANDLING IN COCOA AGENDA Objective-Cs NSError Swifts try/catch/throws Swifts

ERROR HANDLING IN COCOA AGENDA Objective-Cs NSError Swifts try/catch/throws Swifts Result<S,F> type Exceptions & Assertions OBJECTIVE-C ERROR HANDLING NSERROR IN OBJECTIVE-C NSError *error = nil; NSString *string =

453 views • 28 slides
CSE 331 Exceptions and Error-Handling slides created by Marty Stepp based on materials by M.

CSE 331 Exceptions and Error-Handling slides created by Marty Stepp based on materials by M.

CSE 331 Exceptions and Error-Handling slides created by Marty Stepp based on materials by M. Ernst, S. Reges, D. Notkin, R. Mercer, Wikipedia http://www.cs.washington.edu/331/ 1 Exceptions exception : An object representing an error.

874 views • 27 slides
Error processing Errors can occur at compile-time or runtime. Error processing Errors can occur

Error processing Errors can occur at compile-time or runtime. Error processing Errors can occur

ITI 1121. Introduction to Computing II Marcel Turcotte School of Electrical Engineering and Computer Science Version of February 23, 2013 Abstract Handling errors Declaring, creating and handling exceptions Checked and unchecked

1.06k views • 103 slides
The dos and donts of error handling Joe Armstrong A system is fault tolerant if it

The dos and donts of error handling Joe Armstrong A system is fault tolerant if it

The dos and donts of error handling Joe Armstrong A system is fault tolerant if it continues working even if something is wrong Work like this is never finished its always in-progress Hardware can fail - relatively

1.17k views • 82 slides
Ch.4: User input and error handling Ole Christian Lingjrde, Dept of Informatics, UiO 15

Ch.4: User input and error handling Ole Christian Lingjrde, Dept of Informatics, UiO 15

Ch.4: User input and error handling Ole Christian Lingjrde, Dept of Informatics, UiO 15 September 2017 (PART 2) Todays agenda A small quiz Short recapitulation of eval and exec . Live-programming of exercises 3.7, 4.1, 4.2, 4.3 Writing

825 views • 47 slides
The bright side of exceptions Introduction The Lisp Condition System Basic Error Handling

The bright side of exceptions Introduction The Lisp Condition System Basic Error Handling

The bright side of exceptions Didier Verna The bright side of exceptions Introduction The Lisp Condition System Basic Error Handling Catching and throwing errors Defining errors Didier Verna Advanced Error Handling Restarts

307 views • 17 slides
Multiple Tests Reality Null is True Null is False (No effect/relation) (Effect/relation

Multiple Tests Reality Null is True Null is False (No effect/relation) (Effect/relation

EDUC 7610 Chapter 11 Multiple Tests Reality Null is True Null is False (No effect/relation) (Effect/relation exists) Null is True Type II Error Correct Decision (Fail to Reject Null) (false negative) Null is False Type I Error

544 views • 12 slides
Web Security, Summer Term 2012 Information Leakage and Improper Error Handling Dr. E. Benoist

Web Security, Summer Term 2012 Information Leakage and Improper Error Handling Dr. E. Benoist

IIG University of Freiburg Web Security, Summer Term 2012 Information Leakage and Improper Error Handling Dr. E. Benoist Sommer Semester Web Security, Summer Term 2012 9.2 Information Leakage and Improper Error Handling 1 Table of Contents

240 views • 12 slides
BGP ERROR HANDLING. DEVELOPING AN OPERATOR-LED APPROACH IN THE IETF. Rob Shakir, Cable&Wireless

BGP ERROR HANDLING. DEVELOPING AN OPERATOR-LED APPROACH IN THE IETF. Rob Shakir, Cable&Wireless

BGP ERROR HANDLING. DEVELOPING AN OPERATOR-LED APPROACH IN THE IETF. Rob Shakir, Cable&Wireless Worldwide. NANOG 51 Feb. 01, 2011 MIAMI, FL A Typical SP Network? CUSTOMER PE PE TRANSIT PEER PE P P PE P PE PE BGP IGP

297 views • 19 slides
draft-ietf-grow-ops-reqs-for-bgp-error-handling Rob Shakir, BT. IETF85 Nov 12. Atlanta,

draft-ietf-grow-ops-reqs-for-bgp-error-handling Rob Shakir, BT. IETF85 Nov 12. Atlanta,

draft-ietf-grow-ops-reqs-for-bgp-error-handling Rob Shakir, BT. IETF85 Nov 12. Atlanta, USA. Open Issues from RtgDir Review and IETF Last Call (I). Thanks to Chris Hall and Geoff Huston for detailed reviews. 1. How do we classify

523 views • 3 slides
Ch.4: User input and error handling Joakim Sundnes 1 , 2 1 Simula Research Laboratory 2 University

Ch.4: User input and error handling Joakim Sundnes 1 , 2 1 Simula Research Laboratory 2 University

Ch.4: User input and error handling Joakim Sundnes 1 , 2 1 Simula Research Laboratory 2 University of Oslo, Dept. of Informatics Sep 4, 2020 0.1 Plan for week 37 Monday 7/9 Exercise 2.19, 2.20, 2.21 (roundoff errors) Leftover from last

322 views • 16 slides

More recommend