A | |
await [Fthread] | await e suspends the execution of the calling thread until the
generation of the event e .
|
await_n [Fthread] | await_n suspends the execution of the calling thread until the
generation of the event e , or until n instants have
elapsed.
|
C | |
cooperate [Fthread] | cooperate () returns the control to the scheduler in which it
is running.
|
cooperate_n [Fthread] | cooperate_n n behaves like for i = 1 to n do cooperate
done
|
create_event [Fthread] | create_event sched returns a new event associated to the
scheduler sched .
|
create_scheduler [Fthread] | create_scheduler () returns a new scheduler.
|
create_thread [Fthread] | create_thread sched f a returns a new fair thread and links it
to the scheduler sched .
|
E | |
exit [Fthread] |
The basic use of
exit is to terminate the pthread which is
running the function main, without exiting from the whole process.
|
G | |
generate [Fthread] | generate e generates the event e in the associated
scheduler.
|
generate_value [Fthread] | generate e v generates the event e and associates the value
v with it.
|
get_value [Fthread] | get_value e suspends the execution of the calling thread until
the event e is generated AND a value is associated with
it.
|
get_value_n [Fthread] | get_value e n suspends the execution of the calling thread
until the event e is generated AND a value is associated with
it, or until n instants have elapsed.
|
J | |
join [Fthread] | thread_join th suspends the execution of the current thread
until the termination of the thread th .
|
L | |
link [Fthread] | link sched links the calling thread to the scheduler sched .
|
S | |
start_scheduler [Fthread] | start_scheduler sched starts running the scheduler sched
|
T | |
thread_resume [Fthread] | thread_resume th asks the scheduler running the thread th to
resume its execution.
|
thread_stop [Fthread] | thread_stop th asks the scheduler running the thread th to
stop it.
|
thread_suspend [Fthread] | thread_suspend th asks the scheduler running the thread th
to suspend its execution.
|
U | |
unlink [Fthread] | unlink () unlinks the current threads from its scheduler.
|