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

Diff of /sml/trunk/HISTORY

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

revision 1644, Sat Oct 9 03:50:36 2004 UTC revision 1682, Tue Nov 9 23:48:09 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/11/09 17:50:00 CST
18    Tag: blume-20041109-64bit
19    Description:
20    
21    Started adding some infrastructure for supporting 64-bit int- and
22    word-types.  (Still in its very early stages.)
23    
24    ----------------------------------------------------------------------
25    Name: Matthias Blume (blume (at) tti - c (dot) org)
26    Date: 2004/10/28 10:45:00 CDT
27    Tag: Release_110_50
28    Description:
29    
30    New working version (110.50).  NEW BOOTFILES!
31    
32                 =====================
33    
34    Also:
35    
36      - Changend config/srcarchiveurl from a file just
37        containing the URL string into a file containing
38        shell script code.  The code has access to the $VERSION variable.
39      - Made corresponding changes to config/install.sh and config/unpack.
40      - Default contents of config/srcarchiveurl uses $VERSION and
41        normally does not have to be edited to reflect a version change.
42    
43      (As a result, a version change can be done by just editing
44       config/version, the rest is now automatic.)
45    
46    ----------------------------------------------------------------------
47    Name: Matthias Blume (blume (at) tti - c (dot) org)
48    Date: 2004/10/27 17:50:00 CDT
49    Tag: blume-20041027-btrace-msg
50    Description:
51    
52    BackTrace.monitor now also reports the source of the exception that
53    triggered the trace.
54    
55    ----------------------------------------------------------------------
56    Name: Matthias Blume (blume (at) tti - c (dot) org)
57    Date: 2004/10/27 17:20:00 CDT
58    Tag: blume-20041027-x86-c-calls
59    Description:
60    
61    This is the HISTORY entry for two earlier commits, both concerning
62    the x86 c-calls code in MLRISC:
63    
64      - added a missing LOAD in the code that deals with struct arguments
65      - made sure the caller does not add the wrong number of bytes to the
66        stack pointer after a call of a function returning a struct
67        (the callee already pops the implicit argument which points to
68         the space reserved for the result)
69    
70    ----------------------------------------------------------------------
71    Name: Allen Leung (leunga (at) reservoir (dot) com)
72    Date: 2004/10/24 14:00:00 EST
73    Tag: leunga-20041024-x86-gas-fucomip
74    Description:
75    
76       John discovered a bug in the syntax of fucomip.
77       The opcodes FU?COMIP? have been changed to
78    
79           fu?comip? %st(i), %st
80    
81    ----------------------------------------------------------------------
82    Name: Matthias Blume (blume (at) tti - c (dot) org)
83    Date: 2004/10/20 15:06:00 CDT
84    Tag: blume-20041020-standalone-backtrace
85    Description:
86    
87    Added a mechanism for getting back-trace information from standalone
88    programs.  Here is how it works:
89    
90       1. The part of the program from which you want to get backtrace
91          information (usually the whole program) should be wrapped with
92          BackTrace.monitor.  This is a (unit->'a)->'a function, and your
93          main program could be modified from something like
94    
95             fun main (pgm, args) = ...
96    
97         to
98    
99            fun main (pgm, args) = BackTrace.monitor (fn () => ...)
100    
101       2. To be able to access BackTrace.monitor, you have to add
102          library $smlnj-tdp/plugins.cm to the .cm file that contains your
103          main function.
104    
105       3. Remove all compiled code (i.e., all the .cm/ subdirectories that
106          CM might have created in the past for your project).
107    
108       4. Build the system using this command line:
109    
110             ml-build -Ctdp.instrument=true \$smlnj-tdp/back-trace.cm \
111                      myprog.cm MyProg.main myprog
112    
113          instead of the usual
114    
115             ml-build myprog.cm MyProg.main myprog
116    
117    I changed a library name:
118    
119       $/trace-debug-profile.cm --> $smlnj-tdp/plugins.cm
120    
121    New libraries:
122    
123       $smlnj-tdp/back-trace.cm
124          -- when loaded causes the back-trace plugin to be installed
125       $smlnj-tdp/coverage.cm
126          -- when loaded causes the coverage plugin to be installed
127    
128    ----------------------------------------------------------------------
129    Name: Matthias Blume (blume (at) tti - c (dot) org)
130    Date: 2004/10/18 16:45:00 CDT
131    Tag: blume-20041018-groupowner
132    Description:
133    
134    Added an "obsolete" warning for the "group owner" syntax to CM's parser.
135    
136    Eliminated group owner specs from .cm files throughout the source tree.
137    
138    ----------------------------------------------------------------------
139    Name: Matthias Blume (blume (at) tti - c (dot) org)
140    Date: 2004/10/15 15:45:00 CDT
141    Tag: blume-20041015-coverage
142    Description:
143    
144    * Test coverage tool added!
145    * Further reorganization of tracing-, debugging-, and profiling support:
146    
147        - moved original BTImp -- now called BackTrace -- into a separate
148          library called $/trace-debug-profile.cm
149        - eliminated all mentions of BTrace from SMLofNJ.Internals
150        - only the instrumentation mechanism is now left in the compiler proper
151        - BackTrace module is a plugin which is NOT plugged in by default
152        - Coverage module is another such plugin
153    
154    To get the benefits of any of these plugin modules, the code in
155    question must be compiled with tdp instrumentation turned on.  This
156    can be done by setting SMLofNJ.Internals.TDP.mode to true.
157    (The ref cell is also controlled via the -Ctdp.instrument=... switch.)
158    
159    Plugins are selected at link time.  (Pre-compiled instrumented code
160    can be re-loaded with different plugins in effect.)  When an
161    instrumented module is linked, whatever plugins are at that time
162    enabled will come into effect for that module.
163    
164    To enable the back-trace plugin, load library $/trace-debug-profile.cm
165    and invoke BackTrace.install() (e.g., from the interactive prompt).
166    To enable the coverage plugin, load the same library and invoke
167    Coverage.install().
168    
169    Back-traces are generated automatically on uncaught exceptions and
170    when the code in question explicitly invokes BackTrace.trigger().
171    
172    Coverage (and execution frequency-) information must be queried
173    explicitly by calling Coverage.not_covered and Coverage.hot_spots.
174    
175    ----------------------------------------------------------------------
176    Name: Matthias Blume (blume (at) tti - c (dot) org)
177    Date: 2004/10/14 17:40:00 CDT
178    Tag: blume-20041014-tdp-core
179    Description:
180    
181    Snapshot of a significant overhaul of how the trace/debug/profile support
182    is hooked into the system (specifically: Core and SMLofNJ.Internals).
183    
184    ----------------------------------------------------------------------
185    Name: Matthias Blume (blume (at) tti - c (dot) org)
186    Date: 2004/10/13 16:34:00 CDT
187    Tag: blume-20041013-tdp
188    Description:
189    
190    Some rationalization of names:
191    
192       structure BTrace -> structure TDPInstrument
193       etc.
194    
195    This is is preparation of using the original back-trace
196    instrumentation for other purposes.  "TDP" stands for
197    Trace/Debug/Profile.
198    
199    The control flag controlling whether instrumentation is on or off is now
200    registered under a different name, so instead of running sml as
201    
202     sml -Cinstrument.btrace-mode=true
203    
204    one has to say
205    
206     sml -Ctdp.instrument=true
207    
208    ----------------------------------------------------------------------
209    Name: Matthias Blume (blume (at) tti - c (dot) org)
210    Date: 2004/10/11 16:37:00 CDT
211    Tag: blume-20041011-regions
212    Description:
213    
214    Made some minor modifications to elabcore.sml to have source regions
215    be propagated more tightly -- resulting in better (i.e., smaller)
216    regions being reported in error- and debug messages.
217    
218    ----------------------------------------------------------------------
219    Name: Matthias Blume (blume (at) tti - c (dot) org)
220  Date: 2004/10/08 22:50:00 CDT  Date: 2004/10/08 22:50:00 CDT
221  Tag: blume-20041008-cmkw  Tag: blume-20041008-cmkw
222  Description:  Description:
# Line 70  Line 273 
273  Description:  Description:
274    
275  * Moved the "version" magic into its own little library under  * Moved the "version" magic into its own little library under
276  src/system/smlnj/internal.  This avoids expensive reconstruction    src/system/smlnj/internal.  This avoids expensive reconstruction of
277  of a stable src/compiler/core.cm.    a stable src/compiler/core.cm.
278    
279  * At the same time, structure CompilerVersion is now known as structure  * At the same time, structure CompilerVersion is now known as
280  SMLNJVersion.    structure SMLNJVersion.
281    
282  * Arranged for the version tool to NOT kick in when rebuilding the system  * Arranged for the version tool to NOT kick in when rebuilding the system
283    (makeml -rebuild, fixpt).  Otherwise one would never reach a fixpoint.    (makeml -rebuild, fixpt).  Otherwise one would never reach a fixpoint.

Legend:
Removed from v.1644  
changed lines
  Added in v.1682

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