Advanced Compiler Design Implementation

by Steven S. Muchnick

From the Foreword by Susan L. This book takes on the challenges of contemporary languages andarchitectures, and prepares the reader for the new compiling problems thatwill inevitably arise in the future.The definitive book on advanced compiler designThis comprehensive, up-to-date work examines advanced issues in the designand implementation of compilers for modern processors. Written forprofessionals and graduate students, the book guides readers in designingand implementing efficient structures for highly optimizing compilers forreal-world languages. Covering advanced issues in fundamental areas ofcompiler design, this book discusses a wide array of possible codeoptimizations, determining the relative importance of optimizations, andselecting the most effective methods of implementation.* Lays the foundation for understanding the major issues of advancedcompiler design* Treats optimization in-depth* Uses four case studies of commercial compiling suites to illustratedifferent approaches to compiler structure, intermediate-code design, andoptimization these include Sun Microsystems's compiler for SPARC, IBM's forPOWER and PowerPC, DEC's for Alpha, and Intel's for Pentium an relatedprocessors* Presents numerous clearly defined algorithms based on actual cases* Introduces Informal Compiler Algorithm Notation (ICAN), a language devisedby the author to communicate algorithms effectively to people

Genres: Computer Science, Programming, Computers, Programming Languages, Technology, Technical, Engineering

Paperback

First published August 1, 1997

Reviews

[Nick Black · Rating 5 out of 5]

One of the finest computer science textbooks I've ever read, and I've read hundreds. Muchnick is clearly a demigod who's made a fine study of humans so that he might walk amongst us, for reasons unknown to anyone but him. This has reignited my passion for compiler design, and I absolutely can't wait until CS6241 next semester with Santosh Pande, himself reputed to be a Great Master well worth understudy.

Required text for CS6241 (graduate compiler design), on the agenda for next semester. I've leafed through it before and been very impressed; I look forward to making a serious study of this one!

[Gregory Blake · Rating 5 out of 5]

Although Muchnick wrote Advanced Compiler Design and Implementation in 1997, he lays out such an excellent overview of the compilation process and delves into such extreme detail with dozens of useful optimizations that it would be remiss for a serious low-level developer's library to forget this book.

Muchnick targeted Master's or PhD level Computer Scientists when he wrote this book, and I hadn't been introduced to some math concepts that he used, such as lattices. A reader attempting to find a useful sequence for reading this book might want to include some topic in advanced mathematics prior to reading, although Muchnick stays light on the proofs and overall isn't as taxing to read for non-mathematical audiences as Knuth.

All of his algorithms are written in ICAN, which is a pseudo-language he invented that looks remarkably similar to ML or Haskell with iterative qualities. The text explanations of what the algorithms do are usually strong enough that a reader familiar with data structures can follow along without referencing the gory details in the code.

All in all, I highly recommend Muchnick as a follow-up to Appel's Modern Compiler Implementation in ML, as the other text will bring a less advanced reader up to speed for this book.

[Irvi · Rating 3 out of 5]

Strong fundamentals, however there’s plenty obsolete RISC architecture.

[Paul Floyd · Rating 2 out of 5]

Strong on the theory and full of references to the contemporary literature. But contemporary here was quite a long time ago. So there's plenty on now obsolete RISC architectures, but nothing on the latest Intel and ARM ones, specifically concerning recent developments like out of order execution.

The ICAN notation is a bit annoying. It's a peculiar mix of script-like control flow ("do ... od"), also with lots of APL-like symbols. Generally I just skimmed the algorithms expressed in ICAN.

[Akshay Deodhar · Rating 2 out of 5]

Uses its own "invented" programming languages for expressing algorithms. Algorithms unclear. Probably the only book which is comprehensive in terms of classical compiler optimizations. Gave up. Try the Dragon Book (clearer) or Engineering a Compiler (easier)

[Asher Mancinelli · Rating 5 out of 5]

Compiler textbooks are extremely overpoplulated by parsing, lexing, and basic code generation. Finding a quality textbook that covers the details of optimizing compilers, phase ordering, and a wide range of loop analyses is difficult. This book is that.

[Phonesavanh]

I am doing research about the compiler and I need help from this book