<?xml version="1.0" encoding="utf-8" ?>
<!DOCTYPE erlref SYSTEM "erlref.dtd">
<erlref>
<header>
<copyright>
<year>2018</year><year>2018</year>
<holder>Ericsson AB. All Rights Reserved.</holder>
</copyright>
<legalnotice>
Licensed under the Apache License, Version 2.0 (the "License");
you may not use this file except in compliance with the License.
You may obtain a copy of the License at
http://www.apache.org/licenses/LICENSE-2.0
Unless required by applicable law or agreed to in writing, software
distributed under the License is distributed on an "AS IS" BASIS,
WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
See the License for the specific language governing permissions and
limitations under the License.
</legalnotice>
<title>socket</title>
<prepared></prepared>
<docno></docno>
<date></date>
<rev></rev>
<file>socket.xml</file>
</header>
<module>socket</module>
<modulesummary>Socket interface.</modulesummary>
<description>
<p>This module provides an API for the socket interface.
It is used to create, delete and manipulate sockets.</p>
</description>
<datatypes>
<datatype>
<name name="domain"/>
</datatype>
<datatype>
<name name="type"/>
</datatype>
<datatype>
<name name="protocol"/>
</datatype>
<datatype>
<name>socket()</name>
<desc><p>As returned by
<seealso marker="#open/1"><c>open/2,3,4</c></seealso> and
<seealso marker="#accept/1"><c>accept/1,2</c></seealso>.</p>
</desc>
</datatype>
<datatype>
<name name="ip4_address"/>
</datatype>
<datatype>
<name name="ip6_address"/>
</datatype>
<datatype>
<name name="ip_address"/>
</datatype>
<datatype>
<name name="sockaddr"/>
</datatype>
<datatype>
<name name="sockaddr_in4"/>
</datatype>
<datatype>
<name name="sockaddr_in6"/>
</datatype>
<datatype>
<name name="sockaddr_un"/>
</datatype>
<datatype>
<name name="port_number"/>
</datatype>
<datatype>
<name name="accept_flags"/>
</datatype>
<datatype>
<name name="accept_flag"/>
</datatype>
<datatype>
<name name="send_flags"/>
</datatype>
<datatype>
<name name="send_flag"/>
</datatype>
<datatype>
<name name="shutdown_how"/>
</datatype>
<datatype>
<name name="sockopt_level"/>
</datatype>
<datatype>
<name name="otp_socket_option"/>
</datatype>
<datatype>
<name name="socket_option"/>
</datatype>
<datatype>
<name name="ip_socket_option"/>
</datatype>
<datatype>
<name name="ipv6_socket_option"/>
</datatype>
<datatype>
<name name="tcp_socket_option"/>
</datatype>
<datatype>
<name name="udp_socket_option"/>
</datatype>
<datatype>
<name name="sctp_socket_option"/>
</datatype>
<datatype>
<name name="ip_tos_flag"/>
</datatype>
</datatypes>
<funcs>
<func>
<name name="accept" arity="1"/>
<name name="accept" arity="2"/>
<fsummary>Accept a connection on a socket.</fsummary>
<desc>
<p>Accept a connection on a socket.</p>
<p>This call is used with connection-based socket types
(stream or seqpacket). It extracs the first pending connection
request for the listen socket and returns the (newly) connected
socket.</p>
</desc>
</func>
<func>
<name name="bind" arity="2"/>
<fsummary>Bind a name to a socket.</fsummary>
<desc>
<p>Bind a name to a socket.</p>
<p>When a socket is created
(with <seealso marker="#open/2"><c>open</c></seealso>),
it has no address assigned to it. <c>bind</c> assigns the
address specified by the <c>Addr</c> argument.</p>
<p>The rules used for name binding vary between domains.</p>
</desc>
</func>
<func>
<name name="close" arity="1"/>
<fsummary>Close a socket.</fsummary>
<desc>
<p>Closes the socket.</p>
<note>
<p>Note that for e.g. <c>protocol</c> = <c>tcp</c>, most implementations
doing a close does not guarantee that any data sent is delivered to
the recipient before the close is detected at the remote side. </p>
<p>One way to handle this is to use the
<seealso marker="#shutdown/2"><c>shutdown</c></seealso> function
(<c>socket:shutdown(Socket, write)</c>) to signal that no more data is
to be sent and then wait for the read side of the socket to be closed.</p>
</note>
</desc>
</func>
<func>
<name name="connect" arity="2"/>
<name name="connect" arity="3"/>
<fsummary>Initiate a connection on a socket.</fsummary>
<desc>
<p>This function connects the socket to the address
specied by the <c>SockAddr</c> argument.</p>
</desc>
</func>
<func>
<name name="getopt" arity="3" clause_i="1"/>
<name name="getopt" arity="3" clause_i="2"/>
<name name="getopt" arity="3" clause_i="3"/>
<name name="getopt" arity="3" clause_i="4"/>
<name name="getopt" arity="3" clause_i="5"/>
<name name="getopt" arity="3" clause_i="6"/>
<name name="getopt" arity="3" clause_i="7"/>
<fsummary>Get an option on a socket.</fsummary>
<desc>
<p>Get an option on a socket.</p>
<p>What properties are valid depend both on <c>Level</c> and
on what kind of socket it is (<c>domain</c>, <c>type</c> and
<c>protocol</c>).</p>
<note><p>Not all options are valid on all platforms. That is,
even if "we" support an option, that does not mean that the
underlying OS does.</p></note>
</desc>
</func>
<func>
<name name="getopt" arity="3" clause_i="8"/>
<fsummary>Get an option on a socket.</fsummary>
<desc>
<p>Get an option on a socket.</p>
<p>What properties are valid depend both on <c>Level</c> and
on what kind of socket it is (<c>domain</c>, <c>type</c> and
<c>protocol</c>).</p>
<p>When specifying <c>Level</c> as an integer, and therefor
using "native mode", it is *currently* up to the caller to
know how to interpret the result.</p>
<note><p>Not all options are valid on all platforms. That is,
even if "we" support an option, that does not mean that the
underlying OS does.</p></note>
</desc>
</func>
<func>
<name name="listen" arity="1"/>
<name name="listen" arity="2"/>
<fsummary>Listen for connections on a socket.</fsummary>
<desc>
<p>Listen for connections on a socket.</p>
</desc>
</func>
<func>
<name name="open" arity="2"/>
<name name="open" arity="3"/>
<name name="open" arity="4"/>
<fsummary>Create an endpoint for communication.</fsummary>
<desc>
<p>Creates an endpoint (socket) for communication.</p>
<p>For some <c>types</c> there is a default protocol, which will
be used if no protocol is specified: </p>
<list>
<item><p><c>stream</c>: <c>tcp</c></p></item>
<item><p><c>dgram</c>: <c>udp</c></p></item>
<item><p><c>seqpacket</c>: <c>sctp</c></p></item>
</list>
<p>The <c>Extra</c> argument is intended for "obscure" options.
Currently the only supported option is <c>netns</c>, which
is only supported on the linux platform.</p>
</desc>
</func>
<func>
<name name="peername" arity="1"/>
<fsummary>Get name of connected socket peer.</fsummary>
<desc>
<p>Returns the address of the peer connected to the socket.</p>
</desc>
</func>
<func>
<name name="recv" arity="1"/>
<name name="recv" arity="2"/>
<name name="recv" arity="3" clause_i="1"/>
<name name="recv" arity="3" clause_i="2"/>
<name name="recv" arity="4"/>
<fsummary>Receive a message from a socket.</fsummary>
<desc>
<p>Receive a message from a socket.</p>
<p>There is a special case for the argument <c>Length</c>.
If it is set to zero (0), it means "give me everything you
currently have".</p>
</desc>
</func>
<func>
<name name="recvfrom" arity="1"/>
<name name="recvfrom" arity="2"/>
<name name="recvfrom" arity="3" clause_i="1"/>
<name name="recvfrom" arity="3" clause_i="2"/>
<name name="recvfrom" arity="3" clause_i="3"/>
<name name="recvfrom" arity="4"/>
<fsummary>Receive a message from a socket.</fsummary>
<desc>
<p>Receive a message from a socket.</p>
<p>This function reads "messages", which means that regardless of
how much we want to read, it returns when we get a message.</p>
<p>The <c>BufSz</c> argument basically defines the size of the
receive buffer. By setting the value to zero (0), the configured
size (setopt with <c>Level</c> = <c>otp</c>) is used.</p>
<p>It may be impossible to know what (buffer) size is appropriate
"in advance", and in those cases it may be convenient to use the
(recv) 'peek' flag. When this flag is provided, the message is *not*
"consumed" from the underlying buffers, so another recvfrom call
is needed, possibly with a then adjusted buffer size.</p>
</desc>
</func>
<func>
<name name="send" arity="2"/>
<name name="send" arity="3" clause_i="1"/>
<name name="send" arity="3" clause_i="2"/>
<name name="send" arity="4"/>
<fsummary>Send a message on a socket.</fsummary>
<desc>
<p>Send a message on a connected socket.</p>
</desc>
</func>
<func>
<name name="sendto" arity="3"/>
<name name="sendto" arity="4"/>
<name name="sendto" arity="5"/>
<fsummary>Send a message on a socket.</fsummary>
<desc>
<p>Send a message on a socket, to the specified destination.</p>
</desc>
</func>
<func>
<name name="setopt" arity="4" clause_i="1"/>
<name name="setopt" arity="4" clause_i="2"/>
<name name="setopt" arity="4" clause_i="3"/>
<name name="setopt" arity="4" clause_i="4"/>
<name name="setopt" arity="4" clause_i="5"/>
<name name="setopt" arity="4" clause_i="6"/>
<name name="setopt" arity="4" clause_i="7"/>
<fsummary>Set options on a socket.</fsummary>
<desc>
<p>Set options on a socket.</p>
<p>What properties are valid depend both on <c>Level</c> and on
what kind of socket it is (<c>domain</c>, <c>type</c> and
<c>protocol</c>).</p>
<note><p>Not all options are valid on all platforms. That is,
even if "we" support an option, that does not mean that the
underlying OS does.</p></note>
<note><p>Sockets are set 'non-blocking' when created, so this option
is *not* available (as it would adversely effect the Erlang VM
to set a socket 'blocking').</p></note>
</desc>
</func>
<func>
<name name="shutdown" arity="2"/>
<fsummary>Shut down part of a full-duplex connection.</fsummary>
<desc>
<p>Shut down all or part of a full-duplex connection.</p>
</desc>
</func>
<func>
<name name="sockname" arity="1"/>
<fsummary>Get socket name.</fsummary>
<desc>
<p>Returns the current address to which the socket is bound.</p>
</desc>
</func>
</funcs>
<section>
<title>Examples</title>
<marker id="examples"></marker>
<p>TBD: Need to implement a receiver process in order to be able to
implement active!</p>
<p>x_tcp.erl:</p>
<code type="none">
listen(Addr, Port) ->
try
begin
Socket = case socket:open(inet, stream, tcp) of
{ok, Socket} ->
Socket;
{error, _} = OERROR ->
throw(OERROR)
end,
SockAddr = #in4_sockaddr{port = Port,
addr = Addr},
ok = case socket:bind(Socket, SockAddr) of
ok ->
ok;
{error, _} = BERROR ->
throw(BERROR)
end,
case socket:listen(Socket, 10) of
ok ->
{ok, Socket};
{error, _} = LERROR ->
throw(LERROR)
end
end
catch
throw:ERROR ->
ERROR
end.
</code>
<code type="none">
connect(Addr, Port) ->
try
begin
Socket = case socket:open(inet, stream, tcp) of
{ok, Socket} ->
Socket;
{error, _} = OERROR ->
throw(OERROR)
end,
BSockAddr = #in4_sockaddr{port = 0,
addr = any},
ok = case socket:bind(Socket, BSockAddr) of
ok ->
ok;
{error, _} = BERROR ->
throw(BERROR)
end,
CSockAddr = #in4_sockaddr{port = Port,
addr = Addr},
Socket = case socket:connect(Socket, CSockAddr) of
{ok, Sock} ->
Sock;
{error, _} = CERROR ->
throw(CERROR)
end,
case start_receiver(Socket) of
{ok, Pid} ->
ok = socket:ts_add(Socket, receiver, Pid),
{ok, Socket};
{error, _} = RERROR ->
socket:close(Socket),
throw(RERROR)
end
end
catch
throw:ERROR ->
ERROR
end.
</code>
<code type="none">
accept(LSocket) ->
case socket:accept(LSocket) of
{ok, Socket} ->
case start_receiver(Socket) of
{ok, Pid} ->
ok = socket:ts_add(Socket, receiver, Pid),
{ok, Socket};
{error, _} = RERROR ->
socket:close(Socket),
throw(RERROR)
end,
{error, _} = AERROR ->
AERROR
end.
</code>
<code type="none">
send(Socket, Data) ->
socket:send(Socket, Data).
</code>
<code type="none">
setopt(Socket, controlling_process = Item, Pid) when is_pid(Pid) ->
case socket:setopt(Socket, otp, Item, Pid) of
ok ->
{ok, Receiver} = socket:ts_get(Socket, receiver),
update_receiver(Receiver, {controlling_process, Pid),
ok;
{error, _} = ERROR ->
ERROR
end;
setopt(Socket, active, Active) ->
{ok, Receiver} = socket:ts_get(Socket, receiver),
receiver_active(Receiver, Active),
ok;
%% This is just to indicate that there will be more options
%% that needs to be handled
setopt(Socket, Item, Pid) when is_pid(Pid) ->
socket:setopt(Socket, which_level(Item), Item, Pid).
</code>
<p>The receiver process: </p>
<code type="none">
start_receiver(Socket) ->
CtrlProc = self(),
Ref = make_ref(),
Receiver = proc_lib:spawn_link(fun() -> receiver_init(CtrlProc, Ref) end),
receive
{?MODULE, started, Ref} ->
Receiver ! {?MODULE, receiver, Ref, Sock, true},
unlink(Receiver),
{ok, Receiver};
{'EXIT', Receiver, Reason} ->
{error, Reason}
end.
receiver_active(Receiver, Active)
when (Active =:= false) orelse
(Active =:= true) orelse
(Active =:= once) orelse
is_integer(Active) ->
Receiver ! {?MODULE, active, What}.
receiver_update(Receiver, What) ->
Ref = make_ref(),
Receiver ! {?MODULE, receiver_update, Ref, What},
receive
{?MODULE, receiver_upadate, Ref, Result} ->
Result
end.
-record(receiver, {sock :: socket:socket(),
ctrl :: pid(),
num_packages :: infinity | non_neg_ineteger()}).
receiver_init(Pid, Ref) ->
receive
{?MODULE, receiver, Ref, stop} ->
i("received stop"),
exit(normal);
{?MODULE, receiver, Ref, Sock, InitialMode} ->
i("received socket: ~p", [Sock]),
NumPackages = mode2pkgcount(InitialMode),
receiver(#receiver{sock = Sock, ctrl = Pid})
end.
mode2pkgcount(true) ->
infinity;
mode2pkgcount(false) ->
0;
mode2pkgcount(N) when is_integer(N) andalso (N >= 0) ->
N.
receiver(#receiver{num_packages = 0} = State) ->
receive
{?MODULE, active, false} ->
receiver(State);
{?MODULE, active, true} ->
receiver(State#receiver{num_packages = infinity});
{?MODULE, active, once} ->
receiver(State#receiver{num_packages = 1});
{?MODULE, active, N} when (N > 0) ->
receiver(State#receiver{num_packages = N})
end;
receiver(#receiver{num_packages = N, sock = Sock, ctrl = Pid} = State) ->
case socket:recv(Sock, 0) of
{ok, Package} when size(Package) > 0 ->
Pid ! {tcp, Sock, Packege},
case next_active(N) of
0 ->
Pid ! {tcp_passive, Sock},
receiver(State#{num_packages = 0});
NextN ->
receiver(State#{num_packages = NextN})
end;
{ok, Package} when size(Package) =:= 0 ->
receiver(State);
{error, closed} ->
i("closed"),
Pid ! {tcp_closed, Sock},
exit(normal);
{error, Reason} ->
i("error: ~p", [Reason]),
Pid ! {tcp_error, Sock, Reason},
exit(normal)
end.
</code>
</section>
</erlref>
