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/trunk/NOTES/HISTORY
ViewVC logotype

Diff of /sml/trunk/NOTES/HISTORY

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

revision 1638, Wed Sep 29 19:07:58 2004 UTC revision 1655, Mon Oct 18 21:45:30 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/18 16:45:00 CDT
18    Tag: blume-20041018-groupowner
19    Description:
20    
21    Added an "obsolete" warning for the "group owner" syntax to CM's parser.
22    
23    Eliminated group owner specs from .cm files throughout the source tree.
24    
25    ----------------------------------------------------------------------
26    Name: Matthias Blume (blume (at) tti - c (dot) org)
27    Date: 2004/10/15 15:45:00 CDT
28    Tag: blume-20041015-coverage
29    Description:
30    
31    * Test coverage tool added!
32    * Further reorganization of tracing-, debugging-, and profiling support:
33    
34        - moved original BTImp -- now called BackTrace -- into a separate
35          library called $/trace-debug-profile.cm
36        - eliminated all mentions of BTrace from SMLofNJ.Internals
37        - only the instrumentation mechanism is now left in the compiler proper
38        - BackTrace module is a plugin which is NOT plugged in by default
39        - Coverage module is another such plugin
40    
41    To get the benefits of any of these plugin modules, the code in
42    question must be compiled with tdp instrumentation turned on.  This
43    can be done by setting SMLofNJ.Internals.TDP.mode to true.
44    (The ref cell is also controlled via the -Ctdp.instrument=... switch.)
45    
46    Plugins are selected at link time.  (Pre-compiled instrumented code
47    can be re-loaded with different plugins in effect.)  When an
48    instrumented module is linked, whatever plugins are at that time
49    enabled will come into effect for that module.
50    
51    To enable the back-trace plugin, load library $/trace-debug-profile.cm
52    and invoke BackTrace.install() (e.g., from the interactive prompt).
53    To enable the coverage plugin, load the same library and invoke
54    Coverage.install().
55    
56    Back-traces are generated automatically on uncaught exceptions and
57    when the code in question explicitly invokes BackTrace.trigger().
58    
59    Coverage (and execution frequency-) information must be queried
60    explicitly by calling Coverage.not_covered and Coverage.hot_spots.
61    
62    ----------------------------------------------------------------------
63    Name: Matthias Blume (blume (at) tti - c (dot) org)
64    Date: 2004/10/14 17:40:00 CDT
65    Tag: blume-20041014-tdp-core
66    Description:
67    
68    Snapshot of a significant overhaul of how the trace/debug/profile support
69    is hooked into the system (specifically: Core and SMLofNJ.Internals).
70    
71    ----------------------------------------------------------------------
72    Name: Matthias Blume (blume (at) tti - c (dot) org)
73    Date: 2004/10/13 16:34:00 CDT
74    Tag: blume-20041013-tdp
75    Description:
76    
77    Some rationalization of names:
78    
79       structure BTrace -> structure TDPInstrument
80       etc.
81    
82    This is is preparation of using the original back-trace
83    instrumentation for other purposes.  "TDP" stands for
84    Trace/Debug/Profile.
85    
86    The control flag controlling whether instrumentation is on or off is now
87    registered under a different name, so instead of running sml as
88    
89     sml -Cinstrument.btrace-mode=true
90    
91    one has to say
92    
93     sml -Ctdp.instrument=true
94    
95    ----------------------------------------------------------------------
96    Name: Matthias Blume (blume (at) tti - c (dot) org)
97    Date: 2004/10/11 16:37:00 CDT
98    Tag: blume-20041011-regions
99    Description:
100    
101    Made some minor modifications to elabcore.sml to have source regions
102    be propagated more tightly -- resulting in better (i.e., smaller)
103    regions being reported in error- and debug messages.
104    
105    ----------------------------------------------------------------------
106    Name: Matthias Blume (blume (at) tti - c (dot) org)
107    Date: 2004/10/08 22:50:00 CDT
108    Tag: blume-20041008-cmkw
109    Description:
110    
111    Fixed handling of keywords in .cm files: After seeing "is" the lexer
112    treats subsequent occurrences of "group", "library", "source", "is",
113    "*", and "-" as ordinary identifiers rather than keywords.
114    
115    Most seriously, this fixes a problem with CM's "shell" tool.  The tool
116    is supposed to accept a tool argument called "source", but this did
117    not work because of the clash with the keyword.
118    
119    ----------------------------------------------------------------------
120    Name: Matthias Blume (blume (at) tti - c (dot) org)
121    Date: 2004/10/07 16:00:00 CDT
122    Tag: blume-20041007-cleanup
123    Description:
124    
125    Assorted cleanup work:
126    
127      - got rid of intstrmap in favor of using the library's
128        hash table implementation
129      - threw out most of the pathnames stuff, as it was not used anyway
130      - simplified tokentable implementation
131      - fixed some minor spelling errors
132    
133    ----------------------------------------------------------------------
134    Name: Matthias Blume (blume (at) tti - c (dot) org)
135    Date: 2004/10/06 15:15:15 CDT
136    Tag: blume-20041006-handler
137    Description:
138    
139    Cleaned up the absyn to reflect the invariant that HANDLE always
140    carries a FNexp as part of the type definition.  This eliminates some
141    superfluous sanity checks at runtime down the road.
142    
143    Some minor cleanup of the btrace code.
144    
145    ----------------------------------------------------------------------
146    Name: Matthias Blume (blume (at) tti - c (dot) org)
147    Date: 2004/10/01 10:20:30 CDT
148    Tag: blume-20041001-slave
149    Description:
150    
151    Added hack to make slave mode work in the presence of the version
152    tool.  (Still, since the master does two passes over the code for
153    CMB.make, the release number gets bumped twice when slaves are
154    attached.  I don't know if this is worth fixing...)
155    
156    ----------------------------------------------------------------------
157    Name: Matthias Blume (blume (at) tti - c (dot) org)
158    Date: 2004/09/30 10:55:00 CDT
159    Tag: blume-20040930-version
160    Description:
161    
162    * Moved the "version" magic into its own little library under
163    src/system/smlnj/internal.  This avoids expensive reconstruction
164    of a stable src/compiler/core.cm.
165    
166    * At the same time, structure CompilerVersion is now known as structure
167    SMLNJVersion.
168    
169    * Arranged for the version tool to NOT kick in when rebuilding the system
170      (makeml -rebuild, fixpt).  Otherwise one would never reach a fixpoint.
171      Also, loading the versiontool does not work when rebuilding the system
172      because CM is not properly initialized at that time.
173    
174    ----------------------------------------------------------------------
175    Name: Matthias Blume (blume (at) tti - c (dot) org)
176  Date: 2004/09/29 14:00:00 CDT  Date: 2004/09/29 14:00:00 CDT
177  Tag: blume-20040929-autoversion  Tag: blume-20040929-autoversion
178  Description:  Description:

Legend:
Removed from v.1638  
changed lines
  Added in v.1655

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