disk: replay, epoch compatibility, and lmdb modules #241
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This PR adds bare bones replay functionality for
vere-v3.0
-style piers, meaning that one may:vere-v3.0
king and Ares serf.urb/chk/data.pma
fileTo achieve these results, very basic modules have been added for
lmdb
,disk
, andmars
. These are not well thought-out or designed-- instead, they are "minimum viable" and, as such, include numerous todo comments sprinkled throughout.I have tested this PR on:
macos-aarch64
linux-x86_64
For some reason, booting a fresh fake ship on this platform just hangs afterbinary copy succeeded
To fix functionality for
linux-x86_64
, we useMDB_NOLOCK
(seedisk.rs:44
):Thus, we have two invariants to maintain:
Future work:
play
argumentsargv
parsing)serf: bail
is printed during boot and replay