Analyzing distributed java applications by automatic centralization

Lei Ma, Cyrille Artho, Hiroyuki Sato

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Citations (Scopus)

Abstract

The verification and analysis of distributed applications are difficult. They involve large combinational states, interactive network communication between peers, and concurrency. Some dynamic analysis tools can analyze the runtime behavior of a single-process application. However, they do not support the analysis of a whole distributed application, where multiple processes run simultaneously. Centralization is a general solution, which transforms multi-process applications into a single-process one that can be directly analyzed by such existing tools. In this paper, we adopt centralization as a general framework for analyzing distributed applications. We propose and solve the essential issue of a class version conflict during centralization. We also propose a clean solution for the shutdown semantics. We implement and apply our centralization tool to some network benchmarks. Experiments, where existing tools are used on the centralized application, support the usefulness of our automatic centralization tool. Centralization enables existing single-process tools to analyze distributed applications.

Original languageEnglish
Title of host publicationProceedings - 2013 IEEE 37th Annual Computer Software and Applications Conference Workshops, COMPSACW 2013
Pages691-696
Number of pages6
DOIs
Publication statusPublished - 2013
Externally publishedYes
Event2013 IEEE 37th Annual Computer Software and Applications Conference Workshops, COMPSACW 2013 - Kyoto, Japan
Duration: Jul 22 2013Jul 26 2013

Publication series

NameProceedings - International Computer Software and Applications Conference
ISSN (Print)0730-3157

Other

Other2013 IEEE 37th Annual Computer Software and Applications Conference Workshops, COMPSACW 2013
CountryJapan
CityKyoto
Period7/22/137/26/13

All Science Journal Classification (ASJC) codes

  • Software
  • Computer Science Applications

Fingerprint Dive into the research topics of 'Analyzing distributed java applications by automatic centralization'. Together they form a unique fingerprint.

Cite this