module Procfs:Process and system statssig
..end
typebigint =
Big_int.big_int
type
stat = {
|
comm : |
(* | The filename of the executable | *) |
|
state : |
|||
|
ppid : |
|||
|
pgrp : |
|||
|
session : |
|||
|
tty_nr : |
|||
|
tpgid : |
|||
|
flags : |
|||
|
minflt : |
|||
|
cminflt : |
|||
|
majflt : |
|||
|
cmajflt : |
|||
|
utime : |
|||
|
stime : |
|||
|
cutime : |
|||
|
cstime : |
|||
|
priority : |
|||
|
nice : |
|||
|
unused : |
|||
|
itrealvalue : |
|||
|
starttime : |
|||
|
vsize : |
|||
|
rss : |
|||
|
rlim : |
|||
|
startcode : |
|||
|
endcode : |
|||
|
startstack : |
|||
|
kstkesp : |
|||
|
signal : |
|||
|
blocked : |
|||
|
sigignore : |
|||
|
sigcatch : |
|||
|
wchan : |
|||
|
nswap : |
|||
|
cnswap : |
|||
|
exit_signal : |
|||
|
processor : |
|||
|
rt_priority : |
|||
|
policy : |
type
statm = {
|
size : |
|
resident : |
|
share : |
|
text : |
|
lib : |
|
data : |
|
dt : |
type
status = {
|
uid : |
|
euid : |
|
suid : |
|
fsuid : |
type
process = {
|
pid : |
|
cmdline : |
|
cwd : |
|
environ : |
|
exe : |
|
root : |
|
stat : |
|
statm : |
|
status : |
|
top_command : |
val get_all_procs : unit -> process list
get_all_procs
returns a process listval with_pid : int -> process
val with_uid : int -> process list
val with_username : string -> process list
val hertz : float
val memtotal : int