Instruction Selection - Principles, Methods, and Applications

This book presents a comprehensive, structured, up-to-date survey on instruction selection. The survey is structured according to two dimensions: approaches to instruction selection from the past 45 years are organized and discussed according to their fundamental principles, and according to the characteristics of the supported machine instructions. The fundamental principles are macro expansion, tree covering, DAG covering, and graph covering. The machine instruction characteristics introduced are single-output, multi-output, disjoint-output, inter-block, and interdependent machine instructions. The survey also examines problems that have yet to be addressed by existing approaches.
The book is suitable for advanced undergraduate students in computer science, graduate students, practitioners, and researchers.

List of contents

Introduction.- Macro Expansion.- Tree Covering.- DAG Covering.- Graph Covering.- Conclusions.

About the author

Gabriel Hjort Blindell's research focuses on advanced computer architecture, compiler construction, parallel systems, combinatorial optimization, algorithms, data structures, and complexity. Since June 2012 he has participated in a research project on constraint-based compilation, in particular he is investigating how constraint programming can be used to drive and optimize the instruction selection phase.

Product details

• Authors: Gabriel Hjort Blindell
• Publisher: Springer, Berlin
• Languages: English
• Product format: Hardback
• Released: 14.06.2016
• EAN: 9783319340173
• ISBN: 978-3-31-934017-3
• No. of pages: 177
• Dimensions: 162 mm x 15 mm x 241 mm
• Weight: 409 g
• Illustrations: XVIII, 177 p. 44 illus.
• Subjects: Natural sciences, medicine, IT, technology > IT, data processing > IT; B, Künstliche Intelligenz, Algorithmen und Datenstrukturen, Software Engineering, Algorithms, Artificial Intelligence, Informationstheorie, computer science, Theory of Computation, Software Engineering/Programming and Operating Systems, Data Structures and Information Theory, Operating systems, Algorithms & data structures, Information theory, Algorithm Analysis and Problem Complexity, Data structures (Computer science)