Next: 7 Running remote code
Up: 6 The Web of
Previous: 6.1 High-level socket operations
- run_server/0 runs a foreground Linda server
- fork_server/0 runs background Linda server
- fork_server/1 forks Linda server and returns its Pid
- stop_server/0 stops Linda server
- stop_server/1 stops Linda server with given password
- ask_server/2 sends a query and gets an answer from Linda server
- server_info/1 gets language, host and port info from Linda server
- serve_answer/2 is the basic query/answer `interactor' on Linda server. It is applied with call/N to to an input from a client,
to produce an output to be sent back (see file extra.pl for details).
- out/1 puts a term on Linda server
- in/1 waits to remove a term from Linda server
- all/2 gets the list of terms matching arg 1 from Linda server
- rd/1 reads a terms matching arg 1 from Linda server
- cin/1 tries to remove a term from Linda server
- default_host/1 returns default host for Linda server
- default_port/1 returns default port for Linda server. Use
something like host( 'eve.info.umoncton.ca' )
port(8888)
LindaOperation to `redirect' a Linda operation to work with the specified
host/port. This use of intuitionistic implication
avoids passing useless parameters
to deep calls. Therefore, multiple versions of the same
predicate with explicit host/port arguments are not needed
for the various Linda operations. Once the host/port are
assumed using
, their values are used inside
the proof (execution) of LindaOperation. As
is
scoped and backtrackable, no unpleasant side-effects remain
after its use, allowing seamless `multiple-server' dialog.
Some other operations fix the current host/port/remote code file
on the server, making reference to them simpler in case
we are repeatedly interacting with the same remote server.
- set_host/1 sets IP address or name of server host we want to talk to
- set_port/1 sets port number of the server we want to talk to
- set_code/1 sets the name of the default file/database on remote server, used for instance in remote code fetching (see rload/1).
Next: 7 Running remote code
Up: 6 The Web of
Previous: 6.1 High-level socket operations
Paul Tarau
Thu Apr 3 10:26:39 AST 1997