...garantiza que los cambios de variables compartidas sean visibles para el resto de hilos.

...no puede bloquear a un hilo que se está ejecutando dentro del mismo.

...puede hacer que se bloquee un hilo que intenta ejecutarlo.

...evita que haya dos hilos accediendo a una región crítica.