[[
wikihub
]]
Search
⌘K
Explore
People
For Agents
Sign in
Explore
People
For Agents
Sign in
@jemoka / Jemoka Knowledge Base / raw/concept/kbhrust_paper.md
Suggest edit
Cancel
Submit suggestion
Title
Name
Note
--- title: "Rust Paper" source: https://www.jemoka.com/posts/kbhrust_paper/ --- if paper has software isolation using Rust, sort into software isolation categories if the paper does not, scan for incorrect claims and then sort into either irrelevant or wrong mutability (keywords: mutable, borrow, reference, invariant) IM/PUI does not cause an issue because of narrow extension interface (NetBricks) IM/PUI does cause an issue, and is handled IM/PUI does cause an issue, and is deferred to future work IM/PUI does cause an issue, and is ignored (RedLeaf, Splinter) No User Language Extension/No Isolation Needs How many papers use Rust, how many use Rust for language extensions? (a count on these would be nice if possible) Do they contain the interior mutability bug we discussed RedLeaf has? Specifically, if they offer an interface for extensions in Rust that allow users to define and pass arbitrary datatypes, do they assume that passing in a ref (&T) means that T can’t be modified during the function call? If T is a cell or an atomic, there are ref (&) operations that allow you to modify T. Note that cells are not send/sync, so if the papers assume that the function call involves sending the T to another thread, this will automatically prevent the cell interior mutability issue. (probably) Do they make any statements about not being able to handle interior mutability in their extension interface? This means they are likely aware of the interior mutability issue and recognize they are not solving it, but defer to future work. A count of this would be nice to have. Do they make statements like “& = const”, e.g. “Rust separates immutable and mutable references; an immutable refer- ence is a reference that when held restricts access to the underlying object to be read-only.” – this is straight from the splinter paper. Note that this might not mean the authors don’t know about interior mutability, but they might be simplifying for the reader.