diff options
| author | Alex Auvolat <alex.auvolat@ens.fr> | 2015-03-04 11:51:30 +0100 |
|---|---|---|
| committer | Alex Auvolat <alex.auvolat@ens.fr> | 2015-03-04 11:51:30 +0100 |
| commit | 503f176e001ddf15e6e32bc912cf10b5764bc23b (patch) | |
| tree | 2595bc45e582df3ede9241c00656b65866301e38 /make_cdrom.sh | |
| parent | 0934f9943ef7bdec8c2eee3ea31b5e0f1e8a3faf (diff) | |
| download | kogata-503f176e001ddf15e6e32bc912cf10b5764bc23b.tar.gz kogata-503f176e001ddf15e6e32bc912cf10b5764bc23b.zip | |
Process exiting & thread termination. IMPORTANT NOTE FOLLOWS.
Threads may now communicate via wait_on(void* ressource) and resume_on (void* ressource).
Previous pause() is replaced by wait_on(current_thread) and resume(thread) by resume_on(thread).
wait_on(x) may return false, indicating that the reason for returning is NOT that resume_on(x)
was called but something else happenned. Typically false indicates that the curent thread
is being killed and must terminate its kernel-land processing as soon as possible.
Diffstat (limited to 'make_cdrom.sh')
0 files changed, 0 insertions, 0 deletions