View Source gen_server behaviour (stdlib v6.2)

Generic server behavior.

This behavior module provides the server in a client-server relation. A generic server process (gen_server) implemented using this module has a standard set of interface functions and includes functionality for tracing and error reporting. It also fits into an OTP supervision tree. For more information, see section gen_server Behaviour in OTP Design Principles.

A gen_server process assumes all specific parts to be located in a callback module exporting a predefined set of functions. The relationship between the behavior functions and the callback functions is as follows:

gen_server module            Callback module
-----------------            ---------------
gen_server:start
gen_server:start_monitor
gen_server:start_link -----> Module:init/1

gen_server:stop       -----> Module:terminate/2

gen_server:call
gen_server:send_request
gen_server:multi_call -----> Module:handle_call/3

gen_server:cast
gen_server:abcast     -----> Module:handle_cast/2

-                     -----> Module:handle_info/2

-                     -----> Module:handle_continue/2

-                     -----> Module:terminate/2

-                     -----> Module:code_change/3

If a callback function fails or returns a bad value, the gen_server process terminates. However, an exception of class throw is not regarded as an error but as a valid return, from all callback functions.

A gen_server process handles system messages as described in sys. The sys module can be used for debugging a gen_server process.

Notice that a gen_server process does not trap exit signals automatically, this must be explicitly initiated in the callback module.

Unless otherwise stated, all functions in this module fail if the specified gen_server process does not exist or if bad arguments are specified.

The gen_server process can go into hibernation (see erlang:hibernate/3) if a callback function specifies 'hibernate' instead of a time-out value. This can be useful if the server is expected to be idle for a long time. However, use this feature with care, as hibernation implies at least two garbage collections (when hibernating and shortly after waking up) and is not something you want to do between each call to a busy server.

If the gen_server process needs to perform an action after initialization or to break the execution of a callback into multiple steps, it can return {continue, Continue} in place of the time-out or hibernation value, which will invoke the Module:handle_continue/2 callback, before receiving any external message / request.

If the gen_server process terminates, e.g. as a result of a function in the callback module returning {stop,Reason,NewState}, an exit signal with this Reason is sent to linked processes and ports. See Processes in the Reference Manual for details regarding error handling using exit signals.

Note

For some important information about distributed signals, see the Blocking Signaling Over Distribution section in the Processes chapter of the Erlang Reference Manual. Blocking signaling can, for example, cause call time-outs in gen_server to be significantly delayed.

See Also

gen_event, gen_statem, proc_lib, supervisor, sys

Summary

Types

Server start options for the start or enter_loop functions.

A map that describes the gen_server status.

A call's reply destination.

A handle that associates a reply to the corresponding request.

An opaque request identifier. See send_request/2 for details.

An opaque collection of request identifiers (request_id/0).

Response time-out for an asynchronous call.

Server name specification: local, global, or via registered.

Server specification: pid/0 or registered server_name/0.

Return value from the start_monitor/3,4 functions.

Server start options for the start functions.

Return value from the start/3,4 and start_link/3,4 functions.

Callbacks

Update the server state after code change.

Format/limit the status value.

Format/limit the status value.

Handle a cast message.

Handle a callback continuation.

Handle an info message (regular process message).

Initialize the server.

Handle server termination.

Functions

Cast a request to multiple nodes.

Cast a request to multiple nodes.

Call a server: send request and wait for response.

Cast a request to a server.

Check if a received message is a request response.

Check if a received message is a request response in a collection.

Make the calling process become a gen_server process.

Make the calling process become a gen_server process.

Call servers on multiple nodes in parallel.

Call servers on multiple nodes in parallel.

Receive a request response.

Receive a request response in a collection.

Send a reply to a client.

Store a request identifier in a colletion.

Create an empty request identifier collection.

Returns the number of request identifiers in ReqIdCollection.

Convert a request identifier collection to a list.

Send an asynchronous call request.

Send an asynchronous call request and add it to a request identifier collection.

Start a server, neither linked nor registered.

Start a server, neither linked nor registered.

Start a server, linked but not registered.

Start a server, linked but not registered.

Start a server, monitored but neither linked nor registered.

Start a server, monitored and registered, but not linked.

Wait for a request response.

Wait for any request response in a collection.

Types

-type enter_loop_opt() ::
          {hibernate_after, HibernateAfterTimeout :: timeout()} | {debug, Dbgs :: [sys:debug_option()]}.

Server start options for the start or enter_loop functions.

Options that can be used when starting a gen_server server through enter_loop/3-5 or the start functions such as start_link/3,4.

  • {hibernate_after, HibernateAfterTimeout} - Specifies that the gen_server process awaits any message for HibernateAfterTimeout milliseconds and if no message is received, the process goes into hibernation automatically (by calling proc_lib:hibernate/3).

  • {debug, Dbgs} - For every entry in Dbgs, the corresponding function in sys is called.

-type format_status() ::
          #{state => term(), message => term(), reason => term(), log => [sys:system_event()]}.

A map that describes the gen_server status.

The keys are:

  • state - The internal state of the gen_server process.
  • message - The message that caused the server to terminate.
  • reason - The reason that caused the server to terminate.
  • log - The sys log of the server.

New associations may be added to the status map without prior notice.

-type from() :: {Client :: pid(), Tag :: reply_tag()}.

A call's reply destination.

