XDP : a compiler intermediate language extension for the representation and optimization of data movement

The ability to represent, manipulate, and optimize data placement and movement between processors in a distributed address space machine is crucial in allowing compilers to generate efficient code. Data placement is embodied in the concept of data ownership. Data movement can include not just the transfer of data values but the transfer of ownership. An analysis described XDP, a set of intermediate language extensions for representing and manipulating data and ownership transfers explicitly in a compiler. XDP is supported by a set of per-processor structures that can be used to implement ownership testing and manipulation at run-time. XDP provides a uniform framework for translating and optimizing sequential, data parallel, and message-passing programs to a distributed address space machine. The analysis and optimization techniques for this explicit representation are described.