rust-lang/rust-memory-model
View on GitHub ↗ ★ 129 Python archived
Collecting examples and information to help design a memory model for Rust.
9 mentions on Hacker News by 7 people: 0 stories, 9 comments · first 2016-09-30 · latest 2018-12-06
20082026
-
…I saw number of tickets about that in Rust ticketing system. This one seems to be most relevant: https://github.com/nikomatsakis/rust-memory-model/issues/41 Then these ones: https://github.com/rust-lang/rust/issues/36927…
comment by v_lisivka · 2018-12-06 · in Rust 2018 is here, but what is it? -
…the compiler is able to make about raw pointers in `unsafe` code. This is being worked on here: https://github.com/nikomatsakis/rust-memory-model 2. The borrow checker. While the RustBelt work shows that a much simpler borrow checker can…
comment by lambda · 2018-02-04 · in RustBelt: securing the foundations of the Rust programming language -
…there are some more important open questions right now like fully specifying Rust's memory model ( https://github.com/nikomatsakis/rust-memory-model ) so it's possible to know what kinds of aliasing you can actually do in `unsafe` code,…
comment by lambda · 2018-02-04 · in RustBelt: securing the foundations of the Rust programming language -
…), and then to a repo for a Rust Memory Model specification here ( https://github.com/nikomatsakis/rust-memory-model ). Unfortunately, as you can probably tell, those conversions started in Dec 2015, and any real work on this
comment by DSMan195276 · 2017-11-25 · in Announcing Rust 1.22 -
…know Rust doesn't have a memory model fully defined yet, but their type system already helps a lot. https://github.com/nikomatsakis/rust-memory-model A bit old, https://blog.rust-lang.org/2015/04/10/Fearless-Concurrency.h...
comment by pjmlp · 2017-11-02 · in What every systems programmer should know about lockless concurrency [pdf] -
…conversations around the unsafe code guidelines effort: https://github.com/rust-lang/rfcs/pull/1643 https://github.com/nikomatsakis/rust-memory-model
comment by dikaiosune · 2017-05-19 · in Writing correct lock-free and distributed stateful systems in Rust, with TLA+ -
…would most certainly break. The exact rules around unsafe rules are still being discussed (see https://github.com/nikomatsakis/rust-memory-model ), so until that is done some of these optimizations are very unlikely to be implemented…
comment by jplatte · 2017-02-20 · in How copying an int made my code 11 times faster -
…[1] http://smallcultfollowing.com/babysteps/blog/2016/05/27/the-... [2] https://github.com/nikomatsakis/rust-memory-model
comment by wuch · 2017-02-17 · in Rust Sucks If I Fail to Write X -
I know of a few efforts to better specify Rust in addition to ticki's (OP): * https://github.com/nikomatsakis/rust-memory-model * http://plv.mpi-sws.org/rustbelt/ * https://kha.github.io/2016/07/22/formally-verifying-rusts-bi... The first…
comment by dikaiosune · 2016-09-30 · in A Hoare Logic for Rust