Rainer Klar u. a. Messung und Modeliierung paralleler und verteilter Rechensysteme

Transkript

1 Rainer Klar u. a. Messung und Modeliierung paralleler und verteilter Rechensysteme

2 Messung und Modeliierung paralleler und verteilter Rechensysteme Von Dr.-lng. Rainer Klar Dipl.-lnf. Peter Dauphin Dr.-lng. Franz Hartleb Dr.-lng. Richard Hofmann Dr.-lng. Bernd Mohr Dr.-lng. Andreas Quick Dipl.-lnf. Markus Siegle 83 Springer Fachmedien Wiesbaden 1995

3 Dr.-lng. Rainer Klar Geboren 1936 in Standort/Schlesien. Studium der Physik von 1958 bis 1964 an der Universität Saarbrücken und der TU Berlin. 1965/66 wiss. Mitarbeiter an der TU Hannover und ab 1966 an der Friedrich-Aiexander Universität Erlangen-Nürnberg. Dort 1971 Promotion in Informatik Akademischer Direktor am Institut für Mathematische Maschinen und Datenverarbeitung Visiting Professor an der University of Colorado. Boulder. USA. Seit 1981 Abteilungsleiter am Lehrstuhl für Rechnerarchitektur und Verkehrstheorie (Prof. Herzog) der Universität Erlangen-Nürnberg. Dipl.-lnf. Peter Dauphin Geboren 1963 in Dentlein am Forst/Mittelfranken. Studium der Informatik von 1985 bis 1990 in Erlangen. Seit 1990 wiss. Mitarbeiter am Lehrstuhl für Rechnerarchitektur und Verkehrstheorie. Dr.-lng. Franz Hartleb, geb. Sötz Geboren 1963 in Sünching/Oberpfalz. Studium der Informatik von 1983 bis 1988 in Erlangen. Von 1988 bis 1993 wiss. Mitarbeiter am Lehrstuhl für Rechnerarchitektur und Verkehrstheorie. Seit 1993 Mitarbeiter der Firma Siemens im Bereich Anlagentechnik. Dr.-lng. Richard Hofmann Geboren 1958 in Lieritzhofen/Mittelfranken. Studium der Elektrotechnik von 1979 bis 1985 in Erlangen, Promotion im Fachgebiet Rechnerarchitektur Seit 1986 wiss. Mitarbeiter am Lehrstuhl für Rechnerarchitektur und Verkehrstheorie. Dr.-lng. Dipl.-lnf. Bernd Mohr Geboren 1960 in Schweinfurt Studium der Informatik von 1981 bis 1987 in Erlangen bis 1992 w iss. Angestellter am Lehrstuhl für Rechnerarchitektur und Verkehrstheorie. Seit 1993 Research Associate am Department of Computer and Information Science, University of Oregon, USA. Dr.-lng. Andreas Quick Geboren 1962 in Darmstadt. Studium der Informatik von 1982 bis 1988 in Erlangen. Von 1988 bis 1993 wiss. Mitarbeiter am Lehrstuhl für Rechnerarchitektur und Verkehrstheorie. Seit 1993 Leiter der Software-Entwicklung bei der Firma Eberline Radiometrie, Erlangen. Dipl.-lnf. Markus Siegle, M.Sc. Geboren 1964 in Stuttgart. Von 1984 bis 1989 Studium der Informatik in Stuttgart. Von 1989 bis 1990 als Stipendiat der Fulbright-Stiftung an der North Carolina State University, USA. Seit 1990 wiss. Mitarbeiter am Lehrstuhl für Rechnerarchitektur und Verkehrstheorie. Die Deutsche Bibliothek- CIP-Einheitsaufnahme Messung und Modeliierung paralleler und verteilter Rechensysteme I von Rainer Klar... - Stuttgart : Teubner ISBN ISBN (ebook) DOI / NE: Klar. Rainer Das Werk einschließlich aller seiner Teile ist urheberrechtlich geschützt. Jede Verwertung außerhalb der engen Grenzen des Urheberrechtsgesetzes ist ohne.zustimmung des Verlages unzulässig und strafbar. Das gilt besonders für Vervielfältigungen. Ubersetzungen, Mikroverfilmungen und die Einspeicherung und Verarbeitung in elektronischen Systemen. Springer Fachmedien Wiesbaden 1995 Ursprünglich erschienen bei B. G. Teubner Stuttgart 1995

