On Tue, Nov 05, 2024 at 02:56:43PM +0100, Alice Ryhl wrote: [snip] > > > > As a wordy aside, a large part of the motivation of this document, or > > certainly my prioritisation of it, is explicitly to help the rust team > > correctly abstract this aspect of mm. > > > > The other part is to help the mm team, that is especailly myself, correctly > > understand and _remember_ the numerous painful ins and outs of this stuff, > > much of which has been pertinent of late for not wonderfully positive > > reasons. > > > > Hopefully we accomplish both! :>) > > I do think this has revealed one issue with my Rust patch, which is > that VmAreaMut currently requires the mmap lock, but it should also > require the vma lock, since you need both for writing. > > Alice Awesome :) I am genuinely hoping this doc will aid you guys in rust in general. And maybe I can use advent of code this year to actually learn the language myself... I nominate Vlasta to join me ;)