[ ECLiPSe message passing built-in.|Group Index| Full Index]

mps_port_deregister(+Key, +Name, +Signature)

Deregister the port registered under the given Name and Key.

+Key
A string, eg. the name of an application session
+Name
A string, eg. the name of a service
+Signature
A string

Description

The ECLiPSe message passing system incorporates a name service that enables processes to associate names with their ports. Ports can be registered, looked up and deregistered with the name server.

Port owners register their ports under unique and agreed upon names with the name service. Port users do a port lookup for acquiring a port's identifier that is required for sending messages to the port.

mps_port_deregister/3 removes the name server entry for the given port. Deregistration is protected by a signature that is passed to the name server at registration time. To support multiple sessions of a distributed application sharing a single name server, the name server predicates have a session key parameter.

Fail Conditions

None.

Resatisfiable

No.

Exceptions

(4) Instantiation fault
Key, Name or Signature is uninstatiated
(5) Type error
Key, Name or Signature is not a string
(176)
Message passing system error

Examples

   


See Also

mps_init / 1, mps_ping / 1, mps_exit / 0, mps_port_register / 4, mps_port_lookup / 3, mps_port_allocate / 2, mps_port_deallocate / 1, mps_send / 2, mps_receive / 2