edu.umass.cs.reconfiguration.examples

Class AbstractReconfigurablePaxosApp<NodeIDType>

java.lang.Object

edu.umass.cs.reconfiguration.examples.AbstractReconfigurablePaxosApp<NodeIDType>

Type Parameters:

NodeIDType -

All Implemented Interfaces:

Application, AppRequestParser, AppRequestParserBytes, Replicable, Reconfigurable

Direct Known Subclasses:

NoopApp, NoopAppTesting, NoopAppTX

public abstract class AbstractReconfigurablePaxosApp<NodeIDType>
extends java.lang.Object
implements Replicable, Reconfigurable

Author:

arun This class can be extended to implement a simple reconfigurable-paxos application. It allows the application to just implement Replicable and yet be reconfigurable provided PaxosReplicaCoordinator is used as the replica coordinator.

Constructor Summary

Constructors

Constructor and Description
AbstractReconfigurablePaxosApp()

Method Summary

Modifier and Type	Method and Description
boolean	deleteFinalState(java.lang.String name, int epoch) Garbage-collects the final state for name, epoch.
boolean	execute(Request request, boolean doNotReplyToClient) This method must handle the request atomically and return true if successful or throw an exception or return false.
java.lang.Integer	getEpoch(java.lang.String name) Returns the current (unique) epoch for name.
java.lang.String	getFinalState(java.lang.String name, int epoch) Return the final checkpointed state for name, epoch.
ReconfigurableRequest	getStopRequest(java.lang.String name, int epoch) This class returns a default no-op stop request.
void	putInitialState(java.lang.String name, int epoch, java.lang.String state) Inserts the specified state as the initial state for name, epoch.

Methods inherited from class java.lang.Object

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

Methods inherited from interface edu.umass.cs.gigapaxos.interfaces.Replicable

checkpoint, restore

Methods inherited from interface edu.umass.cs.gigapaxos.interfaces.Application

execute

Methods inherited from interface edu.umass.cs.gigapaxos.interfaces.AppRequestParser

getMutualAuthRequestTypes, getRequest, getRequest, getRequestTypes, getServerAuthRequestTypes

Constructor Detail

AbstractReconfigurablePaxosApp

public AbstractReconfigurablePaxosApp()

Method Detail

getStopRequest

public ReconfigurableRequest getStopRequest(java.lang.String name,
                                            int epoch)

This class returns a default no-op stop request. It is probably not a good idea to rely on this as the stop will be oblivious to the app and will appear just like any no-op, so the app may not be able to do garbage collection or other app-specific activities when an epoch is stopped.

Specified by:

getStopRequest in interface Reconfigurable

Returns:

InterfaceReconfigurableRequest corresponding to the stop request for the replica group name:epoch.

getFinalState

public java.lang.String getFinalState(java.lang.String name,
                                      int epoch)

Description copied from interface: Reconfigurable

Return the final checkpointed state for name, epoch. If a checkpoint does not yet exist, it has to be created. This method should return null if the app has moved on, i.e., its current epoch number is higher than epoch and it has no final state for the requested epoch (possibly because it has been garbage-collected). This method will typically get called right after a stop request has been supplied for execution to the app, so it is a good idea for the application to create the checkpoint immediately after executing an epoch stop request.

Specified by:

getFinalState in interface Reconfigurable

Returns:

The final state, or a concise handle thereof, as a String.

putInitialState

public void putInitialState(java.lang.String name,
                            int epoch,
                            java.lang.String state)

Description copied from interface: Reconfigurable

Inserts the specified state as the initial state for name, epoch. This method marks the creation of an epoch. All lower epoch numbers must be marked as inactive at this point. After this method has been called, the app can only accept requests for "name" in the epoch "epoch".

Specified by:

putInitialState in interface Reconfigurable

deleteFinalState

public boolean deleteFinalState(java.lang.String name,
                                int epoch)

Description copied from interface: Reconfigurable

Garbage-collects the final state for name, epoch.

Specified by:

deleteFinalState in interface Reconfigurable

Returns:

True if final state for name:epoch was deleted or did not exist to begin with.

getEpoch

public java.lang.Integer getEpoch(java.lang.String name)

Description copied from interface: Reconfigurable

Returns the current (unique) epoch for name. At most a single epoch can actively exist at any time at a replica. The app replica may maintain the final state for lower (inactive) epochs, but may not accept requests in any epoch other than the currently active epoch if one exists. This method should return null if no active replica for the name exists at this node.

Specified by:

getEpoch in interface Reconfigurable

Returns:

The current epoch number for name.

execute

public boolean execute(Request request,
                       boolean doNotReplyToClient)

Description copied from interface: Replicable

This method must handle the request atomically and return true if successful or throw an exception or return false. It is the application's responsibility to ensure atomicity, i.e., it should return true iff the request was successfully executed; if it returns false or throws an exception, the application should ensure that the state of the application rolls back any partial execution of this request. If it returns false or throws an exception, the replica coordination protocol may try to re-attempt executing the request.

Specified by:

execute in interface Replicable

doNotReplyToClient - If true, the application is expected to not send a response back to the originating client (say, because this request is part of a post-crash roll-forward or only the "entry replica" that received the request from the client is expected to respond back. If false, the application is expected to either send a response (if any) back to the client via the ClientMessenger interface or delegate response messaging to paxos via the ClientRequest.getResponse() interface.

Returns:

Must return true if and only if the application handled the request successfully. For safety, executing a request must have a deterministic effect on the safety-critical state. If the request is bad and is to be discarded, the application must still return true (after "successfully" discarding it). If the application returns false, the replica coordination protocol (e.g., paxos) might try to repeatedly re-execute it until successful or kill this replica group ( request.getServiceName()) altogether after a limited number of retries, so the replica group may get stuck unless it returns true after a limited number of retries. Thus, with paxos as the replica coordination protocol, returning false is not really an option as paxos has no way to "roll back" a request whose global order has already been agreed upon.

With replica coordination protocols other than paxos, the boolean return value could be used in protocol-specific ways, e.g., a primary-backup protocol might normally execute a request at just one replica but relay the request to one or more backups if the return value of Application.execute(Request) is false.