- One scheduler thread and several executor threads.
- The scheduler handles resumption (by established abstract state-conditions). The executors handle running acutal method code.
- Suspended/waiting contexts (frames) are kept in linked list.
- Mutual exclusion among the schedulers and multiple executors --- mutex lock on frames and objects.