Operating modes of the
val lock_free : t
lock_free mode the algorithm makes sure that at least one domain will be able to make progress by performing read-only operations as read-write operations.
val obstruction_free : t
Exception raised when interference from other domains is detected in the
obstruction_free mode. Interference may happen when some location is accessed by both a compare-and-set and a (read-only) compare operation. It is not necessary for the compare-and-set to actually change the logical value of the location.