Submit two items to the submission website (see link in the navigation bar at the top of the page):
DFSCQ uses two allocators to prevent improper block reuse (as described in section 6.1). What problem would occur if DFSCQ used only one allocator? How would the problem manifest itself at the level of tree sequences, and what would prevent the proofs from going through?
Questions or comments regarding 6.826? Contact us on Piazza or send e-mail to the 6.826 staff at 6826-staff@lists.csail.mit.edu.