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/profile.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/profile.c')
| -rw-r--r-- | kern/profile.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kern/profile.c b/kern/profile.c index 2c9c44b..1381b1a 100644 --- a/kern/profile.c +++ b/kern/profile.c @@ -172,7 +172,7 @@ printf("profile_thread: mach_msg failed returned %x\n",(int)mr); sizeof(struct buf_to_send)); } - thread_halt_self(); + thread_halt_self(thread_exception_return); } |