Skip to content

Better Server Shutdown and Logger Integration#15

Merged
DavisRayM merged 7 commits into
mainfrom
raft-nodes
May 21, 2025
Merged

Better Server Shutdown and Logger Integration#15
DavisRayM merged 7 commits into
mainfrom
raft-nodes

Conversation

@DavisRayM

Copy link
Copy Markdown
Owner
  • refactor: allow changing the number of cached pages
  • refactor: add from_u8 function
  • refactor: modify pager to track pages in memory by default
  • refactor: logger ensures in-memory pager is always up to date
  • refactor: only compact log when server is dropped
  • refactor: allow users to shutdown server with Ctrl-C
  • chore: remove unneeded imports

DavisRayM added 7 commits May 4, 2025 07:08
- Add a `TryInto` for `&[u8]`
`Pager` now tracks all pages in memory and requires
users to call `flush` to clear up and persist the memory.
Logger keeps track of an up-to-date pager for in-memory
modification. It only permanently writes out when a GlobalCheckpoint
is logged. During startup it'll re-read previous state before
the server crashed and re-apply it.
@DavisRayM DavisRayM changed the title TODO Better Server Shutdown and Logger Integration May 21, 2025
@DavisRayM DavisRayM merged commit cc14dc5 into main May 21, 2025
2 checks passed
@DavisRayM DavisRayM deleted the raft-nodes branch May 21, 2025 10:24
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.

1 participant