#include <restart_state.hpp>

Collaboration diagram for derecho::RestartState:

Public Member Functions
void	load_ragged_trim (const View &curr_view)

Static Public Member Functions
static persistent::version_t	ragged_trim_to_latest_version (const int32_t view_id, const std::vector< int32_t > &max_received_by_sender)
	Computes the persistent version corresponding to a ragged trim proposal, i.e. More...

Public Attributes
ragged_trim_map_t	logged_ragged_trim
	List of logged ragged trim states recovered from the last known View, either read locally from this node's logs or received from the restart leader. More...

std::vector< std::vector< int64_t > >	restart_shard_leaders
	Map from (subgroup ID, shard num) to ID of the "restart leader" for that shard, which is the node with the longest persistent log for that shard's replicated state. More...

Detailed Description

Definition at line 57 of file restart_state.hpp.

Member Function Documentation

◆ load_ragged_trim()

void derecho::RestartState::load_ragged_trim ( const View & curr_view )

Definition at line 14 of file restart_state.cpp.

◆ ragged_trim_to_latest_version()

persistent::version_t derecho::RestartState::ragged_trim_to_latest_version	(	const int32_t	view_id,
		const std::vector< int32_t > &	max_received_by_sender
	)

static

Computes the persistent version corresponding to a ragged trim proposal, i.e.

the version number that will be persisted if these updates are committed.

Parameters

view_id	The VID of the current View (since it's part of the version number)
max_received_by_sender	The ragged trim proposal for a single shard, corresponding to a single Replicated Object

Returns: The persistent version number that the object will have if this ragged trim is delivered

Definition at line 61 of file restart_state.cpp.

Member Data Documentation

◆ logged_ragged_trim

ragged_trim_map_t derecho::RestartState::logged_ragged_trim

List of logged ragged trim states recovered from the last known View, either read locally from this node's logs or received from the restart leader.

Definition at line 61 of file restart_state.hpp.

◆ restart_shard_leaders

std::vector<std::vector<int64_t> > derecho::RestartState::restart_shard_leaders

Map from (subgroup ID, shard num) to ID of the "restart leader" for that shard, which is the node with the longest persistent log for that shard's replicated state.

Definition at line 65 of file restart_state.hpp.

The documentation for this struct was generated from the following files:

include/derecho/core/detail/restart_state.hpp
src/core/restart_state.cpp

Public Member Functions

Static Public Member Functions