Destination, given to the gen_server as the first argument to the callback function Module:handle_call/3, to be used by the when replying through reply/2 (instead of through the callback function's return value), to the process Client that has called the gen_server using call/2,3. Tag is a term that is unique for this call/request instance.

-opaque reply_tag()

A handle that associates a reply to the corresponding request.

-opaque request_id()

An opaque request identifier. See send_request/2 for details.

Link to this opaque

request_id_collection()

View Source
-opaque request_id_collection()

An opaque collection of request identifiers (request_id/0).

Each request identifier can be associated with a label chosen by the user. For more information see reqids_new/0.

Link to this type

response_timeout()

View Source (not exported)
-type response_timeout() :: timeout() | {abs, integer()}.

Response time-out for an asynchronous call.

Used to set a time limit on how long to wait for a response using either receive_response/2, receive_response/3, wait_response/2, or wait_response/3. The time unit used is millisecond.

Currently valid values:

  • 0..4294967295 - Time-out relative to current time in milliseconds.

  • infinity - Infinite time-out. That is, the operation will never time out.

  • {abs, Timeout} - An absolute Erlang monotonic time time-out in milliseconds. That is, the operation will time out when erlang:monotonic_time(millisecond) returns a value larger than or equal to Timeout. Timeout is not allowed to identify a time further into the future than 4294967295 milliseconds. Specifying the time-out using an absolute value is especially handy when you have a deadline for responses corresponding to a complete collection of requests (request_id_collection/0), since you do not have to recalculate the relative time until the deadline over and over again.

-type server_name() ::
          {local, LocalName :: atom()} |
          {global, GlobalName :: term()} |
          {via, RegMod :: module(), ViaName :: term()}.

Server name specification: local, global, or via registered.

To be used when starting a gen_server. See functions start/3,4, start_link/3,4, start_monitor/3,4, enter_loop/3,4,5, and the type server_ref/0.

  • {local, LocalName} - Register the gen_server locally as LocalName using register/2.

  • {global, GlobalName} - Register the gen_server process id globally as GlobalName using global:register_name/2.

  • {via, RegMod, ViaName} - Register the gen_server process with the registry represented by RegMod. The RegMod callback is to export the functions register_name/2, unregister_name/1, whereis_name/1, and send/2, which are to behave like the corresponding functions in global. Thus, {via, global, GlobalName} is a valid reference equivalent to {global, GlobalName}.

-type server_ref() ::
          pid() |
          (LocalName :: atom()) |
          {Name :: atom(), Node :: atom()} |
          {global, GlobalName :: term()} |
          {via, RegMod :: module(), ViaName :: term()}.

Server specification: pid/0 or registered server_name/0.

To be used when addressing a gen_server. See call/2,3, cast/2, send_request/2, check_response/2, wait_response/2, stop/2,3 and the type server_name/0.

It can be:

  • pid/0 - The gen_server's process identifier.

  • LocalName - The gen_server is locally registered as LocalName with register/2.

  • {Name,Node} - The gen_server is locally registered on another node.

  • {global, GlobalName} - The gen_server is globally registered in global.

  • {via, RegMod, ViaName} - The gen_server is registered in an alternative process registry. See the same term described for server_name/0.

-type start_mon_ret() ::
          {ok, {Pid :: pid(), MonRef :: reference()}} | ignore | {error, Reason :: term()}.

Return value from the start_monitor/3,4 functions.

The same as type start_ret/0 except that for a succesful start it returns both the process identifier Pid and a monitor/2,3 MonRef.

-type start_opt() ::
          {timeout, Timeout :: timeout()} |
          {spawn_opt, SpawnOptions :: [proc_lib:start_spawn_option()]} |
          enter_loop_opt().

Server start options for the start functions.

Options that can be used when starting a gen_server server through, for example, start_link/3,4.

  • {timeout, Timeout} - How many milliseconds the gen_server process is allowed to spend initializing or it is terminated and the start function returns {error, timeout}.

  • {spawn_opt, SpawnOptions} - The SpawnOptions option list is passed to the function used to spawn the gen_server; see proc_lib:start_spawn_option/0).

    Note

    Using spawn option monitor is not allowed - it causes a badarg failure.

  • enter_loop_opt/0 - See the type enter_loop_opt/0 below for more start options that are also allowed by enter_loop/3,4,5.

-type start_ret() :: {ok, Pid :: pid()} | ignore | {error, Reason :: term()}.

Return value from the start/3,4 and start_link/3,4 functions.

  • {ok, Pid} - The gen_server process was succesfully created and initialized, with the process identifier Pid.

  • {error, {already_started, OtherPid}} - A process with the specified ServerName exists already with the process identifier OtherPid. This function failed to start a gen_server. It exited with reason normal before calling Module:init/1.

  • {error, timeout} - The gen_server process failed to initialize since Module:init/1 did not return within the start time-out. The gen_server process was killed with exit(_, kill).

  • ignore - The gen_server process failed to initialize since Module:init/1 returned ignore.

  • {error,Reason} - The gen_server process failed to initialize since Module:init/1 returned {stop,Reason}, {error,Reason}, or it failed with reason Reason.

See Module:init/1 about the exit reason for the gen_server process when it fails to initialize.

Callbacks

Link to this callback

code_change(OldVsn, State, Extra)

View Source (optional)
-callback code_change(OldVsn :: term() | {down, term()}, State :: term(), Extra :: term()) ->
                         {ok, NewState :: term()} | {error, Reason :: term()}.

Update the server state after code change.

This function is called by a gen_server process when it is to update its internal state during a release upgrade/downgrade, that is, when the instruction {update, Module, Change, ...}, is specified in the appup file.

For more information, see section Release Handling Instructions in OTP Design Principles.

For an upgrade, OldVsn is Vsn, and for a downgrade, OldVsn is {down,Vsn}. Vsn is defined by the vsn attribute(s) of the old version of the callback module Module. If no such attribute is defined, the version is the checksum of the Beam file.

State is the internal state of the gen_server process.

Extra is passed "as is" from the {advanced,Extra} part of the update instruction.

If successful, the function must return the updated internal state.

If the function returns {error,Reason}, the ongoing upgrade fails and rolls back to the old release.

Note

If a release upgrade/downgrade with Change = {advanced, Extra} specified in the .appup file is made when Module:code_change/3 is not implemented, the callback call will crash with an undef error reason.

Link to this callback

format_status(Status)

View Source (optional) (since OTP 25.0)
-callback format_status(Status) -> NewStatus when Status :: format_status(), NewStatus :: format_status().

Format/limit the status value.

This function is called by a gen_server process in in order to format/limit the server state for debugging and logging purposes.

It is called in the following situations:

  • sys:get_status/1,2 is invoked to get the gen_server status.
  • The gen_server process terminates abnormally and logs an error.

