junwen的博客

1.https://www.rust-lang.org/zh-CN/tools/install 2.curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh Rust is installed now. Great! To get started you need Cargo's bin directory ($HOME/...

Stacked Borrows: An Aliasing Model for Rust笔记 本节的目的是正式定义到目前为止我们在本文中非正式描述的内容。完整的正式定义可以在我们的技术附录中找到[Jung等。 2019]。 高层结构在较高的层次上，我们将堆积借款定义为带标签的过渡系统，其中标签是事件（最重要的是读写访问和重新标记），状态由以下记录描述（某些其余相关域如图2所示： ...

Stacked Borrows: An Aliasing Model for Rust笔记 我们已经看到Stacked Borrows支持它旨在实现的所有转换：在未知代码之间上下移动共享和可变引用的使用。这已经为编译器提供了必要的自由度，可以利用引用类型进行别名分析。 但是要采用Stacked Borrows，我们还需要确保现有Rust代码的大部分实际上与Stacked Borrows的规则兼容...

Stacked Borrows: An Aliasing Model for Rust笔记 到目前为止，我们已经看到了两种优化方法，它们利用了即使不安全的代码也必须符合Stacked Borrows的假设。动态分析，反映了Rust借阅检查器执行的静态分析。两者都遵循类似的模式：重新引用了一些参考文献 （证明草图中的步骤（1）），然后我们进行了一些更改/观察（我们写了mutablereferenc...

共享引用 到目前为止，我们仅考虑了可变引用和原始指针。我们已经看到，stack borrow对可变引用强制执行一种唯一性形式，足以证明程序转换可以对未知代码周围的内存访问进行重新排序。在本节中，我们将研究共享引用。目标是强制它们是只读的，以再次证明程序转换的合理性，该转换将未知代码周围的内存访问重新排序。 就像我们为可变参考所做的一样。我们通过重述借阅检查器以避免提及生命周期的方式来 重新定义...

栈借用模型,第一部分 大前提 (1)引用及其衍生的所有引用只能在他们的生命周期内使用 (2)在借出的有效期到期之前，借出者不会被使用。 一句话:对借入者引用的使用(及其衍生的所有引用)必须在下一次使用借出者引用之前进行 操作语义 tag(PointerId,指针ID) 区分指向同一个内存区域的引用,每一个引用使用一个id来标识,叫做PointerId,当引用创建的时候,对应一个Po...

https://doc.rust-lang.org/reference/type-coercions.html https://doc.rust-lang.org/std/ops/trait.Deref.html

Borrow有两个方面 实现Borrow接口 https://doc.rust-lang.org/std/borrow/trait.Borrow.html 然后又需要接收Borrow接口的函数(一般自己实现) fn check<T: Borrow<str>>(s: T) { assert_eq!("Hello", s.borrow()); } 约...

https://rust-lang.github.io/rustc-guide/mir/mir_detailed.svgIntroducing MIR https://blog.rust-lang.org/2016/04/19/MIR.html https://rust-lang.github.io/rustc-guide/mir/construction.html HIR https:/...