nbronson/scala-stm — Issue #22: cycle detection for CCSTM CommitBarrier implementation
Author: nbronson
Created: 2011-10-11 05:51:02+00:00
State: open

The CCSTM CommitBarrier implementation should immediately detect deadlock cycles caused by the barrier, rather than requiring the user to specify a timeout. Every cycle must involve a barrier member that is in the external decider and a barrier member that is blocked. Some of the other transactions in the cycle might not be members of the barrier, though. It will be tricky to convey the deadlock information in a way that is not subject to spurious failed detections.