Parallel nested transactions had a bug on the abort procedure.
commiteca7e5f38735007adf867c7937fbedae900f9bc6
authorNuno Diegues <nmld@apollo.local>
Thu, 29 May 2014 09:49:17 +0000 (29 11:49 +0200)
committerNuno Diegues <nmld@apollo.local>
Thu, 29 May 2014 09:49:17 +0000 (29 11:49 +0200)
tree2fd84a1ae46fe249afe507b6e4f4341e5fa49f32
parentabdfd54bf4861bc651dd4bbea528cc29d10f25aa
Parallel nested transactions had a bug on the abort procedure.

A test was added that explains the problem along with the fix on the corresponding file.
In summary, more than one depth of nesting could cause a top level transaction to incorrectly take ownership of a VBox from another top level transaction.
examples/parallel-nesting/simple/AbortedParallelTxTest.java [new file with mode: 0644]
src/main/java/jvstm/ParallelNestedTransaction.java