Los despertar espurios en java: realidad o mito?

El concepto de despertar espurios en la sincronización de Java ha sido un tema de discusión durante bastante tiempo. Si bien existe el potencial de tal comportamiento, la pregunta sigue siendo: ¿realmente ocurren en la práctica?

El mecanismo de activación de Linux

de acuerdo con el artículo de Wikipedia sobre despertadores espurios, la implementación de Linux de la función PTHREAD_COND_WAIT () utiliza la llamada del sistema Futex. Cuando un proceso recibe una señal, puede regresar abruptamente con EINTR, haciendo que sus llamadas del sistema de bloqueo terminen temprano.

futex y se despierte espurio

Esta condición de carrera surge porque pthread_cond_wait () no puede reanudar el hilo de espera si se ha perdido una actitud real mientras se ejecuta fuera de la llamada del sistema futex. Como resultado, una señal POSIX puede activar una activación espuria.

Ejemplo en java

El programa Java proporcionado demuestra el concepto:

public class Spurious {
    public static void main(String[] args) {
        Lock lock = new ReentrantLock();
        Condition cond = lock.newCondition();
        lock.lock();
        try {
            try {
                cond.await();
                System.out.println("Spurious wakeup!");
            } catch (InterruptedException ex) {
                System.out.println("Just a regular interrupt.");
            }
        } finally {
            lock.unlock();
        }
    }
}

provocando despertar espuriosos

para inducir un despertar espurio en este programa Java, se puede enviar una señal al proceso mientras espera la condición. Esto se puede lograr en Linux usando un comando como:

kill -s SIGUSR1 

Beneficios de rendimiento

mientras que los despertares espurios pueden considerarse una molestia en algunos escenarios, su ocurrencia generalmente es raro en los sistemas operativos modernos. Sin embargo, juegan un papel en la optimización del rendimiento del sistema al evitar la espera innecesaria de la espera y la reducción de la sobrecarga al tratar con múltiples hilos que esperan la misma variable de condición.