Changeset ad6343e for src/libcfa/concurrency/threads

Timestamp:

Jan 25, 2017, 1:09:20 PM (9 years ago)

Author:

Rob Schluntz <rschlunt@…>

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:

ad56482

Parents:

4a9ccc3 (diff), 2cdf6dc (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' of plg.uwaterloo.ca:/u/cforall/software/cfa/cfa-cc

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 );