|
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface DarxHandle
This is the remote interface used by application-level
entities to access a distant TaskShell
.
The application-level entities include unreplicated agents,
leaders of replication groups which do not include the accessed
TaskShell
, as well as application programmers.
The DarxHandle
is designed to be encapsulated in
a RemoteTask
instance; therefore it ought to be the
stub of a replication group leader.
RemoteTask
,
TaskShell
Method Summary | |
---|---|
void |
deliverAsyncMessage(DarxMessage msg)
Sends an asynchronous message to the remote task. |
java.io.Serializable |
deliverSyncMessage(DarxMessage msg)
Sends a synchronous message to the remote task. |
ReplicationPolicy |
getReplicationPolicy()
|
void |
killReplicantAt(java.lang.String url,
int port_nb)
Deletes the replicant residing at the given location, provided it belongs to the replication group. |
void |
killTask()
Ends the generic task execution. |
void |
replicateTo(java.lang.String url,
int port_nb,
ReplicationStrategy rs)
Creates a new replicant inside the replication group at a given location. |
void |
switchReplicationStrategy(java.lang.String url,
int port_nb,
ReplicationStrategy strategy)
Modifies the current replication policy of the group, by applying a new strategy to a given replica. |
Method Detail |
---|
void deliverAsyncMessage(DarxMessage msg) throws java.rmi.RemoteException
msg
- the message destined to the remote task.
java.rmi.RemoteException
TaskShell.deliverAsyncMessage(DarxMessage msg)
java.io.Serializable deliverSyncMessage(DarxMessage msg) throws java.rmi.RemoteException
msg
- the message destined to the remote task.
java.rmi.RemoteException
TaskShell.deliverSyncMessage(DarxMessage msg)
void replicateTo(java.lang.String url, int port_nb, ReplicationStrategy rs) throws java.rmi.RemoteException, IllegalReplicationException
url
- the location where the new replicant is to be createdport_nb
- the port corresponding to the serverrs
- the replication strategy applied to the new replica
java.rmi.RemoteException
IllegalReplicationException
- if a replica of the same group
already exists at the locationvoid killReplicantAt(java.lang.String url, int port_nb) throws java.rmi.RemoteException, UnknownReplicantException
url
- the location where the new replicant is to be createdport_nb
- the port corresponding to the server
java.rmi.RemoteException
UnknownReplicantException
- if there is no replicant from the
group at the given locationvoid killTask() throws java.rmi.RemoteException
java.rmi.RemoteException
void switchReplicationStrategy(java.lang.String url, int port_nb, ReplicationStrategy strategy) throws java.rmi.RemoteException
url
- the URL of the replica to which the new strategy appliesport_nb
- the port number of the replica to which the new strategy
appliesstrategy
- the new strategy to be applied
java.rmi.RemoteException
DarxHandle
,
ReplicationStrategy
,
TaskShell.switchReplicationStrategy(java.lang.String, int, darx.ReplicationStrategy)
ReplicationPolicy getReplicationPolicy() throws java.rmi.RemoteException
java.rmi.RemoteException
ReplicationPolicy
|
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |