Changeset 8a5e357 for libcfa/src/concurrency/ready_subqueue.hfa

Timestamp:

May 5, 2022, 10:59:09 AM (2 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, ast-experimental, master, pthread-emulation, qualifiedEnum

Children:

bd1d279

Parents:

86b8d16

Message:

Trivial changes to libcfa concurrency

File:

• libcfa/src/concurrency/ready_subqueue.hfa (modified) (2 diffs)

libcfa/src/concurrency/ready_subqueue.hfa

@@ -83 +83 @@
         /* paranoid */ verify( node->link.ts   != 0  );
         /* paranoid */ verify( this.anchor.ts  != 0  );
+        /* paranoid */ verify( (this.anchor.ts  == MAX) == is_empty );
         return [node, this.anchor.ts];
 }
@@ -93 +94 @@
 // Return the timestamp
 static inline unsigned long long ts(__intrusive_lane_t & this) {
-        // Cannot verify here since it may not be locked
+        // Cannot verify 'emptiness' here since it may not be locked
         /* paranoid */ verify(this.anchor.ts != 0);
         return this.anchor.ts;