source: src/examples/thread.c @ 4a3386b4

// #include <kernel>
#include <stdlib>
#include <threads>

// // Start coroutine routines
// extern "C" {
//       forall(dtype T | is_coroutine(T))
//       void CtxInvokeCoroutine(T * this);

//       forall(dtype T | is_coroutine(T))
//       void CtxStart(T * this, void ( *invoke)(T *));

//      forall(dtype T | is_coroutine(T))
//       void CtxInvokeThread(T * this);
// }

// struct MyThread {
//      thread_h t;
//      unsigned id;
//      unsigned count;
// };

// void ?{}( MyThread * this ) {
//      this->id = 0;
//      this->count = 10;
// }

// void ?{}( MyThread * this, unsigned id, unsigned count ) {
//      this->id = id;
//      this->count = count;
// }

// void ^?{}( MyThread * this ) {}

// void main(MyThread* this) {
//      printf("Main called with %p\n", this);
//      printf("Thread %d : Suspending %d times\n", this->id, this->count);

//      for(int i = 0; i < this->count; i++) {
//              printf("Thread %d : Suspend No. %d\n", this->id, i + 1);
//              printf("Back to %p\n", &this->t.c);
//              suspend();
//      }
// }

// thread_h* get_thread(MyThread* this) {
//      return &this->t;
// }

// coroutine* get_coroutine(MyThread* this) {
//      return &this->t.c;
// }

int main() {
        printf("Main is %p\n", this_coroutine());

        // thread(MyThread) thread1;
        // thread(MyThread) thread2;

        // thread2.handle.id = 1;


        // // kernel_run();

        // printf("Kernel terminated correctly\n");

        return 0;
}