Sorry, hatte nicht explizit erwähnt, dass ich hier mit FreePascal arbeite.

Laut Kommentaren aus dem Quelltext priorisiert der Synchronisierer hier BeginWrite(), d.h. alle Reader sollen noch ihr Ding zu Ende bringen und alle weiteren BeginRead()-Aufrufe werden hintenangestellt, auch die eines aktuellen Readers.

Das ist jedenfalls heimtückisch, wenn ein solcher Synchronisierer nicht immer reentrant ist.

Weitere Tests haben das bestätigt. Ich weiß nicht, wie das bei Delphi genau aussieht von der Implementierung des Synchronisierers.

(Edit)
@himitsu: das mit dem BeginWrite() direkt nach BeginRead() geht zumindest hier bei FreePascal auch nicht, das habe ich auch einmal explizit getestet. Das führt unweigerlich zu einem Deadlock. Kann natürlich sein, dass das bei Delphi anders ist.