diff options
| author | Michael Bebenita <[email protected]> | 2010-09-15 11:56:45 -0700 |
|---|---|---|
| committer | Michael Bebenita <[email protected]> | 2010-09-16 00:51:03 -0700 |
| commit | 1bd331b7aaa24245f86868305ab64600683a41e1 (patch) | |
| tree | 1b088c433bc95ee416eefe502b0dca866b5dead6 /src/rt/rust_message.h | |
| parent | Add beginnings of a fuzzer to rustboot. (diff) | |
| download | rust-1bd331b7aaa24245f86868305ab64600683a41e1.tar.xz rust-1bd331b7aaa24245f86868305ab64600683a41e1.zip | |
Fixed deadlock caused by the message pump not being notified of new message sends.
Diffstat (limited to 'src/rt/rust_message.h')
| -rw-r--r-- | src/rt/rust_message.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/rt/rust_message.h b/src/rt/rust_message.h index c342e3e4..e9ce94bf 100644 --- a/src/rt/rust_message.h +++ b/src/rt/rust_message.h @@ -114,6 +114,11 @@ public: bool is_associated() { return this->dom_handle != NULL; } + + void enqueue(rust_message* message) { + lock_free_queue<rust_message*>::enqueue(message); + kernel->notify_message_enqueued(this, message); + } }; // |