Tracing
Tracing — Actor observability, trace context, and performance telemetry.
Provides class methods for controlling trace capture, setting application-level trace context, querying aggregate stats, analyzing performance bottlenecks, and checking actor/VM health. All methods are class-side — Tracing has no instances.
Trace context (setContext:/context/clearContext) propagates automatically across actor boundaries, so workflow IDs and request metadata flow through actor call chains without manual threading.
Aggregate stats (call counts, durations) are always-on with negligible overhead (~150ns/call). Detailed trace events require explicit enable/disable.
Examples
// Set application-level trace context
Tracing setContext: #{#workflowId => "wf-123"}
// => nil
Tracing context
// => _
// Always-on aggregates — no setup needed
Tracing stats
// => _
// Enable trace capture for detailed events
Tracing enable
// => nil
Tracing isEnabled
// => true
// Query traces
Tracing traces
// => _
// Analysis
Tracing slowMethods: 5
// => _
// Clean up
Tracing clearContext
// => nil
Tracing disable
// => nil
Tracing clear
// => nil
Methods
- class » setContext: ctx
- class » context
- class » clearContext
- class » enable
- class » disable
- class » isEnabled
- class » clear
- class » traces
- class » tracesFor: actor
- class » tracesFor: actor selector: sel
- class » stats
- class » statsFor: actor
- class » slowMethods: limit
- class » hotMethods: limit
- class » errorMethods: limit
- class » bottlenecks: limit
- class » healthFor: actor
- class » systemHealth
- class » maxEvents
- class » maxEvents: size
Class Methods
Set application-level trace context that propagates across actor calls. Merges with any existing context. Use for workflow correlation IDs, request IDs, or any application-level metadata you want in traces and logs.
Examples
Tracing setContext: #{#workflowId => "wf-123", #workflowType => "OrderWorkflow"}
// => nil
Get the current application-level trace context. Returns an empty dictionary when no context has been set.
Examples
Tracing context
// => _
Clear the application-level trace context. Removes all trace context keys from the process and logger metadata.
Examples
Tracing clearContext
// => nil
Start capturing trace events (aggregates are always on).
Examples
Tracing enable
// => nil
Stop capturing trace events.
Examples
Tracing disable
// => nil
Check whether trace capture is active.
Examples
Tracing isEnabled
// => _
Clear all trace events and aggregate stats.
Examples
Tracing clear
// => nil
All captured trace events (up to buffer limit), newest first. Returns [] when not enabled.
Examples
Tracing traces
// => _
Trace events for a specific actor.
Examples
// Tracing tracesFor: myCounter
// => _
Trace events for a specific actor + method.
Examples
// Tracing tracesFor: myCounter selector: #increment
// => _
Per-actor, per-method aggregate stats (always available, even without tracing).
Examples
Tracing stats
// => _
Aggregate stats for a specific actor. Returns #{} for unknown actors.
Examples
// Tracing statsFor: myCounter
// => _
Top N methods by average duration (descending).
Examples
Tracing slowMethods: 10
// => _
Top N methods by call count (descending).
Examples
Tracing hotMethods: 10
// => _
Top N methods by error + timeout rate (descending).
Examples
Tracing errorMethods: 5
// => _
Top N actors by message queue length — live snapshot.
Examples
Tracing bottlenecks: 5
// => _
Live process info: queue depth, memory, reductions, status. Returns status=dead for dead actors.
Examples
// Tracing healthFor: myCounter
// => _
VM overview: scheduler count, memory breakdown, process count, run queue lengths.
Examples
Tracing systemHealth
// => _
Current ring buffer capacity.
Examples
Tracing maxEvents
// => _
Set ring buffer capacity.
Examples
Tracing maxEvents: 50000
// => nil
Inherited Methods
From Object
Return the class of the receiver.
Examples
42 class // => Integer
"hello" class // => String
Test if the receiver is nil. Returns false for all objects except nil.
Examples
42 isNil // => false
nil isNil // => true
Test if the receiver is not nil. Returns true for all objects except nil.
Examples
42 notNil // => true
nil notNil // => false
If the receiver is nil, evaluate nilBlock. Otherwise return self.
Examples
42 ifNil: [0] // => 42
nil ifNil: [0] // => 0
If the receiver is not nil, evaluate notNilBlock with self.
Examples
42 ifNotNil: [:v | v + 1] // => 43
nil ifNotNil: [:v | v + 1] // => nil
If nil, evaluate nilBlock; otherwise evaluate notNilBlock with self.
Examples
42 ifNil: [0] ifNotNil: [:v | v + 1] // => 43
nil ifNil: [0] ifNotNil: [:v | v + 1] // => 0
If not nil, evaluate notNilBlock with self; otherwise evaluate nilBlock.
Examples
42 ifNotNil: [:v | v + 1] ifNil: [0] // => 43
nil ifNotNil: [:v | v + 1] ifNil: [0] // => 0
Return the developer-readable (Debug) string representation.
printString is the Debug protocol (ADR 0094): the self-describing,
structural form used by the REPL, logs, and by any other printString
that nests this object. It is the REPL default — evaluating an expression
shows its printString.
This default returns the bare class name (no a/an article — the
old "a ClassName" form was dropped in ADR 0094). Value overrides it
with the structural ClassName(field: value, ...) form, actors render as
Actor(ClassName, pid), supervisors as Supervisor(ClassName, pid) /
DynamicSupervisor(ClassName, pid), and primitive types (Integer, String,
List, …) override it with their own richer output. Authors rarely override
printString directly — the default is derived.
Examples
42 printString // => "42"
Return the user-facing (Display) string representation.
displayString is the Display protocol (ADR 0094): the human-facing
form. It is the hook the language pulls during string interpolation —
every {...} segment renders via the value's displayString. Developers
rarely call it directly; they override it when a value has a natural
human rendering (e.g. Money → $10.50, where printString would still
show the Debug form).
It defaults to printString, so most types need no override. String
and Symbol demonstrate the split: "hi" printString → "\"hi\""
(quoted, Debug) while "hi" displayString → "hi" (plain, Display);
likewise #foo drops its # prefix under displayString.
displayString is not part of the Printable protocol (deferred per
ADR 0094 §5).
Examples
42 displayString // => "42"
Open a navigable Inspector cursor on the receiver.
ADR 0095 Phase 3 (BT-2504). inspect is repurposed from -> String
(the ADR-0094 deferral) to the verb that produces an Inspector — a
live, immutable cursor for drilling into the object (Inspector on: self).
anObject inspect is the shorthand; Inspector on: anObject is the
explicit spelling. The cursor exposes fields/at:/path/refresh/
printString (an indented text tree) and asDictionaries (the MCP/browser
wire form); see Inspector.
This is a breaking change: code that used inspect for its old
String result must switch to printString (the structural Debug string,
ADR 0094) — a transitional lint flags inspect used directly in ++/
string position.
Examples
42 inspect kind // => #value
(Point x: 3 y: 4) inspect fields size // => 2
(Point x: 3 y: 4) printString // => "Point(x: 3, y: 4)" (the old inspect string)
Return the receiver itself. Useful for cascading side effects.
Examples
42 yourself // => 42
Return a hash value for the receiver.
Examples
42 hash
Test if the receiver responds to the given selector.
Examples
42 respondsTo: #abs // => true
Return the names of fields.
Examples
42 fieldNames // => #()
Return the value of the named field.
Examples
object fieldAt: #name
Set the value of the named field (returns new state).
Examples
object fieldAt: #name put: "Alice"
Send a unary message dynamically.
Examples
42 perform: #abs // => 42
Send a message dynamically with arguments.
Examples
3 perform: #max: withArguments: #(5) // => 5
Raise an error indicating this method must be overridden by a subclass.
Examples
self subclassResponsibility
Raise an error indicating this method has not yet been implemented.
Use this for work-in-progress stubs. Distinct from subclassResponsibility,
which signals an interface contract violation.
Examples
self notImplemented
Send aValue to the current transcript without a trailing newline.
Nil-safe: does nothing when no transcript is set (batch compile, tests).
Examples
42 show: "value: "
Send aValue to the current transcript followed by a newline.
Nil-safe: does nothing when no transcript is set (batch compile, tests).
Examples
42 showCr: "hello world"
Test if the receiver is an instance of aClass or any of its subclasses.
For class-object receivers, follows Smalltalk semantics: self class
is the metaclass, so the check walks the parallel metaclass hierarchy.
The parallel chain is grounded at ProtoObject class superclass == Class
(ADR 0036), so the metaclass tower merges into the instance-side
Class → Behaviour → Object → ProtoObject chain. As a result,
Integer isKindOf: Object and Integer isKindOf: Class both return true.
Examples
42 isKindOf: Integer // => true
42 isKindOf: Object // => true
#foo isKindOf: Symbol // => true
#foo isKindOf: String // => false
Integer isKindOf: Number // => false (metaclass chain, not instance chain)
Integer isKindOf: Number class // => true (Number class is in the parallel chain)
Integer isKindOf: Object // => true (grounded — Object is reachable via the metaclass tower)
Integer isKindOf: Class // => true (Integer class inherits from Class)
Raise an error with the given message.
Examples
self error: "something went wrong"
Delegate message dispatch to the backing Erlang module (ADR 0101, BT-2720).
This method is a sentinel — a plain Object has no backing Erlang module,
so calling delegate raises an Error at runtime. Stateless Objects
declared with native: have their self delegate method bodies rewritten
by the compiler's codegen phase to call the backing module directly, so the
sentinel is never reached on a native: class.
Unlike Actor's delegate (visible only to Actor subclasses), this
Object-base sentinel is visible to every class, so delegate is a
reserved selector on the Object protocol.
Examples
42 delegate // => ERROR: delegate called on a non-native Object
From ProtoObject
Test value equality (Erlang ==).
Examples
42 == 42 // => true
"abc" == "abc" // => true
Test value inequality (negation of ==).
Examples
1 /= 2 // => true
42 /= 42 // => false
Return the class of the receiver.
Examples
42 class // => Integer
"hello" class // => String
Handle messages the receiver does not understand. Override for custom dispatch.
Examples
42 unknownMessage // => ERROR: does_not_understand
Send a message dynamically with an arguments list.
Examples
42 perform: #abs withArguments: #() // => 42
Execute a class method in the caller's process, bypassing gen_server dispatch.
The caller takes responsibility for knowing the method does not mutate class state. Useful for long-running class methods that would otherwise block the class object's gen_server.
Limitations: only resolves methods defined directly on the target class
module (does not walk the superclass chain). Class variables and self
are not available to the method (nil and #{} are passed).
Examples
MyClass performLocally: #run:ctx: withArguments: #(input, ctx)
Send a message dynamically with an arguments list and explicit timeout.
The timeout (in milliseconds or #infinity) applies to the gen_server:call
when the receiver is an actor. For value types, timeout is ignored.
Examples
actor perform: #query withArguments: #(sql) timeout: 30000