This callback is used to limit the status of the process returned by sys:get_status/1,2 or sent to logger.

The callback gets a map Status describing the current status and shall return a map NewStatus with the same keys, but it may transform some values.

Two possible use cases for this callback is to remove sensitive information from the state to prevent it from being printed in log files, or to compact large irrelevant status items that would only clutter the logs.

Example:

format_status(Status) ->
  maps:map(
    fun(state,State) ->
            maps:remove(private_key, State);
       (message,{password, _Pass}) ->
            {password, removed};
       (_,Value) ->
            Value
    end, Status).

Note

This callback is optional, so callback modules need not export it. The gen_server module provides a default implementation of this function that returns the callback module state.

If this callback is exported but fails, to hide possibly sensitive data, the default function will instead return the fact that Module:format_status/1 has crashed.

Link to this callback

format_status(Opt, StatusData)

View Source (optional) (since OTP R13B04)
This callback is deprecated. the callback gen_server:format_status(_,_) is deprecated; use format_status/1 instead.
-callback format_status(Opt, StatusData) -> Status
                           when
                               Opt :: normal | terminate,
                               StatusData :: [PDict | State],
                               PDict :: [{Key :: term(), Value :: term()}],
                               State :: term(),
                               Status :: term().

Format/limit the status value.

This function is called by a gen_server process in in order to format/limit the server state for debugging and logging purposes.

It is called in the following situations:

  • One of sys:get_status/1,2 is invoked to get the gen_server status. Opt is set to the atom normal.
  • The gen_server process terminates abnormally and logs an error. Opt is set to the atom terminate.

This function is useful for changing the form and appearance of the gen_server status for these cases. A callback module wishing to change the sys:get_status/1,2 return value, as well as how its status appears in termination error logs, exports an instance of Module:format_status/2 that returns a term describing the current status of the gen_server process.

PDict is the current value of the process dictionary of the gen_server process..

State is the internal state of the gen_server process.

The function is to return Status, a term that changes the details of the current state and status of the gen_server process. There are no restrictions on the form Status can take, but for the sys:get_status/1,2 case (when Opt is normal), the recommended form for the Status value is [{data, [{"State", Term}]}], where Term provides relevant details of the gen_server state. Following this recommendation is not required, but it makes the callback module status consistent with the rest of the sys:get_status/1,2 return value.

One use for this function is to return compact alternative state representations to avoid that large state terms are printed in log files.

Note

This callback is optional, so callback modules need not export it. The gen_server module provides a default implementation of this function that returns the callback module state.

Link to this callback

handle_call(Request, From, State)

View Source
-callback handle_call(Request :: term(), From :: from(), State :: term()) ->
                         {reply, Reply :: term(), NewState :: term()} |
                         {reply,
                          Reply :: term(),
                          NewState :: term(),
                          timeout() | hibernate | {continue, term()}} |
                         {noreply, NewState :: term()} |
                         {noreply, NewState :: term(), timeout() | hibernate | {continue, term()}} |
                         {stop, Reason :: term(), Reply :: term(), NewState :: term()} |
                         {stop, Reason :: term(), NewState :: term()}.

Handle a call.

Whenever a gen_server process receives a request sent using call/2,3, multi_call/2,3,4, or send_request/2,4, this function is called to handle the request.

State is the internal state of the gen_server process, and NewState a possibly updated one.

Request is passed from the same argument provided to call or multi_call.

The return value Result is interpreted as follows:

  • {reply,Reply,NewState}
    {reply,Reply,NewState,_}
    - The Reply value is sent back to the client request and there becomes its return value.

    The gen_server process continues executing with the possibly updated internal state NewState.

  • {noreply,NewState}
    {noreply,NewState,_}
    - The gen_server process continues executing with the possibly updated internal state NewState.

    A reply to the client request has to be created by calling reply(From, Reply), either in this or in a later callback.

  • {reply,_,_,Timeout}
    {noreply,_,Timeout}
    - If an integer Timeout is provided, a time-out occurs unless a request or a message is received within that many milliseconds. A time-out is represented by the atom timeout to be handled by the Module:handle_info/2 callback function. Timeout =:= infinity can be used to wait indefinitely, which is the same as returning a value without a Timeout member.

  • {reply,_,_,hibernate}
    {noreply,_,hibernate}
    - The process goes into hibernation, by calling proc_lib:hibernate/3, waiting for the next message to arrive

  • {reply,_,_,{continue,Continue}}
    {noreply,_,{continue,Continue}}
    - The process will execute the Module:handle_continue/2 callback function, with Continue as the first argument.

  • {stop,Reason,NewState}
    {stop,Reason,Reply,NewState}
    - The gen_server process will call Module:terminate(Reason,NewState), and then terminate.

    {stop,_,Reply,_} will create a reply to the client request just as {reply,Reply,...} while {stop,_,_} will not, so just as for {noreply,NewState,...} a reply has to be created by calling reply(From, Reply) before returning {stop,_,_}.

Link to this callback

handle_cast(Request, State)

View Source
-callback handle_cast(Request :: term(), State :: term()) ->
                         {noreply, NewState :: term()} |
                         {noreply, NewState :: term(), timeout() | hibernate | {continue, term()}} |
                         {stop, Reason :: term(), NewState :: term()}.

Handle a cast message.

Whenever a gen_server process receives a request sent using cast/2 or abcast/2,3, this function is called to handle the request.

For a description of the arguments and possible return values, see Module:handle_call/3.

Link to this callback

handle_continue(Info, State)

View Source (optional) (since OTP 21.0)
-callback handle_continue(Info :: term(), State :: term()) ->
                             {noreply, NewState :: term()} |
                             {noreply, NewState :: term(), timeout() | hibernate | {continue, term()}} |
                             {stop, Reason :: term(), NewState :: term()}.

Handle a callback continuation.

This function is called by a gen_server process whenever a previous callback returns one of the tuples containing {continue, Continue}. The call is invoked immediately after the previous callback, which makes it useful for performing work after initialization or, for splitting the work in a callback into multiple steps, updating the process state along the way.

For a description of the other arguments and possible return values, see Module:handle_call/3.

