Skip to content

durability: Make local History truly read-only#5497

Merged
Shubham8287 merged 4 commits into
masterfrom
kim/commitlog/read-only-history
Jul 14, 2026
Merged

durability: Make local History truly read-only#5497
Shubham8287 merged 4 commits into
masterfrom
kim/commitlog/read-only-history

Conversation

@kim

@kim kim commented Jul 8, 2026

Copy link
Copy Markdown
Contributor

Commitlog::open may perform repairs, which can be catastrophic if access is not externally guaranteed to be mutually exclusive.

Instead of allowing to view Commitlog as a History, implement a LocalHistory that is guaranteed to be read-only.

Expected complexity level and risk

1.5

Testing

Should pass existing tests.

`Commitlog::open` may perform repairs, which can be catastrophic if
access is not externally guaranteed to be mutually exclusive.

Instead of allowing to view `Commitlog` as a `History`, implement a
`LocalHistory` that is guaranteed to be read-only.
@kim kim requested a review from Shubham8287 July 8, 2026 09:02
@kim kim enabled auto-merge July 8, 2026 11:11
@gefjon gefjon disabled auto-merge July 9, 2026 14:30
@Shubham8287 Shubham8287 added this pull request to the merge queue Jul 14, 2026
Merged via the queue into master with commit 44c6544 Jul 14, 2026
56 of 58 checks passed
bfops pushed a commit that referenced this pull request Jul 15, 2026
…tory` truly read-only (#5497)

`Commitlog::open` may perform repairs, which can be catastrophic if
access is not externally guaranteed to be mutually exclusive.

Instead of allowing to view `Commitlog` as a `History`, implement a
`LocalHistory` that is guaranteed to be read-only.

1.5

Should pass existing tests.

---------

Co-authored-by: Phoebe Goldman <phoebe@goldman-tribe.org>
Co-authored-by: Shubham Mishra <shivam828787@gmail.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants