rt: Introduce scheduler ids

2012-02-06 18:00:49 -08:00
parent c76b81cddf
commit ad80823a6c
4 changed files with 10 additions and 4 deletions
--- a/src/rt/rust_scheduler.cpp
+++ b/src/rt/rust_scheduler.cpp
@@ -3,12 +3,14 @@

 rust_scheduler::rust_scheduler(rust_kernel *kernel,
 			       rust_srv *srv,
-			       size_t num_threads) :
+			       size_t num_threads,
+			       rust_sched_id id) :
    kernel(kernel),
    srv(srv),
    env(srv->env),
    live_threads(num_threads),
-    num_threads(num_threads)
+    num_threads(num_threads),
+    id(id)
 {
    isaac_init(kernel, &rctx);
    create_task_threads();