Optimization and Mathematical Modeling in Computer Architecture (Paperback)

Tony Nowatzki, Michael Ferris, Karthikeyan Sankaralingam, Cristian Estan, Nilay Vaish, David Wood

  • 出版商: Morgan & Claypool
  • 出版日期: 2013-09-01
  • 售價: $1,530
  • 貴賓價: 9.5$1,454
  • 語言: 英文
  • 頁數: 158
  • 裝訂: Paperback
  • ISBN: 1627052097
  • ISBN-13: 9781627052092
  • 海外代購書籍(需單獨結帳)
    無現貨庫存(No stock available)



In the last few decades computer systems and the underlying hardware have steadily become larger and more complex. The need to increase their efficiency through architectural innovation has not abated, but quantitatively evaluating the effect of various choices has become more difficult. Performance and resource consumption are determined by complex interactions between many modules, each with many possible alternative implementations. We need powerful computer programs to explore large design spaces, but the traditional approach of developing simulators, building prototypes, or writing heuristic-based algorithms in traditional programming languages is often tedious and slow. Fortunately mathematical optimization has made great advances in theory, and many fast commercial and academic solvers are now available. In this book we motivate and describe the use of mathematical modeling, specifically optimization based on mixed integer linear programming (MILP) as a way to design and evaluate computer systems. The major advantage is that the architect or system software writer only needs to describe what the problem is, not how to find a good solution. This greatly speeds up their work and, as our case studies show, it can often lead to better solutions than the traditional approach.

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.

Fully operational source code for the examples used in this book is provided through the NEOS System at www.neos-guide.org/content/computer-architecture

Table of Contents: 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



在本書中,我們概述了用於描述計算機系統的數學優化工具的建模技術。我們簡要介紹了各種類型的數學優化框架,特別關注混合整數線性規劃,它在求解器時間和表達能力之間提供了良好的平衡。我們提供了四個詳細的案例研究 - 指令集定制、數據中心資源管理、空間架構調度和瓦片架構中的資源分配 - 顯示了MILP的應用以及它在超越傳統設計探索技術方面的優勢。本書應該能幫助熟練的系統設計師學習如何在他們的問題中使用MILP的技巧,並且能讓熟練的優化專家了解MILP可以應用於哪些類型的計算機系統問題。


目錄:致謝 / 引言 / 優化概述 / 案例研究:指令集定制 / 案例研究:數據中心資源管理 / 案例研究:空間架構調度 / 案例研究:瓦片架構中的資源分配 / 結論 / 參考文獻 / 作者簡介