Changeset 3489ea6

Timestamp:

Jun 15, 2021, 5:18:59 PM (3 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

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

Children:

3814957

Parents:

5e2ed05

Message:

Started work on kernel_getcpu

Location:

libcfa/src/concurrency

Files:

• kernel/startup.cfa (modified) (1 diff)
• kernel_private.hfa (modified) (4 diffs)

libcfa/src/concurrency/kernel/startup.cfa

@@ -137 +137 @@
 };
 
+#if   defined(CFA_HAVE_LINUX_LIBRSEQ)
+        // No data needed
+#elif defined(CFA_HAVE_LINUX_RSEQ_H)
+        extern "Cforall" {
+                thread_local volatile struct rseq __cfaabi_rseq;
+        }
+#else
+        // No data needed
+#endif
+
 //-----------------------------------------------------------------------------
 // Struct to steal stack

libcfa/src/concurrency/kernel_private.hfa

@@ -16 +16 @@
 #pragma once
 
+#if !defined(__cforall_thread__)
+        #error kernel_private.hfa should only be included in libcfathread source
+#endif
+
 #include "kernel.hfa"
 #include "thread.hfa"
@@ -22 +26 @@
 #include "stats.hfa"
 
+extern "C" {
+#if   defined(CFA_HAVE_LINUX_LIBRSEQ)
+        #include <rseq/rseq.h>
+#elif defined(CFA_HAVE_LINUX_RSEQ_H)
+        #include <linux/rseq.h>
+#else
+        #ifndef _GNU_SOURCE
+        #error kernel_private requires gnu_source
+        #endif
+        #include <sched.h>
+#endif
+}
+
 //-----------------------------------------------------------------------------
 // Scheduler
-
-
 extern "C" {
         void disable_interrupts() OPTIONAL_THREAD;
@@ -39 +54 @@
 
 //-----------------------------------------------------------------------------
+// Hardware
+
+#if   defined(CFA_HAVE_LINUX_LIBRSEQ)
+        // No data needed
+#elif defined(CFA_HAVE_LINUX_RSEQ_H)
+        extern "Cforall" {
+                extern __attribute__((aligned(128))) thread_local volatile struct rseq __cfaabi_rseq;
+        }
+#else
+        // No data needed
+#endif
+
+static inline int __kernel_getcpu() {
+        /* paranoid */ verify( ! __preemption_enabled() );
+#if   defined(CFA_HAVE_LINUX_LIBRSEQ)
+        return rseq_current_cpu_raw();
+#elif defined(CFA_HAVE_LINUX_RSEQ_H)
+        return __cfaabi_rseq.cpu_id;
+#else
+        return sched_getcpu();
+#endif
+}
+
+//-----------------------------------------------------------------------------
 // Processor
 void main(processorCtx_t *);
@@ -44 +83 @@
 void * __create_pthread( pthread_t *, void * (*)(void *), void * );
 void __destroy_pthread( pthread_t pthread, void * stack, void ** retval );
-
-
 
 extern cluster * mainCluster;