diff options
Diffstat (limited to 'src/rt/rust_task.cpp')
| -rw-r--r-- | src/rt/rust_task.cpp | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/src/rt/rust_task.cpp b/src/rt/rust_task.cpp index 84984d499e9..c28e3350bf2 100644 --- a/src/rt/rust_task.cpp +++ b/src/rt/rust_task.cpp @@ -257,8 +257,17 @@ rust_task::yield(bool *killed) { void rust_task::kill() { scoped_lock with(lifecycle_lock); + kill_inner(); +} + +void rust_task::kill_inner() { + lifecycle_lock.must_have_lock(); - // XXX: bblum: kill/kill race + // Multiple kills should be able to safely race, but check anyway. + if (killed) { + LOG(this, task, "task %s @0x%" PRIxPTR " already killed", name, this); + return; + } // Note the distinction here: kill() is when you're in an upcall // from task A and want to force-fail task B, you do B->kill(). |
