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
{dbc,gcf,zgs}@npac.syr.edu

Abstract:

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.