|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
An object implementiong this interface provides services for storing and retreiving checkpoints and checkpointInfos. Its provides also a classserver used during deserialization of checkpoints for a recovery. This server is an RMI object.
Method Summary | |
void |
addInfoToCheckpoint(CheckpointInfo ci,
UniqueID id,
int sequenceNumber,
int incarnation)
Add informations to an already stored checkpoint |
void |
commitHistory(HistoryUpdater rh)
Add an history to a checkpoint. |
Checkpoint |
getCheckpoint(UniqueID id,
int sequenceNumber)
Return a checkpoint of the object identified by id. |
CheckpointInfo |
getInfoFromCheckpoint(UniqueID id,
int sequenceNumber)
Return informations on the given checkpoint |
Checkpoint |
getLastCheckpoint(UniqueID id)
Return the latest checkpoint of the object identified by id |
java.lang.String |
getServerCodebase()
Return the URL of the classServer linked to this checkpointServer. |
void |
initialize()
Reinit the state of the location server. |
void |
outputCommit(MessageInfo mi)
The state of the system must be commited before the sent of the message linked to the messageInfo mi. |
int |
storeCheckpoint(Checkpoint c,
int incarnation)
Store a checkpoint in the checkpoint server. |
void |
storeReply(UniqueID receiverID,
Reply reply)
The reply passed in paramter must be synchronously logged on the server. |
void |
storeRequest(UniqueID receiverId,
Request request)
The request passed in paramter must be synchronously logged on the server. |
Method Detail |
public int storeCheckpoint(Checkpoint c, int incarnation) throws java.rmi.RemoteException
c
- the checkpoint to storedincarnation
- incarnation number of the caller
java.rmi.RemoteException
public Checkpoint getCheckpoint(UniqueID id, int sequenceNumber) throws java.rmi.RemoteException
id
- the owner of the returned checkpointsequenceNumber
- the index of the requiered checkpoint
java.rmi.RemoteException
public Checkpoint getLastCheckpoint(UniqueID id) throws java.rmi.RemoteException
id
- the owner of the returned checkpoint
java.rmi.RemoteException
public void addInfoToCheckpoint(CheckpointInfo ci, UniqueID id, int sequenceNumber, int incarnation) throws java.rmi.RemoteException
ci
- informations that have to be addedid
- owner of the considered checkpointsequenceNumber
- index of the considered checkpointincarnation
- incarnation number of the caller
java.rmi.RemoteException
public CheckpointInfo getInfoFromCheckpoint(UniqueID id, int sequenceNumber) throws java.rmi.RemoteException
id
- owner of the considered checkpointsequenceNumber
- index of the considered checkpoint
java.rmi.RemoteException
public void commitHistory(HistoryUpdater rh) throws java.rmi.RemoteException
rh
- the history updater.
java.rmi.RemoteException
public void outputCommit(MessageInfo mi) throws java.rmi.RemoteException
mi
- the message information linked to the message that is sent to the outside world
java.rmi.RemoteException
public java.lang.String getServerCodebase() throws java.rmi.RemoteException
java.rmi.RemoteException
public void storeRequest(UniqueID receiverId, Request request) throws java.rmi.RemoteException
receiverId
- the ID associated to the request.request
- the request to log.
java.rmi.RemoteException
- If communication with server fails.public void storeReply(UniqueID receiverID, Reply reply) throws java.rmi.RemoteException
receiverID
- the ID associated to the reply.reply
- the reply to log.
java.rmi.RemoteException
- If communication with server fails.public void initialize() throws java.rmi.RemoteException
java.rmi.RemoteException
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |