restart_state.hpp File Reference

#include <cstdint>
#include <map>
#include <memory>
#include <sstream>
#include <string>
#include <vector>
#include "../subgroup_info.hpp"
#include "../view.hpp"
#include "derecho_internal.hpp"
#include <derecho/mutils-serialization/SerializationSupport.hpp>
#include <spdlog/spdlog.h>

Include dependency graph for restart_state.hpp:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
struct	derecho::RaggedTrim
	Represents the data needed to log a "ragged trim" decision to disk. More...
struct	derecho::RestartState
class	derecho::RestartLeaderState

Namespaces
	derecho

Typedefs
using	derecho::ragged_trim_map_t = std::map< subgroup_id_t, std::map< uint32_t, std::unique_ptr< RaggedTrim > >>
	List of logged ragged trim states, indexed by (subgroup ID, shard num), stored by pointer. More...

Enumerations
enum	derecho::CommitMessage { derecho::CommitMessage::PREPARE, derecho::CommitMessage::COMMIT, derecho::CommitMessage::ABORT, derecho::CommitMessage::ACK }
	A type-safe set of messages that can be sent during two-phase commit. More...

Functions
std::string	derecho::ragged_trim_filename (subgroup_id_t subgroup_num, uint32_t shard_num)
	Builds a filename to use for a RaggedTrim logged to disk using its subgroup and shard IDs. More...