Race Condition bei readyLatch Reset in reloadWorkspace() #48

Open
opened 2026-03-08 18:37:59 +00:00 by automation · 0 comments
Collaborator

Problem

HeadlessApplication.readyLatch ist ein volatile CountDownLatch der in reloadWorkspace() neu zugewiesen wird:

readyLatch = new CountDownLatch(1); // Zeile 54
// ... work ...
readyLatch.countDown(); // Zeile 112

TOCTOU-Race-Condition: Ein Thread der gerade awaitReady() aufruft, liest den alten (bereits herunter-gezählten) Latch. reloadWorkspace() ersetzt ihn. Der wartende Thread kehrt sofort zurück, obwohl der Reload noch läuft.

volatile schützt nur die Sichtbarkeit der Referenz, nicht das Warten auf den richtigen Latch.

Vorschlag

Phaser statt reassignbarem CountDownLatch verwenden:

private static final Phaser readyPhaser = new Phaser(1);

// Warten:
readyPhaser.awaitAdvanceInterruptibly(readyPhaser.getPhase(), timeout, unit);

// Reload:
readyPhaser.arrive();
readyPhaser.register();

Gefunden von

Gamma, Starke, Fowler (3/3 übereinstimmend)

## Problem `HeadlessApplication.readyLatch` ist ein `volatile CountDownLatch` der in `reloadWorkspace()` neu zugewiesen wird: ```java readyLatch = new CountDownLatch(1); // Zeile 54 // ... work ... readyLatch.countDown(); // Zeile 112 ``` **TOCTOU-Race-Condition:** Ein Thread der gerade `awaitReady()` aufruft, liest den alten (bereits herunter-gezählten) Latch. `reloadWorkspace()` ersetzt ihn. Der wartende Thread kehrt sofort zurück, obwohl der Reload noch läuft. `volatile` schützt nur die Sichtbarkeit der Referenz, nicht das Warten auf den richtigen Latch. ## Vorschlag `Phaser` statt reassignbarem `CountDownLatch` verwenden: ```java private static final Phaser readyPhaser = new Phaser(1); // Warten: readyPhaser.awaitAdvanceInterruptibly(readyPhaser.getPhase(), timeout, unit); // Reload: readyPhaser.arrive(); readyPhaser.register(); ``` ## Gefunden von Gamma, Starke, Fowler (3/3 übereinstimmend)
Sign in to join this conversation.
No milestone
No project
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference
ai-tools/jdt-mcp-server#48
No description provided.