1. 8

  2. 2

    I’m rather partial to the ext4 wiki for internals documentation. Of course, for algorithms, there is no better source than the source (which is more recent and much easier to read compared to ext2, despite the addition of journaling).

    1. 1

      Upvoting for peripheral reason of the stuff in bullet points being the exact kind of things that might go in a formal specification or Design-by-Contract embeddings a la:


      Then, combining that with spec/property-based and random testing would’ve helped to knock the bugs out of any ext4 implementations pretty quickly far as article’s description goes.