module Procfs:Process and system statssig..end
typebigint =Big_int.big_int
type stat = {
|
comm : |
(* | Process and system stats | *) |
|
state : |
(* | Process and system stats | *) |
|
ppid : |
(* | Process and system stats | *) |
|
pgrp : |
(* | Process and system stats | *) |
|
session : |
(* | Process and system stats | *) |
|
tty_nr : |
(* | Process and system stats | *) |
|
tpgid : |
(* | Process and system stats | *) |
|
flags : |
(* | Process and system stats | *) |
|
minflt : |
(* | Process and system stats | *) |
|
cminflt : |
(* | Process and system stats | *) |
|
majflt : |
(* | Process and system stats | *) |
|
cmajflt : |
(* | Process and system stats | *) |
|
utime : |
(* | Process and system stats | *) |
|
stime : |
(* | Process and system stats | *) |
|
cutime : |
(* | Process and system stats | *) |
|
cstime : |
(* | Process and system stats | *) |
|
priority : |
(* | Process and system stats | *) |
|
nice : |
(* | Process and system stats | *) |
|
unused : |
(* | Process and system stats | *) |
|
itrealvalue : |
(* | Process and system stats | *) |
|
starttime : |
(* | Process and system stats | *) |
|
vsize : |
(* | Process and system stats | *) |
|
rss : |
(* | Process and system stats | *) |
|
rlim : |
(* | Process and system stats | *) |
|
startcode : |
(* | Process and system stats | *) |
|
endcode : |
(* | Process and system stats | *) |
|
startstack : |
(* | Process and system stats | *) |
|
kstkesp : |
(* | Process and system stats | *) |
|
signal : |
(* | Process and system stats | *) |
|
blocked : |
(* | Process and system stats | *) |
|
sigignore : |
(* | Process and system stats | *) |
|
sigcatch : |
(* | Process and system stats | *) |
|
wchan : |
(* | Process and system stats | *) |
|
nswap : |
(* | Process and system stats | *) |
|
cnswap : |
(* | Process and system stats | *) |
|
exit_signal : |
(* | Process and system stats | *) |
|
processor : |
(* | Process and system stats | *) |
|
rt_priority : |
(* | Process and system stats | *) |
|
policy : |
(* | Process and system stats | *) |
type statm = {
|
size : |
(* | Process and system stats | *) |
|
resident : |
(* | Process and system stats | *) |
|
share : |
(* | Process and system stats | *) |
|
text : |
(* | Process and system stats | *) |
|
lib : |
(* | Process and system stats | *) |
|
data : |
(* | Process and system stats | *) |
|
dt : |
(* | Process and system stats | *) |
type status = {
|
uid : |
(* | Process and system stats | *) |
|
euid : |
(* | Process and system stats | *) |
|
suid : |
(* | Process and system stats | *) |
|
fsuid : |
(* | Process and system stats | *) |
type process = {
|
pid : |
(* | Process and system stats | *) |
|
cmdline : |
(* | Process and system stats | *) |
|
cwd : |
(* | Process and system stats | *) |
|
environ : |
(* | Process and system stats | *) |
|
exe : |
(* | Process and system stats | *) |
|
root : |
(* | Process and system stats | *) |
|
stat : |
(* | Process and system stats | *) |
|
statm : |
(* | Process and system stats | *) |
|
status : |
(* | Process and system stats | *) |
|
top_command : |
(* | Process and system stats | *) |
val get_all_procs : unit -> process listget_all_procs returns a process listval with_pid : int -> processwith_pid pid returns a single process that matches pidval with_uid : int -> process listwith_uid uid returns all processes which belong to uidval with_username : string -> process listwith_username user calls with_uid after looking up the user's uidval hertz : floathertz is the number of jiffies per secondval memtotal : intmemtotal is the amount of physical memory in the system, in kB