diff options
| author | Niko Matsakis <niko@alum.mit.edu> | 2012-02-01 18:52:08 -0800 |
|---|---|---|
| committer | Niko Matsakis <niko@alum.mit.edu> | 2012-02-01 18:52:08 -0800 |
| commit | 196d69beb2c91b29013d44d7a3855561fef600ab (patch) | |
| tree | 01c3878cd9fea6364d8659da36fae42c2b69cfc8 /src/rt/rust_task.h | |
| parent | 31166438063236e6d2ad021cf2169fce2b3839b4 (diff) | |
make boxes self-describing (fixes #1493)" (take 2)
this will be used to generate a new snapshot.
Diffstat (limited to 'src/rt/rust_task.h')
| -rw-r--r-- | src/rt/rust_task.h | 10 |
1 files changed, 3 insertions, 7 deletions
diff --git a/src/rt/rust_task.h b/src/rt/rust_task.h index 0d7cfed4a32..418eb54cab5 100644 --- a/src/rt/rust_task.h +++ b/src/rt/rust_task.h @@ -14,6 +14,7 @@ #include "rust_internal.h" #include "rust_kernel.h" #include "rust_obstack.h" +#include "boxed_region.h" // Corresponds to the rust chan (currently _chan) type. struct chan_handle { @@ -106,6 +107,7 @@ rust_task : public kernel_owned<rust_task>, rust_cond int pinned_on; memory_region local_region; + boxed_region boxed; // Indicates that fail() has been called and we are cleaning up. // We use this to suppress the "killed" flag during calls to yield. @@ -121,7 +123,6 @@ rust_task : public kernel_owned<rust_task>, rust_cond rust_obstack dynastack; - std::map<void *,const type_desc *> local_allocs; uint32_t cc_counter; debug::task_debug_info debug; @@ -139,7 +140,7 @@ rust_task : public kernel_owned<rust_task>, rust_cond ~rust_task(); void start(spawn_fn spawnee_fn, - rust_opaque_closure *env, + rust_opaque_box *env, void *args); void start(); bool running(); @@ -194,11 +195,6 @@ rust_task : public kernel_owned<rust_task>, rust_cond // not at all safe. intptr_t get_ref_count() const { return ref_count; } - // FIXME: These functions only exist to get the tasking system off the - // ground. We should never be migrating shared boxes between tasks. - const type_desc *release_alloc(void *alloc); - void claim_alloc(void *alloc, const type_desc *tydesc); - void notify(bool success); void *new_stack(size_t stk_sz, void *args_addr, size_t args_sz); |
