Concurrency Practice and Experience · 2000 · 12 citations · 14 references
ComputingComputer EngineeringComputer ScienceCompilersProgramming LanguagesData TypesData-flow AnalysisStatic AnalysisStatic Code AnalysisType CheckingType SystemsStatic SemanticsStatic Type CheckingType AnalysisType Locality AnalysisType State Analysis
On clusters and DMPs, locality of objects and threads and hence avoidance of network communication, are crucial for the application performance. We show that–in certain situations—an extension of known type inference mechanisms can be used to compute placement decisions that improve locality of threads and objects and hence reduce the application execution times. In addition to this general contribution, the paper specifically addresses the problems that are caused by the distributed Java environment. Since the JVM and the bytecode format are assumed to be fixed, the optimization is done as source-to-source transformation. Copyright © 2000 John Wiley & Sons, Ltd.
14
The High Performance Fortran Handbook
Charles Koelbel, David B. Loveman, Robert Schreiber et al. · Computers in Physics · 1994 · 577 citations
Object-oriented type inference
Jens Palsberg, Michael I. Schwartzbach · 1991 · 305 citations · Full text