DeuceSTM/DeuceSTM — pull request #16 by fm-org (2012-08-10 11:51:35+00:00)
Title: Issue15fix

I included an additional parameter: byte[] contextLocks, in the method checkLock. Then this method can perform a validation to check for self-locking. I used the same test algorithm that is already made in the lock method of the same class.

I am currently using this fix in my tests with TL2 and now I can run successfully the StmBench7 and STAMP benchmarks.

Fernando Miguel Carvalho