Table of Contents
Kritieke sectie
Setup
Blok b3 en b4 zijn gedefinieerd als critical section om een deadlock te voorkomen .
Dit voorbeeld werkt zonder de second next block option.
Voor de lok's is de Same destination direction flag gezet.
Voor de blokken b3 en b4 is de wait flag gezet.
Proces van bezetten en vrijgeven
| Uitgangs positie van de twee lok's. |
 |
| Na het starten van beide lok's in auto mode kan er slechts 1 de blokgoep b3b4 reserveren. In dit geval Lok1. |
 |
| Blok b1 wordt vrij gegeven door de in event van blok b3. |
 |
| Blok b5 wordt gereserveerd op het enter event van blok b4. |
 |
| Blok b3 wordt vrij gegeven door het in event van blok b4. Maar blok b3 kan niet gereserveerd worden door een andere trein omdat b4 nog gereserveerd is. |
 |
| Nu is Lok1 in blok b5 aangekomen en geeft blok 4 vrij waardoor andere treinen blokgroep b3b4 kunnen reserveren. |
 |
| Lok2 kan nu naar de andere kant gaan door b3 and b4 te reserveren. |
 |
Bestand
critsec-test.xml
Gebruik de Virtuele optie om de melders te activeren met een muisklik .