[Group Index|Full Index]
ECLiPSe Libraries: mps
- mps_exit
-
Shutdown the message passing subsystem on this process.
- mps_init(+Host)
-
Inititialise the message passing subsystem, using name server on Host.
- mps_ping(+Host)
-
Check whether the name server on Host is responding.
- mps_port_allocate(+NotifyPred, -Port)
-
Allocate a new message passing Port with notification predicate NotifyPred.
- mps_port_deallocate(+Port)
-
Deallocate a message passing port.
- mps_port_deregister(+Key, +Name, +Signature)
-
Deregister the port registered under the given Name and Key.
- mps_port_lookup(+Key, +Name, -Port)
-
Return the port identifier registered under Key and Name in the name server.
- mps_port_register(+Key, +Name, +Signature, -Port)
-
Register the port identifier under Key and Name in the name server.
- mps_receive(+Port, -Message)
-
Receive a message on the specified port.
- mps_send(+Port, +Term)
-
Send the message Term to the specified Port.