diff options
| author | Brian Anderson <banderson@mozilla.com> | 2012-03-14 20:55:57 -0700 |
|---|---|---|
| committer | Brian Anderson <banderson@mozilla.com> | 2012-03-15 11:10:52 -0700 |
| commit | c414b78afed76f63adf4e7538f04b6231f177236 (patch) | |
| tree | 38bc7000fdd2750f8b42731e6f7db180603efc59 /src/rt/rust_kernel.h | |
| parent | 1366d656605049f2e58525c7cad5433da9977db2 (diff) | |
| download | rust-c414b78afed76f63adf4e7538f04b6231f177236.tar.gz rust-c414b78afed76f63adf4e7538f04b6231f177236.zip | |
rt: Remove the kernel task table
Diffstat (limited to 'src/rt/rust_kernel.h')
| -rw-r--r-- | src/rt/rust_kernel.h | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/src/rt/rust_kernel.h b/src/rt/rust_kernel.h index 26938ec565b..f97303cae0f 100644 --- a/src/rt/rust_kernel.h +++ b/src/rt/rust_kernel.h @@ -24,11 +24,8 @@ class rust_kernel { public: rust_srv *srv; private: - // Protects max_task_id and task_table - lock_and_signal task_lock; // The next task id rust_task_id max_task_id; - hash_map<rust_task_id, rust_task *> task_table; // Protects max_port_id and port_table lock_and_signal port_lock; @@ -75,9 +72,7 @@ public: void win32_require(LPCTSTR fn, BOOL ok); #endif - void register_task(rust_task *task); - rust_task *get_task_by_id(rust_task_id id); - void release_task_id(rust_task_id tid); + rust_task_id generate_task_id(); rust_port_id register_port(rust_port *port); rust_port *get_port_by_id(rust_port_id id); |