|
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
interface TaskShellHandle
This is the remote interface used within replication groups
to access a distant TaskShell
.
It is designed to be possessed and used by the replication group
leaders for group maintenance purposes.
TaskShell
Method Summary | |
---|---|
void |
demoteFromGroupLeader()
Sets this replicant as a backup within its group. |
ReplicantInfo |
getInfo()
|
ReplicationPolicy |
getReplicationPolicy()
|
DarxTask |
getTask()
|
void |
processDeliverAsyncMessage(DarxMessage msg)
Starts the processing of an asynchronous message. |
java.io.Serializable |
processDeliverSyncMessage(DarxMessage msg)
Starts the processing of a synchronous message. |
void |
resume()
Resumes the local execution of the encapsulated task. |
void |
setAsGroupLeader()
Sets this replicant as the leader of its group. |
void |
setInfo(ReplicantInfo info)
Sets the information concerning the current TaskShell. |
void |
setPolicy(ReplicationPolicy rep_policy)
Sets the information concerning the replication policy applied to the current TaskShell. |
void |
setTask(DarxTask task)
Inserts a given task inside the current TaskShell. |
void |
suspend()
Suspends the local execution of the encapsulated task. |
void |
terminate()
Terminates the execution of the encapsulated task. |
void |
terminateTask()
Terminates the execution of the encapsulated task. |
Methods inherited from interface darx.DarxHandle |
---|
deliverAsyncMessage, deliverSyncMessage, killReplicantAt, killTask, replicateTo, switchReplicationStrategy |
Method Detail |
---|
void processDeliverAsyncMessage(DarxMessage msg) throws java.rmi.RemoteException
msg
- the message to be processed
java.rmi.RemoteException
DarxMessage
java.io.Serializable processDeliverSyncMessage(DarxMessage msg) throws java.rmi.RemoteException
msg
- the message to be processed
java.rmi.RemoteException
DarxMessage
ReplicantInfo getInfo() throws java.rmi.RemoteException
java.rmi.RemoteException
DarxTask getTask() throws java.rmi.RemoteException
java.rmi.RemoteException
ReplicationPolicy getReplicationPolicy() throws java.rmi.RemoteException
getReplicationPolicy
in interface DarxHandle
java.rmi.RemoteException
ReplicationPolicy
void setTask(DarxTask task) throws java.rmi.RemoteException
task
- the new task to encapsulate
java.rmi.RemoteException
DarxTask
,
PassiveReplicationStrategy.update()
void setInfo(ReplicantInfo info) throws java.rmi.RemoteException
info
- the info to set
java.rmi.RemoteException
ReplicantInfo
void setPolicy(ReplicationPolicy rep_policy) throws java.rmi.RemoteException
rep_policy
- the info to set
java.rmi.RemoteException
ReplicationPolicy
void setAsGroupLeader() throws java.rmi.RemoteException
ReplicationStrategy
.
java.rmi.RemoteException
ReplicationStrategy
void demoteFromGroupLeader() throws java.rmi.RemoteException
ReplicationStrategy
.
java.rmi.RemoteException
ReplicationStrategy
void suspend() throws java.rmi.RemoteException
java.rmi.RemoteException
void resume() throws java.rmi.RemoteException
java.rmi.RemoteException
void terminate() throws java.rmi.RemoteException
java.rmi.RemoteException
void terminateTask() throws java.rmi.RemoteException
java.rmi.RemoteException
|
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |