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

Download Presentation
Download Policy: The content available on the website is offered to you 'AS IS' for your personal information and use only. It cannot be commercialized, licensed, or distributed on other websites without prior consent from the author. To download a presentation, simply click this link. If you encounter any difficulties during the download process, it's possible that the publisher has removed the file from their server.

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

453 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
VHE Gamma-Ray Astronomy via Particle Detection at the Ground Level Or A biased review of VHE

VHE Gamma-Ray Astronomy via Particle Detection at the Ground Level Or A biased review of VHE

VHE Gamma-Ray Astronomy via Particle Detection at the Ground Level Or A biased review of VHE Gamm-Ray Survey Instruments Petra Huentemeyer petra@mtu.edu The Players: EAS Arrays Particle Sampling Gamma Rays Tibet AS- 1990-present

418 views • 27 slides
How Can Science Study History? Beth Haven Creation Conference May 13, 2017 Limits of empirical

How Can Science Study History? Beth Haven Creation Conference May 13, 2017 Limits of empirical

How Can Science Study History? Beth Haven Creation Conference May 13, 2017 Limits of empirical knowledge Galaxies 22 20 Man created to have dominion Solar over nature starting with the 18 System correspondence God created 16 between

292 views • 12 slides
r i i r r camera Computer 3D synthetic tone model Graphics: models

r i i r r camera Computer 3D synthetic tone model Graphics: models

Logistics Checkpoint 2 Texture Mapping Still grading Note on grading Checkpoint 3 Due Monday Project Proposals All should have received e-mail feedback. Logistics Projects Grad students Approx 26-28 projects

259 views • 12 slides
19 July 2020 Access service sheets at thecrossing.com.sg/im-new/sunday-services/ Family

19 July 2020 Access service sheets at thecrossing.com.sg/im-new/sunday-services/ Family

19 July 2020 Access service sheets at thecrossing.com.sg/im-new/sunday-services/ Family Declaration Ephesians 1:3-6 3 Blessed be the God and Father of our Lord Jesus Christ, who has blessed us in Christ with every spiritual blessing in the

591 views • 42 slides
Reflective Parallel Programming Nicholas D. Matsakis, Thomas R. Gross ETH Zurich 1 Friday,

Reflective Parallel Programming Nicholas D. Matsakis, Thomas R. Gross ETH Zurich 1 Friday,

Reflective Parallel Programming Nicholas D. Matsakis, Thomas R. Gross ETH Zurich 1 Friday, June 18, 2010 Reflective Parallelism Reflection : Ability for a program to reason about its own structure Reflective Parallelism : Ability for

1.31k views • 118 slides
Linda and Its Tuple Spaces Abhinav S Bhatele (CS498lvk) Introduction It is essentially a

Linda and Its Tuple Spaces Abhinav S Bhatele (CS498lvk) Introduction It is essentially a

Linda and Its Tuple Spaces Abhinav S Bhatele (CS498lvk) Introduction It is essentially a shared-memory programming model based on tuple-spaces Only cares about process creation and co- ordination How and what the process computes is

130 views • 11 slides
ECDA EARLY CHILDHOOD CONFERENCE 2018 Building Professional Capacity Concurrent Workshop B

ECDA EARLY CHILDHOOD CONFERENCE 2018 Building Professional Capacity Concurrent Workshop B

ECDA EARLY CHILDHOOD CONFERENCE 2018 Building Professional Capacity Concurrent Workshop B Effective pedagogical leadership for programme quality - A case study 5 Oct 2018 Dr Sandra Wu National Institute of Education, Nanyang Technological

436 views • 24 slides
COMP80142: Academic Writing and Impact Studies Jonathan Shapiro Bijan Parsia School of Computer

COMP80142: Academic Writing and Impact Studies Jonathan Shapiro Bijan Parsia School of Computer

COMP80142: Academic Writing and Impact Studies Jonathan Shapiro Bijan Parsia School of Computer Science University of Manchester February 3, 2019 Announcement Announcement The students (you) do not seem to be on Blackboard. I have

806 views • 41 slides

More recommend