Knowledge-Based Automatic Parallelization by Pattern Recognition

We present the top-down design of a new system which performs automatic parallelization of numerical Fortran77, Fortran90 or C source programs for execution on distributed-memory message-passing multiprocessors such as e.g. the INTEL iPSC/860 or the TMC CM-5. The key idea is a high--level pattern matching approach which in some useful way permits partial reverseengineering of a wide class of numerical programs. With only a few hundred patterns, we will be able to completely match many important numerical algorithms. This is also applicable to so-called dusty deck sources that may be 'encrypted' by various former machine-specific optimizations. We sho