17 Jul
2022
17 Jul
'22
9:42 p.m.
1: "Okay, so FlushRegion is a class for edges of a linked list, roughly. Each Flush Index is a length of them. FlushRegion sits between nodes, which are either writes of data, or terminators." 4: "There's been some confusion as to whether FlushRegion should be made of ChunkRange's, or entire Flush Indexes, or what. The confusion has been complicated by ideas around refactoring the Flush Index and changing the name of Flush.Entry to ChunkRange. We propose filling FlushRegion with ChunkRanges, because it is simpler to consider, involving fewer new concepts, new names, and new connections between concepts."