Import Debian changes 20180207-1
[hcoop/debian/mlton.git] / basis-library / mlton / rlimit.sig
1 (* Copyright (C) 1999-2007 Henry Cejtin, Matthew Fluet, Suresh
2 * Jagannathan, and Stephen Weeks.
3 * Copyright (C) 1997-2000 NEC Research Institute.
4 *
5 * MLton is released under a BSD-style license.
6 * See the file MLton-LICENSE for details.
7 *)
8
9 signature MLTON_RLIMIT =
10 sig
11 structure RLim : sig
12 type t
13 val castFromSysWord: SysWord.word -> t
14 val castToSysWord: t -> SysWord.word
15 end
16
17 val infinity: RLim.t
18
19 type t
20
21 val coreFileSize: t (* CORE max core file size *)
22 val cpuTime: t (* CPU CPU time in seconds *)
23 val dataSize: t (* DATA max data size *)
24 val fileSize: t (* FSIZE Maximum filesize *)
25 val numFiles: t (* NOFILE max number of open files *)
26 val stackSize: t (* STACK max stack size *)
27 val virtualMemorySize: t (* AS virtual memory limit *)
28
29 (* NOT STANDARD *)
30 val lockedInMemorySize: t (* MEMLOCK max locked address space *)
31 val numProcesses: t (* NPROC max number of processes *)
32 val residentSetSize: t (* RSS max resident set size *)
33 (* *)
34
35 val get: t -> {hard: RLim.t, soft: RLim.t}
36 val set: t * {hard: RLim.t, soft: RLim.t} -> unit
37 end