module RUsage: sig
.. end
Resource usage
type
who =
type
t = {
|
ru_utime : float ; |
|
ru_stime : float ; |
|
ru_maxrss : int64 ; |
|
ru_ixrss : int64 ; |
|
ru_idrss : int64 ; |
|
ru_isrss : int64 ; |
|
ru_minflt : int64 ; |
|
ru_majflt : int64 ; |
|
ru_nswap : int64 ; |
|
ru_inblock : int64 ; |
|
ru_oublock : int64 ; |
|
ru_msgsnd : int64 ; |
|
ru_msgrcv : int64 ; |
|
ru_nsignals : int64 ; |
|
ru_nvcsw : int64 ; |
|
ru_nivcsw : int64 ; |
}
val ru_utime : t -> float
val ru_stime : t -> float
val ru_maxrss : t -> int64
val ru_ixrss : t -> int64
val ru_idrss : t -> int64
val ru_isrss : t -> int64
val ru_minflt : t -> int64
val ru_majflt : t -> int64
val ru_nswap : t -> int64
val ru_inblock : t -> int64
val ru_oublock : t -> int64
val ru_msgsnd : t -> int64
val ru_msgrcv : t -> int64
val ru_nsignals : t -> int64
val ru_nvcsw : t -> int64
val ru_nivcsw : t -> int64
val add : t -> t -> t
RUsage.add ru1 ru2
adds two rusage structures (e.g. your resource
usage and your children's).