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).
|Path to example file||atomics/RBSingleCell.java|
|Lines of code||144 lines (comments not included)|
|Lines of specification||62 lines (43.06% of the total)|
|Computation time||19392 milliseconds|
Note, verification may take a while and has a time-out of 20 seconds.