diff options
| author | Michael Bebenita <[email protected]> | 2010-08-17 23:47:11 -0700 |
|---|---|---|
| committer | Michael Bebenita <[email protected]> | 2010-08-17 23:49:57 -0700 |
| commit | a4b8c74f9f6e41f40b30cf4ef49ea42a2cee9b4f (patch) | |
| tree | 049269b2a2fd77d754e39d0eeeda1f26e8dc121b /src/rt/rust_dom.h | |
| parent | Lots of changes around memory managment in the Runtime. Added memory regions ... (diff) | |
| download | rust-a4b8c74f9f6e41f40b30cf4ef49ea42a2cee9b4f.tar.xz rust-a4b8c74f9f6e41f40b30cf4ef49ea42a2cee9b4f.zip | |
Added simple deadlock detection in the scheduler.
Diffstat (limited to 'src/rt/rust_dom.h')
| -rw-r--r-- | src/rt/rust_dom.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/rt/rust_dom.h b/src/rt/rust_dom.h index d2b6e570..34d8c694 100644 --- a/src/rt/rust_dom.h +++ b/src/rt/rust_dom.h @@ -88,6 +88,7 @@ struct rust_dom void reap_dead_tasks(); rust_task *schedule_task(); + bool is_deadlocked(); int start_main_loop(); void log_state(); |