Estrategia de programación que sirve para controlar la concurrencia de procesos a recursos compartidos.