Lecture Notes in Computer Science

Transcription

1 Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and J. van Leeuwen 977 Advisory Board: W. Brauer D. Gries J. Stoer

2 Heinz Beilner Falko Bause (Eds.) Quantitative Evaluation of Computing and Communication Systems 8th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation Performance Tools '95 8th GI/ITG Conference on Measuring, Modelling and Evaluating Computing and Communication Systems MMB '95 Heidelberg, Germany, September 20-22, 1995 Proceedings ~ Springer

3 Series Editors Gerhard Goos, Karlsruhe University, Germany Juris Hartmanis, Cornell University, NY, USA Jan van Leeuwen, Utrecht University, The Netherlands Volume Editors Heinz Beilner Falko Bause Lehrstuhl Informatik IV, Universit~it Dortmund D Dortmund, Germany Cataloging-in-Publication data applied for Die Deutsche Bibliothek - CIP-Einheitsaufnahme Quantitative evaluation of computing and communication systems : proceedings / 8th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, Performance Tools '95 ; 8th GI/ITG Conference on Measuring, Modelling and Evaluating Computing and Communication Systems, MMB '95, Heidelberg, Germany, September 20-22, Heinz Beilner ; Falko Bause ted.). - Berlin ; Heidelberg ; New York ; Barcelona ; Budapest ; Hong Kong ; London ; Milan ; Paris ; Tokyo : Springer, 1995 (Lecture notes in computer science ; Vol. 977) ISBN X NE: Beilner, Heinz [Hrsg.]; International Conference on Modelling Techniques and Tools for Computer Performance Evaluation <8, 1995, Heidelberg>; GT CR Subject Classification (1991): C.2, C.4, C.1 ISBN X Springer-Verlag Berlin Heidelberg New York This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting, reproduction on microfilms or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer -Verlag. Violations are liable for prosecution under the German Copyright Law. 9 Springer-Verlag Berlin Heidelberg 1995 Printed in Germany Typesetting: Camera-ready by author SPIN / i 0 Printed on acid-free paper

4 Preface Computing and Communication Systems have always been, and will always be, faced with manyfold requirements regarding functionality and correctness, performance and dependability, and various others. In spite of the key role that is regularly attributed to the performance and dependability properties of systems, corresponding quantitative system assessments have still not attained an appropriate position in real-life system design and development. The reasons for this undesirable status appear more or less obvious, stemming from the observations that special expertise seems to be required for quantitative assessments and that the extra effort and time apparently demanded for such assessments appear non-affordable in our time-pressed era. It is with pleasure that we present this conference proceedings volume as a further step towards overcoming the real and perceived obstacles before quantitative system evaluation. The volume contains the invited and the submitted contributions for an international conference in the junction of two established conference series International Conference on Modelling Techniques and Tools for Computer Performance Evaluation "PERFORMANCE TOOLS" GI / ITG Conference on Measuring, Modelling and Evaluating Computing and Communication Systems "MMB" with their predecessor conferences 1984 Paris 1985 Sophia Antipolis 1987 Paris 1989 Palma 1991 Torino 1992 Edinburgh 1994 Wien 1981 Jiilich 1983 Stuttgart 1985 Dortmund 1987 Erlangen 1989 Braunschweig 1991 Neubiberg 1993 Aachen This eighth continuation of both series maintains the tradition of its predecessors: Contributions range over measurement- and model-based approaches for quantitative system assessment, report on theoretical and methodological progress, present both novel and improved assessment techniques, their tool implementations and, last but not least, their applications. The prominent role is particularly acknowledged of performance tools which may considerably support the practical application of quantitative assessment techniques both by lowering the required level of expertise and by reducing the involved effort.

