Zusammenfassung
In diesem Beitrag wird die formale Spezifikation des Transportdienstes METRO (Multi Endpoint with Reliable Operation) vorgestellt. Der METRO-Transportdienst wurde für Parallelprogramme entwickelt, die auf in Workstation-Clustern verteilten, kooperierenden Prozessen beruhen. Wichtige Merkmale sind dabei dezentralisierte Multicast-Verbindungen ohne spezielle Management-Stationen sowie eine zuverlässige Übertragung der Daten an alle Mitglieder einer Gruppe. Auf Grund der Komplexität eines Multicast-Dienstes wurde der METRO-Dienst mit SDL formal spezifiziert, wobei sich das Fehlen einer Multicast-Übertragungsmöglichkeit für SDL-Signale zeigte. Der Beitrag schlägt deshalb zwei Erweiterungen zu SDL vor, mit denen eine in der Realität vorliegende Gruppenübertragung auch in SDL als solche spezifiziert werden kann.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Referenzen
Beiina, Hogrefe, Sarma, “SDL with applications from protocol specification”, Carl Hanser Verlag 1991
Cap, “Architekturelle Entscheidungen zur Unterstützung parallelen Rechnens in Workstation Clustern und deren Realisierung in existenten Produkten”, in Tavangarian, Bähring (Hrsg.), APS ‘93 Arbeitsplatzrechensysteme, VDE-Verlag 1993, S. 121–132
Hogrefe, “Estelle, LOTUS und SDL, Standard-Spezifikationssprachen für verteilte Systeme”, Springer-Verlag 1989
International Standard ISO 7498, Information processing systems — Open Systems Interconnection — Basic reference model, 1984
Levy, Tempero, “Modules, Objects and Distributed Programming: Issues in RPC and Remote Object Invocation”, in Software — Practice and Experience, Vol. 21, Iss. 1, 1991
SDL2C-Benutzerhandbuch„ Januar 1994, interner Bericht der Universität-GH Paderborn
Wittenberg, Martini, “Measurements in a FDDI Workstation Cluster”, Proc. of the 19th Conf. on Local Comp. Networks, S. 52–58, IEEE 1994
Wittenberg, “METRO — ein Transportprotokoll für Parallelprogramme in Workstation-Clustern”, erscheint im Tagungsband der 3. ITG/GI-Fachtagung Arbeitsplatz-Rechensysteme APS’95, Hannover Mai 1995
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wittenberg, R. (1995). Die Spezifikation des Multicast-Transportdienstes METRO. In: Franke, K., Hübner, U., Kalfa, W. (eds) Kommunikation in Verteilten Systemen. Informatik aktuell. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-79561-9_29
Download citation
DOI: https://doi.org/10.1007/978-3-642-79561-9_29
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58960-0
Online ISBN: 978-3-642-79561-9
eBook Packages: Springer Book Archive