Add instrumentation for feature-specific-profiling.
This commit is contained in:
parent
a2e51dc9be
commit
70b06aa0b0
|
@ -12,7 +12,10 @@
|
||||||
action-tree->quasiqueue
|
action-tree->quasiqueue
|
||||||
quit-interruptk
|
quit-interruptk
|
||||||
run-ready
|
run-ready
|
||||||
notify-route-change-vm)
|
notify-route-change-vm
|
||||||
|
marketplace-continuation-mark-key)
|
||||||
|
|
||||||
|
(define marketplace-continuation-mark-key (make-continuation-mark-key 'marketplace))
|
||||||
|
|
||||||
(define-syntax-rule (send-to-user p (e) failure-result enclosed-expr)
|
(define-syntax-rule (send-to-user p (e) failure-result enclosed-expr)
|
||||||
(send-to-user* (process-debug-name p) (process-pid p) (e) failure-result enclosed-expr))
|
(send-to-user* (process-debug-name p) (process-pid p) (e) failure-result enclosed-expr))
|
||||||
|
@ -26,7 +29,9 @@
|
||||||
debug-name pid e))
|
debug-name pid e))
|
||||||
failure-result)])
|
failure-result)])
|
||||||
(marketplace-log 'debug "Entering process ~v(~v)" debug-name pid)
|
(marketplace-log 'debug "Entering process ~v(~v)" debug-name pid)
|
||||||
(define result enclosed-expr)
|
(define result (with-continuation-mark marketplace-continuation-mark-key
|
||||||
|
(or debug-name pid)
|
||||||
|
enclosed-expr))
|
||||||
(marketplace-log 'debug "Leaving process ~v(~v)" debug-name pid)
|
(marketplace-log 'debug "Leaving process ~v(~v)" debug-name pid)
|
||||||
result))
|
result))
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue