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

Legend:
Removed from v.1645  
changed lines
  Added in v.1672

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