To compare the difference in abstractions, we show a view of racy without TAU mappings on the left and with TAU mappings on the right for the sample POOMA-2 code illustrated earlier. This program uses two threads as seen in the figure using n,c,t 0,0,0 for thread 0 and n,c,t 0,0,1 for thread 1.