Handbook
Glossary
gc-time* ( profile-data -- n )
Vocabulary
tools
.
profiler
.
sampling
Inputs
profile-data
raw profile data
Outputs
n
a
duration
Word description
Returns the total time spent in the garbage collector from the given
profile-data
.
Definition
USING:
sequences
;
IN:
tools.profiler.sampling
:
gc-time*
( profile-data -- n )
[
gc-sample-count
]
map-sum
samples>time
;