Performance modeling and design of computer systems : queueing theory in action /
Harchol-Balter, Mor, 1966-
Performance modeling and design of computer systems : queueing theory in action / Mor Harchol-Balter, Carnegie Mellon University, Pennsylvania. - 1 online resource (xxiii, 548 pages) : illustrations
Includes bibliographical references (pages 531-539) and index.
I. Introduction to Queueing: 1. Motivating examples; 2. Queueing theory terminology -- II. Necessary Probability Background: 3. Probability review; 4. Generating random variables for simulation; 5. Sample paths, convergence, and averages -- Part III. The Predictive Power of Simple Operational Laws: 'What-If' Questions and Answers; 6. Little's law and other operational laws; 7. Modification analysis: "what-if" for closed systems -- Part IV. From Markov Chains to Simple Queues: 8. Discrete-time Markov Chains; 9. Ergodicity theory; 10. Real-world examples: Google, Aloha, and harder chains; 11. Exponential distribution and the Poisson process; 12. Transition to continuous-time Markov Chains; 13. M/M/I and PASTA -- V. Server Farms and Networks: Multi-server, Multi-queue Systems: 14. Server farms: M/M/k and M/M/k/k; 15. Capacity provisioning for server farms; 16. Time-reversibility and Burke's Theorem; 17. Networks of queues and Jackson product form; 18. Classed network of queues; 19. Closed networks of queues -- VI. Real-World Workloads: High-Variability and Heavy Tails: 20. Tales of tails: real-world workloads; 21. Phase-type workloads and matrix-analytic methods; 22. Networks with time-sharing (PS) servers (BCMP); 23. The M/G/I queue and inspection paradox; 24. Task assignment for server farms; 25. Transform analysis; 26. M/G/I transform analysis; 27. Power optimization application -- VII. Smart Scheduling in the M/G/I: 28. Performance metrics; 29. Scheduling: non-preemptive, non-size-based policies; 30. Scheduling: preemptive, non-size-based policies; 31. Scheduling: non-preemptive, size-based policies; 32. Scheduling: preemptive, size-based policies; 33. Scheduling: SRPT and fairness.
"Computer systems design is full of conundrums. Tackling the questions that systems designers care about, this book brings queueing theory decisively back to computer science. The book is written with computer scientists and engineers in mind and is full of examples from computer systems, as well as manufacturing and operations research. Fun and readable, the book is highly approachable, even for undergraduates, while still being thoroughly rigorous and also covering a much wider span of topics than many queueing books. Readers benefit from a lively mix of motivation and intuition, with illustrations, examples and more than 300 exercises - all while acquiring the skills needed to model, analyze and design large-scale systems with good performance and low cost. The exercises are an important feature, teaching research-level counterintuitive lessons in the design of computer systems. The goal is to train readers not only to customize existing analyses but also to invent their own"--
9781139616416 (electronic bk.) 1139616412 (electronic bk.) 9781139610834 (electronic bk.) 113961083X (electronic bk.) 9781139625715 (electronic bk.) 1139625713 (electronic bk.) 9781139226424 (electronic bk.) 1139226428 (electronic bk.) 9781139612692 (electronic bk.) 1139612697 (electronic bk.) (hardback) (hardback)
CL0500000298 Safari Books Online
Transaction systems (Computer systems)--Mathematical models.
Computer systems--Design and construction--Mathematics.
Queuing theory.
Queuing networks (Data transmission)
Systèmes transactionnels--Modèles mathématiques.
Théorie des files d'attente.
Réseaux de files d'attente (Transmission des données)
COMPUTERS--General.
MATHEMATICS--Applied.
MATHEMATICS--Probability & Statistics--General.
Queuing networks (Data transmission)
Queuing theory.
Design
Computer
Warteschlangentheorie
Electronic book.
Electronic books.
QA76.545 / .H37 2013
004.21 519.8/2 519.82
Performance modeling and design of computer systems : queueing theory in action / Mor Harchol-Balter, Carnegie Mellon University, Pennsylvania. - 1 online resource (xxiii, 548 pages) : illustrations
Includes bibliographical references (pages 531-539) and index.
I. Introduction to Queueing: 1. Motivating examples; 2. Queueing theory terminology -- II. Necessary Probability Background: 3. Probability review; 4. Generating random variables for simulation; 5. Sample paths, convergence, and averages -- Part III. The Predictive Power of Simple Operational Laws: 'What-If' Questions and Answers; 6. Little's law and other operational laws; 7. Modification analysis: "what-if" for closed systems -- Part IV. From Markov Chains to Simple Queues: 8. Discrete-time Markov Chains; 9. Ergodicity theory; 10. Real-world examples: Google, Aloha, and harder chains; 11. Exponential distribution and the Poisson process; 12. Transition to continuous-time Markov Chains; 13. M/M/I and PASTA -- V. Server Farms and Networks: Multi-server, Multi-queue Systems: 14. Server farms: M/M/k and M/M/k/k; 15. Capacity provisioning for server farms; 16. Time-reversibility and Burke's Theorem; 17. Networks of queues and Jackson product form; 18. Classed network of queues; 19. Closed networks of queues -- VI. Real-World Workloads: High-Variability and Heavy Tails: 20. Tales of tails: real-world workloads; 21. Phase-type workloads and matrix-analytic methods; 22. Networks with time-sharing (PS) servers (BCMP); 23. The M/G/I queue and inspection paradox; 24. Task assignment for server farms; 25. Transform analysis; 26. M/G/I transform analysis; 27. Power optimization application -- VII. Smart Scheduling in the M/G/I: 28. Performance metrics; 29. Scheduling: non-preemptive, non-size-based policies; 30. Scheduling: preemptive, non-size-based policies; 31. Scheduling: non-preemptive, size-based policies; 32. Scheduling: preemptive, size-based policies; 33. Scheduling: SRPT and fairness.
"Computer systems design is full of conundrums. Tackling the questions that systems designers care about, this book brings queueing theory decisively back to computer science. The book is written with computer scientists and engineers in mind and is full of examples from computer systems, as well as manufacturing and operations research. Fun and readable, the book is highly approachable, even for undergraduates, while still being thoroughly rigorous and also covering a much wider span of topics than many queueing books. Readers benefit from a lively mix of motivation and intuition, with illustrations, examples and more than 300 exercises - all while acquiring the skills needed to model, analyze and design large-scale systems with good performance and low cost. The exercises are an important feature, teaching research-level counterintuitive lessons in the design of computer systems. The goal is to train readers not only to customize existing analyses but also to invent their own"--
9781139616416 (electronic bk.) 1139616412 (electronic bk.) 9781139610834 (electronic bk.) 113961083X (electronic bk.) 9781139625715 (electronic bk.) 1139625713 (electronic bk.) 9781139226424 (electronic bk.) 1139226428 (electronic bk.) 9781139612692 (electronic bk.) 1139612697 (electronic bk.) (hardback) (hardback)
CL0500000298 Safari Books Online
Transaction systems (Computer systems)--Mathematical models.
Computer systems--Design and construction--Mathematics.
Queuing theory.
Queuing networks (Data transmission)
Systèmes transactionnels--Modèles mathématiques.
Théorie des files d'attente.
Réseaux de files d'attente (Transmission des données)
COMPUTERS--General.
MATHEMATICS--Applied.
MATHEMATICS--Probability & Statistics--General.
Queuing networks (Data transmission)
Queuing theory.
Design
Computer
Warteschlangentheorie
Electronic book.
Electronic books.
QA76.545 / .H37 2013
004.21 519.8/2 519.82