inert is a library for asynchronous socket notifications. To be scheduler friendly, inert uses the native Erlang socket polling mechanism.
WARNING: this library is under development
STDOUT = 1,
PollId = inert:start(),
ok = inert:poll(PollId, STDOUT).
inert sends your process a message whenever an event occurs on a non-blocking file descriptor. You'll need another library to open the fd's (see ADDITIONAL LIBRARIES). For example, using inet:
{ok, Socket} = gen_tcp:listen(1234, [binary, {active,false}]),
{ok, FD} = inet:getfd(Socket).
Both inet and inert use erts for polling, so stealing fd's may generate error reports.
-
network sockets
-
serial devices
-
TUN/TAP devices
start() -> PollId | {error, posix()}
Types PollId = port()
Start the inert service.
poll(PollId, FD) -> ok | {error, Error}
poll(PollId, FD, Options) -> ok | {error, Error}
Types PollId = port()
FD = int32()
Options = [ {timeout, Timeout} | {mode, Mode} ]
Timeout = infinity | uint()
Mode = read | write | read_write
Error = closed | timeout | posix()
poll/2,3 blocks until a file descriptor is ready for reading
or writing (default mode: read).
poll will block forever unless the timeout option is used.
With the timeout option, poll will be interrupted after the
specified timeout (in milliseconds) and return the tuple {error,
timeout}.
fdset(PollId, FD) -> ok | {error, Error}
fdset(PollId, FD, Options) -> ok | {error, Error}
Types PollId = port()
FD = int32()
Options = [ {mode, Mode} ]
Mode = read | write | read_write
Error = closed | posix()
Monitor a file descriptor for events (default mode: read).
fdset/2,3 will send one message when a file descriptor is ready
for reading or writing:
{inert_read, PollId, FD} % fd is ready for reading
{inert_write, PollId, FD} % fd is ready for writing
When requesting a monitoring mode of read_write, the calling
process may receive two messages (one for read, one for write).
Further events are not monitored after the message is sent. To
re-enable monitoring, fdset/2,3 must be called again.
Successive calls to fdset/2,3 reset the mode:
fdset(PollId, FD, [{mode, read_write}]),
fdset(PollId, FD, [{mode, write}]).
% monitoring the fd for write events only
fdclr(PollId, FD) -> ok | {error, Error}
fdclr(PollId, FD, Options) -> ok | {error, Error}
Types PollId = port()
FD = int32()
Options = [ {mode, Mode} ]
Mode = read | write | read_write
Error = closed | posix()
Clear an event set for a file descriptor.
controlling_process(PollId, PID) -> ok | {error, Error}
Types PollId = port()
PID = pid()
Error = not_owner | einval
Transfer ownership of the inert port driver from the current
process to another process.
Since any process can use the port, controlling_process/2 just
sets the port owner and links the process to the port. The
original owner will continue to receive messages for any file
descriptors it has added to the pollset.
inert_drv is a wrapper around the driver_select() function in the erl_driver API. See:
http://www.erlang.org/doc/man/erl_driver.html#driver_select
Run:
make eg
See examples/echo.erl
. To run it:
erl -pa ebin
1> echo:listen(1234).
This (slightly terrifying) example uses the BSD socket interface in procket to connect to SSH on localhost and read the version header. It is the equivalent of:
{ok, Socket} = gen_tcp:connect("localhost", 22, [binary, {active,false}]),
gen_tcp:recv(Socket, 0).
-module(conn).
-include_lib("procket/include/procket.hrl").
-export([ssh/0]).
-ifndef(SO_ERROR).
-define(SO_ERROR, 4).
-endif.
ssh() ->
PollId = inert:start(),
{ok, Socket} = procket:socket(inet, stream, 0),
Sockaddr = <<(procket:sockaddr_common(?PF_INET, 16))/binary,
22:16, % Port
127,0,0,1, % IPv4 loopback
0:64
>>,
ok = case procket:connect(Socket, Sockaddr) of
ok ->
ok;
{error, einprogress} ->
poll(PollId, Socket)
end,
ok = inert:poll(PollId, Socket, [{mode,read}]),
procket:read(Socket, 16#ffff).
poll(PollId, Socket) ->
ok = inert:poll(PollId, Socket, [{mode,write}]),
case procket:getsockopt(Socket, ?SOL_SOCKET, ?SO_ERROR, <<>>) of
{ok, _Buf} ->
ok;
{error, _} = Error ->
Error
end.
So why would you use inert
instead of inet
?
-
You have to monitor socket events without using inet. For example, to use socket interfaces like sendmsg(2) and recvmsg(2).
-
You want to experiment with alternatives to inet. It'd be interesting to experiment with moving some of the network code from C to Erlang.
Otherwise, there are a few builtin methods for polling file descriptors in Erlang. All of these methods will read/write from the socket on your behalf. It is your responsibility to close the socket.
Works with inet and inet6 sockets and supports the flow control mechanisms in inet ({active, true}, {active, once}, {active, false}).
FD = 7,
{ok, Socket} = gen_udp:open(0, [binary, {fd, FD}, inet]).
inet
is a big, complicated driver. It expects to be receiving TCP or
UDP data. If you pass in other types of packets, you may run into some
weird behaviour. For example, see:
Works with any type of non-blocking file descriptor:
FD = 7,
Port = erlang:open_port({fd, FD, FD}, [stream,binary]).
Ports do not have a built in way to do flow control (inet is a port but the flow control is done within the driver). Flow control can be done by closing the port and re-opening it after the data in the mailbox has been processed:
% synchronous close of port, flushes buffers
erlang:port_close(Port),
% process data
Port1 = erlang:open_port({fd, FD, FD}, [stream,binary]).
% async close
Port1 ! {self(), close}
% process data
Port2 = erlang:open_port({fd, FD, FD}, [stream,binary]).
And of course, the simple, dumb way is to spin on the file descriptor:
spin(FD) ->
case procket:read(FD, 16#ffff) of
{ok, <<>>} ->
ok = procket:close(FD),
ok;
{ok, Buf} ->
{ok, Buf};
{error, eagain} ->
timer:sleep(10),
spin(FD);
{error, Error} ->
{error, Error}
end.
These are some notes describing the empirical behaviour of driver_select().
The function signature for driver_select() is:
int driver_select(ErlDrvPort port, ErlDrvEvent event, int mode, int on)
-
the
return value
is either 0 or -1. However, it will only return error in the case the driver has not defined the ready_input callback (for the ERL_DRV_READ mode) or the ready_output callback (for the ERL_DRV_WRITE mode) -
on Unix platforms,
event
is simply a file descriptor which is represented as an int but the size of theErlDrvEvent
type varies:- int (32/64-bit): 4 bytes
- ErlDrvEvent (32-bit VM): 4 bytes
- ErlDrvEvent (64-bit VM): 8 bytes
The ErlDrvEvent type needs to be cast or included in a union:
typedef union { ErlDrvEvent ev; int32_t fd; } inert_fd_t;
-
mode
sets which events the file descriptor will be monitored:-
ERL_DRV_READ: call the ready_input callback when the file descriptor is ready for reading
-
ERL_DRV_WRITE: call the ready_output callback when the file descriptor is ready for writing
-
ERL_DRV_USE: call the stop_select callback when it is safe for the file descriptor to be closed
The modes in successive calls to driver_select() are OR'ed with the previous value.
driver_select(port, event, ERL_DRV_READ, 1) // mode = read driver_select(port, event, ERL_DRV_WRITE, 1) // mode = read, write
-
-
the
on
argument is used to either set (1) or clear (0) modes from an event
The only modes defined for old drivers was monitoring for read and write events. An additional mode (ERL_DRV_USE) was introduced to allow the driver to indicate to the VM when it is safe to close events, necessary on SMP VMs where one thread may close an event that another thread is using.
To support old drivers, the ERL_DRV_USE mode is not required. Any use of the ERL_DRV_USE mode (either setting or clearing) results in the VM issuing a warning if the driver does not support the stop_select callback.
The interaction between mode
and on
:
-
mode:ERL_DRV_READ, ERL_DRV_WRITE ERL_DRV_USE, on:1
The mode is OR'ed with the existing mode for the event. If ERL_DRV_USE was not previously set, the VM will now check for the existence of a stop_select callback and issue a warning if it does not exist.
-
mode:ERL_DRV_USE, on:1
Setting the mode for the event to only
use
indicates to the VM that the event will be re-used. Presumably the VM will not de-allocate resources for the event. -
mode:ERL_DRV_READ, ERL_DRV_WRITE, on:0
The mode is NOT'ed from the existing mode for the event.
-
mode:ERL_DRV_USE, on:0
Indicate to the VM that resources associated with the event can be scheduled for de-allocation. When all uses of the event have completed, the VM will call the driver's stop_schedule callback.
-
pass in sets of file descriptors
inert:fdset([7, {8, write}, 11], [{mode, read}])