4 Geleitwort Parallele und verteilte Rechensysteme gewinnen zunehmend an Bedeutung. War in der Vergangenheit der Datenaustausch zwischen dem Mainframe, den Cluster-Maschinen und den Arbeitsplätzen das Ziel der Vernetzung, so liegt heute der Schwerpunkt des Rechnerverbundes auf dem "resource sharing". Schlag- und Reizwörter wie "Massiv Parallel" und "Client Server-Computing" sind in aller Munde. Im Client Server-Umfeld wird die Realisierung von "variablen Server-Konzepten" mit "load balancing" und "automatischer Rekonfigurierung von Hardware- und Software-Komponenten" von eminentem Interesse sein. Daraus resultieren ständig wachsende Anforderungen an Hard- und Software sowie an das System-Management. Es muß deshalb das vorrangige Ziel sein, Techniken und entsprechende Werkzeuge bereitzustellen, die die "Beherrschung"- in Form von Überwachung, Kontrolle, Analyse, Bewertung und Steuerung- solch komplexer Systeme ermöglichen. Dabei müssen Analyse und Bewertung des Verhaltens sowohl des Gesamtsystems als auch relevanter Komponenten zum integralen Bestandteil von Entwicklung und Betrieb derartiger Verbundlösungen werden. Insbesondere Client Server Architectures zeichnen sich durch Eigenschaften wie Parallelität, räumliche Ausbreitung, Größe der Konfigurationen und vor allem Heterogenität (unterschiedliche Hardware-Architekturen, verschiedene Betriebssysteme, diverse Übertragungsmedien und Netzwerk-Betriebssysteme) aus. Die daraus resultierende Komplexität erschwert die Analyse und Bewertung des Systemverhaltens, und das trifft insbesondere auf Leistungsanalyse und -bewertung zu. Es existiert zwar eine Vielzahl von Meß- und Analysewerkzeugen auch für parallele und verteilte Systeme, die aber häufig nur Teilaspekte abdecken. Vor allem mangelt es an einem durchgängigen Konzept für umfassende Leistungsanalysen und-bewertungenderartiger Architekturen. Das vorliegende Buch zeigt auf, wie diese Lücken geschlossen werden können, und gewährt einen ausgezeichneten Einblick in Methoden und Werkzeuge zur Leistungsbewertung in parallelen und verteilten Systemen. Dabei fokussiert es ablauforientierte Techniken mit Zielrichtung auf die ursachenorientierte Analyse. Diese Sichtweise entspricht nicht nur der von Hardware- und Software Entwicklern, sondern unterstützt auch Design und Entwicklung funktional korrekt und effizient arbeitender Systeme. Dieses Buch ist stark praxisorientiert ausgerichtet und dient als Hilfestellung zur Lösung der oben geschilderten Probleme. Ausgehend von der Behandlung der Problematik der globalen Systemsicht sowie der zeitlich korrekt zuordenbaren Ereignisse in parallelen und verteilten Systemen werden Verfahren und Werkzeuge zur Leistungsmessung und -modellierung vorgestellt. Neben dem Praxisbezug wird dabei besonderes Gewicht auf die Interpretation und Präsentation der Ergebnisse wie auch auf die Integration von Messung und Modeliierung gelegt.

