Simple hash table (with find-or-put)

SingleCell is the simplified version of the single method lock-less hash-table using AtomicInteger as synchroniser. The contracts for the AtomicInteger is the version without magic-wand (delta).

General information

ID21
Articlenone
Back-endChalice
LanguageJava
FeaturesAtomics, Witnesses
Sources
Path to example fileatomics/RBSingleCell.java
Date2017-06-15

Statistical information

Lines of code144 lines (comments not included)
Lines of specification62 lines (43.06% of the total)
Computation time19392 milliseconds

Example code

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