5 vi In response to the call for papers, 86 papers were received and each reviewed by three independent referees. The programme committee selected 26 submissions (with authors from 12 countries) for presentation. These contributions, enhanced by 2 invited contributions on particular application areas, are contained in this volume in the order of their presentation at the conference. In addition to the paper presentations, a variety of demonstrations of measurement and modelling tools form an important part of this conference. Descriptions of demonstrations and tools are available to the conference participants as a volume in the series of Research Reports, Fachbereich Informatik, Universit~t Dortmund (nr. 581/1995). This report also contains two proposals on interchange formats for performance modelling tools as discussed in a special session of the conference. Copies of the report will be made available to non-participants on request. I am very pleased to acknowledge the tremendous effort of all programme committee members, of all external referees and in particular of my Dortmund colleague Falko Bause, that went into preparing the conference program and proceedings, and express my deepest gratitude for it. I extend my special gratitude to all authors of submitted papers, and of tool and application demonstrations. Sincerely felt thanks are obviously due, and are whole-heartedly extended, to all sponsoring and supporting organisations. At the time of writing, the conference itself lies still in the future, with the main burden of responsibility now passing over to our colleagues at the IBM European Networking Center, Heidelberg. May I conclude by expressing deep thanks to IBM ENC for her sizeable support of this conference, my particular thanks to Martin Paterok of ENC and his team for the large amount of time and effort that they have already spent on the conference preparations and will unquestionably still have to spend in the months ahead, and for the good cooperation that we had the pleasure of experiencing. Dortmund, July 1995 Heinz Beilner

6 Program Committee Gianfranco Balbo, Italy Heinz Beilner, Germany (Program Chair) Reinhard Bordewisch, Germany Onno J. Boxrna, Netherlands Maria Calzarossa, Italy Adrian Conway, USA Larry Dowdy, USA Erol Gelenbe, France Wolfgang Gfirich, Germany Giinter Haring, Austria Peter Harrison, UK Ulrich Herzog, Germany Peter Hughes, UK Raj Jain, USA Hisashi Kobayashi, USA Pieter Kritzinger, South Africa Paul Kfihn, Germany Axel Lehmann, Germany Raymond Marie, France Martin Paterok, Germany (Organization Chair) Brigitte Plateau, France Rob Pooley, UK Ramon Puigjaner, Spain Guy PujoUe, France Daniel A. Reed, USA Martin Reiser, Switzerland William Sanders, USA Herb Schwetman, USA Giuseppe Serazzi, Italy Connie Smith, USA Arne Solvberg, Norway Otto Spaniol, Germany Peter P. Spies, Germany William Stewart, USA Hideaki Takagi, Japan Satish Tripathi, USA Kishor S. Trivedi, USA Bernhard Walke, Germany Referees (in addition to all PC members) Ashutosh Aggarwal Falko Bause Matthias Oliver Berger G. Brasche Peter Buchholz Hector Cancela Rosemary Candlin Giovanni Chiola Paolo Cremonesi Tessera Daniele Peter Dauphin Susanna Donatelli Jean-Luc Dorel Klaus Echtle Andreas Fasbender Tony Field Wilhelm FSckeler Ricardo Fricks Rossano Gaeta Gabriela Gahse A.J. Ganesh Hans Michael Gerndt Carmelita GSrg Holger Hermanns Oliver Hermanns Jane Hillston Heinz Kabutz Stefan K~tker Latha Kant J. Kassubek William Knottenbelt Anand Kuratti Uwe Langer James Ledoux Louis-Marie Leny Ian Macadie Luai Malhis Stephanie Mahevas Pietro Manzoni Luisa Massari Alessandro Merlo Vassilis Mertsiotakis Jogesh K. Muppala H~di Nabli Jitu Padhye Dirk Pfeifer Markus Pietschmann Afonso de C. Pinto Edwige Pitel Claudia Popien Ennio Pozzetti Antonio Puliafito Apratim Purkayastha Akber Qureshi P~hul l~hatekar H. Rzehak B~irbel Schw~irmer Michael Sczittnick Matteo Sereno Bruno Sericola Roya Ulrich Chang-Yu Wang Harald Willeke

