From 1bd331b7aaa24245f86868305ab64600683a41e1 Mon Sep 17 00:00:00 2001 From: Michael Bebenita Date: Wed, 15 Sep 2010 11:56:45 -0700 Subject: Fixed deadlock caused by the message pump not being notified of new message sends. --- src/rt/rust_kernel.h | 11 +++++++++++ 1 file changed, 11 insertions(+) (limited to 'src/rt/rust_kernel.h') diff --git a/src/rt/rust_kernel.h b/src/rt/rust_kernel.h index f85d55ac..3ad7b396 100644 --- a/src/rt/rust_kernel.h +++ b/src/rt/rust_kernel.h @@ -9,6 +9,7 @@ */ class rust_kernel; +class rust_message; template class rust_handle : @@ -90,6 +91,16 @@ public: bool is_deadlocked(); + void signal_kernel_lock(); + + /** + * Notifies the kernel whenever a message has been enqueued . This gives + * the kernel the opportunity to wake up the message pump thread if the + * message queue is not associated. + */ + void + notify_message_enqueued(rust_message_queue *queue, rust_message *message); + /** * Blocks until all domains have terminated. */ -- cgit v1.2.3