Note

This callback is optional, so callback modules need to export it only if theyreturn one of the tuples containing {continue,Continue} from another callback. If such a {continue,_} tuple is used and the callback is not implemented, the process will exit with undef error.

Link to this callback

handle_info(Info, State)

View Source (optional)
-callback handle_info(Info :: timeout | term(), State :: term()) ->
                         {noreply, NewState :: term()} |
                         {noreply, NewState :: term(), timeout() | hibernate | {continue, term()}} |
                         {stop, Reason :: term(), NewState :: term()}.

Handle an info message (regular process message).

This function is called by a gen_server process when a time-out occurs or when it receives any other message than a synchronous or asynchronous request (or a system message).

Info is either the atom timeout, if a time-out has occurred, or the received message.

For a description of the other arguments and possible return values, see Module:handle_call/3.

Note

This callback is optional, so callback modules need not export it. The gen_server module provides a default implementation of this function that logs about the unexpected Info message, drops it and returns {noreply, State}.

-callback init(Args :: term()) ->
                  {ok, State :: term()} |
                  {ok, State :: term(), timeout() | hibernate | {continue, term()}} |
                  {stop, Reason :: term()} |
                  ignore |
                  {error, Reason :: term()}.

Initialize the server.

Whenever a gen_server process is started using start/3,4, start_monitor/3,4, or start_link/3,4, this function is called by the new process to initialize the server.

Args is the Args argument provided to the start function.

The return value Result is interpreted as follows:

  • {ok,State}
    {ok,State,_}
    - Initialization was succesful and State is the internal state of the gen_server process.

  • {ok,_,Timeout}
    {ok,_,hibernate}
    {ok,_,{continue,Continue}}
    - See the corresponding return values from Module:handle_call/3 for a description of this tuple member.

  • {stop,Reason} - Initialization failed. The gen_server process exits with reason Reason.

  • {error,Reason} since OTP 26.0
    ignore
    - Initialization failed. The gen_server process exits with reason normal.

See function start_link/3,4's return value start_ret/0 in these different cases.

Link to this callback

terminate(Reason, State)

View Source (optional)
-callback terminate(Reason :: normal | shutdown | {shutdown, term()} | term(), State :: term()) -> term().

Handle server termination.

This function is called by a gen_server process when it is about to terminate.

It is to be the opposite of Module:init/1 and do any necessary cleaning up. When it returns, the gen_server process terminates with Reason. The return value is ignored.

Reason is a term denoting the stop reason and State is the internal state of the gen_server process.

Reason depends on why the gen_server process is terminating. If it is because another callback function has returned a stop tuple {stop,..}, Reason has the value specified in that tuple. If it is because of a failure, Reason is the error reason.

If the gen_server process is part of a supervision tree and is ordered by its supervisor to terminate, this function is called with Reason=shutdown if the following conditions apply:

  • The gen_server process has been set to trap exit signals.
  • The shutdown strategy as defined in the child specification of the supervisor is an integer time-out value, not brutal_kill.

Even if the gen_server process is not part of a supervision tree, this function is called if it receives an 'EXIT' message from its parent. Reason is the same as in the 'EXIT' message.

If the gen_server process does not trap exits, the gen_server process terminates immediately.

Notice that for any other reason than normal, shutdown, or {shutdown,Term}, see stop/3, the gen_server process is assumed to terminate because of an error, and an error report is issued using logger.

When the gen_server process exits, an exit signal with the same reason is sent to linked processes and ports.

Note

This callback is optional, so callback modules need not export it. The gen_server module provides a default implementation with no cleanup.

Functions

-spec abcast(Name :: atom(), Request :: term()) -> abcast.

Cast a request to multiple nodes.

Equivalent to abcast(Nodes, Name, Request) where Nodes is all nodes connected to the calling node, including the calling node itself.

Link to this function

abcast(Nodes, Name, Request)

View Source
-spec abcast(Nodes :: [node()], Name :: atom(), Request :: term()) -> abcast.

Cast a request to multiple nodes.

Sends an asynchronous request to the gen_server processes locally registered as Name at the specified nodes. The function returns immediately and ignores nodes that do not exist, or where the gen_server Name does not exist. The gen_server processes call Module:handle_cast/2 to handle the request.

For a description of the arguments, see multi_call/2,3,4.

Link to this function

call(ServerRef, Request)

View Source
-spec call(ServerRef :: server_ref(), Request :: term()) -> Reply :: term().

Equivalent to call(ServerRef, Request, 5000).

Link to this function

call(ServerRef, Request, Timeout)

View Source
-spec call(ServerRef :: server_ref(), Request :: term(), Timeout :: timeout()) -> Reply :: term().

Call a server: send request and wait for response.

Makes a synchronous call to the ServerRef of the gen_server process by sending a request and waiting until a reply arrives or a time-out occurs. The gen_server process calls Module:handle_call/3 to handle the request.

See also ServerRef's type server_ref/0.

Request is any term that is passed as the first argument to Module:handle_call/3.

Timeout is an integer that specifies how many milliseconds to wait for a reply, or the atom infinity to wait indefinitely. If no reply is received within the specified time, this function exits the calling process with an exit term containing Reason = timeout as described below.

Note

Before OTP 24, if the caller uses (try...)catch to avoid process exit, and the server happens to just be late with the reply, it may arrive to the process message queue any time later. The calling process must therefore after catching a time-out exit be prepared to receive garbage message(s) on the form {reference(), _} and deal with them appropriately (discard them) so they do not clog the process message queue, or gets mistaken for other messages.

Starting with OTP 24, gen_server:call uses process aliases, so late replies will not be received.

The return value Reply is passed from the return value of Module:handle_call/3.

