Part VI: Implementation

This part describes the internal design of the CEDA Log Structured Store. It is intended for readers interested in storage-engine architecture, crash recovery, persistent indexing, concurrency and the classes used by the reference implementation. Earlier parts define the externally visible behaviour and can be read independently of these implementation details.

These notes were developed alongside the implementation and retain some proposals, TODOs and records of earlier designs. Such material is preserved because it exposes design trade-offs, but it should not automatically be read as a statement of the current interface. Chapters devoted to proposals or historical material are labelled explicitly.