bftsmart.consensus.executionmanager

Class Execution

java.lang.Object

bftsmart.consensus.executionmanager.Execution

public class Execution
extends java.lang.Object

This class stands for an execution of a consensus

Field Summary

Fields

Modifier and Type	Field and Description
java.util.concurrent.locks.ReentrantLock	lock

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	Execution(ExecutionManager manager, Consensus consensus) Creates a new instance of Execution for Acceptor Manager

Method Summary

Methods

Modifier and Type	Method and Description
void	addWritten(byte[] value) Add a value that shall be written to the writeSet
Round	createRound(ServerViewController recManager) Creates a round associated with this execution, supposedly the next
void	decided(Round round, byte[] value) Called by the Acceptor, to set the decided value
Round	getDecisionRound() The round at which a decision was possible to make
int	getId() This is the execution ID
Round	getLastRound() The last round of this execution
Consensus	getLearner() This is the consensus instance to which this execution works for
ExecutionManager	getManager() This is the execution manager for this execution
TimestampValuePair	getQuorumWrites() Return the value read from a Byzantine quorum of WRITES that has previously been stored
Round	getRound(int number, boolean create, ServerViewController controller) Gets a round associated with this execution
Round	getRound(int number, ServerViewController controller) Gets a round associated with this execution
java.util.HashSet<TimestampValuePair>	getWriteSet()
void	incEts() Increment the ETS of this replica
boolean	isDecided() Informs whether or not the execution is decided
void	removeRounds(int limit) Removes rounds greater than 'limit' from this execution
void	removeWritten(byte[] value) Remove an already writte value from writeSet
void	setQuorumWrites(byte[] value) Store the value read from a Byzantine quorum of WRITES

Methods inherited from class java.lang.Object

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

Field Detail

lock

public java.util.concurrent.locks.ReentrantLock lock

Constructor Detail

Execution

protected Execution(ExecutionManager manager,
         Consensus consensus)

Creates a new instance of Execution for Acceptor Manager

Parameters:

manager - Execution manager for this execution

consensus - Consensus instance to which this execution works for

Method Detail

getId

public int getId()

This is the execution ID

Returns:

Execution ID

getManager

public ExecutionManager getManager()

This is the execution manager for this execution

Returns:

Execution manager for this execution

getLearner

public Consensus getLearner()

This is the consensus instance to which this execution works for

Returns:

Consensus instance to which this execution works for

getRound

public Round getRound(int number,
             ServerViewController controller)

Gets a round associated with this execution

Parameters:

number - The number of the round

Returns:

The round

getRound

public Round getRound(int number,
             boolean create,
             ServerViewController controller)

Gets a round associated with this execution

Parameters:

number - The number of the round

create - if the round is to be created if not existent

Returns:

The round

incEts

public void incEts()

Increment the ETS of this replica

setQuorumWrites

public void setQuorumWrites(byte[] value)

Store the value read from a Byzantine quorum of WRITES

Parameters:

value -

getQuorumWrites

public TimestampValuePair getQuorumWrites()

Return the value read from a Byzantine quorum of WRITES that has previously been stored

Returns:

the value read from a Byzantine quorum of WRITES, if such value has been obtained already

addWritten

public void addWritten(byte[] value)

Add a value that shall be written to the writeSet

Parameters:

value - Value to write to the writeSet

removeWritten

public void removeWritten(byte[] value)

Remove an already writte value from writeSet

Parameters:

value - valor a remover do writeSet

getWriteSet

public java.util.HashSet<TimestampValuePair> getWriteSet()

createRound

public Round createRound(ServerViewController recManager)

Creates a round associated with this execution, supposedly the next

Returns:

The round

removeRounds

public void removeRounds(int limit)

Removes rounds greater than 'limit' from this execution

Parameters:

limit - Rounds that should be kept (from 0 to 'limit')

getDecisionRound

public Round getDecisionRound()

The round at which a decision was possible to make

Returns:

Round at which a decision was possible to make

getLastRound

public Round getLastRound()

The last round of this execution

Returns:

Last round of this execution

isDecided

public boolean isDecided()

Informs whether or not the execution is decided

Returns:

True if it is decided, false otherwise

decided

public void decided(Round round,
           byte[] value)

Called by the Acceptor, to set the decided value

Parameters:

value - The decided value

round - The round at which a decision was made