|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
An object implementing this interface provides recovery methods. This server is an RMI object.
Field Summary | |
static int |
FAILED
Active objects possible states. |
static int |
RECOVERING
|
static int |
RUNNING
|
Method Summary | |
void |
failureDetected(UniqueID id)
Notify the recovery process that the body passed in paramater is suspected to be failed. |
int |
getSystemSize()
Return the size of the system, i.e. the number of registred bodies. |
void |
initialize()
Reinit the state of the recovery process. |
void |
register(UniqueID id)
Register the calling AO. |
void |
submitJob(ActiveQueueJob job)
to submit a job to recovery process |
JobBarrier |
submitJobWithBarrier(ActiveQueueJob job)
to submit a job to recovery process, with a barrier for waiting its completion |
void |
unregister(UniqueID id)
Unregister the AO identified by id. |
void |
updateState(UniqueID id,
int state)
Update the current state of the active object id. |
Field Detail |
public static final int FAILED
public static final int RECOVERING
public static final int RUNNING
Method Detail |
public void register(UniqueID id) throws java.rmi.RemoteException
id
- the registered body id
java.rmi.RemoteException
public void unregister(UniqueID id) throws java.rmi.RemoteException
id
- the unregistered body id
java.rmi.RemoteException
public void failureDetected(UniqueID id) throws java.rmi.RemoteException
id
- the id of the suspected AO
java.rmi.RemoteException
public void updateState(UniqueID id, int state) throws java.rmi.RemoteException
id
- id of the AO to updatestate
- state of the active object
java.rmi.RemoteException
public void submitJob(ActiveQueueJob job) throws java.rmi.RemoteException
job
- the job to submit
java.rmi.RemoteException
public JobBarrier submitJobWithBarrier(ActiveQueueJob job) throws java.rmi.RemoteException
job
- the job to submit
java.rmi.RemoteException
public int getSystemSize() throws java.rmi.RemoteException
java.rmi.RemoteException
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 |