FULLY-DISTRIBUTED DEBUGGING AND VISUALIZATION OF DISTRIBUTED SYSTEMS IN ANONYMOUS NETWORKS

Cédric Aguerre, Thomas Morsellino, Mohamed Mosbah

Abstract

The debugging of distributed algorithms is a major challenge which greatly benefits from the help of an interactive and informative human-computer interface. In this paper we present ViSiDiA, a platform for the visualization, simulation and debugging of distributed algorithms. Our approach respects real-life constraints such as process anonymity and privacy, network synchronicity. We propose a new fully-distributed method for the debugging and monitoring of distributed systems, based on the computation of global states and global predicates from local information in anonymous and asynchronous networks. We show how the debug information can be visualized concurrently with the algorithm execution.

References

  1. Bauderon, M., Gruner, S., Métivier, Y., Mosbah, M., and Sellami, A. (2001). Visualization of distributed algorithms based on labeled rewriting systems. In GTVMT'01, volume 50 of ENTCS, pages 229-239.
  2. Bauderon, M. and Mosbah, M. (2003). A unified framework for designing, implementing and visualizing distributed algorithms. ENTCS, 72(3):13 - 24.
  3. Ben-Ari, M. (2001). Interactive execution of distributed algorithms. J. Educ. Resour. Comput., 1.
  4. Carr, S., Fang, C., Jozwowski, T., Mayo, J., and Shene, C.- K. (2003). Concurrent mentor: A visualization system for distributed programming education. In PDPTA'03.
  5. Chalopin, J., Métivier, Y., and Morsellino, T. (2011). On snapshots and stable properties detection in anonymous fully distributed systems. submitted.
  6. Chandy, K. M. and Lamport, L. (1985). Distributed snapshots: Determining global states of distributed systems. ACM Trans. Comput. Syst., 3(1):63-75.
  7. Chang, X. (1999). Network simulations with OPNET, pages 307-314. ACM.
  8. Derbel, B. and Mosbah, M. (2003). Distributing the execution of a distributed algorithm over a network. In INFOVIS'03, pages 485 - 490.
  9. Guerraoui, R. and Ruppert, E. (2005). What can be implemented anonymously? In DISC, pages 244-259.
  10. Koldehofe, B., Papatriantafilou, M., and Tsigas, P. (2003). Integrating a simulation-visualisation environment in a basic distributed systems course: a case study using lydian. In ITiCSE'03, pages 35-39. ACM.
  11. Matocha, J. and Camp, T. (1998). A taxonomy of distributed termination detection algorithms. Journal of Systems and Software, 43(3):207-221.
  12. Mazurkiewicz, A. (1997). Distributed enumeration. Inf. Processing Letters, 61:233-239.
  13. Moses, Y., Polunsky, Z., Tal, A., and Ulitsky, L. (1998). Algorithm visualization for distributed environments. In INFOVIS'98, pages 71-78.
  14. Pongor, G. (1993). Omnet: Objective modular network testbed. In MASCOTS 7893, pages 323-326.
  15. Raynal, M. (1988). Networks and distributed computation. MIT Press.
  16. Stasko, J. T. and Kraemer, E. (1993). A methodology for building application-specific visualizations of parallel programs. J. Parallel Distrib. Comput., 18:258-264.
  17. Szymanski, B., Shy, Y., and Prywes, N. (1985). Synchronized distributed termination. IEEE Transactions on software engineering, SE-11(10):1136-1140.
  18. Tel, G. (2000). Introduction to distributed algorithms. Cambridge University Press.
  19. Yamashita, M. and Kameda, T. (1996). Computing on anonymous networks: Part i - characterizing the solvable cases. IEEE TPDS, 7(1):69-89.
Download


Paper Citation


in Harvard Style

Aguerre C., Morsellino T. and Mosbah M. (2012). FULLY-DISTRIBUTED DEBUGGING AND VISUALIZATION OF DISTRIBUTED SYSTEMS IN ANONYMOUS NETWORKS . In Proceedings of the International Conference on Computer Graphics Theory and Applications and International Conference on Information Visualization Theory and Applications - Volume 1: IVAPP, (VISIGRAPP 2012) ISBN 978-989-8565-02-0, pages 764-767. DOI: 10.5220/0003861807640767


in Bibtex Style

@conference{ivapp12,
author={Cédric Aguerre and Thomas Morsellino and Mohamed Mosbah},
title={FULLY-DISTRIBUTED DEBUGGING AND VISUALIZATION OF DISTRIBUTED SYSTEMS IN ANONYMOUS NETWORKS},
booktitle={Proceedings of the International Conference on Computer Graphics Theory and Applications and International Conference on Information Visualization Theory and Applications - Volume 1: IVAPP, (VISIGRAPP 2012)},
year={2012},
pages={764-767},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003861807640767},
isbn={978-989-8565-02-0},
}


in EndNote Style

TY - CONF
JO - Proceedings of the International Conference on Computer Graphics Theory and Applications and International Conference on Information Visualization Theory and Applications - Volume 1: IVAPP, (VISIGRAPP 2012)
TI - FULLY-DISTRIBUTED DEBUGGING AND VISUALIZATION OF DISTRIBUTED SYSTEMS IN ANONYMOUS NETWORKS
SN - 978-989-8565-02-0
AU - Aguerre C.
AU - Morsellino T.
AU - Mosbah M.
PY - 2012
SP - 764
EP - 767
DO - 10.5220/0003861807640767