Una región crítica es una secuencia de instrucciones que no debe ser interrumpida por otros procesos, es decir, se debe tratar una región crítica como una sola instrucción atómica.
No es suficiente que los recursos usados en una región crítica no se deben ser alterados por otros procesos, porque es posible que su valor o contenido en el momento de lectura no están validos; puede ser que estén en un estado transiente. Sin embargo, si los accesos concurrentes lean solamente pueden estar permitidos (más sobre el tema veremo más adelante).
Apuntamos regiones críticas con r0,..., rm.
Normalmente se protege en los lenguajes de programación solamente el código directamente, los datos están protegidos indirectamente por su código de acceso.
Por ejemplo, en Java no se puede declarar una clase como synchronized, sino solamente sus métodos. Eso requiere mucha disciplina desde el lado del programador en cuanto a acceder variables críticas solamente con métodos adecuados.