Changeset 15c93d8 for libcfa/src/concurrency/kernel/cluster.cfa

Timestamp:

Oct 28, 2022, 5:30:57 PM (21 months ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, ast-experimental, master

Children:

f1f481a

Parents:

be5f0a5

Message:

Renamed ready-queue link fields to rdy_link

File:

• libcfa/src/concurrency/kernel/cluster.cfa (modified) (1 diff)

libcfa/src/concurrency/kernel/cluster.cfa

@@ -483 +483 @@
 
         // We add a boat-load of assertions here because the anchor code is very fragile
-        /* paranoid */ _Static_assert( offsetof( thread$, link ) == nested_offsetof(__intrusive_lane_t, l.anchor) );
-        /* paranoid */ verify( offsetof( thread$, link ) == nested_offsetof(__intrusive_lane_t, l.anchor) );
-        /* paranoid */ verify( ((uintptr_t)( mock_head(this) ) + offsetof( thread$, link )) == (uintptr_t)(&this.l.anchor) );
-        /* paranoid */ verify( &mock_head(this)->link.next == &this.l.anchor.next );
-        /* paranoid */ verify( &mock_head(this)->link.ts   == &this.l.anchor.ts   );
-        /* paranoid */ verify( mock_head(this)->link.next == 0p );
-        /* paranoid */ verify( mock_head(this)->link.ts   == MAX );
+        /* paranoid */ _Static_assert( offsetof( thread$, rdy_link ) == nested_offsetof(__intrusive_lane_t, l.anchor) );
+        /* paranoid */ verify( offsetof( thread$, rdy_link ) == nested_offsetof(__intrusive_lane_t, l.anchor) );
+        /* paranoid */ verify( ((uintptr_t)( mock_head(this) ) + offsetof( thread$, rdy_link )) == (uintptr_t)(&this.l.anchor) );
+        /* paranoid */ verify( &mock_head(this)->rdy_link.next == &this.l.anchor.next );
+        /* paranoid */ verify( &mock_head(this)->rdy_link.ts   == &this.l.anchor.ts   );
+        /* paranoid */ verify( mock_head(this)->rdy_link.next == 0p );
+        /* paranoid */ verify( mock_head(this)->rdy_link.ts   == MAX );
         /* paranoid */ verify( mock_head(this) == this.l.prev );
         /* paranoid */ verify( __alignof__(__intrusive_lane_t) == 64 );