gc-time* ( profile-data -- n )


Vocabulary
tools.profiler.sampling

Inputs and outputs
profile-dataraw profile data
na 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 ;