|
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
interface DarxServer
This is the server interface which, as main objective, provides the means for running DARX tasks on a specific location. A location is a logical network node defined by its URL and its port number.
Method Summary | |
---|---|
TaskShellHandle |
createReplicant(ReplicantInfo info,
DarxTask task)
Creates a task replica on the current server. |
RemoteTask |
findTask(java.lang.String task_name)
Generates a remote reference to the current leader of the task which corresponds to the given generic name. |
void |
killReplicant(java.lang.String darx_name)
Destroys the local replicant corresponding to the specified task. |
RemoteTask |
startTask(DarxTask task)
Starts the execution of a new replication group leader on the current server. |
Method Detail |
---|
RemoteTask startTask(DarxTask task) throws java.rmi.RemoteException
task
- the DarxTask
to be started on this server.
java.rmi.RemoteException
DarxTask.activateTask(String, int)
TaskShellHandle createReplicant(ReplicantInfo info, DarxTask task) throws java.rmi.RemoteException
TaskShell
of the group
leader when it has to be replicated.
info
- the ReplicantInfo
of the new replica.task
- the DarxTask
to be replicated on this server.
java.rmi.RemoteException
void killReplicant(java.lang.String darx_name) throws java.rmi.RemoteException
task_name
- the name of the task to which the replicant belongs
java.rmi.RemoteException
RemoteTask findTask(java.lang.String task_name) throws java.rmi.RemoteException
NameServer
services.
java.rmi.RemoteException
|
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |