Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /sml/branches/primop-branch-3/NOTES/HISTORY
ViewVC logotype

Diff of /sml/branches/primop-branch-3/NOTES/HISTORY

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1652, Thu Oct 14 22:38:54 2004 UTC revision 1653, Fri Oct 15 20:45:02 2004 UTC
# Line 14  Line 14 
14    
15  ----------------------------------------------------------------------  ----------------------------------------------------------------------
16  Name: Matthias Blume (blume (at) tti - c (dot) org)  Name: Matthias Blume (blume (at) tti - c (dot) org)
17    Date: 2004/10/15 15:45:00 CDT
18    Tag: blume-20041015-coverage
19    Description:
20    
21    * Test coverage tool added!
22    * Further reorganization of tracing-, debugging-, and profiling support:
23    
24        - moved original BTImp -- now called BackTrace -- into a separate
25          library called $/trace-debug-profile.cm
26        - eliminated all mentions of BTrace from SMLofNJ.Internals
27        - only the instrumentation mechanism is now left in the compiler proper
28        - BackTrace module is a plugin which is NOT plugged in by default
29        - Coverage module is another such plugin
30    
31    To get the benefits of any of these plugin modules, the code in
32    question must be compiled with tdp instrumentation turned on.  This
33    can be done by setting SMLofNJ.Internals.TDP.mode to true.
34    (The ref cell is also controlled via the -Ctdp.instrument=... switch.)
35    
36    Plugins are selected at link time.  (Pre-compiled instrumented code
37    can be re-loaded with different plugins in effect.)  When an
38    instrumented module is linked, whatever plugins are at that time
39    enabled will come into effect for that module.
40    
41    To enable the back-trace plugin, load library $/trace-debug-profile.cm
42    and invoke BackTrace.install() (e.g., from the interactive prompt).
43    To enable the coverage plugin, load the same library and invoke
44    Coverage.install().
45    
46    Back-traces are generated automatically on uncaught exceptions and
47    when the code in question explicitly invokes BackTrace.trigger().
48    
49    Coverage (and execution frequency-) information must be queried
50    explicitly by calling Coverage.not_covered and Coverage.hot_spots.
51    
52    ----------------------------------------------------------------------
53    Name: Matthias Blume (blume (at) tti - c (dot) org)
54  Date: 2004/10/14 17:40:00 CDT  Date: 2004/10/14 17:40:00 CDT
55  Tag: blume-20041014-tdp-core  Tag: blume-20041014-tdp-core
56  Description:  Description:

Legend:
Removed from v.1652  
changed lines
  Added in v.1653

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0