Automatic Detection and Masking of Non-Atomic Exception Handling

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/GutachtenBeitrag in KonferenzbandBeigetragen

Beitragende

  • Christof Fetzer - , AT&T (Autor:in)
  • Karin Hogstedt - , AT&T (Autor:in)
  • Pascal Felber - , Institut Eurecom (Autor:in)

Abstract

Developing robust applications is a challenging task. Al-though 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.

Details

OriginalspracheEnglisch
Titel2003 International Conference on Dependable Systems and Networks
Seiten445-454
Seitenumfang10
PublikationsstatusVeröffentlicht - 2003
Peer-Review-StatusNein
Extern publiziertJa

Konferenz

TitelInternational Conference on Dependable Systems and Networks 2003
KurztitelDSN 2003
Dauer22 - 25 Juni 2003
BekanntheitsgradInternationale Veranstaltung
StadtSan Francisco
LandUSA/Vereinigte Staaten

Externe IDs

Scopus 1542359982

Schlagworte

Forschungsprofillinien der TU Dresden

DFG-Fachsystematik nach Fachkollegium

Schlagwörter

  • Robustness, Programming profession, computer lanuages, Java, Runtime, Applicatioin software, Error correction codes, Performance evaluation, software measurement, software performance