diff options
| author | Brian Anderson <banderson@mozilla.com> | 2013-01-15 19:53:35 -0800 |
|---|---|---|
| committer | Brian Anderson <banderson@mozilla.com> | 2013-01-23 17:35:31 -0800 |
| commit | 8852279a9ecac970e30b6d92d7efdcbd5485769c (patch) | |
| tree | 53a3e26fe5cf72ea12ecac35664db7e70f85eeed /src/rt/rust_kernel.h | |
| parent | 1bf8e579436941a82e4a4806b74dfd27ed4d1d74 (diff) | |
| download | rust-8852279a9ecac970e30b6d92d7efdcbd5485769c.tar.gz rust-8852279a9ecac970e30b6d92d7efdcbd5485769c.zip | |
core: Add new weak task API
Diffstat (limited to 'src/rt/rust_kernel.h')
| -rw-r--r-- | src/rt/rust_kernel.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/rt/rust_kernel.h b/src/rt/rust_kernel.h index 99b230f7872..f90ecf01a7b 100644 --- a/src/rt/rust_kernel.h +++ b/src/rt/rust_kernel.h @@ -187,6 +187,8 @@ public: void unregister_task(); void weaken_task(rust_port_id chan); void unweaken_task(rust_port_id chan); + void inc_weak_task_count(); + void dec_weak_task_count(); bool send_to_port(rust_port_id chan, void *sptr); |