5 6 Mit Recht beklagen und kritisieren die Autoren die "Selbstisolation der Leistungsbewertung" und die nicht durchgängige Anwendung quantitativer Techniken in allen Phasen der Entwicklung von Rechensystemen. Zwar wurden zur Behebung dieses Mangels in den 80er Jahren vermehrt Anstrengungen unternommen - teilweise sogar mit Unterstützung des Bundesministeriums für Forschung und Technologie- dennoch ist dieser Trend seit Anfang der 90er wieder rückläufig, sicherlich bedingt durch den raschen technologischen Wandel und durch "Argumente" wie "steckbare Leistung". Aber insbesondere in parallelen und verteilten Systemen ist die Notwendigkeit einer umfassenden Leistungsanalyse und -bewertung notwendiger denn je. Dieses Buch wird somit seiner gesteckten Zielsetzung gerecht: "... einen Beitrag dazu zu leisten, die Selbstisolation der Leistungsbewerter zu durchbrechen und die Leistungsbewertung zu einem integralen Bestandteil der Systementwicklung zu machen"; denn einige der hier vorgestellten Verfahren werden bereits bei namhaften Herstellern eingesetzt und sogar weiterentwickelt. Reinhard Bordewisch

6 Bezugsquellen Information/Handbücher Zusätzliches Informationsmaterial über das Monitorsystem ZM4, die Ereignisspuranalyseumgebung SIMPLE sowie das Modellierungswerkzeug PEPP ist in Form von Zeitschriftenartikeln und internen Berichten über das Internet zugreifbar. Der FTP-Server hat die Intemet -Adresse faui79.informatik.uni-erlangen.de [ ] Im Katalog -ftp/pub/doc werden Artikel und Dokumentationen in komprimiertem PostScript-Format gehalten. Dieselben Informationen können auch über das World Wide Web (WWW) abgerufen werden. Das URL lautet Research/Groups/MMB/ Neben den Artikeln und Dokumentationen werden hier die Forschungsgruppe sowie aktuelle Projekte vorgestellt, in denen die in diesem Buch beschriebenen Monitaringund Modellierungswerkzeuge eingesetzt und weiterentwickelt werden. Leistungsbewertungssoftware Die in diesem Buch vorgestellte Ereignisspuranalyseumgebung SIMPLE und das Modellierungswerkzeug PEPP sind in binärer Form vom Lehrstuhl für Rechnerarchitektur und Verkehrstheorie der Universität Erlangen-Nümberg beziehbar. Für Universitäten ist die Lizenz kostenlos. Anfragen können gerichtet werden an Universität Erlangen-Nürnberg Lehrstuhl für Informatik 7 (Prof. Dr. U. Herzog) Martensstra.ße Erlangen mmb immd 7.Informatik. uni-erlangen.de Leistungsbewertungshardware Der Hardwaremonitor ZM4 ist in begrenzter Stückzahl über obige Adresse erhältlich. Diese Arbeit wurde von der Deutschen Forschungsgemeinschaft Im Rahmen des Sonderforschungsbereiches 182 ltellprojekt "Messung, Modeliierung und Bewertung von Multiprozessoren und Rechnernetzen") gefördert.

7 Inhalt 1 Einleitung Von summarischer zu ablauforientierter Leistungsbewertung Zur Gliederung des Buches Literatur Kausalität in Computersystemen Kausalität und Kommunikation Basis-Kommunikationsmechanismen Bedeutung und Problematik der Kommunikation Ordnungsrelationen Chronologische Totalordnung Chronologische Halbordnung Kausale Halbordnung Ordnungsmechanismen Zentrale Monitorsysteme Skalare logische Zeitstempel Logische Vektorzeitstempel Physikalische Zeitstempel Zeitstempel in Monitoren Folgerungen Literatur Monitoring verteilter und paralleler Rechensysteme. 51 Pflichtenheft für Multiprozessormonitore Ereignisdefinition Architektur des Monitorsystems ZM Ereigniserkennung und -erfassung Ereignisrecorder als Grund-DPU DPU-Steuersoftware Globale Zeitstempel Konzept: Meßtaktgenerator und DPU-Oszillatoren Manchester Code und seine Erzeugung Dezentrale Bildung globaler Zeitstempel Steuerung eines verteilten Meßablaufs Schnittstellen Interfaces für Parallelschnittstellen Das Parallel-Interface für Centronics MEMSY-Meßschnittstelle... 73

