module Linux_ext: sig
.. end
Interface to Linux-specific system calls
Filesystem functions
val sendfile : ?pos:int -> ?len:int -> fd:Unix.file_descr -> Unix.file_descr -> int
type
tcp_bool_option =
val gettcpopt_bool : Unix.file_descr -> tcp_bool_option -> bool
gettcpopt_bool sock opt
Returns the current value of the boolean
TCP socket option opt
for socket sock
.
val settcpopt_bool : Unix.file_descr -> tcp_bool_option -> bool -> unit
settcpopt_bool sock opt v
sets the current value of the boolean
TCP socket option opt
for socket sock
to value v
.
val send_nonblocking_no_sigpipe : Unix.file_descr -> ?pos:int -> ?len:int -> string -> int option
val send_no_sigpipe : Unix.file_descr -> ?pos:int -> ?len:int -> string -> int
val sendmsg_nonblocking_no_sigpipe : Unix.file_descr -> ?count:int -> string Unix_ext.IOVec.t array -> int
val send_fd : sock:Unix.file_descr -> fd_to_send:Unix.file_descr -> unit
val recv_fd : sock:Unix.file_descr -> Unix.file_descr
val clock_process_cputime_id : Unix_ext.clock
clock_process_cputime_id
the clock measuring the CPU-time of a process.
val clock_thread_cputime_id : Unix_ext.clock
clock_thread_cputime_id
the clock measuring the CPU-time of a thread.
Getting terminal size
val get_terminal_size : unit -> int * int
get_terminal_size ()
Returns (rows, cols)
, the number of rows and
columns of the terminal.
Parent death notifications
val pr_set_pdeathsig : int -> unit
pr_set_pdeathsig s
sets the signal s
to be sent to the executing
process when its parent dies. NOTE: the parent may have died
before or while executing this system call. To make sure that you
do not miss this event, you should call Unix.getppid ()
to get
the parent process id after this system call. If the parent has
died, the returned parent PID will be 1, i.e. the init process will
have adopted the child. You should then either send the signal to
yourself using Unix.kill
, or execute an appropriate handler.
val pr_get_pdeathsig : unit -> int
pr_get_pdeathsig ()
get the signal that will be sent to the
currently executing process when its parent dies.
Pathname resolution
val file_descr_realpath : Unix.file_descr -> string
file_descr_realpath fd
Raises Unix_error
on errors.
Returns the canonicalized absolute
pathname of the file associated with file descriptor fd
.
val out_channel_realpath : Pervasives.out_channel -> string
out_channel_realpath oc
Raises Unix_error
on errors.
Returns the canonicalized absolute
pathname of the file associated with output channel oc
.
val in_channel_realpath : Pervasives.in_channel -> string
in_channel_realpath ic
Raises Unix_error
on errors.
Returns the canonicalized absolute
pathname of the file associated with input channel ic
.
Epoll
NOTE: please read the epoll
man page for reference!
module Epoll: sig
.. end
Splicing - zero-copies between kernel buffers