Reentrant locking

ReentLock is the re-entrant lock using AtomicInteger as synchronizer. The contracts for the AtomicInteger is the version without magic-wand (delta).

General information

ID22
Articlenone
Back-endChalice
LanguageJava
FeaturesAtomics, Locking, Witnesses
Sources
Path to example fileatomics/ReentLock.java
Date2017-06-15

Statistical information

Lines of code209 lines (comments not included)
Lines of specification90 lines (43.06% of the total)
Computation time15594 milliseconds

Example code

Note, verification may take a while and has a time-out of 20 seconds.