structure Std.IO.Process.ResourceUsageStats : Type

Represents resource usage statistics for a process or thread. All time values are in milliseconds.

• cpuUserTime : Time.Millisecond.Offset

  CPU time spent in user mode (milliseconds)

• cpuSystemTime : Time.Millisecond.Offset

  CPU time spent in kernel mode (milliseconds)

• peakResidentSetSizeKb : UInt64

  Peak resident set size (max physical memory usage) in kilobytes

• sharedMemorySizeKb : UInt64

  Size of shared memory segments (kilobytes)

• unsharedDataSizeKb : UInt64

  Size of unshared data segment (kilobytes)

• unsharedStackSizeKb : UInt64

  Size of unshared stack segment (kilobytes)

• minorPageFaults : UInt64

  Number of minor (soft) page faults (no disk I/O)

• majorPageFaults : UInt64

  Number of major (hard) page faults (disk I/O required)

• swapOperations : UInt64

  Number of swap ins or swap outs

• blockInputOps : UInt64

  Number of block input operations (disk reads)

• blockOutputOps : UInt64

  Number of block output operations (disk writes)

• messagesSent : UInt64

  Number of IPC messages sent

• messagesReceived : UInt64

  Number of IPC messages received

• signalsReceived : UInt64

  Number of signals received

• voluntaryContextSwitches : UInt64

  Number of voluntary context switches (process yielded CPU)

• involuntaryContextSwitches : UInt64

  Number of involuntary context switches (process preempted)

@[implicit_reducible]

instance Std.IO.Process.instReprResourceUsageStats : Repr ResourceUsageStats

Equations

• Std.IO.Process.instReprResourceUsageStats = { reprPrec := Std.IO.Process.instReprResourceUsageStats.repr }

def Std.IO.Process.instReprResourceUsageStats.repr : ResourceUsageStats → Nat → Format

Equations

• One or more equations did not get rendered due to their size.

@[implicit_reducible]

instance Std.IO.Process.instInhabitedResourceUsageStats : Inhabited ResourceUsageStats

Equations

• Std.IO.Process.instInhabitedResourceUsageStats = { default := Std.IO.Process.instInhabitedResourceUsageStats.default }

structure Std.IO.Process.PId : Type

A process identifier, represented by a numeric ID in UNIX systems (e.g. 1000).

• toUInt64 : UInt64

  The numeric process ID.

@[implicit_reducible]

instance Std.IO.Process.instInhabitedPId : Inhabited PId

Equations

• Std.IO.Process.instInhabitedPId = { default := Std.IO.Process.instInhabitedPId.default }

def Std.IO.Process.instDecidableEqPId.decEq (x✝ x✝¹ : PId) : Decidable (x✝ = x✝¹)

Equations

• Std.IO.Process.instDecidableEqPId.decEq { toUInt64 := a } { toUInt64 := b } = if h : a = b then h ▸ isTrue ⋯ else isFalse ⋯

@[implicit_reducible]

instance Std.IO.Process.instDecidableEqPId : DecidableEq PId

Equations

• Std.IO.Process.instDecidableEqPId = Std.IO.Process.instDecidableEqPId.decEq

@[implicit_reducible]

instance Std.IO.Process.instOrdPId : Ord PId

Equations

• Std.IO.Process.instOrdPId = { compare := Std.IO.Process.instOrdPId.ord }

def Std.IO.Process.instOrdPId.ord : PId → PId → Ordering

Equations

• Std.IO.Process.instOrdPId.ord { toUInt64 := a } { toUInt64 := b } = (compare a b).then Ordering.eq

@[implicit_reducible]

instance Std.IO.Process.instReprPId : Repr PId

Equations

• Std.IO.Process.instReprPId = { reprPrec := fun (u : Std.IO.Process.PId) => Repr.addAppParen (Std.Format.text "PId.mk " ++ repr u.toUInt64) }

@[inline]

def Std.IO.Process.getProcessTitle : IO String

Gets the title of the current process.

Equations

• Std.IO.Process.getProcessTitle = Std.Internal.UV.System.getProcessTitle

@[inline]

def Std.IO.Process.setProcessTitle (title : String) : IO Unit

Sets the title of the current process.

Equations

• Std.IO.Process.setProcessTitle title = Std.Internal.UV.System.setProcessTitle title

@[inline]

def Std.IO.Process.getId : IO PId

Gets the current process id.

Equations

• Std.IO.Process.getId = Std.IO.Process.PId.mk <$> Std.Internal.UV.System.osGetPid

@[inline]

def Std.IO.Process.getParentId : IO PId

Gets the current process parent id.

Equations

• Std.IO.Process.getParentId = Std.IO.Process.PId.mk <$> Std.Internal.UV.System.osGetPpid

@[inline]

def Std.IO.Process.getCwd : IO System.FilePath

Gets the current working directory.

Equations

• Std.IO.Process.getCwd = do let a ← Std.Internal.UV.System.cwd pure { toString := a }

@[inline]

def Std.IO.Process.setCwd (path : System.FilePath) : IO Unit

Changes the current working directory to a new one.

Equations

• Std.IO.Process.setCwd path = Std.Internal.UV.System.chdir path.toString

@[inline]

def Std.IO.Process.getPriority (pid : PId) : IO Int64

Gets the scheduling priority of a process.

Equations

• Std.IO.Process.getPriority pid = Std.Internal.UV.System.osGetPriority pid.toUInt64

@[inline]

def Std.IO.Process.setPriority (pid : PId) (priority : Int64) : IO Unit

Sets the scheduling priority of a process.

Equations

• Std.IO.Process.setPriority pid priority = Std.Internal.UV.System.osSetPriority pid.toUInt64 priority

@[inline]

def Std.IO.Process.getResourceUsage : IO ResourceUsageStats

Retrieves resource usage statistics.

Equations

• One or more equations did not get rendered due to their size.

@[inline]

def Std.IO.Process.getExecutablePath : IO System.FilePath

Returns the absolute path of the current executable.

Equations

• Std.IO.Process.getExecutablePath = System.FilePath.mk <$> Std.Internal.UV.System.exePath

@[inline]

def Std.IO.Process.freeMemory : IO UInt64

Returns the amount of free system memory in bytes.

Equations

• Std.IO.Process.freeMemory = Std.Internal.UV.System.freeMemory

@[inline]

def Std.IO.Process.totalMemory : IO UInt64

Returns the total system memory in bytes.

Equations

• Std.IO.Process.totalMemory = Std.Internal.UV.System.totalMemory

@[inline]

def Std.IO.Process.constrainedMemory : IO UInt64

Returns the constrained memory limit in bytes.

Equations

• Std.IO.Process.constrainedMemory = Std.Internal.UV.System.constrainedMemory

@[inline]

def Std.IO.Process.availableMemory : IO UInt64

Returns the available memory for allocation in bytes.

Equations

• Std.IO.Process.availableMemory = Std.Internal.UV.System.availableMemory