Memory M Prior x memory L Load p.x L->M S Store p.x S->M S->L execute load first Y Store p.y: independent