This call may exit the calling process with an exit term on the form {Reason, Location} where Location = {gen_server, call, ArgList} and Reason can be (at least) one of:

  • timeout - The call was aborted after waiting Timeout milliseconds for a reply, as described above.

  • noproc - The ServerRef refers to a server by name (it is not a pid/0) and looking up the server process failed, or the pid/0 was already terminated.

  • {nodedown,Node} - The ServerRef refers to a server on the remote node Node and the connection to that node failed.

  • calling_self - A call to self/0 would hang indefinitely.

  • shutdown - The server was stopped during the call by its supervisor. See also stop/3.

  • normal
    {shutdown,Term}
    - The server stopped during the call by returning {stop,Reason,_} from one of its callbacks without replying to this call. See also stop/3.

  • _OtherTerm - The server process exited during the call, with reason Reason. Either by returning {stop,Reason,_} from one of its callbacks (without replying to this call), by raising an exception, or due to getting an exit signal it did not trap.

Link to this function

cast(ServerRef, Request)

View Source
-spec cast(ServerRef :: server_ref(), Request :: term()) -> ok.

Cast a request to a server.

Sends an asynchronous request to the gen_server ServerRef and returns ok immediately, ignoring if the destination node or gen_server process does not exist.

The gen_server process calls Module:handle_cast(Request, _) to handle the request.

Link to this function

check_response(Msg, ReqId)

View Source (since OTP 23.0)
-spec check_response(Msg, ReqId) -> Result
                        when
                            Msg :: term(),
                            ReqId :: request_id(),
                            Response ::
                                {reply, Reply :: term()} | {error, {Reason :: term(), server_ref()}},
                            Result :: Response | no_reply.

Check if a received message is a request response.

Checks if Msg is a response corresponding to the request identifier ReqId. The request must have been made by send_request/2, and by the same process calling this function.

If Msg is a reply to the handle ReqId the result of the request is returned in Reply. Otherwise this function returns no_reply and no cleanup is done, and thus the function shall be invoked repeatedly until the response is returned.

The return value Reply is passed from the return value of Module:handle_call/3.

If the gen_statem server process has died when this function is called, that is; Msg reports the server's death, this function returns an error return with the exit Reason.

Link to this function

check_response(Msg, ReqIdCollection, Delete)

View Source (since OTP 25.0)
-spec check_response(Msg, ReqIdCollection, Delete) -> Result
                        when
                            Msg :: term(),
                            ReqIdCollection :: request_id_collection(),
                            Delete :: boolean(),
                            Response ::
                                {reply, Reply :: term()} | {error, {Reason :: term(), server_ref()}},
                            Result ::
                                {Response,
                                 Label :: term(),
                                 NewReqIdCollection :: request_id_collection()} |
                                no_request | no_reply.

Check if a received message is a request response in a collection.

Check if Msg is a response corresponding to a request identifier stored in ReqIdCollection. All request identifiers of ReqIdCollection must correspond to requests that have been made using send_request/2 or send_request/4, by the process calling this function.

The Label in the response equals the Label associated with the request identifier that the response corresponds to. The Label of a request identifier is associated when storing the request id in a collection, or when sending the request using send_request/4.

Compared to check_response/2, the returned result or exception associated with a specific request identifier will be wrapped in a 3-tuple {Response, Label, NewReqIdCollection}. Response is the value that would have been produced by check_response/2, Label is the value associated with the specific request identifier and NewReqIdCollection is a possibly modified request identifier collection.

If ReqIdCollection is empty, no_request will be returned.

If Msg does not correspond to any of the request identifiers in ReqIdCollection, no_reply is returned.

If Delete is true, the association with Label has been deleted from ReqIdCollection in the resulting NewReqIdCollection. If Delete is false, NewReqIdCollection will equal ReqIdCollection. Note that deleting an association is not for free and that a collection containing already handled requests can still be used by subsequent calls to check_response/3, receive_response/3, and wait_response/3.

However, without deleting handled associations, the above calls will not be able to detect when there are no more outstanding requests to handle, so you will have to keep track of this some other way than relying on a no_request return. Note that if you pass a collection only containing associations of already handled or abandoned requests to this function, it will always return no_reply.

Link to this function

enter_loop(Module, Options, State)

View Source
-spec enter_loop(Module :: module(), Options :: [enter_loop_opt()], State :: term()) -> no_return().

Equivalent to enter_loop(Mod, Options, State, self()).

-spec enter_loop(Module :: module(),
                 Options :: [enter_loop_opt()],
                 State :: term(),
                 ServerName :: server_name() | pid()) ->
                    no_return();
                (Module :: module(),
                 Options :: [enter_loop_opt()],
                 State :: term(),
                 How :: timeout() | hibernate | {continue, term()}) ->
                    no_return().

Make the calling process become a gen_server process.

With argument ServerName equivalent to enter_loop(Module, Options, State, ServerName, infinity).

With argument How equivalent to enter_loop(Module, Options, State, self(), How).

-spec enter_loop(Module :: module(),
                 Options :: [enter_loop_opt()],
                 State :: term(),
                 ServerName :: server_name() | pid(),
                 Timeout :: timeout()) ->
                    no_return();
                (Module :: module(),
                 Options :: [enter_loop_opt()],
                 State :: term(),
                 ServerName :: server_name() | pid(),
                 Hibernate :: hibernate) ->
                    no_return();
                (Module :: module(),
                 Options :: [enter_loop_opt()],
                 State :: term(),
                 ServerName :: server_name() | pid(),
                 Cont :: {continue, term()}) ->
                    no_return().

Make the calling process become a gen_server process.

Does not return, instead the calling process enters the gen_server process receive loop and becomes a gen_server process. The process must have been started using one of the start functions in proc_lib. The user is responsible for any initialization of the process, including registering a name for it.

This function is useful when a more complex initialization procedure is needed than the gen_server Module:init/1; callback provides.

Module, Options, and ServerName have the same meanings as when calling start[_link|_monitor]/3,4 or ServerName can be self/0 for an anonymous server, which is the same as calling an enter_loop/3,4 function without a ServerName argument. However, if ServerName is specified (and not as self/0), the process must have been registered accordingly before this function is called.

