loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2003 International Conference on Dependable Systems and Networks (DSN'03)
Automatic Detection and Masking of Non-Atomic Exception Handling
San Francisco, California
June 22-June 25
ISBN: 0-7695-1952-0
Christof Fetzer, AT&T Labs
Karin Högstedt, AT&T Labs
Pascal Felber, Institut EURECOM
Developing robust applications is a challenging task. Although modern programming languages like C++ and Java provide sophisticated exception handling-mechanisms to detect and correct runtime error conditions, exception handling code must still be programmed with care to preserve application consistency. In particular, exception handling is only effective if the premature termination of a method due to an exception does not leave an object in an inconsistent state. We address this issue by introducing the notion of failure atomicity in the context of exceptions and novel techniques to automatically detect and mask non-atomic exception handling. These techniques can be applied to applications written in several different programming languages, and can be used even when the application?s source code is not available. We perform experimental evaluation on both C++ and Java applications to demonstrate the effectiveness of our techniques and measure the overhead that they introduce.
Citation:
Christof Fetzer, Karin Högstedt, Pascal Felber, "Automatic Detection and Masking of Non-Atomic Exception Handling," dsn, pp.445, 2003 International Conference on Dependable Systems and Networks (DSN'03), 2003
Usage of this product signifies your acceptance of the Terms of Use.