Changeset c42b8a1 for libcfa/src/concurrency/ready_subqueue.hfa

Timestamp:

Mar 11, 2022, 1:31:58 PM (2 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

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

Children:

884f3f67

Parents:

3c4bf05

Message:

Major cleanup and moved cluster growth to new file

File:

• libcfa/src/concurrency/ready_subqueue.hfa (modified) (1 diff)

libcfa/src/concurrency/ready_subqueue.hfa

@@ -25 +25 @@
         );
         return rhead;
-}
-
-// Ctor
-void ?{}( __intrusive_lane_t & this ) {
-        this.lock = false;
-        this.prev = mock_head(this);
-        this.anchor.next = 0p;
-        this.anchor.ts   = -1llu;
-        #if !defined(__CFA_NO_STATISTICS__)
-                this.cnt  = 0;
-        #endif
-
-        // We add a boat-load of assertions here because the anchor code is very fragile
-        /* paranoid */ _Static_assert( offsetof( thread$, link ) == offsetof(__intrusive_lane_t, anchor) );
-        /* paranoid */ verify( offsetof( thread$, link ) == offsetof(__intrusive_lane_t, anchor) );
-        /* paranoid */ verify( ((uintptr_t)( mock_head(this) ) + offsetof( thread$, link )) == (uintptr_t)(&this.anchor) );
-        /* paranoid */ verify( &mock_head(this)->link.next == &this.anchor.next );
-        /* paranoid */ verify( &mock_head(this)->link.ts   == &this.anchor.ts   );
-        /* paranoid */ verify( mock_head(this)->link.next == 0p );
-        /* paranoid */ verify( mock_head(this)->link.ts   == -1llu  );
-        /* paranoid */ verify( mock_head(this) == this.prev );
-        /* paranoid */ verify( __alignof__(__intrusive_lane_t) == 128 );
-        /* paranoid */ verify( __alignof__(this) == 128 );
-        /* paranoid */ verifyf( ((intptr_t)(&this) % 128) == 0, "Expected address to be aligned %p %% 128 == %zd", &this, ((intptr_t)(&this) % 128) );
-}
-
-// Dtor is trivial
-void ^?{}( __intrusive_lane_t & this ) {
-        // Make sure the list is empty
-        /* paranoid */ verify( this.anchor.next == 0p );
-        /* paranoid */ verify( this.anchor.ts   == -1llu );
-        /* paranoid */ verify( mock_head(this)  == this.prev );
 }