Messung, Modellierung und Bewertung von Rechensystemen

Tagungsband der 6. GI/ITG-Fachtagung "Messung, Modellierung und Bewertung von Rechensystemen. Tagungsinhalt ist der Austausch neuer Ideen und Erfahrungen bei der quantitativen Untersuchung von Rechensystemen und Netzen. Dabei werden einerseits das volle methodische Spektrum (Me~instrumentierung/Messung, Modellbildung/simulative und mathematische Modellanalyse, Bewertung und Synthese) in leistungsorientierter bzw. leistungs/zuverl{ssigkeitsorientierter Sicht abgedeckt, sowie andererseits }ber praktische Erfahrungen beim Einsatz dieser Methoden und Techniken bei Entwurf, Implementierung/Installierung und Betrieb von einzelnen und vernetzten Rechensystemen berichtet. Die Beitr{ge behandeln Methodenund Techniken der Beschreibung und Untersuchung von Systemen hinsichtlich ihrer Leistunsf{higkeit und Zuverl{ssigkeit (Hard- und Software), Me~- und Monitorsysteme, Charakterisierung von Systembelastungen, Erstellung und simulative mathematische/hybride Analyse von Systemmodellen, Erfahrungen bei der Bewertung und Optimierung von Rechensystemen und Netzen.

/ Table of Contents.- Methodik I / Methodology I.- Statistik - Fehler, Fallen, Schwindel (Eingeladener Beitrag).- Modellierung offener Warteschlangennetzwerke durch Erneuerungsprozesse im diskreten Zeitbereich.- The Numerical Analysis of Hierarchical Queueing Network Models.- Job Scheduling under Fairness Aspects.- Leistungsaspekte bei Datenbanksystemen / Performance Aspects of Data Base Systems.- Messen und Bewerten paralleler Client / Server-Architekturen am Beispiel des kooperierenden Non-Standard-Datenbanksystems PRIMA.- Konflikt-gesteuerte Lastkontrolle in Datenbanksystemen basierend auf der Analyse von Transaktionsprogrammen.- Extended Memory Support for High Performance Transaction Systems.- Leistungsbewertung von Kommunikationsnetzen/Performance Evaluation of Communication Networks.- Leistungsbewertung von ISDN-Vermittlungsknoten (Eingeladener Beitrag).- Cell Loss Probabilities in a Statistical Multiplexer in an ATM Network.- Strukturelemente eines Systems zur Auswertung analytischer Formeln in der Datenverkehrstheorie.- Analyse von Mobilfunk-Protokollen/Analysis of Mobile Radio Protocols.- Leistungsbewertung von Verfahren der Mobil-Kommunikation: Dezentrale Paketsynchronisation und Kanalzugriff.- Ein Quittierungsverfahren für Multi-Hop Paketfunknetze.- Verteilung der Anzahl Hops einer Quelle-Ziel-Übertragung im Multihop-Paketfunknetz.- Anwendungen / Applications.- Performance Modeling of a Coarse Grain Dataflow Machine.- Konfigurationsoptimierung verteilter Systeme.- Modelling and Performance Analysis of a Parallel Theorem Prover.- A Buffered Disk Subsystem.- Benchmarking / Benchmarking.- Benchmarking: Status, Kritik und Aussichten (Eingeladener Beitrag).- Datenkommunikations-Benchmark LAMBDA.- Methodik II / Methodology II.- Hierarchical Evaluation ofGeneralized Stochastic Petri Nets Based on Subnetwork Time Distribution.- Employing the Randomization Technique for Solving Stochastic Petri Net Models.- Iterative Analyse von Markov-Modellen mit alternierender Aggregation und Disaggregation.- Schlüsselwörter / Key Words.- Autorenverzeichnis / Author Index.