In this book we give an overview of modeling techniques used to describe computer systems to mathematical optimization tools. We give a brief introduction to various classes of mathematical optimization frameworks with special focus on mixed integer linear programming which provides a good balance between solver time and expressiveness. We present four detailed case studies -- instruction set customization, data center resource management, spatial architecture scheduling, and resource allocation in tiled architectures -- showing how MILP can be used and quantifying by how much it outperforms traditional design exploration techniques. This book should help a skilled systems designer to learn techniques for using MILP in their problems, and the skilled optimization expert to understand the types of computer systems problems that MILP can be applied to.

Autorentext

Karthikeyan Sankaralingam is an Associate Professor at the University of Wisconsin-Madison in the department of computer sciences. He leads the Vertical Research group at UW-Madison, exploring a vertically integrated approach to microprocessor design. His research has developed widely cited results on Dark Silicon, hardware specialization in the DySER architecture, and novel generalizations of GPUs. He is a recipient of the NSF Career Award in 2009 and the IEEE TCCA Young Computer Architect Award in 2011. He is an IEEE Senior Member. He got his PhD and MS from the University of Texas at Austin, and his Bachelor's degree from the Indian Institute of Technology, Madras.Michael Ferris is a Professor at the University of Wisconsin-Madison in the department of computer sciences. His research is concerned with algorithmic and interface development for large scale problems in mathematical programming, including links to the GAMS and AMPL modeling languages, and general purpose software such as PATH, NLPEC, and EMP. He has worked on several applications of both optimization and complementarity, including cancer treatment plan development, radiation therapy, video-on-demand data delivery, economic and traffic equilibria, structural and mechanical engineering. Ferris is a SIAM fellow and an INFORMS fellow and received the Beale-Orchard-Hays prize from the Mathematical Programming Society and is a past recipient of a NSF Presidential Young Investigator Award, and a Guggenheim Fellowship. He serves on the editorial boards of Mathematical Programming, SIAM Journal on Optimization, Transactions of Mathematical Software, and Optimization Methods and Software.Tony Nowatzki is a graduate student at the University of Wisconsin-Madison, working as a research assistant in the Vertical Research Group. His research centers around computational accelerators from a design exploration and comparison perspective. Broad interests include architecture and compiler co-design. He is a student member of IEEE. He has a Bachelor's of Computer Science and Computer Engineering from the University of Minnesota, and a Master's of Computer Science from UW-Madison.Cristian Estan is an architect at Broadcom Corporation where he works on coprocessors performing critical tasks for networking infrastructure such as packet classification, forwarding lookups and deep packet inspection. He has achieved major reductions in power consumption and cost per bit and increases in functionality through algorithmic and architectural innovation. He has received the Broadcom CEO achievement recognition award (2013), PLDI distinguished paper award (2013), NSF CAREER award (2006), ACSAC best paper award (2006) and UCSD CSE PhD dissertation award (2004). Earlier he worked at NetLogic Microsystems, taught at the CS Department of University of Wisconsin-Madison and had shorter stints at various startups. He published 30 research papers at selective peer-reviewed venues in the fields of computer networking, security, systems, programming languages and databases and is an inventor on 14 patents and patent applications.

Inhalt
Acknowledgments.- Introduction.- An Overview of Optimization.- Case Study: Instruction Set Customization.- Case Study: Data Center Resource Management.- Case Study: Spatial Architecture Scheduling.- Case Study: Resource Allocation in Tiled Architectures.- Conclusions.- Bibliography.- Authors' Biographies.