Welcome to P K Kelkar Library, Online Public Access Catalogue (OPAC)

Normal view MARC view ISBD view

Analytical performance modeling for computer systems /

By: Tay, Y. C [author.].
Material type: materialTypeLabelBookSeries: Synthesis digital library of engineering and computer science: ; Synthesis lectures on computer science: # 7.Publisher: San Rafael, California (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, 2014.Edition: Second edition.Description: 1 PDF (xv, 125 pages) : illustrations.Content type: text Media type: electronic Carrier type: online resourceISBN: 9781627052702.Subject(s): Computer systems -- Reliability -- Mathematical models | computer system performance | analytical modeling techniques | simulation | experimental validation | Markov chains | queueing systems | fluid approximation | transient analysisDDC classification: 005 Online resources: Abstract with links to resource | Abstract with links to full text Also available in print.
Contents:
0. Preliminaries --
1. Concepts and Little's law -- Concepts -- Open and closed systems -- Little's law -- 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 --
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 --
A. Exercises -- Bibliography -- Author's biography.
Abstract: This book is an introduction to analytical performance modeling for computer systems, i.e., writing equations to describe their performance behavior. It is accessible to readers who have taken college-level courses in calculus and probability, networking and operating systems. This is not a training manual for becoming an expert performance analyst. Rather, the objective is to help the reader construct simple models for analyzing and understanding the systems that they are interested in. Describing a complicated system abstractly with mathematical equations requires a careful choice of assumptions and approximations. They make the model tractable, but they must not remove essential characteristics of the system, nor introduce spurious properties. To help the reader understand the choices and their implications, this book discusses the analytical models for 30 research papers. These papers cover a broad range of topics: processors and disks, routers and crawling, databases and multimedia, worms and wireless, multicore and cloud, etc. An appendix provides many questions for readers to exercise their understanding of the models in these papers.
    average rating: 0.0 (0 votes)
Item type Current location Call number Status Date due Barcode Item holds
E books E books PK Kelkar Library, IIT Kanpur
Available EBKE529
Total holds: 0

Mode of access: World Wide Web.

System requirements: Adobe Acrobat Reader.

Part of: Synthesis digital library of engineering and computer science.

Series from website.

Includes bibliographical references (pages 119-123).

0. Preliminaries --

1. Concepts and Little's law -- Concepts -- Open and closed systems -- Little's law -- 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 --

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 --

A. Exercises -- Bibliography -- Author's biography.

Abstract freely available; full-text restricted to subscribers or individual document purchasers.

Compendex

INSPEC

Google scholar

Google book search

This book is an introduction to analytical performance modeling for computer systems, i.e., writing equations to describe their performance behavior. It is accessible to readers who have taken college-level courses in calculus and probability, networking and operating systems. This is not a training manual for becoming an expert performance analyst. Rather, the objective is to help the reader construct simple models for analyzing and understanding the systems that they are interested in. Describing a complicated system abstractly with mathematical equations requires a careful choice of assumptions and approximations. They make the model tractable, but they must not remove essential characteristics of the system, nor introduce spurious properties. To help the reader understand the choices and their implications, this book discusses the analytical models for 30 research papers. These papers cover a broad range of topics: processors and disks, routers and crawling, databases and multimedia, worms and wireless, multicore and cloud, etc. An appendix provides many questions for readers to exercise their understanding of the models in these papers.

Also available in print.

Title from PDF title page (viewed on November 12, 2013).

There are no comments for this item.

Log in to your account to post a comment.

Powered by Koha