Module Unix_ext.RUsage


module RUsage: sig .. end

Resource usage




type who =
| SELF
| CHILDREN

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).