From 70b06aa0b0b1e08080f664b697243b1b2080e4cc Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Fri, 25 Apr 2014 15:54:56 -0400 Subject: [PATCH] Add instrumentation for feature-specific-profiling. --- process.rkt | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) diff --git a/process.rkt b/process.rkt index 518eb93..03e0b0f 100644 --- a/process.rkt +++ b/process.rkt @@ -12,7 +12,10 @@ action-tree->quasiqueue quit-interruptk 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) (send-to-user* (process-debug-name p) (process-pid p) (e) failure-result enclosed-expr)) @@ -26,7 +29,9 @@ debug-name pid e)) failure-result)]) (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) result))