diff options
| author | Michael Bebenita <[email protected]> | 2010-08-17 23:26:43 -0700 |
|---|---|---|
| committer | Michael Bebenita <[email protected]> | 2010-08-17 23:49:57 -0700 |
| commit | e20752de68fe336e9fa184bef0616e31c738452c (patch) | |
| tree | cc2280b968295fbe7c75244a5569c69ca00ef775 /src/rt/rust_task.h | |
| parent | Fixed deadlock by removing channel flushing. (diff) | |
| download | rust-e20752de68fe336e9fa184bef0616e31c738452c.tar.xz rust-e20752de68fe336e9fa184bef0616e31c738452c.zip | |
Added labels to blocking conditions.
Diffstat (limited to 'src/rt/rust_task.h')
| -rw-r--r-- | src/rt/rust_task.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/rt/rust_task.h b/src/rt/rust_task.h index b66ee5a1..9a4e0c7b 100644 --- a/src/rt/rust_task.h +++ b/src/rt/rust_task.h @@ -24,6 +24,7 @@ rust_task : public maybe_proxy<rust_task>, const char *const name; ptr_vec<rust_task> *state; rust_cond *cond; + const char *cond_name; rust_task *supervisor; // Parent-link for failure propagation. size_t idx; size_t gc_alloc_thresh; @@ -70,7 +71,7 @@ rust_task : public maybe_proxy<rust_task>, const char *state_str(); void transition(ptr_vec<rust_task> *svec, ptr_vec<rust_task> *dvec); - void block(rust_cond *on); + void block(rust_cond *on, const char* name); void wakeup(rust_cond *from); void die(); void unblock(); |