New Concepts for Distributed System Structuring

  • Jean-Pierre Banatre
Conference paper
Part of the NATO ASI Series book series (volume 28)


Distributed systems and data base applications tend to put forward the need of new structuring concepts. These concepts allow the grouping of several computations into logical entities called process groups,activities,teams… This paper reviews some recent proposals and presents a program structure, called multi-function, which generalizes the well known concept of function in order to describe parallel computations.


Nest Activity Remote Procedure Call Stable Object Distribute Operating System Abstraction Mechanism 
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. [BANA-80]
    BANATRE J.P. Contribution à l’étude de méthodes et d’outils de construction de programmes parallèles et fiables. Thèse d’Etat, Université de Rennes 1, december. 1980.Google Scholar
  2. [BANA-84]
    BANATRE M. Le Système ENCHERE: une Expérience dans la Conception et la Réalisation d’un Système Réparti. Thèse d’Etat, Université de Rennes 1, March 1984.Google Scholar
  3. [BANA-86a]
    BANATRE J.P., BANATRE M., LAPALME G., PLOYETTE Fl. The Design and Building of ENCHERE, a Distributed Electronic Marketing System. Com. of the ACM, Vol 29, n∘l, January 1986. pp. 19–29.CrossRefGoogle Scholar
  4. [BANA-86b]
    BANATRE J.-P., BANATRE M., PLOYETTE F. An overview of the GOTHIC distributed operating system. INRIA Research Report, 504, March 86.Google Scholar
  5. [BANA-86c]
    BANATRE J-.P., BANATRE M., PLOYETTE F. The concept of multi-function: a general structuring tool for distributed computing systems. Proc. of the 6th DCS,Cambridge MA,May 86,pp 478–485.Google Scholar
  6. [BIRR-84]
    BIRRELL A., NELSON B. Implementing Remote Procedure Calls. ACM TOCS, Vol 2, n∘1, Feb. 1984, pp. 39–59.CrossRefGoogle Scholar
  7. [BULL-85]
    BULL Cie Structure générale du SPS7. Manuel de présentation. BULL Documentation, Jan 85.Google Scholar
  8. [CHER-85]
    CHERITON D.P., ZWAENEPOEL W. Distributed Process Group in the V Kernel. ACM TOCS, Vol. 3,N∘2, May 1985, pp. 77–107.CrossRefGoogle Scholar
  9. [FORM-86]
    FORMAN I.R. Raddle, an informal introduction. MCC publication, Feb. 86.Google Scholar
  10. [FRAN-85]
    FRANCEZ N., HAILPERN B., TAUBENFELD G. Script: A communication abstraction mechanism and its verification. In NATO ASI Series, Vol. F13, K. Apt Ed., 1985.Google Scholar
  11. [HOAR-78]
    HOAREC.A.R. Communicating Sequential Processes. Com. ACM 21,8, Aug.1978, pp.666–677.CrossRefGoogle Scholar
  12. [LAMP-84]
    LAMPORT L., SCHNEIDER F. Formal Foundation for Specification and Verification. LNCS 190, 1984, pp. 203–270.Google Scholar
  13. [LAMP-76]
    LAMPSON B., STURGIS H. Crash recovery in distributed data storage systems. Working paper, XEROX PARC, Nov. 1976.Google Scholar
  14. [LEAC-83]
    LEACH P.J., LEVINE P.H. DOUROS B.P., HAMILTON J.A., NELSON D.L., STUMPF B.L. The architecture of an Integrated Local Network. IEEE Journal on selected areas in comm.,Nov. 1983, pp.842–856.Google Scholar
  15. [LECL-86]
    LECLER P. Mise en oeuvre des multi-fonctions sur UNIX BSD 4.2. DEA Report, University of Rennes, June 1986.Google Scholar
  16. [LISK-77]
    LISKOV B., SNYDER A., ATKINSON R., SCHAFFERT C. Abstraction mechanisms in CLU. CACM 20(8), August 1977, pp. 564–576.zbMATHGoogle Scholar
  17. [LISK-84]
    LISKOV B. The Argus Language and System. LNCS 190,1984, pp. 343–430.Google Scholar
  18. [MOSS-81]
    MOSS J.E.B. Nested Transactions: an Approach to Reliable Distributed Computing. MIT/LCS/TR-260, M.I.T. LCS, Cambridge, Ma., 1981.Google Scholar
  19. [MUEL-83]
    MUELLER E., MOORE J., POPEK G. A Nested Transaction System for LOCUS. Proc of 9 th SOSP, Bretton Woods, N.H., Oct. 10–13.Google Scholar
  20. [SHRI-82]
    SHRIVASTAVA S., PANZIERI F. The Design of a Reliable Remote Procedure Call Mechanism. IEEE Trans, on Computer, vol C-31, n ∘37, July 1982, pp. 692–697CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • Jean-Pierre Banatre
    • 1
  1. 1.Campus de BeaulieuIRISA/INSA and INRIA RennesRennes-CedexFrance

Personalised recommendations