A model of exception propagation in distributed applications

Authors:
Paweł L. Kaczmarek;Henryk Krawczyk
Affiliations:
Faculty of Electronics, Telecommunications and Informatics, Gdańsk University of Technology, Poland;Faculty of Electronics, Telecommunications and Informatics, Gdańsk University of Technology, Poland
Venue:
PPAM'05 Proceedings of the 6th international conference on Parallel Processing and Applied Mathematics
Year:
2005

Citing 8
Cited 0

The program dependence graph and its use in optimization

ACM Transactions on Programming Languages and Systems (TOPLAS)
Observations on program-wide Ada exception propagation

TRI-Ada '93 Proceedings of the conference on TRI-Ada '93
Efficient and precise modeling of exceptions for the analysis of Java programs

Proceedings of the 1999 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Analysis and Testing of Programs with Exception Handling Constructs

IEEE Transactions on Software Engineering
Flow Analysis of Computer Programs

Flow Analysis of Computer Programs
Dependence Analysis of Parallel and Distributed Programs and Its Applications

APDC '97 Proceedings of the 1997 Advances in Parallel and Distributed Computing Conference (APDC '97)
Multithreaded Dependence Graphs for Concurrent Java Program

PDSE '99 Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems
Automatic Failure-Path Inference: A Generic Introspection Technique for Internet Applications

WIAPP '03 Proceedings of the The Third IEEE Workshop on Internet Applications

Quantified Score

Hi-index	0.00

Visualization

Abstract

The paper presents a method of modeling exception propagation in distributed applications. The method is based on sequential control flow analysis and distributed control dependence analysis, that are used to detect potential interactions between subsystems. The consequences of exception occurrence are identified in local and remote contexts by calculating both explicit propagation paths and implicit influences between parallel subsystems. In order to present the adequacy of exception handling constructs, a representative, multithreaded application is prepared and quantitative information about its behavior is gathered.