*** empty log message ***

[IRC.git] / Robust / Transactions / dstm2 / src / dstm2 / SpecialTransactionalFile.java

diff --git a/Robust/Transactions/dstm2/src/dstm2/SpecialTransactionalFile.java b/Robust/Transactions/dstm2/src/dstm2/SpecialTransactionalFile.java
index 68e53da8de173a381ca6af8687d55b3243140acd..2a3e44bc42cd6d6e2387d774d79ab86c5141728d 100644 (file)
--- a/Robust/Transactions/dstm2/src/dstm2/SpecialTransactionalFile.java
+++ b/Robust/Transactions/dstm2/src/dstm2/SpecialTransactionalFile.java
@@ -30,12 +30,17 @@ public class SpecialTransactionalFile{
 
     
     private void checkConsisteny(){
+      //    System.out.println(Thread.currentThread());
         Transaction me = Thread.getTransaction();
         if (!me.isActive()) {
+                SpecialLock.getSpecialLock().unlock(me);
                 throw new AbortedException();
         }
-        if (me != SpecialLock.getSpecialLock().getOwnerTransaction())
+        if (me != SpecialLock.getSpecialLock().getOwnerTransaction()){
+          //  System.out.println("trying to lock " + Thread.currentThread());
             SpecialLock.getSpecialLock().lock(me);
+           // System.out.println("locked " + Thread.currentThread());
+        }
         
         if (!me.isActive()) {
                 SpecialLock.getSpecialLock().unlock(me);