O fenômeno chamado localidade de referências corresponde ao comportamento de programas típicos quanto ao padrão de referências de seu espaço lógico: as referências de um processo tendem a se agrupar em um subconjunto de seu espaço lógico; esse subconjunto pode variar durante a execução do processo, mas em determinado instante da execução ele representa o subconjunto preferido para referências do processo.