8 10 Inhalt Interfaces mit Adreßvergleich Interface für VME-Bus Transputer-Bus-Interface Interfaces mit Ereigniserkennung Handshake-Interface für V24-Schnittstellen SUPRENUM-Meßschnittstelle Literatur Ereignisspuranalyse Allgemeiner Aufbau und Struktur von ereignisbasierten Analysesystemen Entkopplung von Messung und Auswertung Standardisierungsmöglichkeiten Abstrakte Datentypen für die Ereignisspuranalyse Logische Ereignisspuren und ihre Beschreibung mit TDL TDL-Beschreibung für eine Messung am E-ISDN-Testsystem Die Datenzugriffsschnittstelle POET Vorteile des TDL/POET-Zugriffskonzepts Selektion von Ereignissen Die Filterbeschreibungssprache FDL Auswertewerkzeuge Grundsätzliche Struktur der Analysewerkzeuge Statistische Auswertungen über Elementarereignisse Statistische Auswertungen über Ereignisse höherer Ordnung Ablauforientierte Auswertung mit Kausalitätsdiagrammen Ablauforientierte Auswertung mit Zeit -Zustands-Diagrammen Validierung mit Zusicherungen Überblick über verfügbare Werkzeuge Exemplarische Realisierung eines einfachen Werkzeugs SIMPLE aus der Sicht des Schichtenmodells Weitere Ereignisspuranalysesysteme Literatur

9 Inhalt 11 5 Leistungsbewertung mit ModeDen Die Problemstellung Stochastische Graphmodelle Modeliierung der Last Modeliierung der Maschineneigenschaften Abbildung des Lösungsverfahrens auf die Zielmaschine Der Modellwerkzeugkasten PEPP Modellierungsmöglichkeiten Serienparallele Graphen: Auswertung mit SPASS Nichtserienparallele Graphen: Auswertung mit der transienten Zustandsraumanalyse bei exponentiell verteilten Knotenlaufzeiten Nichtserienparallele Graphen: Approximative Auswertung mittels de-verfahren Nichtserienparallele Graphen: Approximative Auswertung durch Schranken Schranken durch Hinzufügen/Weglassen von Kanten. 199 Schranken durch Hinzufügen/Weglassen von Knoten Vergleich der Auswertemethoden Genauigkeit der de-approximation Genauigkeit der Schrankenverfahren Vergleich des Berechnungsaufwands Weitere Modellierungsmethoden Warteschlangenmodelle Petri-Netz-Modelle Stochastische Prozeßalgebren SDL und MSCs Literatur Die Integration von Monitaring und Modellierung Methodenintegration und ereignisorientierte Verhaltensbeschreibung Programminstrumentierung Eigenschaften der Programminstrumentierung Anmerkungen zur Analyse von Rückwirkungen Definitionen Wege zu einer adäquaten Instrumentierung

10 Inhalt Modellgesteuerte Instrumentierung Realisierung der inhaltsorientierten Abstraktion Vorteile der Modellgesteuerten Instrumentierung für den Bewertungsprozeß Gegenüberstellung mit Ansätzen aus der Literatur Modellgesteuertes Monitoring: Praktische Realisierung 248 Modellgesteuerte Instrumentierung mit AICOS Modellgesteuerte Unterstützung von Messungen Modellgesteuerte Validierung Modellgesteuerte Spurauswertung Synchronisierte Validierung und Spurauswertung Zusammenfassung Literatur Index