structure Std.Internal.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.Internal.IO.Process.instReprResourceUsageStats : Repr ResourceUsageStats

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

@[implicit_reducible]

instance Std.Internal.IO.Process.instInhabitedResourceUsageStats : Inhabited ResourceUsageStats

def Std.Internal.IO.Process.instInhabitedResourceUsageStats.default : ResourceUsageStats

structure Std.Internal.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.Internal.IO.Process.instInhabitedPId : Inhabited PId

def Std.Internal.IO.Process.instInhabitedPId.default : PId

@[implicit_reducible]

instance Std.Internal.IO.Process.instDecidableEqPId : DecidableEq PId

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

@[implicit_reducible]

instance Std.Internal.IO.Process.instOrdPId : Ord PId

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

@[implicit_reducible]

instance Std.Internal.IO.Process.instReprPId : Repr PId

@[inline]

def Std.Internal.IO.Process.getProcessTitle : IO String

Gets the title of the current process.

@[inline]

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

Sets the title of the current process.

@[inline]

def Std.Internal.IO.Process.getId : IO PId

Gets the current process id.

@[inline]

def Std.Internal.IO.Process.getParentId : IO PId

Gets the current process parent id.

@[inline]

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

Gets the current working directory.

@[inline]

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

Changes the current working directory to a new one.

@[inline]

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

Gets the scheduling priority of a process.

@[inline]

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

Sets the scheduling priority of a process.

@[inline]

def Std.Internal.IO.Process.getResourceUsage : IO ResourceUsageStats

Retrieves resource usage statistics.

@[inline]

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

Returns the absolute path of the current executable.

@[inline]

def Std.Internal.IO.Process.freeMemory : IO UInt64

Returns the amount of free system memory in bytes.

@[inline]

def Std.Internal.IO.Process.totalMemory : IO UInt64

Returns the total system memory in bytes.

@[inline]

def Std.Internal.IO.Process.constrainedMemory : IO UInt64

Returns the constrained memory limit in bytes.

@[inline]

def Std.Internal.IO.Process.availableMemory : IO UInt64

Returns the available memory for allocation in bytes.