Changeset 8f1a99e for tests/concurrent

Timestamp:

Jul 5, 2021, 4:58:07 PM (4 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

b7d94ac5

Parents:

7f62b708

Message:

Step 3 Fixed tests

Location:

tests/concurrent

Files:

• semaphore.cfa (modified) (2 diffs)
• signal/block.cfa (modified) (2 diffs)
• spinaphore.cfa (modified) (3 diffs)

tests/concurrent/semaphore.cfa

@@ -22 +22 @@
 
 void main(Blocker & this) {
-        $thread * me = active_thread();
+        thread$ * me = active_thread();
         this.sum = 0;
         for(num_blocks) {
@@ -45 +45 @@
                 or else {}
 
-                $thread * t = V(ben, false);
+                thread$ * t = V(ben, false);
                 if(t) {
                         this.sum += (unsigned)t;

tests/concurrent/signal/block.cfa

@@ -33 +33 @@
 
 monitor global_data_t {
-        $thread * last_thread;
-        $thread * last_signaller;
+        thread$ * last_thread;
+        thread$ * last_signaller;
 };
 
@@ -82 +82 @@
         if( !is_empty( cond ) ) {
 
-                $thread * next = ( $thread * ) front( cond );
+                thread$ * next = ( thread$ * ) front( cond );
 
                 if( ! signal_block( cond ) ) {

tests/concurrent/spinaphore.cfa

@@ -21 +21 @@
 void main(Blocker & this);
 
-Blocker * from_thread($thread * t) {
+Blocker * from_thread(thread$ * t) {
         Blocker & nullb = *(Blocker*)0p;
-        $thread & nullt = (thread&)nullb;
+        thread$ & nullt = (thread&)nullb;
         uintptr_t offset  = (uintptr_t)&nullt;
         uintptr_t address = ((uintptr_t)t) - offset;
@@ -30 +30 @@
 
 void main(Blocker & this) {
-        $thread * me = active_thread();
+        thread$ * me = active_thread();
         Blocker * me1 = &this;
         Blocker * me2 = from_thread(me);
@@ -51 +51 @@
         unsigned me = (unsigned)(uintptr_t)&this;
         for(num_unblocks) {
-                $thread * t = V(sem, false);
+                thread$ * t = V(sem, false);
                 Blocker * b = from_thread(t);
                 b->sum += me;