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

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