fix tabbing
authorbdemsky <bdemsky@uci.edu>
Tue, 11 Jun 2019 04:39:38 +0000 (21:39 -0700)
committerbdemsky <bdemsky@uci.edu>
Tue, 11 Jun 2019 04:39:38 +0000 (21:39 -0700)
13 files changed:
test/addr-satcycle.cc
test/condvar.cc
test/insanesync.cc
test/iriw.cc
test/iriw_wildcard.cc
test/linuxrwlocks.c
test/linuxrwlocksyield.c
test/mo-satcycle.cc
test/nestedpromise.c
test/rmw2prog.c
test/rmwprog.c
test/wrc.c
test/wrcs.c

index 0d3ba5a1b31afae1fdcbcb7e0b7c0e2c3290c20a..699f1938c730b55f0b9958e67ca12f35d40fc9ab 100644 (file)
@@ -18,7 +18,7 @@ using namespace std;
 
 atomic_int x[2], idx, y;
 
-int r1, r2, r3; /* "local" variables */
+int r1, r2, r3;        /* "local" variables */
 
 static void a(void *obj)
 {
index ff8feb1ed6976da4403063d826a10db4b6effb28..fcfd59a8825f5b0946fb4fd3786d9347b26a364e 100644 (file)
@@ -12,7 +12,7 @@ int shareddata;
 
 static void a(void *obj)
 {
-       
+
        m->lock();
        while(load_32(&shareddata)==0)
                v->wait(*m);
index c0fe7f661a06317df8b758156a88fa5eb5cd68df..60fbc8dc4935c7865f47ca59b69d9e7c2f0d23d0 100644 (file)
@@ -11,17 +11,17 @@ using namespace std;
 atomic_int x, y;
 atomic_intptr_t z, z2;
 
-int r1, r2, r3; /* "local" variables */
+int r1, r2, r3;        /* "local" variables */
 
 /**
-               This example illustrates a self-satisfying cycle involving
-               synchronization.  A failed synchronization creates the store that
-               causes the synchronization to fail.
+                This example illustrates a self-satisfying cycle involving
+                synchronization.  A failed synchronization creates the store that
+                causes the synchronization to fail.
 
-               The C++11 memory model nominally allows r1=0, r2=1, r3=5.
+                The C++11 memory model nominally allows r1=0, r2=1, r3=5.
 
-               This example is insane, we don't support that behavior.
-*/
+                This example is insane, we don't support that behavior.
+ */
 
 
 static void a(void *obj)
index fddbf1aa785f93e4bfa7f88185d96e1b7b496d7b..614636574ef0dc2e012f021ec9cff3f670098f46 100644 (file)
@@ -13,7 +13,7 @@
 using namespace std;
 
 atomic_int x, y;
-int r1, r2, r3, r4; /* "local" variables */
+int r1, r2, r3, r4;    /* "local" variables */
 
 static void a(void *obj)
 {
index 5c524553e65a75a27fc233d4db99fd86f071a0e3..0d68b6efe496e07711d94eb0f2af0b98e551b74e 100644 (file)
@@ -13,7 +13,7 @@
 using namespace std;
 
 atomic_int x, y;
-int r1, r2, r3, r4; /* "local" variables */
+int r1, r2, r3, r4;    /* "local" variables */
 
 static void a(void *obj)
 {
index 7e317aa9fcf019b91336823985d5054c9b23166d..3d075aa8e04a4d34673e38e119bc9630f96c30b6 100644 (file)
@@ -84,7 +84,7 @@ int shareddata;
 static void a(void *obj)
 {
        int i;
-       for(i = 0; i < 2; i++) {
+       for(i = 0;i < 2;i++) {
                if ((i % 2) == 0) {
                        read_lock(&mylock);
                        load_32(&shareddata);
index be3550e11e3c8f8740b4c1a47458180f57994a3a..e3a4a60585efc1026dcbcec219a3514aeaad3ab8 100644 (file)
@@ -84,7 +84,7 @@ int shareddata;
 static void a(void *obj)
 {
        int i;
-       for(i = 0; i < 2; i++) {
+       for(i = 0;i < 2;i++) {
                if ((i % 2) == 0) {
                        read_lock(&mylock);
                        load_32(&shareddata);
index e5021612f17980d1b30861ecb2485edd26a35bf7..f94f23f885cc9acaea4659efe434f4ec4a47409d 100644 (file)
@@ -17,7 +17,7 @@
 using namespace std;
 
 atomic_int x, y;
-int r0, r1, r2, r3; /* "local" variables */
+int r0, r1, r2, r3;    /* "local" variables */
 
 static void a(void *obj)
 {
index 70de8d6949aea586ba1c64c3dff0f9e0c2244bb1..9e514732d041ba47a3bd095701be231f075ae57b 100644 (file)
@@ -11,7 +11,7 @@ atomic_int y;
 atomic_int z;
 static void a(void *obj)
 {
-       (void)atomic_load_explicit(&z, memory_order_relaxed); // this is only for schedule control
+       (void)atomic_load_explicit(&z, memory_order_relaxed);                           // this is only for schedule control
        int t1=atomic_load_explicit(&x, memory_order_relaxed);
        atomic_store_explicit(&y, 1, memory_order_relaxed);
        printf("t1=%d\n",t1);
index f5c3f108e595ac0c6be8004ad74fe836b14592ab..e1ec2faaba7e0ccd480127edaa4e9d4d7263b0f3 100644 (file)
@@ -20,10 +20,10 @@ static void a(void *obj)
        printf("expected: %d\n", expected);
 /*
         short v1 = atomic_exchange_explicit(&x, 8, memory_order_relaxed);
-       short v2 = atomic_exchange_explicit(&x, -10, memory_order_relaxed);
-       short v3 = atomic_load_explicit(&x, memory_order_relaxed);
-       printf("v1 = %d, v2 = %d, v3 = %d\n", v1, v2, v3);
-*/
+        short v2 = atomic_exchange_explicit(&x, -10, memory_order_relaxed);
+        short v3 = atomic_load_explicit(&x, memory_order_relaxed);
+        printf("v1 = %d, v2 = %d, v3 = %d\n", v1, v2, v3);
+ */
 }
 
 static void b(void *obj)
index ebace1ec262966d5d367afefd5dbaaddef168a26..f515628e728c6cd7538e5cd4c54fae7da9c02318 100644 (file)
@@ -12,7 +12,7 @@ static int N = 2;
 static void a(void *obj)
 {
        int i;
-       for (i = 0; i < N; i++)
+       for (i = 0;i < N;i++)
                atomic_fetch_add_explicit(&x, 1, memory_order_relaxed);
 }
 
index befd23f509c4c16bb6b917fac0b409a93f70dd2d..211982530ac1347512450d1d7b55d7d2284862ee 100644 (file)
@@ -2,13 +2,13 @@
 #include <threads.h>
 #include <stdatomic.h>
 #include "librace.h"
-  atomic_int x1;
-  atomic_int x2;
-  atomic_int x3;
-  atomic_int x4;
-  atomic_int x5;
-  atomic_int x6;
-  atomic_int x7;
+atomic_int x1;
+atomic_int x2;
+atomic_int x3;
+atomic_int x4;
+atomic_int x5;
+atomic_int x6;
+atomic_int x7;
 static void a(void *obj)
 {
        atomic_store_explicit(&x1, 1,memory_order_relaxed);
@@ -58,32 +58,32 @@ static void h(void *obj)
 int user_main(int argc, char **argv)
 {
        thrd_t t1, t2, t3, t4, t5, t6, t7, t8;
-        atomic_init(&x1, 0);
-        atomic_init(&x2, 0);
-        atomic_init(&x3, 0);
-        atomic_init(&x4, 0);
-        atomic_init(&x5, 0);
-        atomic_init(&x6, 0);
-        atomic_init(&x7, 0);
+       atomic_init(&x1, 0);
+       atomic_init(&x2, 0);
+       atomic_init(&x3, 0);
+       atomic_init(&x4, 0);
+       atomic_init(&x5, 0);
+       atomic_init(&x6, 0);
+       atomic_init(&x7, 0);
 
 
-        thrd_create(&t1, (thrd_start_t)&a, NULL);
-        thrd_create(&t2, (thrd_start_t)&b, NULL);
-        thrd_create(&t3, (thrd_start_t)&c, NULL);
-        thrd_create(&t4, (thrd_start_t)&d, NULL);
-        thrd_create(&t5, (thrd_start_t)&e, NULL);
-        thrd_create(&t6, (thrd_start_t)&f, NULL);
-        thrd_create(&t7, (thrd_start_t)&g, NULL);
-        thrd_create(&t8, (thrd_start_t)&h, NULL);
+       thrd_create(&t1, (thrd_start_t)&a, NULL);
+       thrd_create(&t2, (thrd_start_t)&b, NULL);
+       thrd_create(&t3, (thrd_start_t)&c, NULL);
+       thrd_create(&t4, (thrd_start_t)&d, NULL);
+       thrd_create(&t5, (thrd_start_t)&e, NULL);
+       thrd_create(&t6, (thrd_start_t)&f, NULL);
+       thrd_create(&t7, (thrd_start_t)&g, NULL);
+       thrd_create(&t8, (thrd_start_t)&h, NULL);
 
-        thrd_join(t1);
-        thrd_join(t2);
-        thrd_join(t3);
-        thrd_join(t4);
-        thrd_join(t5);
-        thrd_join(t6);
-        thrd_join(t7);
-        thrd_join(t8);
+       thrd_join(t1);
+       thrd_join(t2);
+       thrd_join(t3);
+       thrd_join(t4);
+       thrd_join(t5);
+       thrd_join(t6);
+       thrd_join(t7);
+       thrd_join(t8);
 
-        return 0;
+       return 0;
 }
index 9728265df372d80a58bdeba4d017e1ef52bf1122..ddcf4f1a23996ede3914348109a4d91a4e347a59 100644 (file)
@@ -2,13 +2,13 @@
 #include <threads.h>
 #include <stdatomic.h>
 #include "librace.h"
-  atomic_int x1;
-  atomic_int x2;
-  atomic_int x3;
-  atomic_int x4;
-  atomic_int x5;
-  atomic_int x6;
-  atomic_int x7;
+atomic_int x1;
+atomic_int x2;
+atomic_int x3;
+atomic_int x4;
+atomic_int x5;
+atomic_int x6;
+atomic_int x7;
 static void a(void *obj)
 {
        atomic_store_explicit(&x1, 1,memory_order_seq_cst);
@@ -58,32 +58,32 @@ static void h(void *obj)
 int user_main(int argc, char **argv)
 {
        thrd_t t1, t2, t3, t4, t5, t6, t7, t8;
-        atomic_init(&x1, 0);
-        atomic_init(&x2, 0);
-        atomic_init(&x3, 0);
-        atomic_init(&x4, 0);
-        atomic_init(&x5, 0);
-        atomic_init(&x6, 0);
-        atomic_init(&x7, 0);
+       atomic_init(&x1, 0);
+       atomic_init(&x2, 0);
+       atomic_init(&x3, 0);
+       atomic_init(&x4, 0);
+       atomic_init(&x5, 0);
+       atomic_init(&x6, 0);
+       atomic_init(&x7, 0);
 
 
-        thrd_create(&t1, (thrd_start_t)&a, NULL);
-        thrd_create(&t2, (thrd_start_t)&b, NULL);
-        thrd_create(&t3, (thrd_start_t)&c, NULL);
-        thrd_create(&t4, (thrd_start_t)&d, NULL);
-        thrd_create(&t5, (thrd_start_t)&e, NULL);
-        thrd_create(&t6, (thrd_start_t)&f, NULL);
-        thrd_create(&t7, (thrd_start_t)&g, NULL);
-        thrd_create(&t8, (thrd_start_t)&h, NULL);
+       thrd_create(&t1, (thrd_start_t)&a, NULL);
+       thrd_create(&t2, (thrd_start_t)&b, NULL);
+       thrd_create(&t3, (thrd_start_t)&c, NULL);
+       thrd_create(&t4, (thrd_start_t)&d, NULL);
+       thrd_create(&t5, (thrd_start_t)&e, NULL);
+       thrd_create(&t6, (thrd_start_t)&f, NULL);
+       thrd_create(&t7, (thrd_start_t)&g, NULL);
+       thrd_create(&t8, (thrd_start_t)&h, NULL);
 
-        thrd_join(t1);
-        thrd_join(t2);
-        thrd_join(t3);
-        thrd_join(t4);
-        thrd_join(t5);
-        thrd_join(t6);
-        thrd_join(t7);
-        thrd_join(t8);
+       thrd_join(t1);
+       thrd_join(t2);
+       thrd_join(t3);
+       thrd_join(t4);
+       thrd_join(t5);
+       thrd_join(t6);
+       thrd_join(t7);
+       thrd_join(t8);
 
-        return 0;
+       return 0;
 }