Abstract
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.
Chapter PDF
Similar content being viewed by others
Keywords
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.
References
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.
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.
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.
BANATRE J.-P., BANATRE M., PLOYETTE F. An overview of the GOTHIC distributed operating system. INRIA Research Report, 504, March 86.
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.
BIRRELL A., NELSON B. Implementing Remote Procedure Calls. ACM TOCS, Vol 2, n∘1, Feb. 1984, pp. 39–59.
BULL Cie Structure générale du SPS7. Manuel de présentation. BULL Documentation, Jan 85.
CHERITON D.P., ZWAENEPOEL W. Distributed Process Group in the V Kernel. ACM TOCS, Vol. 3,N∘2, May 1985, pp. 77–107.
FORMAN I.R. Raddle, an informal introduction. MCC publication, Feb. 86.
FRANCEZ N., HAILPERN B., TAUBENFELD G. Script: A communication abstraction mechanism and its verification. In NATO ASI Series, Vol. F13, K. Apt Ed., 1985.
HOAREC.A.R. Communicating Sequential Processes. Com. ACM 21,8, Aug.1978, pp.666–677.
LAMPORT L., SCHNEIDER F. Formal Foundation for Specification and Verification. LNCS 190, 1984, pp. 203–270.
LAMPSON B., STURGIS H. Crash recovery in distributed data storage systems. Working paper, XEROX PARC, Nov. 1976.
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.
LECLER P. Mise en oeuvre des multi-fonctions sur UNIX BSD 4.2. DEA Report, University of Rennes, June 1986.
LISKOV B., SNYDER A., ATKINSON R., SCHAFFERT C. Abstraction mechanisms in CLU. CACM 20(8), August 1977, pp. 564–576.
LISKOV B. The Argus Language and System. LNCS 190,1984, pp. 343–430.
MOSS J.E.B. Nested Transactions: an Approach to Reliable Distributed Computing. MIT/LCS/TR-260, M.I.T. LCS, Cambridge, Ma., 1981.
MUELLER E., MOORE J., POPEK G. A Nested Transaction System for LOCUS. Proc of 9 th SOSP, Bretton Woods, N.H., Oct. 10–13.
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–697
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1987 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Banatre, JP. (1987). New Concepts for Distributed System Structuring. In: Paker, Y., Banatre, JP., Bozyiğit, M. (eds) Distributed Operating Systems. NATO ASI Series, vol 28. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-46604-5_6
Download citation
DOI: https://doi.org/10.1007/978-3-642-46604-5_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-46606-9
Online ISBN: 978-3-642-46604-5
eBook Packages: Springer Book Archive