Single cell

An atomic integer is used to protect a data field of SingleCell. Multiple threads trying to assign or find the value of the field. This verification example is very related to the "simple hash table" example.

General information

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

Statistical information

Lines of code116 lines (comments not included)
Lines of specification34 lines (29.31% of the total)
Computation time19392 milliseconds

Example code

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