Para dos procesos concurrentes, el semáforo mutuamente excluyente es mutex, entonces el valor inicial de mutex es 1 y solo un proceso puede acceder a la sección crítica en cualquier momento. Si ningún proceso ingresa a la sección crítica, el mutex es 1; si un proceso ingresa a la sección crítica y otro proceso está esperando para ingresar, el mutex es -1; si un proceso ingresa a la sección crítica, el mutex es 0; entrar en la zona crítica.