State, Timeout, Hibernate and Cont have the same meanings as in the return value of Module:init/1, which is not called when enter_loop/3,4,5 is used. Note that to adhere to the gen_server Behaviour such a callback function needs to be defined, and it might as well be the one used when starting the gen_server process through proc_lib, and then be the one that calls enter_loop/3,4,5. But if such a Module:init/1 function, in for example error cases, cannot call enter_loop/3,4,5, it should return a value that follows the type specification for Module:init/1 such as ignore, although that value will be lost when returning to the spawning function.

This function fails if the calling process was not started by a proc_lib start function, or if it is not registered according to ServerName.

Link to this function

multi_call(Name, Request)

View Source
-spec multi_call(Name :: atom(), Request :: term()) ->
                    {Replies :: [{Node :: node(), Reply :: term()}], BadNodes :: [node()]}.

Call servers on multiple nodes in parallel.

Equivalent to multi_call(Nodes, Name, Request) where Nodes is all nodes connected to the calling node, including the calling node itself.

Link to this function

multi_call(Nodes, Name, Request)

View Source
-spec multi_call(Nodes :: [node()], Name :: atom(), Request :: term()) ->
                    {Replies :: [{Node :: node(), Reply :: term()}], BadNodes :: [node()]}.

Equivalent to multi_call(Nodes, Name, Request, infinity).

Link to this function

multi_call(Nodes, Name, Request, Timeout)

View Source
-spec multi_call(Nodes :: [node()], Name :: atom(), Request :: term(), Timeout :: timeout()) ->
                    {Replies :: [{Node :: node(), Reply :: term()}], BadNodes :: [node()]}.

Call servers on multiple nodes in parallel.

Makes a synchronous call to all gen_server processes locally registered as Name at the specified nodes, by first sending the request to the nodes, and then waiting for the replies. The gen_server processes on the nodes call Module:handle_call/3 to handle the request.

The function returns a tuple {Replies, BadNodes}, where Replies is a list of {Node, Reply} tuples, and BadNodes is a list of nodes that either did not exist, where Name was not a registered gen_server, or where it did not reply.

Nodes is a list of node names to which the request is to be sent.

Name is the locally registered name for each gen_server process.

Request is any term that is passed as the first argument to Module:handle_call/3.

Timeout is an integer that specifies how many milliseconds to wait for all replies, or the atom infinity to wait indefinitely. If no reply is received from a node within the specified time, the node is added to BadNodes.

When a reply Reply is received from the gen_server process at a node Node, {Node,Reply} is added to Replies. Reply is passed from the return value of Module:handle_call/3.

Warning

If one of the nodes cannot process monitors, for example, C or Java nodes, and the gen_server process is not started when the requests are sent, but starts within 2 seconds, this function waits the whole Timeout, which may be infinity.

This problem does not exist if all nodes are Erlang nodes.

To prevent late answers (after the time-out) from polluting the message queue of the caller, a middleman process is used to do the calls. Late answers are then discarded when they arrive to the terminated middleman process.

Link to this function

receive_response(ReqId, Timeout)

View Source (since OTP 24.0)
-spec receive_response(ReqId, Timeout) -> Result
                          when
                              ReqId :: request_id(),
                              Timeout :: response_timeout(),
                              Response ::
                                  {reply, Reply :: term()} | {error, {Reason :: term(), server_ref()}},
                              Result :: Response | timeout.

Receive a request response.

Receive a response corresponding to the request identifier ReqId. The request must have been made by send_request/2, and it must have been made by the same process calling this function.

Timeout specifies how long to wait for a response. If no response is received within the specified time, this function returns timeout. Assuming that the server executes on a node supporting aliases (introduced in OTP 24) the request will also be abandoned. That is, no response will be received after a time-out. Otherwise, a stray response might be received at a later time.

The return value Reply is passed from the return value of Module:handle_call/3.

The function returns an error if the gen_server died before a reply was sent.

The difference between receive_response/2 and wait_response/2 is that receive_response/2 abandons the request at time-out so that a potential future response is ignored, while wait_response/2 does not.

Link to this function

receive_response(ReqIdCollection, Timeout, Delete)

View Source (since OTP 25.0)
-spec receive_response(ReqIdCollection, Timeout, Delete) -> Result
                          when
                              ReqIdCollection :: request_id_collection(),
                              Timeout :: response_timeout(),
                              Delete :: boolean(),
                              Response ::
                                  {reply, Reply :: term()} | {error, {Reason :: term(), server_ref()}},
                              Result ::
                                  {Response,
                                   Label :: term(),
                                   NewReqIdCollection :: request_id_collection()} |
                                  no_request | timeout.

Receive a request response in a collection.

Receive a response in ReqIdCollection. All request identifiers of ReqIdCollection must correspond to requests that have been made using send_request/2 or send_request/4, and all requests must have been made by the process calling this function.

The Label in the response is the Label associated with the request identifier that the response corresponds to. The Label of a request identifier is associated when adding the request id to a collection, or when sending the request using send_request/4.

Compared to receive_response/2, the returned result or exception associated with a specific request identifier will be wrapped in a 3-tuple {Response, Label, NewReqIdCollection}. Response is the value that would have been produced by receive_response/2, Label is the value associated with the specific request identifier and NewReqIdCollection is a possibly modified request identifier collection.

If ReqIdCollection is empty, no_request will be returned.

Timeout specifies how long to wait for a response. If no response is received within the specified time, the function returns timeout. Assuming that the server executes on a node supporting aliases (introduced in OTP 24) all requests identified by ReqIdCollection will also be abandoned. That is, no responses will be received after a time-out. Otherwise, stray responses might be received at a later time.

The difference between receive_response/3 and wait_response/3 is that receive_response/3 abandons the requests at time-out so that potential future responses are ignored, while wait_response/3 does not.

If Delete is true, the association with Label is deleted from ReqIdCollection in the resulting NewReqIdCollection. If Delete is false, NewReqIdCollection will equal ReqIdCollection. Note that deleting an association is not for free and that a collection containing already handled requests can still be used by subsequent calls to receive_response/3, check_response/3, and wait_response/3.

However, without deleting handled associations, the above calls will not be able to detect when there are no more outstanding requests to handle, so you will have to keep track of this some other way than relying on a no_request return. Note that if you pass a collection only containing associations of already handled or abandoned requests to this function, it will always block until Timeout expires and then return timeout.

