High Performance Fortran compiler's conherency mechanism

The HPF language says that a scalar may be replicated across all
processors. And from what I read, most compilers do exactly that, in
general. And the compiler is responsible for maintaining the
consistency of these variables.


On the other hand, in the Distributed Computing area, there is
something called Distributed Shared Memory (DSM) systems (or Shared
Virtual Memory systems) like IVY and Munin. They provide a virtual
shared address space on multi-computers which have distributed memory.
And these DSMs often replicate data to allow parallelism and to
improve performance. Therefore, they also need to mainaitain
consistency. A lot of research has gone into the research of various
consistency models and protocols, like weak consistency model, release
consistency model, etc.


My question is: do the HPF compilers employ the same consistency
protocols as in DSMs? Do they us the same techniques? How is the DSM
research affect HPF compilers?


Thank you.

Return to the comp.compilers page.
Search the comp.compilers archives again.