转载

Rust 1.9改善了错误处理机制并提升了编译性能

最近发布的Rust 1.9 增加了一个新的异常处理API,让开发者在处理跨线程异常传播的时候能够增加更多的控制。此外新版本还提升了变量判等时的编译性能。

正如前面所提到的, std::panic 增加了一个新的 catch_unwind API,Rust使用它来处理异常,同时允许开发者更好地控制由异常触发的堆栈展开过程。Rust在这种场景下的哲学是“快速失败”,也就是在展开堆栈之后停止唤起的线程,但是其他线程不受影响,可以继续运行,直到它们试图与出错的线程通信为止,只有当需要与出错的线程通信时才需要做一些恢复工作。通过使用 catch_unwind ,开发者能够捕获panic并将其转换成失败线程中的普通错误:

let result = panic::catch_unwind(|| {     panic!("oh no!"); }); assert!(result.is_err()); 

该功能在下面两种场景中非常有用:

  • 将Rust嵌入其他语言的时候。在这种情况下unwinding很有可能会在语言边界处产生分割故障。
  • 当创建类库来管理线程的时候。在这种情况下,最好是将错误通知到客户端而不是停止失败的线程。

值得注意的是,堆栈展开目前是Rust处理panic的唯一策略,但是 未来这种情况会改变 。确实,通过一种新的“终止”策略从而避免堆栈展开的成本可能更可取。

新的Rust版本还提升了两个变量判等时的编译性能。 PR 的提交者 Markus Westerlind 声称在某些情况下提升非常明显,复杂性从O(n!)降低到了O(n)。正如Westerlind在 Reddit上所解释的 ,尽管n通常都非常小,但是代码中细微的差别都有可能使得n膨胀。在这些场景下,恰如Westerlind的 combine库 所展示的,Rust1.9在性能上有极大的提升。

此外,Rust1.9还提升了许多库函数的稳定性,包括网络、编码以及指针处理函数。

如果你想了解更多信息可以查看Rust1.9的 官方声明 。

查看英文原文: Rust 1.9 Improves Error Handling and Compile Time

原文  http://www.infoq.com/cn/news/2016/06/rust-19-released
正文到此结束
Loading...