-spec reply(Client :: from(), Reply :: term()) -> ok.

Send a reply to a client.

This function can be used by a gen_server process to explicitly send a reply to a client that called call/2,3 or multi_call/2,3,4, when the reply cannot be passed in the return value of Module:handle_call/3.

Client must be the From argument provided to the handle_call/3 callback function. Reply is any term passed back to the client as the return value of call/2,3 or multi_call/2,3,4.

Link to this function

reqids_add(ReqId, Label, ReqIdCollection)

View Source (since OTP 25.0)
-spec reqids_add(ReqId :: request_id(), Label :: term(), ReqIdCollection :: request_id_collection()) ->
                    NewReqIdCollection :: request_id_collection().

Store a request identifier in a colletion.

Stores ReqId and associates a Label with the request identifier by adding this information to ReqIdCollection and returning the resulting request identifier collection.

Link to this function

reqids_new()

View Source (since OTP 25.0)
-spec reqids_new() -> NewReqIdCollection :: request_id_collection().

Create an empty request identifier collection.

Returns a new empty request identifier collection. A request identifier collection can be utilized to handle multiple outstanding requests.

Request identifiers of requests made by send_request/2 can be stored in a collection using reqids_add/3. Such a collection of request identifiers can later be used in order to get one response corresponding to a request in the collection by passing the collection as argument to receive_response/3, wait_response/3, or, check_response/3.

reqids_size/1 can be used to determine the number of request identifiers in a collection.

Link to this function

reqids_size(ReqIdCollection)

View Source (since OTP 25.0)
-spec reqids_size(ReqIdCollection :: request_id_collection()) -> non_neg_integer().

Returns the number of request identifiers in ReqIdCollection.

Link to this function

reqids_to_list(ReqIdCollection)

View Source (since OTP 25.0)
-spec reqids_to_list(ReqIdCollection :: request_id_collection()) ->
                        [{ReqId :: request_id(), Label :: term()}].

Convert a request identifier collection to a list.

Returns a list of {ReqId, Label} tuples which corresponds to all request identifiers with their associated labels in ReqIdCollection.

Link to this function

send_request(ServerRef, Request)

View Source (since OTP 23.0)
-spec send_request(ServerRef :: server_ref(), Request :: term()) -> ReqId :: request_id().

Send an asynchronous call request.

Sends Request to the gen_server process identified by ServerRef and returns a request identifier ReqId.

The return value ReqId shall later be used with receive_response/2, wait_response/2, or check_response/2 to fetch the actual result of the request. Besides passing the request identifier directly to these functions, it can also be stored in a request identifier collection using reqids_add/3. Such a collection of request identifiers can later be used in order to get one response corresponding to a request in the collection by passing the collection as argument to receive_response/3, wait_response/3, or check_response/3. If you are about to store the request identifier in a collection, you may want to consider using send_request/4 instead.

The call gen_server:receive_response(gen_server:send_request(ServerRef, Request), Timeout) can be seen as equivalent to gen_server:call(ServerRef, Request, Timeout), ignoring the error handling.

The gen_server process calls Module:handle_call/3 to handle the request.

See the type server_ref/0 for the possible values for ServerRef.

Request is any term that is passed as the first argument to Module:handle_call/3.

Link to this function

send_request(ServerRef, Request, Label, ReqIdCollection)

View Source (since OTP 25.0)
-spec send_request(ServerRef :: server_ref(),
                   Request :: term(),
                   Label :: term(),
                   ReqIdCollection :: request_id_collection()) ->
                      NewReqIdCollection :: request_id_collection().

Send an asynchronous call request and add it to a request identifier collection.

Sends Request to the gen_server process identified by ServerRef. The Label will be associated with the request identifier of the operation and added to the returned request identifier collection NewReqIdCollection. The collection can later be used in order to get one response corresponding to a request in the collection by passing the collection as argument to receive_response/3, wait_response/3, or check_response/3.

The same as calling reqids_add(send_request(ServerRef, Request), Label, ReqIdCollection), but slightly more efficient.

Link to this function

start(Module, Args, Options)

View Source
-spec start(Module :: module(), Args :: term(), Options :: [start_opt()]) -> start_ret().

Start a server, neither linked nor registered.

Equivalent to start/4 except that the gen_server process is not registered with any name service.

Link to this function

start(ServerName, Module, Args, Options)

View Source
-spec start(ServerName :: server_name(), Module :: module(), Args :: term(), Options :: [start_opt()]) ->
               start_ret().

Start a server, neither linked nor registered.

Creates a standalone gen_server process, that is, a gen_server process that is not part of a supervision tree, and thus has no supervisor.

Other than that see start_link/4.

Link to this function

start_link(Module, Args, Options)

View Source
-spec start_link(Module :: module(), Args :: term(), Options :: [start_opt()]) -> start_ret().

Start a server, linked but not registered.

Equivalent to start_link/4 except that the gen_server process is not registered with any name service.

Link to this function

start_link(ServerName, Module, Args, Options)

View Source
-spec start_link(ServerName :: server_name(),
                 Module :: module(),
                 Args :: term(),
                 Options :: [start_opt()]) ->
                    start_ret().

Start a server, linked but not registered.

Creates a gen_server process as part of a supervision tree. This function is to be called, directly or indirectly, by the supervisor. For example, it ensures that the gen_server process is spawned as linked to the caller (supervisor).

The gen_server process calls Module:init/1 to initialize. To ensure a synchronized startup procedure, start_link/3,4 does not return until Module:init/1 has returned or failed.

ServerName specifies with what name and now to register the server name. See type server_name/0 for different name registrations.

Module is the name of the callback module.

Args is any term that is passed as the argument to Module:init/1.

See type start_opt/0 for Options for starting the gen_server process.

See type start_ret/0 for a description this function's return values.

If start_link/3,4 returns ignore or {error, _}, the started gen_server process has terminated. If an 'EXIT' message was delivered to the calling process (due to the process link), that message has been consumed.

Warning

