A Fault Tolerant Abstraction for Transparent Distributed Programming

  • Donatien Grolaux
  • Kevin Glynn
  • Peter Van Roy
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3389)


This paper introduces a network fault model for distributed applications developed with the Mozart programming platform. First, it describes the fault model currently offered by Mozart, and the issues that make this model inconvenient for building fault-tolerant applications. Second, it introduces a novel fault model that addresses these issues. This model is based on a localization operation for distributed entities, and on an event-based mechanism to manage network faults. We claim that this model 1) is much better than the current one in all aspects, and 2) simplifies the development of fault-tolerant distributed applications by making the fault-tolerant aspect (largely) separate from the application logic. A prototype of this model has been developed on the existing Mozart platform. This prototype has been used on real applications to validate the aforementioned claims.


Fault Detection Fault Model Network Problem Network Fault Local Entity 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Grosso, W.: Java RMI. O’Reilly, Sebastopol (2001)Google Scholar
  2. 2.
    Armstrong, J., Virding, R., Wikström, C., Williams, M.: Concurrent Programming in Erlang, 2nd edn., Ch.6, CH.8. Prentice Hall, Englewood Cliffs (1996)Google Scholar
  3. 3.
    Flenner, R., Abbott, M., Boubez, T., Boubez, T., Cohen, F., Krishnan, N., Moffet, A., Ramamurti, R., Siddiqui, B., Sommers, F.: Java P2P Unleashed: With JXTA, Web Services, XML, Jini, JavaSpaces, and J2EE. Sams Publishing (2002)Google Scholar
  4. 4.
    Haridi, S., Van Roy, P., Smolka, G.: An overview of the design of Distributed Oz. In: Proceedings of the Second International Symposium on Parallel Symbolic Computation (PASCO 1997),, Maui, Hawaii, USA, pp. 176–187. ACM Press, New York (1997)CrossRefGoogle Scholar
  5. 5.
    The Mozart Consortium: Mozart documentation (2004) Available at,
  6. 6.
    Van Roy, P., Haridi, S.: Concepts, Techniques, and Models of Computer Programming, Ch.1. The MIT Press, Cambridge (2004)Google Scholar
  7. 7.
    Van Roy, P., Haridi, S., Brand, P.: Distributed programming in Mozart – a tutorial introduction (2004) Available at,

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Donatien Grolaux
    • 1
  • Kevin Glynn
    • 2
  • Peter Van Roy
    • 2
  1. 1.CETIC asblCharleroiBelgium
  2. 2.Département d’Ingénierie InformatiqueUniversité catholique de LouvainLouvain-la-NeuveBelgium

Personalised recommendations