Cover Image

Analytical performance modeling for computer systems /

Show other versions (3)
Bibliographic Details
Main Author: Tay, Y. C. (Author)
Format: eBook
Language:English
Published: San Rafael, California (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, 2014.
Edition:Second edition.
Series:Synthesis lectures on computer science. # 7.
Subjects:
Computer systems > Reliability > Mathematical models.
Markov chains
analytical modeling techniques
computer system performance
experimental validation
fluid approximation
queueing systems
simulation
transient analysis
Electronic books.
Online Access:Connect to the full text of this electronic book
Table of Contents:
  • 0. Preliminaries
  • 1. Concepts and Little's law
  • Concepts
  • Open and closed systems
  • Little's law
  • Discussion of papers
  • 10. Analysis with an analytical model
  • The science & art in performance modeling
  • Power
  • Technique
  • Assumptions and approximations
  • Metrics
  • Science and technology
  • Intuition and contradiction
  • Discussion of papers
  • 2. Single queues
  • Applying Little's law to a 1-server queue
  • Queue specification
  • Pollaczek-Khinchin formula
  • Discussionof papers
  • 3. Open systems
  • Residual life
  • Birth-death process
  • Open queueing networks: Jackson networks
  • Discussion of papers
  • 4. Markov chains
  • Markov chain for a closed network
  • Markov chain for a multi-class network
  • State aggregation
  • Discussion of papers
  • 5. Closed systems
  • PASTA
  • Arrival theorem
  • Mean value analysis (MVA)
  • Discussion of papers
  • 6. Bottlenecks and flow equivalence
  • Bottleneck analysis
  • Flow equivalence
  • Equivalence between open and closed
  • Discussion of papers
  • 7. Deterministic approximations
  • Average value approximation (AVA)
  • Fluid approximation
  • Discussion of papers
  • 8. Transient analysis
  • Decomposing an equilibrium
  • Epidemic models
  • Discussion of papers
  • 9. Experimental validation and analysis
  • Case study: database transaction locking
  • Model validation and experimental analysis
  • The need for validation
  • Data presentation
  • Real systems and workloads
  • Simulation
  • Parameter space reduction
  • Uninteresting regions of parameter space
  • Quantitative prediction vs. qualitative understanding
  • Analytic validation
  • Discussion of papers
  • A. Exercises
  • Bibliography
  • Author's biography.