tools.profiler.sampling: make rate a global var
parent
4330a645f4
commit
1745e22211
|
@ -11,7 +11,7 @@ IN: tools.profiler.sampling
|
|||
SYMBOL: raw-profile-data
|
||||
SYMBOL: samples-per-second
|
||||
|
||||
CONSTANT: default-samples-per-second 1000
|
||||
samples-per-second [ 1,000 ] initialize
|
||||
|
||||
CONSTANT: ignore-words
|
||||
{ signal-handler leaf-signal-handler profiling minor-gc }
|
||||
|
@ -21,13 +21,11 @@ CONSTANT: ignore-words
|
|||
: get-raw-profile-data ( -- data )
|
||||
raw-profile-data get-global [ "No profile data" throw ] unless* ;
|
||||
|
||||
: profile* ( rate quot -- )
|
||||
[ [ samples-per-second set-global ] [ profiling ] bi ] dip
|
||||
: profile ( quot -- )
|
||||
samples-per-second get-global profiling
|
||||
[ 0 profiling ] [ ] cleanup
|
||||
(get-samples) raw-profile-data set-global ; inline
|
||||
|
||||
: profile ( quot -- ) default-samples-per-second swap profile* ; inline
|
||||
|
||||
: total-sample-count ( sample -- count ) first ;
|
||||
: gc-sample-count ( sample -- count ) second ;
|
||||
: foreign-sample-count ( sample -- count ) third ;
|
||||
|
|
Loading…
Reference in New Issue