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