TR 2:303:45p in 1289 Computer Sciences
Course Text
[LZGS]
 E. D. Lazowska, J. Zahorjan, G. S. Graham, K. C. Sevcik,
Quantitative System Performance, Prentice Hall, 1984.
This text is available
online.

Other Useful Texts
 Bruell, Steven C. and Gianfranco Balbo,
Computational algorithms for closed queueing networks,
North Holland, New York, 1980.
ISBN: 0444004211, available in the UW Math Library
Call Number: T57.9 B78
 Kleinrock, L., Queueing Systems Volume I: Theory,
Wiley Interscience, 1975. (Chapters 2,3)
This online tutorial contains a simulation of the M/M/1 queue
that illustrates the bursty Poisson arrivals and the time it takes for the
queue to empty when a backlog builds up (i.e., the busy period behavior).
Selected Papers
ProductForm or Separable Queueing Networks
 Jackson, J. R., "Networks of Waiting Lines",
Operations Research, Vol. 5, 1957, pp. 518521.
 Gordon, W. J., and G. F. Newell,
"Closed Queueing Systems with Exponential Servers"
Operations Research, Vol. 15, 1967, pp. 254265.
 Baskett, F., K. M. Chandy, R. R. Muntz, and F. G. Palacios,
"Open, Closed, and Mixed Networks
of Queues with Different Classes of Customers",
J. ACM, Vol. 22, No. 2, April 1975, pp 248260.
 Buzen, J.,
"Computational Algorithms for
Closed Queueing Networks with Exponential Servers"
Comm. ACM, Vol 16, No. 9, Sept 1973, pp. 527531.
 Denning, P., and J. Buzen,
"The Operational
Analysis of Queueing Network Models",
ACM Computing Surveys, Vol. 10, No. 3, Sept. 1978, pp. 225261.
 Lavenberg, S. S., and M. Reiser,
"Stationary State
Probabilities at Arrival Instants for Closed Queueing Networks with
Multiple Types of Customers",
J. Applied Probability, Vol. 17, No. 4, Dec. 1980,
pp. 10481061.
 Sevcik, K. C. and I. Mitrani,
"The Distribution of Queueing Network
States at Input and Output Instants",
J. of the ACM Vol. 28, No. 2, April 1981, pp. 358371.
 Reiser, M. and S. S. Lavenberg,
"Mean Value Analysis on Closed
Multichain Queueing Networks",
J. ACM, Vol. 27, No. 2, April 1980, pp. 313322.
 Salza, M. and S. S. Lavenberg,
"Approximating Response Time
Distributions in Closed Queueing Network Models of Computer Performance,
Proc. Performance '81, North Holland, 1981.
AMVA Approximations
 Priority scheduling:
Eager, D. L., and J. N. Lipscomb,
"The AMVA Priority
Approximation",
Performance Evaluation, No. 8, Vol. 3, June 1988, pp. 173193.
 High Service CV that breaks the Arrival Theorem & bursty arrivals:
Eager, D. L., D. J. Sorin, and M. K. Vernon,
"AMVA Techniques for High
Service Time Variability",
Proc. ACM SIGMETRICS 2000 Int'l. Conf. on Measurement and Modeling
of Computer Systems, Santa Clara, CA, June 2000, pp. 217228.
 Forking of asynchronous tasks:
Heidelberger, P., and K.S. Trivedi
"Queueing Network
Models for Parallel Processing with Asynchronous Tasks",
IEEE Transactions on Computers,
Vol. C31, No. 11, November 1982, pp. 1099
 Parallel program fork/join synchronization:
Heidelberger, P. and K. S. Trivedi,
"Analytic Queueing
Models for Programs with Internal Concurrency",
IEEE Transactions on Computers,
Vol. C32, No. 1, January 1983, pp. 7382
 Multiserver queues:
