| commit | 668ae4ddd3f79926a47d552e8e7b825550bdc09f | |
| author | Nuno Diegues <nmld@apollo.local> | |
| Thu, 29 May 2014 09:49:17 +0000 (29 11:49 +0200) | ||
| committer | Sérgio Miguel Fernandes <sergio.fernandes@ist.utl.pt> | |
| Fri, 11 Jul 2014 09:23:54 +0000 (11 10:23 +0100) | ||
| tree | cdaaa8f962bc77a270e9eec62571385b5d145770 | treesnapshot (tar.gz zip) |
| parent | f974982e1219049c897226a832c8d329c0195918 | commitdiff |
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.
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] | blob |
| src/main/java/jvstm/ParallelNestedTransaction.java | diffblobblamehistory |