diff options
| author | Flávio Cruz <flaviocruz@gmail.com> | 2015-08-28 01:34:01 +0200 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2015-08-28 01:37:51 +0200 |
| commit | 2c1cccc529737527ad9ef981952d2c14d3dd13ec (patch) | |
| tree | d39bfb7d7ed794c8bbb092f3245fe5b0522460da /kern/lock_mon.c | |
| parent | eec39c5f50fb1b4e2025025773f77293f3466492 (diff) | |
Make sure the reply port's reference is released when the thread needs to be halted.
* kern/thread.h (thread_halt_self): Add continuation_t parameter.
* kern/thread.c (thread_halt_self): Pass continuation_t parameter to
thread_block instead of thread_exception_return.
* kern/ast.c (ast_taken): Pass thread_exception_return to thread_halt_self.
* kern/profile.c (profile_thread): Likewise.
* kern/exception.c (exception_no_server): Likewise.
(thread_release_and_exception_return): New function.
(exception_raise_continue_slow): Pass thread_release_and_exception_return to
thread_halt_self.
Diffstat (limited to 'kern/lock_mon.c')
0 files changed, 0 insertions, 0 deletions