Changeset 639e4fc for libcfa/src/concurrency/invoke.h

Timestamp:

Nov 10, 2022, 2:19:51 PM (18 months ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, ast-experimental, master

Children:

1553a55, 71806e0

Parents:

a757ba1

Message:

Changed cluster link to use explicit type to avoid anonymous names in symbols gdb cares about

File:

• libcfa/src/concurrency/invoke.h (modified) (3 diffs)

libcfa/src/concurrency/invoke.h

@@ -146 +146 @@
 
         // Link lists fields
-        // instrusive link field for threads
+        // instrusive link field for threads in the ready-queue
         struct __thread_desc_link {
                 struct thread$ * next;
                 volatile unsigned long long ts;
         };
+
+        // Link lists fields
+        // instrusive link field for threads in the user_link/cltr_link
+        struct __thread_user_link {
+                #ifdef __cforall
+                        inline dlink(thread$);
+                #else
+                        struct thread$ * next; struct thread$ * back;
+                #endif
+        };
+        _Static_assert(sizeof(struct __thread_user_link) == 2 * sizeof(struct thread$ *), "__thread_user_link should be consistent in C and Cforall");
 
         struct thread$ {
@@ -197 +208 @@
                 // intrusive link fields, used for locks, monitors and any user defined data structure
                 // default link fields for dlist
-                __cfa_dlink(thread$) user_link;
+                struct __thread_user_link user_link;
 
                 // secondary intrusive link fields, used for global cluster list
                 // default link fields for dlist
-                __cfa_dlink(thread$) cltr_link;
+                struct __thread_user_link cltr_link;
 
                 // used to store state between clh lock/unlock
@@ -244 +255 @@
                 }
 
-                static inline tytagref(typeof(((struct thread$ *)0p)->cltr_link), dlink(thread$)) ?`inner( struct thread$ & this ) {
-                        typeof(this.cltr_link) & ib = this.cltr_link;
+                static inline tytagref(struct __thread_user_link, dlink(thread$)) ?`inner( struct thread$ & this ) {
+                        struct __thread_user_link & ib = this.cltr_link;
                         dlink(thread$) & b = ib`inner;
-                        tytagref(typeof(this.cltr_link), dlink(thread$)) result = { b };
+                        tytagref(struct __thread_user_link, dlink(thread$)) result = { b };
                         return result;
                 }
 
-                P9_EMBEDDED(typeof(((struct thread$ *)0p)->cltr_link), dlink(thread$))
+                P9_EMBEDDED(struct __thread_user_link, dlink(thread$))
 
                 static inline void ?{}(__monitor_group_t & this) {