7 viii The conference was sponsored by Gesellschaft fur Informatlk (GI), Germany and organized by the GI/ITG Special Interest Group on Measuring, Modelling and Evaluating Computing Systems, Germany in cooperation with the IBM European Networking Center, Heidelberg, Germany. The conference enjoyed additional sponsorship by AICA Working Group on Performance Evaluation~ Italy Asociaclon de Tecnlcos de Informatlca (ATI), Spain The British Computer Society Performance Engineering Specialist Group (BCS/PESG) IFIP Working Group 7.3 (Computer System Modelling) ITG-Fachgruppe (Verkehrstheorie), Germany (}sterreichische Computer Gesellschaft (OCG), Austria We gratefully acknowledge the support, of various types, by IBM Germany Scientific Center, Heidelberg, Germany Siemens Nixdorf Informationssysteme, Mfinchen, Germany Bezlrkssparkasse Heidelberg, Germany Computing Center, Universitfit Heidelberg, Germany Fachbereich Informatlk, Unlversltfit Dortmund, Germany

8 Contents Evaluation of a CPU Scheduling Mechanism for Synchronized Multimedia Streams... 1 Ralf Steinmetz, Lars C. Wolf (Invited Contribution) An Application of SMART2: A Tool for Performance Evaluation of Relational DataBase Programs Jihad Boulos, Didier Boudigue Measuring Fault Tolerance with the FTAPE Fault Injection Tool Timothy K. Tsai, Ravishankar K. Iyer Queueing Analysis of Discrete-Time Buffer Systems with Compound Arrival Process and Variable Service Capacity Bart Vinck, Herwig Bruneel The Method of Moments for Higher Moments and the Usefulness of Formula Manipulation Systems Martin Paterok, Peter Dauphin, Ulrich Herzog Integration of Performance Evaluations in the Design Process of CPUs and Computer Systems Uwe Langer Information Requirements for Software Performance Engineering Lloyd G. Williams, Connie U. Smith Integrating Behavioural and Simulation Modelling Rob Pooley Assessment of 3rd Generation Mobile Systems by Simulation John Dunlop (Invited Contribution) How Good is Stationary Analysis for the Transient Phenomena of Connection Admission in ATM? Christoph Herrmann On the Exact and Approximate Analysis of Hierarchical Discrete Time Queueing Networks Peter Buchholz Steady State Analysis of Markov Regenerative SPN with Age Memory Policy MiklSs Telek, Andrea Bobbio, Ldszl6 Jereb, Antonio Puliafito, Kishor S. Trivedi A New Iterative Method for Solving Large-Scale Markov Chains Abderezak Touzene A New Iterative Numerical Solution Algorithm for Markovian Queueing Networks Werner Knaup

9 Transient Analysis of Deterministic and Stochastic Petri Nets with TimeNET Reinhard German, JSrg Mitzlaff QPN-Tool for the Specification and Analysis of Hierarchically Combined Queueing Petri Nets Falho Bause, Peter Buchholz, Peter Kemper Approximate Analysis of Networks of PHI PH I 11K Queues: Theory & Tool Support Boudewijn R, Haverkort Speedy: An Integrated Performance Extrapolation Tool for pc++ Programs Bernd W. Mohr, Allen D. Malony, Kesavan 5hanmugam HASSE: a Tool for Analyzing Causal Relationships in Parallel and Distributed Systems Peter Dauphin, Richard Hofrnann PerPreT - A Performance Prediction Tool for Massively Parallel Systems Jiirgen Brehm, Manish Madhukar, Evgenia Smirni, Larry Dowdy Compile-Time Performance Prediction of Parallel Systems Arian J.C. van Gemund Workload Models for Multiwindow Distributed Environments S.V. Raghavan, P.J. Joseph, Giinter Hating Building a Hierarchical CAN-Simulator Using an Object-Oriented Environment Martin Lang, Matthias Stiimpfle, Hartmut Kocher Performance-Oriented Development of Irregular, Unstructured and Unbalanced Parallel Applications in the N-MAP Environment Alois Ferscha, Allen D. Malony Performance Engineering of Distributed Software Process Architectures Greg Hills, Jerome Rolia, Giuseppe Serazzi Performance Evaluation of Connectionless Multicast Protocols for Cooperative Multimedia Applications Oliver Hermanns Modeling Relaxed Memory Consistency Protocols Christoph Lindemann, Friedrieh Sch6n Measurement, Modelling and Emulation of Internet Round-Trip Delays Andreas Fasbender, Peter Davids