Changeset 8def349 for src/libcfa/concurrency/threads

Timestamp:

Jan 24, 2017, 11:45:13 AM (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:

60819df7

Parents:

63f78f0

Message:

cfa now supports processors which represent kernel threads, allowing basic parallelism

File:

• src/libcfa/concurrency/threads (modified) (2 diffs)

src/libcfa/concurrency/threads

@@ -27 +27 @@
 // Anything that implements this trait can be resumed.
 // Anything that is resumed is a coroutine.
-trait is_thread(dtype T /*| sized(T)*/) {
+trait is_thread(dtype T | sized(T)) {
       void main(T* this);
       thread_h* get_thread(T* this);
-        /*void ?{}(T*);
-        void ^?{}(T*);*/
 };
 
 #define DECL_THREAD(X) static inline thread_h* get_thread(X* this) { return &this->t; } void main(X* this);
 
-forall(otype T | is_thread(T) )
+forall( dtype T | sized(T) | is_thread(T) )
 static inline coroutine* get_coroutine(T* this) {
         return &get_thread(this)->c;
@@ -55 +53 @@
 // thread runner
 // Structure that actually start and stop threads
-forall(otype T | is_thread(T) )
+forall( dtype T | sized(T) | is_thread(T) )
 struct thread {
         T handle;
 };
 
-forall(otype T | is_thread(T) )
+forall( dtype T | sized(T) | is_thread(T) | { void ?{}(T*); } )
 void ?{}( thread(T)* this );
 
-forall(otype T, ttype P | is_thread(T) | { void ?{}(T*, P); } )
+forall( dtype T, ttype P | sized(T) | is_thread(T) | { void ?{}(T*, P); } )
 void ?{}( thread(T)* this, P params );
 
-forall(otype T | is_thread(T) )
+forall( dtype T | sized(T) | is_thread(T) | { void ^?{}(T*); } )
 void ^?{}( thread(T)* this );