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/ast.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/ast.c')
-rw-r--r-- | kern/ast.c | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -96,7 +96,7 @@ ast_taken(void) if (self != current_processor()->idle_thread) { #ifndef MIGRATING_THREADS while (thread_should_halt(self)) - thread_halt_self(); + thread_halt_self(thread_exception_return); #endif /* |