bftsmart.tom.server.defaultservices.durability

Class DurableStateLog

java.lang.Object

bftsmart.tom.server.defaultservices.StateLog

bftsmart.tom.server.defaultservices.durability.DurableStateLog

public class DurableStateLog
extends StateLog

Field Summary

Fields

Modifier and Type	Field and Description
static java.lang.String	DEFAULT_DIR

Constructor Summary

Constructors

Constructor and Description
DurableStateLog(int id, byte[] initialState, byte[] initialHash, boolean isToLog, boolean syncLog, boolean syncCkp)

Method Summary

Methods

Modifier and Type	Method and Description
void	addMessageBatch(byte[][] commands, int round, int leader) Adds a message batch to the log.
CSTState	getState(CSTRequest cstRequest)
void	newCheckpoint(byte[] state, byte[] stateHash) Sets the state associated with the last checkpoint, and updates the execution ID associated with it
void	setLastEid(int eid, int checkpointPeriod, int checkpointPortion)
void	transferApplicationState(java.nio.channels.SocketChannel sChannel, int eid)
void	update(CSTState state) Updates this log, according to the information contained in the TransferableState object

Methods inherited from class bftsmart.tom.server.defaultservices.StateLog

getApplicationState, getLastCheckpointEid, getLastCheckpointLeader, getLastCheckpointRound, getLastEid, getMessageBatch, getMessageBatches, getNumBatches, getState, getStateHash, setLastCheckpointEid, setLastCheckpointLeader, setLastCheckpointRound, setLastEid, update

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

DEFAULT_DIR

public static final java.lang.String DEFAULT_DIR

Constructor Detail

DurableStateLog

public DurableStateLog(int id,
               byte[] initialState,
               byte[] initialHash,
               boolean isToLog,
               boolean syncLog,
               boolean syncCkp)

Method Detail

addMessageBatch

public void addMessageBatch(byte[][] commands,
                   int round,
                   int leader)

Adds a message batch to the log. This batches should be added to the log in the same order in which they are delivered to the application. Only the 'k' batches received after the last checkpoint are supposed to be kept

Overrides:

addMessageBatch in class StateLog

Parameters:

batch - The batch of messages to be kept.

newCheckpoint

public void newCheckpoint(byte[] state,
                 byte[] stateHash)

Description copied from class: StateLog

Sets the state associated with the last checkpoint, and updates the execution ID associated with it

Overrides:

newCheckpoint in class StateLog

Parameters:

state - State associated with the last checkpoint

getState

public CSTState getState(CSTRequest cstRequest)

transferApplicationState

public void transferApplicationState(java.nio.channels.SocketChannel sChannel,
                            int eid)

setLastEid

public void setLastEid(int eid,
              int checkpointPeriod,
              int checkpointPortion)

update

public void update(CSTState state)

Updates this log, according to the information contained in the TransferableState object

Parameters:

transState - TransferableState object containing the information which is used to updated this log