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

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