From: Ralf Jung Date: Tue, 7 Aug 2018 19:47:43 +0000 (+0200) Subject: add forum link and fix othre links X-Git-Url: https://git.ralfj.de/web.git/commitdiff_plain/3ca01f22dfd44b59c31f1c96f811d7ff3534c6f7?ds=inline add forum link and fix othre links --- diff --git a/personal/_posts/2018-08-07-stacked-borrows.md b/personal/_posts/2018-08-07-stacked-borrows.md index 6787754..fd2880a 100644 --- a/personal/_posts/2018-08-07-stacked-borrows.md +++ b/personal/_posts/2018-08-07-stacked-borrows.md @@ -1,6 +1,7 @@ --- title: "Stacked Borrows: An Aliasing Model For Rust" categories: internship rust +forum: https://internals.rust-lang.org/t/stacked-borrows-an-aliasing-model-for-rust/8153 --- In this post, I am proposing "Stacked Borrows": A set of rules defining which kinds of aliasing are allowed in Rust. @@ -30,7 +31,7 @@ Validity-based models have several advantages: Eager checking means we can typic However, in Rust, we cannot talk about references and whether the are valid at their given type without talking about lifetimes. With "Types as Contracts", the exact place where a lifetime ended turned out to be really important. -Not only did this make the specification complex and hard to understand; the implementation in [Miri]({% post_url 2017-06-06-MIR-semantics %}) also had to actively work against the compiler's general intention to forget about lifetimes as early as possible. +Not only did this make the specification complex and hard to understand; the implementation in Miri also had to actively work against the compiler's general intention to forget about lifetimes as early as possible. With non-lexical lifetimes, the "end" of a lifetime is not even so clearly defined any more. ## 2 Stacking Borrows @@ -404,7 +405,7 @@ This is where the code gets more "pseudo" and less Rust. ;) For each of these operation, we iterate over all affected locations; let us call the loop variable `loc` of type `MemoryByte`. We also have a variable `tag` with the tag of the pointer we are operating on (loading, or storing, or casting to a raw pointer, ...). -Moreover, we have a boolean variable `in_unsafe_cell` indicating whether, according to the type of the pointer, the location we are currently working on is covered by an [`UnsafeCell`](https://doc.rust-lang.org/beta/std/cell/struct.UnsafeCell.html). +Moreover, we have a boolean variable `in_unsafe_cell` indicating whether, according to the type of the pointer, the location we are currently working on is covered by an [`UnsafeCell`](https://doc.rust-lang.org/stable/std/cell/struct.UnsafeCell.html). (This realizes the conditions checking whether we have interior mutability or not.) For example, in `&Cell`, all 4 locations are inside an `UnsafeCell`. However, in `&(i32, Cell)`, only the last 4 of the 8 covered locations are inside an `UnsafeCell`. @@ -464,4 +465,4 @@ I hope to explore this question further in the following weeks by implementing a It is just easier to answer these questions when you do not have to *manually* reevaluate all examples after every tiny change. However, I can always use more examples, so if you think you found some interesting or surprising corner case, please let me know! - +As always, if you have any questions or comments, feel free to [ask in the forums](https://internals.rust-lang.org/t/stacked-borrows-an-aliasing-model-for-rust/8153).