El estado Compartido puede ser impreciso: si alguna otra CPU descarta una línea Compartida, y ésta CPU es la única que tiene una copia, la línea no será cambiada a estado Exclusivo.