Tree Borrows - A new aliasing model for Rust

1. rust

   1 2,815 102,876 10.0 Rust

   Empowering everyone to build reliable and efficient software.

   

   That is indeed an overall goal (there are many known examples of code that is UB under Stacked Borrows but should be allowed, and these examples guided the development of Tree Borrows), but Stacked Borrows also had some cases of accidentally accepted code, such as some tests in stdlib recently patched.

2. InfluxDB

   influxdata.com featured

   InfluxDB high-performance time series database. Collect, organize, and act on massive volumes of high-resolution data to power real-time intelligent systems.

   

3. miri

   2 124 5,081 10.0 Rust

   An interpreter for Rust's mid-level intermediate representation

   

   I'm not the author, but this describes an alternative to the current Stacked Borrows model, that has recently landed as an option to use in miri.

4. rust-memchr

   3 32 1,068 6.6 Rust

   Optimized string search routines for Rust.

   

   /u/nvanille Excellent work. Evaluating whether this all makes sense is very much above my pay-grade, but I'm all in favor of making it harder to shoot yourself in the foot with unsafe. This actually happened with the memchr crate, if you're interested in those details.

5. slotmap

   4 14 1,183 3.4 Rust

   Slotmap data structure for Rust

   

   It looks like .get_disjoint_mut() from slotmap failed under stacked borrows, but seems to pass under tree borrows

6. Clippy

   5 121 11,937 10.0 Rust

   A bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/

   

   TIL. I've just filed a Clippy lint suggestion to warn about &slice[0] as *const T, given that slice.as_ptr() sounds more idiomatic (regardless of whether SB or TB is the "better" memory model): https://github.com/rust-lang/rust-clippy/issues/10560

7. CodeRabbit

   coderabbit.ai featured

   CodeRabbit: AI Code Reviews for Developers. Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.

   

Suggest a related project