void fluke_thread_schedule(fluke_thread_t *thread, fluke_port_t *sleep_port, enum wakeup_sensitivity);
Note: currently unimplemented. Donate CPU to another thread.
- thread
- Thread object to which to donate the CPU.
- sleep_port
- A port on which this thread waits for messages from other client threads.
- wakeup_sensitivity
- Indicates in which situations the scheduler should be woken.
If any of the following errors is detected by the Fluke implementation, it causes the current thread to take a synchronous exception with one of the following codes. All of these have an implicit FLUKE_INSANITY_ prefix.
- NO_OBJECT
- thread does not point to an active object.
- NOT_THREAD
- The object pointed to by thread is not a thread object.
- CURRENT_THREAD
- A thread attempted to schedule itself.
- NOT_PORT
- The object pointed to by sleep_port is not a port object.
- INVALID_OBJECT
- The state of the thread object has become invalid.