Improving Program Correctness with Atomic Exception Handling
Publikation: Sonstige Veröffentlichung › Sonstiges › Beigetragen
Beitragende
Abstract
Exception handling is a powerful mechanisms for dealing with failures at
runtime. It simplifies the development of robust programs by allowing the programmer
to implement recovery actions and tolerate non-fatal errors. Yet, exception handling
is difficult to get right! The complexity of correct exception handling is a major cause
for incorrect exception handling. It is therefore important to reduce the complexity
of writing exception handling code while, at the same time, making sure it is correct.
Our approach is to use atomic blocks for exception handling combined with optional
compensation actions.
runtime. It simplifies the development of robust programs by allowing the programmer
to implement recovery actions and tolerate non-fatal errors. Yet, exception handling
is difficult to get right! The complexity of correct exception handling is a major cause
for incorrect exception handling. It is therefore important to reduce the complexity
of writing exception handling code while, at the same time, making sure it is correct.
Our approach is to use atomic blocks for exception handling combined with optional
compensation actions.
Details
Originalsprache | Englisch |
---|---|
Seitenumfang | 26 |
Band | 13 |
Publikationsstatus | Veröffentlicht - 2007 |
Peer-Review-Status | Nein |
No renderer: customAssociatesEventsRenderPortal,dk.atira.pure.api.shared.model.researchoutput.OtherContribution
Schlagworte
Forschungsprofillinien der TU Dresden
DFG-Fachsystematik nach Fachkollegium
Schlagwörter
- exception handling, transactional memory