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 |