New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
VSR: SuperBlock.VSRState.CheckpointState.release #1666
Conversation
To disambiguate from the "release version".
8061745
to
b0ffad5
Compare
Upgrades will bump this release number via a checkpoint.
b0ffad5
to
8f63fc8
Compare
Reply release should mirror prepare release!
e6093e8
to
e920f13
Compare
@@ -513,7 +516,7 @@ pub fn Client(comptime StateMachine_: type, comptime MessageBus: type) type { | |||
} | |||
|
|||
/// Releases a message back to the message bus. | |||
pub fn release(self: *Self, message: *Message) void { | |||
pub fn release_message(self: *Self, message: *Message) void { |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I prefer release_message
to release
even ignoring the name collision -- it mirrors get_message
.
@@ -354,11 +356,13 @@ pub const SuperBlockHeader = extern struct { | |||
/// The number of manifest blocks in the manifest log. | |||
manifest_block_count: u32, | |||
|
|||
release: u16, |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Document semantics --- all prepares within this checkpoint were executed by a replica with a given release. That is, this applies not only to checkpoint_op, but to the entire log wrap of ops.
These are some miscellaneous prerequisites for upgrades:
Client.release()
/Client.release_message()
: To disambiguate from the "release version".Replica.release
,Replica.release_client_min
, andClient.release
. (release_client_min
isn't check yetSuperBlock.VSRState.CheckpointState.release
: Upgrades will bump this release number via a checkpoint.