An Example of Correct Global Trace Generation

The memory reference trace of a parallel program is strongly dependent on the memory architecture and memory management policy environment. A change in that environment can change the addresses in the trace as well as the interleaving of the addresses. We have examined the issue of ensuring that the generated global trace is correct for the new environment. In this paper we summarize the key results and informally illustrate the proposed method using an example parallel program.