Module Std.Linux_ext


module Linux_ext: Linux_ext


Filesystem functions


val sendfile : ?pos:int -> ?len:int -> fd:Unix.file_descr -> Unix.file_descr -> int

type tcp_bool_option =
| TCP_CORK
| TCP_NODELAY
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