Machine-Independent Evaluation of Parallelizing Compilers
نویسنده
چکیده
A method is presented for measuring the degree of success of a compiler at extracting implicit parallelism. The outcome of applying this method to evaluate a state-of-the-art par-allelizer, KAP/Concurrent, using the Perfect Benchmarks and a few linear-algebra routines indicates that there is much room for improvement in the current generation of parallelizing compilers.
منابع مشابه
A Formal Approach to Parallelizing Compilers
This paper describes parallelizing compilers which allow programmers to tune parallel program performance through an interactive dialog. Programmers specify language constructs that define sequential processes, such as assignment or for-loops, to be used as units of computation, while the compiler discovers the parallelism existent in the source program in terms of these units. Programmers may ...
متن کاملEvaluation of Parallelizing Compilers
The recognition and exploitation of parallelism is a diicult problem for restructuring compilers. We present a method for evaluating the eeectiveness of parallelizing compilers in general and of speciic compiler techniques. We also report two groups of measurements that are the results of using this technique. One evaluates a commercially available parallelizer, KAP/Concurrent, and the other co...
متن کاملAutomatic Parallelization for Non-cache Coherent Multiprocessors
Although much work has been done on parallelizing compilers for cache coherent shared memory multiprocessors and message-passing multiprocessors, there is relatively little research on parallelizing compilers for noncache coherent multiprocessors with global address space. In this paper, we present a preliminary study on automatic parallelization for the Cray T3D, a commercial scalable machine ...
متن کاملAutomatic Generation of Provably Correct Parallelizing Compilers
We show how parallelizing compilers can be automatically derived from denotational deenitions of programming languages. In our approach, the denotational deenition is expressed using deenite clause grammars (syntax speciication) and Horn Logic or Constraint Logic (semantic speciication). The conditions for executing two or more statements in parallel (e.g., GCD test, Banerjee test, or exact tes...
متن کاملCompilation Techniques Specific for a Hardware Cryptography-Embedded Multimedia Mobile Processor
The development of single chip VLSI processors is the key technology of ever growing pervasive computing to answer overall demands for usability, mobility, speed, security, etc. We have so far developed a hardware cryptography-embedded multimedia mobile processor architecture, HCgorilla. Since HCgorilla integrates a wide range of techniques from architectures to applications and languages, one-...
متن کامل