000 05587nam a2200793 i 4500
001 6813477
003 IEEE
005 20200413152912.0
006 m eo d
007 cr cn |||m|||a
008 131112s2014 caua foab 000 0 eng d
020 _a9781627052702
_qebook
020 _z9781627052696
_qpaperback
024 7 _a10.2200/S00538ED1V01Y201309CSL007
_2doi
035 _a(CaBNVSL)swl00402940
035 _a(OCoLC)862936282
040 _aCaBNVSL
_beng
_erda
_cCaBNVSL
_dCaBNVSL
050 4 _aQA76.76.R44
_bT292 2014
082 0 4 _a005
_222
090 _a
_bMoCl
_e201309CSL007
100 1 _aTay, Y. C.,
_eauthor.
245 1 0 _aAnalytical performance modeling for computer systems /
_cY.C. Tay.
250 _aSecond edition.
264 1 _aSan Rafael, California (1537 Fourth Street, San Rafael, CA 94901 USA) :
_bMorgan & Claypool,
_c2014.
300 _a1 PDF (xv, 125 pages) :
_billustrations.
336 _atext
_2rdacontent
337 _aelectronic
_2isbdmedia
338 _aonline resource
_2rdacarrier
490 1 _aSynthesis lectures on computer science,
_x1932-1686 ;
_v# 7
538 _aMode of access: World Wide Web.
538 _aSystem requirements: Adobe Acrobat Reader.
500 _aPart of: Synthesis digital library of engineering and computer science.
500 _aSeries from website.
504 _aIncludes bibliographical references (pages 119-123).
505 0 _a0. Preliminaries --
505 8 _a1. Concepts and Little's law -- Concepts -- Open and closed systems -- Little's law -- Discussion of papers --
505 8 _a2. Single queues -- Applying Little's law to a 1-server queue -- Queue specification -- Pollaczek-Khinchin formula -- Discussionof papers --
505 8 _a3. Open systems -- Residual life -- Birth-death process -- Open queueing networks: Jackson networks -- Discussion of papers --
505 8 _a4. Markov chains -- Markov chain for a closed network -- Markov chain for a multi-class network -- State aggregation -- Discussion of papers --
505 8 _a5. Closed systems -- PASTA -- Arrival theorem -- Mean value analysis (MVA) -- Discussion of papers --
505 8 _a6. Bottlenecks and flow equivalence -- Bottleneck analysis -- Flow equivalence -- Equivalence between open and closed -- Discussion of papers --
505 8 _a7. Deterministic approximations -- Average value approximation (AVA) -- Fluid approximation -- Discussion of papers --
505 8 _a8. Transient analysis -- Decomposing an equilibrium -- Epidemic models -- Discussion of papers --
505 8 _a9. 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 --
505 8 _a10. 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 --
505 8 _aA. Exercises -- Bibliography -- Author's biography.
506 1 _aAbstract freely available; full-text restricted to subscribers or individual document purchasers.
510 0 _aCompendex
510 0 _aINSPEC
510 0 _aGoogle scholar
510 0 _aGoogle book search
520 3 _aThis 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.
530 _aAlso available in print.
588 _aTitle from PDF title page (viewed on November 12, 2013).
650 0 _aComputer systems
_xReliability
_xMathematical models.
653 _acomputer system performance
653 _aanalytical modeling techniques
653 _asimulation
653 _aexperimental validation
653 _aMarkov chains
653 _aqueueing systems
653 _afluid approximation
653 _atransient analysis
776 0 8 _iPrint version:
_z9781627052696
830 0 _aSynthesis digital library of engineering and computer science.
830 0 _aSynthesis lectures on computer science,
_x1932-1686 ;
_v# 7.
856 4 2 _3Abstract with links to resource
_uhttp://ieeexplore.ieee.org/servlet/opac?bknumber=6813477
856 4 0 _3Abstract with links to full text
_uhttp://dx.doi.org/10.2200/S00538ED1V01Y201309CSL007
999 _c562029
_d562029