next up previous
Next: Introduction

Semantic Checking in HPJava

Bryan Carpenter, Geoffrey Fox and Guansong Zhang

Northeast Parallel Architectures Centre,
Syracuse University,
111 College Place,
Syracuse, New York 13244-410


The article discusses various rules about use of distributed arrays in HPJava programs. These rules are peculiar to the HPspmd programming model. They can be enforced by a combination of static semantic checks, compile-time analysis and compiler-generated run-time checks. We argue that the cost of any necessary run-time checks should be acceptable, because, by design, the associated computations can be lifted out of inner loops.

Bryan Carpenter 2002-07-11