suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

doc fix

Browse Source 
svn: r2597
This commit is contained in:
Guillaume Marceau 2006-04-04 23:32:53 +00:00
parent 1f702fab15
commit f5d77675c7
1 changed files with 6 additions and 14 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
collects/mztake/doc.txt
View File

@ -332,7 +332,7 @@ _Installing Trace Points_
debuggable mode. The CURRENT-POLICY decides which. debuggable mode. The CURRENT-POLICY decides which.
- debuggable mode: the file is instrumented with MzTake debugging - debuggable mode: the file is instrumented with MzTake debugging
information. It can be the target of trace point and it generate information. It can be the target of tracepoint and it generate
events on the WHERE stream. Execution can also be paused in the middle events on the WHERE stream. Execution can also be paused in the middle
of code running in debuggable mode. The instrumentation overhead of code running in debuggable mode. The instrumentation overhead
is considerable, however, of the order of 10x-20x slowdown. is considerable, however, of the order of 10x-20x slowdown.
@ -343,19 +343,11 @@ _Installing Trace Points_
effect. Also, pausing while executing a fast mode file will be effect. Also, pausing while executing a fast mode file will be
delayed until execution reaches a debuggable mode file. delayed until execution reaches a debuggable mode file.
MzTake uses the following rules, in order, to decide between fast Files that are the target of a trace point when first lunching the
mode and debuggable mode: process run in debuggable mode, so is the main file set by
SET-MAIN!. Otherwise, the current policy is consulted to decide
1) Files that are compiled to .zo run in fast mode. between fast and debuggable mode. In this case, if the policy does
not decide, MzTake raises an error.
2) Files that are the target of a trace point when first lunching
the process run in debuggable mode, so is the main file set by SET-MAIN!
3) If none of the two previous rules apply, the current policy is
consulted to decide between fast and debuggable mode.
If the check reaches the third step and the policy does not decide,
MzTake raises an error.
Policies have the following contract: Policies have the following contract: