Skip to main content

On Snapshots and Stable Properties Detection in Anonymous Fully Distributed Systems (Extended Abstract)

  • Conference paper
Structural Information and Communication Complexity (SIROCCO 2012)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 7355))

Abstract

Most known snapshot algorithms assume that the vertices of the network have unique identifiers and/or that there is exactly one initiator. This paper concerns snapshot computation in an anonymous network and more generally what stable properties of a distributed system can be computed anonymously with local snapshots with multiple initiators when knowing an upper bound on the diameter of the network.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Angluin, D.: Local and global properties in networks of processors. In: Proceedings of the 12th Symposium on Theory of Computing, pp. 82–93 (1980)

    Google Scholar 

  2. Attiya, H., Welch, J.: Distributed computing: fundamentals, simulations, and advanced topics. John Wiley & Sons (2004)

    Google Scholar 

  3. Boldi, P., Codenotti, B., Gemmell, P., Shammah, S., Simon, J., Vigna, S.: Symmetry breaking in anonymous networks: Characterizations. In: Proc. 4th Israeli Symposium on Theory of Computing and Systems, pp. 16–26. IEEE Press (1996)

    Google Scholar 

  4. Boldi, P., Vigna, S.: Computing anonymously with arbitrary knowledge. In: Proceedings of the 18th ACM Symposium on Principles of Distributed Computing, pp. 181–188. ACM Press (1999)

    Google Scholar 

  5. Boldi, P., Vigna, S.: Fibrations of graphs. Discrete Math. 243, 21–66 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  6. Chalopin, J.: Algorithmique distribuée, calculs locaux et homorphismes de graphes. PhD thesis, université Bordeaux 1 (2006)

    Google Scholar 

  7. Chandy, K.M., Lamport, L.: Distributed snapshots: Determining global states of distributed systems. ACM Trans. Comput. Syst. 3(1), 63–75 (1985)

    Article  Google Scholar 

  8. Chalopin, J., Métivier, Y.: An efficient message passing election algorithm based on mazurkiewicz’s algorithm. Fundam. Inform. 80(1-3), 221–246 (2007)

    MATH  Google Scholar 

  9. Guerraoui, R., Ruppert, E.: What Can Be Implemented Anonymously? In: Fraigniaud, P. (ed.) DISC 2005. LNCS, vol. 3724, pp. 244–259. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  10. Gross, J.L., Tucker, T.W.: Topological graph theory. Wiley Interscience (1987)

    Google Scholar 

  11. Johnson, R.E., Schneider, F.B.: Symmetry and similarities in distributed systems. In: Proc. 4th Conf. on Principles of Distributed Computing, pp. 13–22 (1985)

    Google Scholar 

  12. Kshemkalyani, A.D., Raynal, M., Singhal, M.: An introduction to snapshot algorithms in distributed computing. Distributed Systems Engineering 2(4), 224–233 (1995)

    Article  Google Scholar 

  13. Kshemkalyani, A.D., Singhal, M.: Distributed computing, Cambridge (2008)

    Google Scholar 

  14. Mazurkiewicz, A.: Distributed enumeration. Inf. Processing Letters 61, 233–239 (1997)

    Article  MathSciNet  Google Scholar 

  15. Matocha, J., Camp, T.: A taxonomy of distributed termination detection algorithms. Journal of Systems and Software 43(3), 207–221 (1998)

    Article  Google Scholar 

  16. Raynal, M.: Networks and distributed computation. MIT Press (1988)

    Google Scholar 

  17. Santoro, N.: Design and analysis of distributed algorithm. Wiley (2007)

    Google Scholar 

  18. Schiper, A., Sandoz, A.: Strong stable properties in distributed systems. Distributed Computing 8(2), 93–103 (1994)

    Article  Google Scholar 

  19. Szymanski, B., Shy, Y., Prywes, N.: Synchronized distributed termination. IEEE Transactions on Software Engineering SE-11(10), 1136–1140 (1985)

    Article  Google Scholar 

  20. Tel, G.: Introduction to distributed algorithms. Cambridge University Press (2000)

    Google Scholar 

  21. Yamashita, M., Kameda, T.: Computing functions on asynchronous anonymous networks. Math. Systems Theory 29, 331–356 (1996)

    MathSciNet  MATH  Google Scholar 

  22. Yamashita, M., Kameda, T.: Computing on anonymous networks: Part i - characterizing the solvable cases. IEEE Transactions on Parallel and Distributed Systems 7(1), 69–89 (1996)

    Article  Google Scholar 

  23. Yamashita, M., Kameda, T.: Leader election problem on networks in which processor identity numbers are not distinct. IEEE Transactions on Parallel and Distributed Systems 10(9), 878–887 (1999)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Chalopin, J., Métivier, Y., Morsellino, T. (2012). On Snapshots and Stable Properties Detection in Anonymous Fully Distributed Systems (Extended Abstract). In: Even, G., Halldórsson, M.M. (eds) Structural Information and Communication Complexity. SIROCCO 2012. Lecture Notes in Computer Science, vol 7355. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-31104-8_18

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-31104-8_18

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-31103-1

  • Online ISBN: 978-3-642-31104-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics