How to implement a single-entrant lock using AtomicInteger? A single-entrant lock which uses deposit-withdraw approach of AtomicInteger specification.
|Features||Atomics, Locking, Witnesses|
|Path to example file||atomics/DWLock.java|
|Lines of code||102 lines (comments not included)|
|Lines of specification||39 lines (38.24% of the total)|
|Computation time||13517 milliseconds|
Note, verification may take a while and has a time-out of 20 seconds.