save

diff --git a/benchmark/linuxrwlocks/linuxrwlocks.c b/benchmark/linuxrwlocks/linuxrwlocks.c
index c7ef94c0e739d20681a0b077b63e5a0c0eb902c3..eaae816015c3cf6672a28d1990f096d922c7b2f9 100644 (file)
--- a/benchmark/linuxrwlocks/linuxrwlocks.c
+++ b/benchmark/linuxrwlocks/linuxrwlocks.c
@@ -293,16 +293,36 @@ static void a(void *obj)
        for(i = 0; i < 2; i++) {
                if ((i % 2) == 0) {
                        read_lock(&mylock);
        for(i = 0; i < 2; i++) {
                if ((i % 2) == 0) {
                        read_lock(&mylock);

-                       load_32(&shareddata);
+                       //load_32(&shareddata);
+                       printf("%d\n", shareddata);

                        read_unlock(&mylock);
                } else {
                        write_lock(&mylock);
                        read_unlock(&mylock);
                } else {
                        write_lock(&mylock);

-                       store_32(&shareddata,(unsigned int)i);
+                       //store_32(&shareddata,(unsigned int)i);
+                       shareddata = 47;

                        write_unlock(&mylock);
                }
        }
 }
 
                        write_unlock(&mylock);
                }
        }
 }
 

+static void b(void *obj)
+{
+       int i;
+       for(i = 0; i < 2; i++) {
+               if ((i % 2) == 0) {
+                       if (read_trylock(&mylock) == 1) {
+                               printf("%d\n", shareddata);
+                               read_unlock(&mylock);
+                       }
+               } else {
+                       if (write_trylock(&mylock) == 1) {
+                               shareddata = 47;
+                               write_unlock(&mylock);
+                       }
+               }
+       }
+}
+

 int user_main(int argc, char **argv)
 {
        /**
 int user_main(int argc, char **argv)
 {
        /**


@@ -314,7 +334,7 @@ int user_main(int argc, char **argv)
        atomic_init(&mylock.lock, RW_LOCK_BIAS);
 
        thrd_create(&t1, (thrd_start_t)&a, NULL);
        atomic_init(&mylock.lock, RW_LOCK_BIAS);
 
        thrd_create(&t1, (thrd_start_t)&a, NULL);

-       thrd_create(&t2, (thrd_start_t)&a, NULL);
+       thrd_create(&t2, (thrd_start_t)&b, NULL);

 
        thrd_join(t1);
        thrd_join(t2);
 
        thrd_join(t1);
        thrd_join(t2);

diff --git a/benchmark/read-copy-update/rcu.cc b/benchmark/read-copy-update/rcu.cc
index 6f791263c677abb002629a5c68c68afd9ccf3ba7..3b495592a5f3a726d57793655af7fcd7466d7eea 100644 (file)
--- a/benchmark/read-copy-update/rcu.cc
+++ b/benchmark/read-copy-update/rcu.cc
@@ -87,7 +87,7 @@ void write(Data *new_data) {
        bool succ = false;
        do {
                succ = data.compare_exchange_strong(prev, new_data,
        bool succ = false;
        do {
                succ = data.compare_exchange_strong(prev, new_data,

-                       memory_order_release, memory_order_relaxed); 
+                       memory_order_acq_rel, memory_order_relaxed); 

                /**
                        @Begin
                        @Commit_point_define_check: succ
                /**
                        @Begin
                        @Commit_point_define_check: succ