NAME
global - A global name registration facility.DESCRIPTION
This module consists of the following services:- *
- Registration of global names
- *
- Global locks
- *
- Maintenance of the fully connected network
Warning:
Prevention of overlapping partitions can be disabled using the
prevent_overlapping_partitions kernel(7) parameter, making
global behave like it used to do. This is, however, problematic for all
applications expecting a fully connected network to be provided, such as for
example mnesia, but also for global itself. A network of
overlapping partitions might cause the internal state of global to
become inconsistent. Such an inconsistency can remain even after such
partitions have been brought together to form a fully connected network again.
The effect on other applications that expects that a fully connected network
is maintained may vary, but they might misbehave in very subtle hard to detect
ways during such a partitioning. Since you might get hard to detect issues
without this fix, you are strongly advised not to disable this
fix. Also note that this fix has to be enabled on all nodes in
the network in order to work properly.
Note:
None of the above services will be reliably delivered unless both of the kernel
parameters connect_all and prevent_overlapping_partitions are
enabled. Calls to the global API will, however, not fail even
though one or both of them are disabled. You will just get unreliable results.
Note:
If the fully connected network is not set up properly, try first to increase the
value of net_setuptime.
DATA TYPES
id() = {ResourceId :: term(), LockRequesterId :: term()}
EXPORTS
del_lock(Id) -> true
del_lock(Id, Nodes) -> true
Types:
Id = id()
Nodes = [node()]
Deletes the lock Id synchronously.
disconnect() -> [node()]
Disconnect from all other nodes known to global. A list of node names (in
an unspecified order) is returned which corresponds to the nodes that were
disconnected. All disconnect operations performed have completed when
global:disconnect/0 returns.
The disconnects will be made in such a way that only the current node will be
removed from the cluster of global nodes. If
prevent_overlapping_partitions is enabled and you disconnect, from
other nodes in the cluster of global nodes, by other means,
global on the other nodes may partition the remaining nodes in order to
ensure that no overlapping partitions appear. Even if
prevent_overlapping_partitions is disabled, you should preferably use
global:disconnect/0 in order to remove current node from a cluster of
global nodes, since you otherwise likely will create overlapping
partitions which might cause problems.
Note that if the node is going to be halted, there is no need to remove
it from a cluster of global nodes explicitly by calling
global:disconnect/0 before halting it. The removal from the cluster is
taken care of automatically when the node halts regardless of whether
prevent_overlapping_partitions is enabled or not.
If current node has been configured to be part of a global group , only
connected and/or synchronized nodes in that group are known to global,
so global:disconnect/0 will only disconnect from those nodes. If
current node is not part of a global group , all connected
visible nodes will be known to global, so global:disconnect/0
will disconnect from all those nodes.
Note that information about connected nodes does not instantaneously reach
global, so the caller might see a node part of the result returned by
nodes() while it still is not known to global. The disconnect
operation will, however, still not cause any overlapping partitions when
prevent_overlapping_partitions is enabled. If
prevent_overlapping_partitions is disabled, overlapping partitions
might form in this case.
Note that when prevent_overlapping_partitions is enabled, you may see
warning reports on other nodes when they detect that current node has
disconnected. These are in this case completely harmless and can be
ignored.
notify_all_name(Name, Pid1, Pid2) -> none
Types:
Name = term()
Pid1 = Pid2 = pid()
Can be used as a name resolving function for register_name/3 and
re_register_name/3.
The function unregisters both pids and sends the message
{global_name_conflict, Name, OtherPid} to both processes.
random_exit_name(Name, Pid1, Pid2) -> pid()
Types:
Name = term()
Pid1 = Pid2 = pid()
Can be used as a name resolving function for register_name/3 and
re_register_name/3.
The function randomly selects one of the pids for registration and kills the
other one.
random_notify_name(Name, Pid1, Pid2) -> pid()
Types:
Name = term()
Pid1 = Pid2 = pid()
Can be used as a name resolving function for register_name/3 and
re_register_name/3.
The function randomly selects one of the pids for registration, and sends the
message {global_name_conflict, Name} to the other pid.
re_register_name(Name, Pid) -> yes
re_register_name(Name, Pid, Resolve) -> yes
Types:
Name = term()
Pid = pid()
Resolve = method()
method() =fun((Name :: term(), Pid :: pid(), Pid2 :: pid()) ->pid() | none)
{Module, Function} is also
allowed.
Atomically changes the registered name Name on all nodes to refer to
Pid.
Function Resolve has the same behavior as in
register_name/2,3.
register_name(Name, Pid) -> yes | no
register_name(Name, Pid, Resolve) -> yes | no
Types:
Name = term()
Pid = pid()
Resolve = method()
method() =fun((Name :: term(), Pid :: pid(), Pid2 :: pid()) ->pid() | none)
{Module, Function} is also
allowed for backward compatibility, but its use is deprecated.
Globally associates name Name with a pid, that is, globally notifies all
nodes of a new global name in a network of Erlang nodes.
When new nodes are added to the network, they are informed of the globally
registered names that already exist. The network is also informed of any
global names in newly connected nodes. If any name clashes are discovered,
function Resolve is called. Its purpose is to decide which pid is
correct. If the function crashes, or returns anything other than one of the
pids, the name is unregistered. This function is called once for each name
clash.
Three predefined resolve functions exist: random_exit_name/3,
random_notify_name/3, and notify_all_name/3. If no
Resolve function is defined, random_exit_name is used. This
means that one of the two registered processes is selected as correct while
the other is killed.
This function is completely synchronous, that is, when this function returns,
the name is either registered on all nodes or none.
The function returns yes if successful, no if it fails. For
example, no is returned if an attempt is made to register an already
registered process or to register a process with a name that is already in
use.
If a process with a registered name dies, or the node goes down, the name is
unregistered on all nodes.
Warning:
If you plan to change code without restarting your system, you must use an
external fun ( fun Module:Function/Arity) as function Resolve.
If you use a local fun, you can never replace the code for the module that the
fun belongs to.
Note:
Releases up to and including Erlang/OTP R10 did not check if the process was
already registered. The global name table could therefore become inconsistent.
The old (buggy) behavior can be chosen by giving the Kernel application
variable global_multi_name_action the value allow.
registered_names() -> [Name]
Types:
Name = term()
Returns a list of all globally registered names.
send(Name, Msg) -> Pid
Types:
Name = Msg = term()
Pid = pid()
Sends message Msg to the pid globally registered as Name.
If Name is not a globally registered name, the calling function exits
with reason {badarg, {Name, Msg}}.
set_lock(Id) -> boolean()
set_lock(Id, Nodes) -> boolean()
set_lock(Id, Nodes, Retries) -> boolean()
Types:
Id = id()
Nodes = [node()]
Retries = retries()
id() = {ResourceId :: term(), LockRequesterId :: term()}
retries() = integer() >= 0 | infinity
Sets a lock on the specified nodes (or on all nodes if none are specified) on
ResourceId for LockRequesterId. If a lock already exists on
ResourceId for another requester than LockRequesterId, and
Retries is not equal to 0, the process sleeps for a while and
tries to execute the action later. When Retries attempts have been
made, false is returned, otherwise true. If Retries is
infinity, true is eventually returned (unless the lock is never
released).
If no value for Retries is specified, infinity is used.
This function is completely synchronous.
If a process that holds a lock dies, or the node goes down, the locks held by
the process are deleted.
The global name server keeps track of all processes sharing the same lock, that
is, if two processes set the same lock, both processes must delete the lock.
This function does not address the problem of a deadlock. A deadlock can never
occur as long as processes only lock one resource at a time. A deadlock can
occur if some processes try to lock two or more resources. It is up to the
application to detect and rectify a deadlock.
Note:
Avoid the following values of ResourceId, otherwise Erlang/OTP does not
work properly:
- *
- dist_ac
- *
- global
- *
- mnesia_adjust_log_writes
- *
- mnesia_table_lock
sync() -> ok | {error, Reason :: term()}
Synchronizes the global name server with all nodes known to this node. These are
the nodes that are returned from erlang:nodes(). When this function
returns, the global name server receives global information from all nodes.
This function can be called when new nodes are added to the network.
The only possible error reason Reason is {"global_groups
definition error", Error}.
trans(Id, Fun) -> Res | aborted
trans(Id, Fun, Nodes) -> Res | aborted
trans(Id, Fun, Nodes, Retries) -> Res | aborted
Types:
Id = id()
Fun = trans_fun()
Nodes = [node()]
Retries = retries()
Res = term()
retries() = integer() >= 0 | infinity
trans_fun() = function() | {module(), atom()}
Sets a lock on Id (using set_lock/3). If this succeeds,
Fun() is evaluated and the result Res is returned. Returns
aborted if the lock attempt fails. If Retries is set to
infinity, the transaction does not abort.
infinity is the default setting and is used if no value is specified for
Retries.
unregister_name(Name) -> term()
Types:
Name = term()
Removes the globally registered name Name from the network of Erlang
nodes.
whereis_name(Name) -> pid() | undefined
Types:
Name = term()
Returns the pid with the globally registered name Name. Returns
undefined if the name is not globally registered.
SEE ALSO
global_group(3erl), net_kernel(3erl)kernel 8.5.3 | Ericsson AB |