Analysis of multithreaded programs
M Rinard - International Static Analysis Symposium, 2001 - Springer
The field of program analysis has focused primarily on sequential programming languages.
But multithreading is becoming increasingly important, both as a program structuring …
But multithreading is becoming increasingly important, both as a program structuring …
The LRPD test: Speculative run-time parallelization of loops with privatization and reduction parallelization
Current parallelizing compilers cannot identify a significant fraction of parallelizable loops
because they have complex or statically insufficiently defined access patterns. As …
because they have complex or statically insufficiently defined access patterns. As …
Escape analysis for Java
This paper presents a simple and efficient data flow algorithm for escape analysis of objects
in Java programs to determine (i) if an object can be allocated on the stack;(ii) if an object is …
in Java programs to determine (i) if an object can be allocated on the stack;(ii) if an object is …
[KIRJA][B] Optimizing supercompilers for supercomputers
MJ Wolfe - 1982 - search.proquest.com
This thesis discusses several problems facing compiler design for supercomputers. One
problem is that of building a comprehensive yet efficient means of representing the flow of …
problem is that of building a comprehensive yet efficient means of representing the flow of …
[KIRJA][B] Supercompilers for parallel and vector computers
H Zima, B Chapman - 1990 - dl.acm.org
Supercompilers for parallel and vector computers | ACM Other Books skip to main content
ACM Digital Library home ACM home Google, Inc. (search) Advanced Search Browse …
ACM Digital Library home ACM home Google, Inc. (search) Advanced Search Browse …
Automatic program parallelization
An overview of automatic program parallelization techniques is presented. It covers
dependence analysis techniques, followed by a discussion of program transformations …
dependence analysis techniques, followed by a discussion of program transformations …
Riptide: A programmable, energy-minimal dataflow compiler and architecture
Emerging sensing applications create an unprecedented need for energy efficiency in
programmable processors. To achieve useful multi-year deployments on a small battery or …
programmable processors. To achieve useful multi-year deployments on a small battery or …
A survey on thread-level speculation techniques
Thread-Level Speculation (TLS) is a promising technique that allows the parallel execution
of sequential code without relying on a prior, compile-time-dependence analysis. In this …
of sequential code without relying on a prior, compile-time-dependence analysis. In this …
[PDF][PDF] Automatic extraction of functional parallelism from ordinary programs
M Girkar, CD Polychronopoulos - IEEE transactions on parallel …, 1992 - scholar.archive.org
• Parallelism and concurrency are not mutually exclusive! In fact, we need both forms of
simultaneousness: concurrency to model systems with simultaneously working agents, and …
simultaneousness: concurrency to model systems with simultaneously working agents, and …
[KIRJA][B] Data-parallel programming on MIMD computers
PJ Hatcher, MJ Quinn - 1991 - books.google.com
Data-Parallel Programming demonstrates that architecture-independent parallel
programming is possible by describing in detail how programs written in a high-level SIMD …
programming is possible by describing in detail how programs written in a high-level SIMD …