Before OTP 26.0, if the started gen_server process returned e.g. {stop, Reason} from Module:init/1, this function could return {error, Reason} before the started gen_server process had terminated so starting again might fail because VM resources such as the registered name was not yet unregistered. An 'EXIT' message could arrive later to the process calling this function.

But if the started gen_server process instead failed during Module:init/1, a process link {'EXIT', Pid, Reason} message caused this function to return {error, Reason}, so the 'EXIT' message had been consumed and the started gen_server process had terminated.

Since it was impossible to tell the difference between these two cases from start_link/3,4's return value, this inconsistency was cleaned up in OTP 26.0.

The difference between returning {stop, _} and {error, _} from Module:init/1, is that {error, _} results in a graceful ("silent") termination since the gen_server process exits with reason normal.

Link to this function

start_monitor(Module, Args, Options)

View Source (since OTP 23.0)
-spec start_monitor(Module :: module(), Args :: term(), Options :: [start_opt()]) -> start_mon_ret().

Start a server, monitored but neither linked nor registered.

Equivalent to start_monitor/4 except that the gen_server process is not registered with any name service.

Link to this function

start_monitor(ServerName, Module, Args, Options)

View Source (since OTP 23.0)
-spec start_monitor(ServerName :: server_name(),
                    Module :: module(),
                    Args :: term(),
                    Options :: [start_opt()]) ->
                       start_mon_ret().

Start a server, monitored and registered, but not linked.

Creates a standalone gen_server process, that is, a gen_server process that is not part of a supervision tree (and thus has no supervisor) and atomically sets up a monitor to the newly created server.

Other than that see start_link/3,4. Note that the return value for a successful start differs in that it returns a monitor reference. See type start_mon_ret/0.

If the start is not successful, the caller will be blocked until the monitor's 'DOWN' message has been received and removed from the message queue.

Link to this function

stop(ServerRef)

View Source (since OTP 18.0)
-spec stop(ServerRef :: server_ref()) -> ok.

Equivalent to stop(ServerRef, normal, infinity).

Link to this function

stop(ServerRef, Reason, Timeout)

View Source (since OTP 18.0)
-spec stop(ServerRef :: server_ref(), Reason :: term(), Timeout :: timeout()) -> ok.

Stop a server.

Orders the generic server specified by ServerRef to exit with the specified Reason and waits for it to terminate. The gen_server process calls Module:terminate/2 before exiting.

The function returns ok if the server terminates with the expected reason. Any other reason than normal, shutdown, or {shutdown,Term} causes an error report to be issued using logger. An exit signal with the same reason is sent to linked processes and ports.

Timeout is an integer that specifies how many milliseconds to wait for the server to terminate, or the atom infinity to wait indefinitely. If the server has not terminated within the specified time, the call exits the calling process with reason timeout.

If the process does not exist, the call exits the calling process with reason noproc, or with reason {nodedown,Node} if the connection fails to the remote Node where the server runs.

Link to this function

wait_response(ReqId, WaitTime)

View Source (since OTP 23.0)
-spec wait_response(ReqId, WaitTime) -> Result
                       when
                           ReqId :: request_id(),
                           WaitTime :: response_timeout(),
                           Response ::
                               {reply, Reply :: term()} | {error, {Reason :: term(), server_ref()}},
                           Result :: Response | timeout.

Wait for a request response.

Wait for the response to the request identifier ReqId. The request must have been made by send_request/2, and it must have been made by the same process calling this function.

WaitTime specifies how long to wait for a reply. If no reply is received within the specified time, the function returns timeout and no cleanup is done. Thus the function can be invoked repeatedly until a reply is returned.

The return value Reply is passed from the return value of Module:handle_call/3.

The function returns an error if the gen_server died before a reply was sent.

The difference between receive_response/2 and wait_response/2 is that receive_response/2 abandons the request at time-out so that a potential future response is ignored, while wait_response/2 does not.

Link to this function

wait_response(ReqIdCollection, WaitTime, Delete)

View Source (since OTP 25.0)
-spec wait_response(ReqIdCollection, WaitTime, Delete) -> Result
                       when
                           ReqIdCollection :: request_id_collection(),
                           WaitTime :: response_timeout(),
                           Delete :: boolean(),
                           Response ::
                               {reply, Reply :: term()} | {error, {Reason :: term(), server_ref()}},
                           Result ::
                               {Response,
                                Label :: term(),
                                NewReqIdCollection :: request_id_collection()} |
                               no_request | timeout.

Wait for any request response in a collection.

Wait for a response in a ReqIdCollection. All request identifiers of ReqIdCollection must correspond to requests that have been made using send_request/2 or send_request/4, and all requests must have been made by the process calling this function.

The Label in the response is the Label associated with the request identifier that the response corresponds to. The Label of a request identifier is associated when adding the request id to a collection, or when sending the request using send_request/4.

Compared to wait_response/2, the returned result or exception associated with a specific request identifier will be wrapped in a 3-tuple {Response, Label, NewReqIdCollection}. Response is the value that would have been produced by wait_response/2, Label is the value associated with the specific request identifier and NewReqIdCollection is a possibly modified request identifier collection.

If ReqIdCollection is empty, no_request will be returned.

If no response is received before WaitTime has expired, timeout is returned. It is valid to continue waiting for a response as many times as needed up until a response has been received and completed by check_response(), receive_response(), or wait_response().

The difference between receive_response/3 and wait_response/3 is that receive_response/3 abandons requests at time-out so that potential future responses are ignored, while wait_response/3 does not.

If Delete is true, the association with Label has been deleted from ReqIdCollection in the resulting NewReqIdCollection. If Delete is false, NewReqIdCollection will equal ReqIdCollection. Note that deleting an association is not for free and that a collection containing already handled requests can still be used by subsequent calls to wait_response/3, check_response/3, and receive_response/3.

However, without deleting handled associations, the above calls will not be able to detect when there are no more outstanding requests to handle, so you will have to keep track of this some other way than relying on a no_request return. Note that if you pass a collection only containing associations of already handled or abandoned requests to this function, it will always block until WaitTime expires and then return timeout.