Changeset 8118303 for src/libcfa/concurrency/threads

Timestamp:

Jan 17, 2017, 5:13:47 PM (9 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc

Children:

c49bf54

Parents:

7350ff97

Message:

First prototype of cfa threads running (1 thread on 1 processor)

File:

• src/libcfa/concurrency/threads (modified) (1 diff)

src/libcfa/concurrency/threads

@@ -18 +18 @@
 #define THREADS_H
 
+#include "assert"
+#include "invoke.h"
 
+#include "coroutines"
+
+//-----------------------------------------------------------------------------
+// Coroutine trait
+// Anything that implements this trait can be resumed.
+// Anything that is resumed is a coroutine.
+trait is_thread(dtype T /*| sized(T)*/) {
+      void co_main(T* this);
+      thread_h* get_thread(T* this);
+        /*void ?{}(T*);
+        void ^?{}(T*);*/
+};
+
+forall(otype T | is_thread(T) )
+static inline coroutine* get_coroutine(T* this) {
+        return &get_thread(this)->c;
+}
+
+//-----------------------------------------------------------------------------
+// Ctors and dtors
+void ?{}(thread_h* this);
+void ^?{}(thread_h* this);
+
+//-----------------------------------------------------------------------------
+// thread runner
+// Structure that actually start and stop threads
+forall(otype T | is_thread(T) )
+struct thread {
+        T handle;
+};
+
+forall(otype T | is_thread(T) )
+void ?{}( thread(T)* this );
+
+forall(otype T, ttype P | is_thread(T) | { void ?{}(T*, P); } )
+void ?{}( thread(T)* this, P params );
+
+forall(otype T | is_thread(T) )
+void ^?{}( thread(T)* this );
+
+//-----------------------------------------------------------------------------
+// PRIVATE exposed because of inline
 
 #endif //THREADS_H