Interface Counts
interface Counts {
arm: number;
armBlocked: number;
checkDirty: number;
fold: number;
link: number;
linkChild: number;
markDownVisit: number;
propagate: number;
put: number;
reassertScan: number;
recompute: number;
resolveConeVisit: number;
step: number;
unlink: number;
unlinkChild: number;
writeBackVisit: number;
}
arm: number;
armBlocked: number;
checkDirty: number;
fold: number;
link: number;
linkChild: number;
markDownVisit: number;
propagate: number;
put: number;
reassertScan: number;
recompute: number;
resolveConeVisit: number;
step: number;
unlink: number;
unlinkChild: number;
writeBackVisit: number;
}
Properties
arm
arm: number
armBlocked
armBlocked: number
A structurally-impossible write was rejected at arm (no work done).
checkDirty
checkDirty: number
checkDirty entered (a validity pull up deps).
fold
fold: number
A merge fold was invoked.
link
link: number
A dynamic forward edge (Link) was created.
linkChild
linkChild: number
A reverse edge was spliced onto a parent's up-list.
markDownVisit
markDownVisit: number
Nodes visited descending the back-path in markDown.
propagate
propagate: number
propagate entered (a mark sweep down subs).
put
put: number
A user put (1→1, tuple, or stateful backward) was invoked.
reassertScan
reassertScan: number
Steps of the co-writer re-assert scan (the fan-in re-assert cost).
recompute
recompute: number
A computed/lens/merge getter actually ran (the forward "work" unit).
resolveConeVisit
resolveConeVisit: number
Frames entered resolving back-cones (enterCone).
step
step: number
A stateful step was invoked (backward commit path).
unlink
unlink: number
A dynamic forward edge was dropped.
unlinkChild
unlinkChild: number
A reverse edge was released (view unwatched).
writeBackVisit
writeBackVisit: number
Nodes popped committing a back-write (writeBack).
A back-write was armed (legal).