Practical Performance Modeling

by Begain, Khalid; Bolch, Gunter; Herold, Helmut

• ISBN13: 9780792379515
• ISBN10: 0792379519
• eBook ISBN(s): 9781461513872
• Format: Hardcover
• Copyright: 2000-12-01
• Publisher: Kluwer Academic Pub
• More Book Details
• Purchase Benefits

Summary

Practical Performance Modeling: Application of the MOSEL Language introduces the new and powerful performance and reliability modeling language MOSEL (MOdeling, Specification and Evaluation Language), developed at the University of Erlangen, Germany. MOSEL facilitates the performance and reliability modeling of a computer, communication, manufacturing or workflow management system in a very intuitive and simple way. The core of MOSEL consists of constructs to specify the possible states and state transitions of the system under consideration. This specification is very compact and easy to understand. With additional constructs, the interesting performance or reliability measures and graphical representations can be specified. With some experience, it is possible to write down the MOSEL description of a system immediately only by knowing the behavior of the system under study. There are no restrictions, unlike models using, for example, queueing networks, Petri nets or fault trees. MOSEL fulfills all the requirements for a universal modeling language. It is high level, system-oriented, and usable. It is open and can be integrated with many tools. By providing compilers, which translate descriptions specified in MOSEL into the tool-specific languages, all previously implemented tools with their different methods and algorithms (including simulation) can be used. Practical Performance Modeling: Application of the MOSEL Language provides an easy to understand but nevertheless complete introduction to system modeling using MOSEL and illustrates how easily MOSEL can be used for modeling real-life examples from the fields of computer, communication, and manufacturing systems. Practical Performance Modeling: Application of the MOSEL Language will be of interest to professionals and students in the fields of performance and reliability modeling in computer science, communication, and manufacturing. It is also well suited as a textbook for university courses covering performance and reliability modeling with practical applications.

Table of Contents

Preface	xi
Introduction	1	(8)
Overview of System Evaluation Methods	1	(1)
The State of Evaluation Methods and Tools	2	(1)
The Idea and Motivation	2	(2)
Implementation of the Idea	4	(2)
Overview	6	(3)
Theoretical Background	9	(54)
Introduction	9	(1)
Probability Theory Basics	9	(9)
Some Useful Distribution Functions	18	(19)
Discrete Distribution Functions	19	(6)
Parameters of Continuous Distributions	25	(1)
Continuous Distribution Functions	25	(12)
Stochastic Processes	37	(4)
Definition	37	(1)
Classification of Stochastic Processes	38	(3)
Discrete-Time Markov Chains	41	(7)
Classification of States	43	(2)
Limiting Probability Distributions	45	(1)
Distribution of Holding Times	46	(1)
Discrete-Time Birth-Death Processes	47	(1)
Continuous-Time Markov chain	48	(15)
Introduction	49	(3)
Limiting Behavior of Homogeneous CTMC	52	(2)
Continuous-Time Birth-Death Processes	54	(2)
Pure Birth Processes	56	(2)
The M/M/1 Queue	58	(3)
Finite Queue M/M/1/K	61	(2)
Model Types	63	(28)
The Different Kinds of Analysis	63	(1)
Queuing Networks	64	(3)
Series-Parallel Acyclic Directed Graphs	67	(1)
Non-Series-Parallel Task Precedence Graphs	68	(2)
Series-Parallel Reliability Block Diagrams	70	(1)
Fault Trees	71	(1)
Reliability Graphs	72	(1)
Markov Chains	72	(2)
Generalized Stochastic Petri Nets	74	(5)
Stochastic Process Algebras	79	(10)
Performability Models (Reward Models)	89	(2)
Mosel - An Universal Modeling Language	91	(58)
The Language MOSEL	91	(51)
An introductory Example	91	(5)
The General Structure of a MOSEL Description	96	(1)
Parameter Declaration Part	97	(3)
System State Definition Part	100	(2)
Transition Definition Part	102	(9)
Result Part	111	(1)
Picture Part	112	(11)
Rewards	123	(7)
Comments	130	(2)
Shortcuts in MOSEL	132	(4)
Preprocessor Directives	136	(2)
Multidimensional Nodes	138	(4)
Command Line Syntax of MOSEL Program	142	(3)
Rules and Restrictions for the Different Tools	145	(4)
Rules and Restrictions for MOSLANG	145	(1)
Rules and Restrictions for CSPL	146	(3)
Modeling Using Model	149	(94)
Reliability and Availability Analysis	149	(25)
Series-Parallel Reliability Block Diagrams	149	(5)
Fault Trees	154	(4)
Reliability Graphs	158	(3)
Markov Chains	161	(9)
Generalized Stochastic Petri Nets (GSPNs)	170	(3)
Stochastic Process Algebras	173	(1)
Program Performance Analysis	174	(11)
Series-Parallel Acyclic Task Graphs	174	(9)
Task Precedence Graphs	183	(2)
System Performance Analysis	185	(22)
Central-Server Queuing Systems	185	(6)
M/M/N/K Queuing Systems	191	(5)
Markov Chains	196	(4)
Generalized Stochastic Petri Nets (GSPNs)	200	(5)
Stochastic Process Algebras	205	(2)
Performability Analysis	207	(7)
Modeling of Gracefully Degrading Systems	207	(2)
Determination of Reward Rates	209	(3)
Modeling Performability without Rewards	212	(2)
Special Techniques of Analysis	214	(29)
Distinction of particular jobs in a model	215	(2)
Modeling Non-Exponential Distributions	217	(13)
Modeling of Multi-Class Networks	230	(5)
Modeling Distribution Functions and Probability Density Functions as Results	235	(3)
Technique to avoid Explosion of Markov State Space	238	(5)
Real-Life Examples	243	(116)
Computer Science Examples	243	(58)
Parallelization of the UNIX operating system	243	(25)
Polling Systems	268	(6)
Fork-Join systems	274	(7)
Non-Homogeneous Terminal System	281	(7)
Multithreaded Architectures	288	(13)
Communications Examples	301	(46)
Client-Server Systems	301	(23)
Cellular Mobile Networks	324	(18)
Performance Model of an ATM Multiplxer	342	(5)
Manufacturing Examples	347	(12)
Batch Systems	347	(2)
Wafer Production System	349	(4)
Cluster Tools for Single-Wafer Processing	353	(6)
A MOSEL and IGL Reference	359	(32)
Syntax and Semantics of MOSEL	359	(13)
Syntax of the language MOSEL	359	(5)
Semantics of the language MOSEL	364	(6)
Keywords and Tokens of the language MOSEL	370	(2)
IGL -- Graphical Editing of the Results	372	(15)
The calling syntax of the IGL interpreter	372	(3)
Operating instructions for the IGL interpreter	375	(10)
The Intermediate Graphic Language (IGL)	385	(2)
Technical data of the MOSEL program suite	387	(1)
The program model	387	(4)
The program igl	389	(2)
Bibliography	391	(12)
Index	403