changes

diff --git a/Robust/src/Runtime/DSTM/interface/dsmlock.c b/Robust/src/Runtime/DSTM/interface/dsmlock.c
index b1b61071ea780f9dfaa34c16fb0100f628d6b500..0c657ce3ac22d4cb6f7b59b3e20e19fa4802949e 100644 (file)
--- a/Robust/src/Runtime/DSTM/interface/dsmlock.c
+++ b/Robust/src/Runtime/DSTM/interface/dsmlock.c
@@ -10,14 +10,14 @@ inline void readLock(volatile unsigned int *addr) {
   __asm__ __volatile__ ("" " subl $1,(%0)\n\t"
                         "jns 1f\n"
                         "1:\n"
-                        :: "a" (addr) : "memory");
+                        :: "a" (*addr) : "memory");
 }
 
 inline void writeLock(volatile unsigned int *addr) {
   __asm__ __volatile__ ("" " subl %1,(%0)\n\t"
                         "jz 1f\n"
                         "1:\n"
-                        :: "a" (addr), "i" (RW_LOCK_BIAS) : "memory");
+                        :: "a" (*addr), "i" (RW_LOCK_BIAS) : "memory");
 }
 
 inline void atomic_dec(volatile unsigned int *v) {
@@ -30,11 +30,11 @@ inline void atomic_inc(volatile unsigned int *v) {
                        : "+m" (*v));
 }
 
-static inline int atomic_sub_and_test(int i, atomic_t *v) {
+static inline int atomic_sub_and_test(int i, volatile unsigned int *v) {
   unsigned char c;
 
   __asm__ __volatile__ (LOCK_PREFIX "subl %2,%0; sete %1"
-                       : "+m" (v->counter), "=qm" (c)
+                       : "+m" (*v), "=qm" (c)
                        : "ir" (i) : "memory");
   return c;
 }
@@ -46,9 +46,9 @@ static inline int atomic_sub_and_test(int i, atomic_t *v) {
  *
  * Atomically adds @i to @v.
  */
-static inline void atomic_add(int i, atomic_t *v) {
+static inline void atomic_add(int i, volatile unsigned int *v) {
   __asm__ __volatile__ (LOCK_PREFIX "addl %1,%0"
-                       : "+m" (v->counter)
+                       : "+m" (*v)
                        : "ir" (i));
 }
 
@@ -61,11 +61,10 @@ inline int read_trylock(volatile unsigned int  *lock) {
 }
 
 inline int write_trylock(volatile unsigned int  *lock) {
-  atomic_t *count = (atomic_t *)lock;
-  if (atomic_sub_and_test(RW_LOCK_BIAS, count)) {
+  if (atomic_sub_and_test(RW_LOCK_BIAS, lock)) {
     return 1; // get a write lock
   }
-  atomic_add(RW_LOCK_BIAS, count);
+  atomic_add(RW_LOCK_BIAS, lock);
   return 0; // failed to acquire a write lock
 }
 

diff --git a/Robust/src/Runtime/DSTM/interface/dsmlock.h b/Robust/src/Runtime/DSTM/interface/dsmlock.h
index 4a383ab43e3db64688364e409516b0442de4b260..d1b6c0cc7514ce31b85aeb8d9cc1937fc3d49eb3 100644 (file)
--- a/Robust/src/Runtime/DSTM/interface/dsmlock.h
+++ b/Robust/src/Runtime/DSTM/interface/dsmlock.h
@@ -25,8 +25,8 @@ int read_trylock(volatile unsigned int *lock);
 int write_trylock(volatile unsigned int *lock);
 void atomic_dec(volatile unsigned int *v);
 void atomic_inc(volatile unsigned int *v);
-static void atomic_add(int i, atomic_t *v);
-static int atomic_sub_and_test(int i, atomic_t *v);
+static void atomic_add(int i, volatile unsigned int *v);
+static int atomic_sub_and_test(int i, volatile unsigned int *v);
 void read_unlock(volatile unsigned int *rw);
 void write_unlock(volatile unsigned int *rw);
 #endif