about summary refs log tree commit diff
diff options
context:
space:
mode:
authorbors <bors@rust-lang.org>2014-01-04 00:32:09 -0800
committerbors <bors@rust-lang.org>2014-01-04 00:32:09 -0800
commit239fb1f6ee3af1e9b5d5372a9edb2bb1de07e451 (patch)
tree639137f136a0bbfe21192a2eb524a1d5771d5427
parent3dd7c49faf5ae3a9158ab242a264c0f0eb99f657 (diff)
parent649c648d6f0627df9ac272b1505e363c7dbd656f (diff)
downloadrust-239fb1f6ee3af1e9b5d5372a9edb2bb1de07e451.tar.gz
rust-239fb1f6ee3af1e9b5d5372a9edb2bb1de07e451.zip
auto merge of #11283 : brson/rust/doublefailure, r=alexcrichton
Previously this was an `rtabort!`, indicating a runtime bug. Promote
this to a more intentional abort and print a (slightly) more
informative error message.

Can't test this sense our test suite can't handle an abort exit.

I consider this to close #910, and that we should open another issue about implementing less conservative semantics here.
-rw-r--r--doc/rust.md6
-rw-r--r--src/libstd/rt/unwind.rs8
2 files changed, 9 insertions, 5 deletions
diff --git a/doc/rust.md b/doc/rust.md
index 37a8b391142..ea592d1fde5 100644
--- a/doc/rust.md
+++ b/doc/rust.md
@@ -3605,10 +3605,8 @@ failed destructor. Nonetheless, the outermost unwinding activity will continue
 until the stack is unwound and the task transitions to the *dead*
 state. There is no way to "recover" from task failure.  Once a task has
 temporarily suspended its unwinding in the *failing* state, failure
-occurring from within this destructor results in *hard* failure.  The
-unwinding procedure of hard failure frees resources but does not execute
-destructors.  The original (soft) failure is still resumed at the point where
-it was temporarily suspended.
+occurring from within this destructor results in *hard* failure.
+A hard failure currently results in the process aborting.
 
 A task in the *dead* state cannot transition to other states; it exists
 only to have its termination status inspected by other tasks, and/or to await
diff --git a/src/libstd/rt/unwind.rs b/src/libstd/rt/unwind.rs
index 358df7260f4..6be4ab97ee3 100644
--- a/src/libstd/rt/unwind.rs
+++ b/src/libstd/rt/unwind.rs
@@ -354,7 +354,13 @@ pub fn begin_unwind<M: Any + Send>(msg: M, file: &'static str, line: uint) -> !
             }
 
             if (*task).unwinder.unwinding {
-                rtabort!("unwinding again");
+                // If a task fails while it's already unwinding then we
+                // have limited options. Currently our preference is to
+                // just abort. In the future we may consider resuming
+                // unwinding or otherwise exiting the task cleanly.
+                rterrln!("task failed during unwinding (double-failure - total drag!)")
+                rterrln!("rust must abort now. so sorry.");
+                intrinsics::abort();
             }
         }