tipc.pl -- TIPC Sockets |
|---|
| tipc_broadcast.pl -- A TIPC Broadcast Bridge |
|---|
| tipc_linda.pl -- A Process Communication Interface |
|---|
| bagof_in_noblock/3 | Bag is the list of all instances of Template such that Tuple exists in the tuple-space. | |
| bagof_rd_noblock/3 | Bag is the list of all instances of Template such that Tuple exists in the tuple-space. | |
| close_client/0 | Closes the connection to the Linda-server. | |
| in/1 | Atomically removes the tuple Tuple from Linda's tuple-space if it is there. | |
| in/2 | As in/1 but succeeds when any one of the tuples in TupleList is available. | |
| in_noblock/1 | Atomically removes the tuple Tuple from Linda's tuple-space if it is there. | |
| linda/0 | Starts a Linda-server in this process. | |
| linda/1 | Starts a Linda-server in this process. | |
| linda_client/1 | Establishes a connection to a Linda-server providing a named tuple space. | |
| linda_eval/1 | Causes Goal to be evaluated in parallel with a parent predicate. | |
| linda_eval/2 | Causes Goal to be evaluated in parallel with a parent predicate. | |
| linda_eval_detached/1 | Causes Goal to be evaluated in parallel with a parent predicate. | |
| linda_eval_detached/2 | Causes Goal to be evaluated in parallel with a parent predicate. | |
| linda_timeout/1 | Temporarily sets Linda's timeout. | |
| linda_timeout/2 | Controls Linda's message-passing timeout. | |
| out/1 | Places a Tuple in Linda's tuple-space. | |
| rd/1 | Succeeds nondeterministically if Tuple is available in the tuple-space, suspends otherwise until it is available. | |
| rd/2 | As in/2 but provides a choice point that does not remove any tuples. | |
| rd_noblock/1 | Succeeds nondeterministically if Tuple is available in the tuple-space, fails otherwise. | |
| tipc_linda_server/0 | Acts as a stand-alone Linda server. | |
| tuple/1 | registers Head as a virtual tuple in TIPC Linda's tuple space. | |
| tuple/2 | registers Head as a virtual tuple in TIPC Linda's tuple space. | |
| tipc_paxos.pl -- Paxos on TIPC |
|---|
