Pourquoi Object.wait() doit-il toujours être appelé dans un bloc synchronisé ?

Synchronisation nécessaire de Wait() pour garantir la prévisibilité

Object.wait() doit résider dans un bloc synchronisé pour garantir la sécurité des threads et empêcher IllegalMonitorStateException.

Raison de l'exigence de synchronisation

Attendre libère le moniteur associé à l'objet, permettant à d'autres fils pour l'acquérir. Si wait() pouvait être invoqué en dehors d'un bloc synchronisé, un comportement imprévisible pourrait survenir.

Dangers potentiels de Wait() sans synchronisation

Envisagez une implémentation de file d'attente de blocage sans wait() synchronisé :

class BlockingQueue {
    Queue<String> buffer = new LinkedList<>();

    public void give(String data) {
        buffer.add(data);
        notify(); // Signal waiting consumer
    }

    public String take() throws InterruptedException {
        while (buffer.isEmpty()) {
            wait(); // Suspend thread without synchronization
        }
        return buffer.remove();
    }
}

Dans cet exemple :

1. Un thread consommateur peut appeler take(), vérifiez que le tampon est vide, puis appeler wait() sans synchronisation.
2. Avant que le thread consommateur ne se mette réellement en veille, un thread producteur peut ajouter un élément au tampon et notifier le thread en attente.
3. Cependant, le consommateur le fil de discussion a peut-être manqué la notification en raison du manque de synchronisation.
4. Le fil de discussion producteur peut ne jamais avertir le consommateur par la suite, ce qui entraîne un impasse.

Problème de synchronisation universelle

Ce problème de synchronisation s'applique universellement aux mécanismes d'attente/notification, quelle que soit l'implémentation spécifique. Sans synchronisation, il existe toujours un risque de conditions de concurrence et de comportement imprévisible des threads. Par conséquent, la règle « attendre à l'intérieur de la synchronisation » garantit la sécurité des threads et évite de tels problèmes.

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!