Changeset b3ed43a3 for libcfa/src

Timestamp:

Nov 25, 2020, 12:25:06 PM (5 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

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

Children:

6f1e695

Parents:

04994aa (diff), 5e82d56 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

Location:

libcfa/src

Files:

• bits/collection.hfa (added)
• bits/queue.hfa (added)
• bits/queue_example.cfa (added)
• bits/sequence.hfa (added)
• bits/sequence_example.cfa (added)
• bits/stack.hfa (added)
• bits/stack_example.cfa (added)
• concurrency/kernel.cfa (modified) (1 diff)

libcfa/src/concurrency/kernel.cfa

@@ -379 +379 @@
 
         ready_schedule_lock();
-                push( thrd->curr_cluster, thrd );
-                __wake_one(thrd->curr_cluster);
+                // Dereference the thread now because once we push it, there is not guaranteed it's still valid.
+                struct cluster * cl = thrd->curr_cluster;
+
+                // push the thread to the cluster ready-queue
+                push( cl, thrd );
+
+                // variable thrd is no longer safe to use
+
+                // wake the cluster using the save variable.
+                __wake_one( cl );
         ready_schedule_unlock();