Una técnica de programación que asegura que sólo un programa o rutina a la vez pueda acceder a algunos recursos, como una ubicación de memoria, un puerto de E/S o un archivo, a menudo mediante el uso de semáforos, que son los parámetros utilizados en programas para coordinar las actividades de más de un programa o rutina.