© 1988

Dependence Analysis for Supercomputing


Table of contents

  1. Front Matter
    Pages i-xi
  2. Utpal Banerjee
    Pages 1-12
  3. Utpal Banerjee
    Pages 13-26
  4. Utpal Banerjee
    Pages 27-43
  5. Utpal Banerjee
    Pages 45-65
  6. Utpal Banerjee
    Pages 67-99
  7. Utpal Banerjee
    Pages 101-148
  8. Back Matter
    Pages 149-155

About this book


This book is on dependence concepts and general methods for dependence testing. Here, dependence means data dependence and the tests are compile-time tests. We felt the time was ripe to create a solid theory of the subject, to provide the research community with a uniform conceptual framework in which things fit together nicely. How successful we have been in meeting these goals, of course, remains to be seen. We do not try to include all the minute details that are known, nor do we deal with clever tricks that all good programmers would want to use. We do try to convince the reader that there is a mathematical basis consisting of theories of bounds of linear functions and linear diophantine equations, that levels and direction vectors are concepts that arise rather natu­ rally, that different dependence tests are really special cases of some general tests, and so on. Some mathematical maturity is needed for a good understand­ ing of the book: mainly calculus and linear algebra. We have cov­ ered diophantine equations rather thoroughly and given a descrip­ of some matrix theory ideas that are not very widely known. tion A reader familiar with linear programming would quickly recog­ nize several concepts. We have learned a great deal from the works of M. Wolfe, and K. Kennedy and R. Allen. Wolfe's Ph. D. thesis at the University of Illinois and Kennedy & Allen's paper on vectorization of Fortran programs are still very useful sources on this subject.


Calc Mathematica algebra boundary element method calculus diophantine equation equation form functions graphs linear algebra linear optimization programming testing time

Authors and affiliations

  1. 1.Control Data CorporationSunnyvaleUSA

Bibliographic information

  • Book Title Dependence Analysis for Supercomputing
  • Authors Utpal Banerjee
  • Series Title The Kluwer International Series in Engineering and Computer Science
  • DOI
  • Copyright Information Springer-Verlag US 1988
  • Publisher Name Springer, Boston, MA
  • eBook Packages Springer Book Archive
  • Hardcover ISBN 978-0-89838-289-1
  • Softcover ISBN 978-1-4684-6896-0
  • eBook ISBN 978-1-4684-6894-6
  • Series ISSN 0893-3405
  • Edition Number 1
  • Number of Pages XI, 155
  • Number of Illustrations 0 b/w illustrations, 0 illustrations in colour
  • Topics Processor Architectures
    Operating Systems
    Theory of Computation
  • Buy this book on publisher's site
Industry Sectors