Good load balancing is the key to deriving maximal performance from multiprocessors. Several successful dynamic load balancing techniques on tightly-coupled multiprocessors have been developed. However, load balancing...
详细信息
We propose a debugging language, Data Path Expressions (DPEs), for modeling the behavior of parallel programs. The debugging paradigm is for the programmer to describe the expected program behavior and for the debugge...
详细信息
The proceedings contain 22 papers. The topics discussed include: application of lattice algebra to loop optimization;fast and usually linear algorithm for global flow analysis;some optimization techniques for an exten...
The proceedings contain 22 papers. The topics discussed include: application of lattice algebra to loop optimization;fast and usually linear algorithm for global flow analysis;some optimization techniques for an extensible language;automatic data structure choice in a language of very high level;correctness-preserving program transformations;reduction: a new method of proving properties of systems of processes;semantic model for parallel systems with scheduling;a description of path expressions by Petri nets;and even simple programs are hard to analyze.
暂无评论