Suri, R., S. Sahu, and M. K. Vernon,
"Approximate Mean Value Analysis
for Closed Queueing Networks with Multiple Server Stations",
Proc. 2007 Industrial Engineering Research Conf.,
Nashville, May 2024, 2007.
 Customer loss due to finite buffer & service time correlated with N:
Tan, H., D. L. Eager, M. K. Vernon, and H. Guo,
"Quality of Service
Evaluations of Multicast Streaming Protocols",
Proc. ACM SIGMETRICS 2002 Int'l. Conf. on Measurement and
Modeling of Computer Systems (SIGMETRICS 2002),
Marina del Rey, CA, June 2002.
AMVA Applications
 Adve, V. S., and M. K. Vernon,
"Performance Analysis of
Multiprocessor Mesh Interconnection Networks with Wormhole Routing",
IEEE Trans. on Parallel and Distributed Systems, March 1994.
 Chiang, M.C. and G. Sohi,
"Evaluating Design Choices for Shared
Bus Multiprocessors",
IEEE Transactions on Computers, Vol. 41, No. 3, March 1992, pp. 297317.
 Sorin, D., V. Pai, S. V. Adve, M. K. Vernon, and D. A. Wood,
"Analytic Evaluation of Shared
Memory Systems with ILP Processors",
Proc. 25th Int'l. Symp. on Computer Architecture (ISCA '98),
Barcelona, July 1998, pp. 180191.
Technical report with detailed equations:
Sorin, D., M. K. Vernon, V. Pai, S. V. Adve, and D. A. Wood,
"A
Customized MVA Model for ILP Multiprocessors",
Computer Sciences Technical Report No. 1369,
University of WisconsinMadison, March 1998.
 Willick, D. L., and Derek L. Eager,
"An Analytical Model of
Multistage Interconnection Networks",
Proc. 1990 ACM SIGMETRICS Conf. on Measurement & Modeling of
Computer Systems, Boulder, Colorado, May 1990, pp. 192199.
Further Customized Performance Models
 Frank, M. I., A. Agarwal, and M. K. Vernon,
"LoPC: Modeling Contention in
Parallel Algorithms",
Proc. PPoPP '97, Las Vegas, June 1997, pp. 276287.
 SundaramStukel, D. and M. K. Vernon,
"Predictive Analysis of a
Wavefront Application Using LogGP",
Proc. 7th ACM SIGPLAN Symp. on Principles and Practices of Parallel
Programming (PPoPP '99), Atlanta, GA, May 1999, pp. 141150.
 Mahanti, A., D. L. Eager, M. K. Vernon, and D. SundaramStukel,
"Scalable OnDemand Media
Streaming with Packet Loss Recovery",
IEEE/ACM Trans. on Networking, Vol. 11, No. 2, April 2003, pp. 195209.
(One of three papers fast tracked to ACM/IEEE ToN from
Proc. ACM SIGCOMM Conf. on Applications, Technologies, Architectures,
and Protocols for Computer Communication (SIGCOMM 2001),
San Diego, August 2001, pp. 97108.)
 Rai, I., G. UrvoyKeller, M. K. Vernon, and E. Biersack,
"Performance of LASbased Scheduling
Disciplines in a Packet Switched Network",
Proc. ACM SIGMETRICS 2004/Performance 2004 Joint Int'l. Conf.
on Measurement and Modeling of Computer Systems, New York, June 2004.
Open vs Closed Workloads
Applications of Markov Chains
 Greenberg, A. G., I. Mitrani, and L. Rudolph,
"Analysis of Snooping Caches",
Proc. Performance '87 12th Int'l. Symp. on Computer Performance,
Dec. 1987, pp. 345361. (AT&T Technical Memorandum)
 May, M., J.C. Bolot, A. JeanMarie and C. Diot,
"Simple Performance Models of Differentiated Services Schemes for the Internet",
Proc. IEEE INFOCOM '99 18th Ann. Joint Conf. of the IEEE Computer and Communications
Societies, Vol. 3,
New York, March 1999, pp. 13851394.
