Uma técnica de programação que garante que apenas um programa ou rotina de cada vez pode acessar algum recurso, como um local de memória, uma porta de e/s ou um arquivo, muitas vezes através do uso de semáforos, que são sinalizadores usados em programas para coordenar as atividades de mais de um programa ou rotina.