about summary refs log tree commit diff
path: root/src/rt/rust_kernel.cpp
diff options
context:
space:
mode:
authorBrian Anderson <banderson@mozilla.com>2012-03-18 15:59:00 -0700
committerBrian Anderson <banderson@mozilla.com>2012-03-18 17:03:35 -0700
commitb247de64583e2ab527088813ba9192824554e801 (patch)
treeae9a3787632c877c6b9450cbf4431e26b5f081e4 /src/rt/rust_kernel.cpp
parente4af1ca0657d2b3b4fc2e7829cd8f822d983de1b (diff)
downloadrust-b247de64583e2ab527088813ba9192824554e801.tar.gz
rust-b247de64583e2ab527088813ba9192824554e801.zip
rt: Remove lock_held_by_current_thread
Diffstat (limited to 'src/rt/rust_kernel.cpp')
-rw-r--r--src/rt/rust_kernel.cpp4
1 files changed, 0 insertions, 4 deletions
diff --git a/src/rt/rust_kernel.cpp b/src/rt/rust_kernel.cpp
index 3880874b76d..8e6baf99197 100644
--- a/src/rt/rust_kernel.cpp
+++ b/src/rt/rust_kernel.cpp
@@ -62,7 +62,6 @@ void rust_kernel::free(void *mem) {
 
 rust_sched_id
 rust_kernel::create_scheduler(size_t num_threads) {
-    I(this, !sched_lock.lock_held_by_current_thread());
     rust_sched_id id;
     rust_scheduler *sched;
     {
@@ -81,7 +80,6 @@ rust_kernel::create_scheduler(size_t num_threads) {
 
 rust_scheduler *
 rust_kernel::get_scheduler_by_id(rust_sched_id id) {
-    I(this, !sched_lock.lock_held_by_current_thread());
     scoped_lock with(sched_lock);
     sched_map::iterator iter = sched_table.find(id);
     if (iter != sched_table.end()) {
@@ -93,7 +91,6 @@ rust_kernel::get_scheduler_by_id(rust_sched_id id) {
 
 void
 rust_kernel::release_scheduler_id(rust_sched_id id) {
-    I(this, !sched_lock.lock_held_by_current_thread());
     scoped_lock with(sched_lock);
     // This list will most likely only ever have a single element in it, but
     // it's an actual list because we could potentially get here multiple
@@ -111,7 +108,6 @@ them then we can see valgrind errors due to un-freed pthread memory.
 int
 rust_kernel::wait_for_schedulers()
 {
-    I(this, !sched_lock.lock_held_by_current_thread());
     scoped_lock with(sched_lock);
     while (!sched_table.empty()) {
         while (!join_list.empty()) {