<
From version < 3.1 >
edited by nbw
on 2014/06/20 10:04
To version < 4.1 >
edited by nbw
on 2014/06/22 18:25
>
Change comment: There is no comment for this version

Summary

Details

Page properties
Content
... ... @@ -146,3 +146,12 @@
146 146  
147 147  * Use entry-/exit-actions instead of actions on transitions, if possible.
148 148  * If using hostcode, only use functions delivered by our own C-Interface and not the Höhrmann-API.
149 +
150 +=== Deadlock Prevention ===
151 +
152 +* When attempting to reserve more than one segment (Entering a station, passing a junction) a separate protocol for deadlock prevention must be adhered to.
153 +* In each tick the controller must check if only partial permissions were granted.
154 +* If partial permission was granted the train waits for one tick and releases all locks.
155 +* In the following tick the locks are requested again.
156 +* As a special case the controllers passing through KIO_LN_0 or KIO_LN_1 must wait an additional tick after releasing the requests.
157 +* A sample controller can be found in the repository at [[/doc/deadlocks/resolve_deadlock.sct>>url:https://git.rtsys.informatik.uni-kiel.de/projects/PRAK/repos/14ss-railway/browse/doc/deadlocks/resolve_deadlock.sct||shape="rect"]]
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -9471035
1 +9471285
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SS14Railway/pages/9471035/Interfaces and Rulesets
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SS14Railway/pages/9471285/Interfaces and Rulesets