CRPC-TR99802						May 1999

Title: Semantic Checking in HPJava

Authors: Bryan Carpenter, Geoffrey Fox, and Guansong Zhang

Submitted November 1999

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 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
dbc@npac.syr.edu
Northeast Parallel Architectures Centre
Syracuse University

Geoffrey Fox
gcf@npac.syr.edu
Northeast Parallel Architectures Centre
Syracuse University

Guansong Zhang
zgs@npac.syr.edu
Northeast Parallel Architectures Centre
Syracuse University