Analyzing distributed java applications by automatic centralization

Lei Ma, Cyrille Artho, Hiroyuki Sato

研究成果: 書籍/レポート タイプへの寄稿会議への寄与

5 被引用数 (Scopus)

抄録

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.

本文言語英語
ホスト出版物のタイトルProceedings - 2013 IEEE 37th Annual Computer Software and Applications Conference Workshops, COMPSACW 2013
ページ691-696
ページ数6
DOI
出版ステータス出版済み - 2013
外部発表はい
イベント2013 IEEE 37th Annual Computer Software and Applications Conference Workshops, COMPSACW 2013 - Kyoto, 日本
継続期間: 7月 22 20137月 26 2013

出版物シリーズ

名前Proceedings - International Computer Software and Applications Conference
ISSN(印刷版)0730-3157

その他

その他2013 IEEE 37th Annual Computer Software and Applications Conference Workshops, COMPSACW 2013
国/地域日本
CityKyoto
Period7/22/137/26/13

!!!All Science Journal Classification (ASJC) codes

  • ソフトウェア
  • コンピュータ サイエンスの応用

フィンガープリント

「Analyzing distributed java applications by automatic centralization」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル