Diff of /sml/trunk/HISTORY

Parent Directory | Revision Log | Patch

	revision 756, Thu Dec 14 16:01:33 2000 UTC	revision 815, Fri May 4 05:09:10 2001 UTC
#	Line 12	Line 12
12	Tag: <post-commit CVS tag>	Tag: <post-commit CVS tag>
13	Description:	Description:
14	----------------------------------------------------------------------	----------------------------------------------------------------------
15		Name: Allen Leung
16		Date: 2001/05/04 01:57:00 EDT
17		Tag: leunga-20010504-sync
18		Description:
19
20		MLRISC features.
21
22		1. Fix to CMPXCHG instructions.
23		2. Changed RA interface to allow annotations in callbacks.
24		3. Added a new method to the stream interface to allow annotations updates.
25
26		----------------------------------------------------------------------
27		Name: Matthias Blume
28		Date: 2001/05/01 11:45:00 EDT
29		Tag: blume-20010501-pcedittmp
30		Description:
31
32		Changed install.sh to use the current working directory instead of
33		/usr/tmp for a temporary file (pcedittmp).  The previous choice
34		of /usr/tmp caused trouble with MacOS X because of file premission
35		problems.
36
37		----------------------------------------------------------------------
38		Name: Matthias Blume
39		Date: 2001/04/20 11:10:00 EDT
40		Tag: blume-20010420-inMLflag
41		Description:
42
43		- added vp_limitPtrMask to vproc-state.h
44		(for use by the raw-C-calls mechanism to implement proper interrupt
45		handling)
46		- made the ML compiler aware of various data-structure offsets so it
47		can generate code for accessing the vp_inML flag and vp_limitPtrMask
48		- tweaked mlriscGen.sml to have it emit interrupt-handling code for
49		raw C-calls
50
51		----------------------------------------------------------------------
52		Name: Lal George
53		Date: 2001/04/20 09:15:28 EDT
54		Tag: george-20010420-macosX
55		Description:
56
57		- Changes to port to Mac OS X; Darwin.
58
59		- In the process I found that sqrt was broken on the PPC, because the
60		fsqrt instruction is not implemented.
61
62		----------------------------------------------------------------------
63		Name: Matthias Blume
64		Date: 2001/04/18 12:45:00 EDT
65		Tag: blume-20010418-ccalls
66		Description:
67
68		- fixed two off-by-4 errors in the x86-specific c-calls implementation
69		(this bug prevented structure arguments containing pointers from being
70		passed correctly)
71		- changed the raw-C-call code in mlriscGen.sml in such a way that
72		structure arguments are represented as a pointer to the beginning
73		of the structure (instead of having a series of synthesized arguments,
74		one for each structure member)
75
76		- made makeml script's verbosity level configurable via environment
77		variable (MAKEML_VERBOSITY)
78
79		- eliminated placeholder implementations for f32l, w16s, i16s, and f32s
80		in rawmem-x86.sml; we are now using the real thing
81
82		----------------------------------------------------------------------
83		Name: Matthias Blume
84		Date: 2001/03/22 16:25:00 EST
85		Tag: blume-20010322-bootfiles
86		Description:
87
88		Created a new set of bootfiles (for your automatic installation convenience).
89
90		----------------------------------------------------------------------
91		Name: Matthias Blume
92		Date: 2001/03/22 15:10:00 EST
93		Tag: blume-20010322-rawmem-parcm
94		Description:
95
96		1. All "raw memory access" primitives for the new FFI are implemented now
97		(at least on the x86).
98		2. Some further cleanup of CM's parallel make mechanism.
99
100		----------------------------------------------------------------------
101		Name: Matthias Blume
102		Date: 2001/03/19 17:53:00 EST
103		Tag: blume-20010319-parallel
104		Description:
105
106		Parallel make (using compile servers) now works again.
107
108		To this end, CM.stabilize and CMB.make have been modified to work in
109		two passes when compile servers are attached:
110		1. Compile everything, do not perform stabilization; this pass
111		uses compile servers
112		2. Stabilize everything; this pass does not use compile servers
113		If there are no compile servers, the two passes are combined into one
114		(as before).  Splitting the passes increases the inherent parallelism
115		in the dependency graph because the entire graph including all
116		libraries is available at the same time.  This, in turn, improves
117		server utilization.  The downside is that the master process will
118		have to do some extra work after compilation is done (because for
119		technical reasons it must re-read all the binfiles during stabilization).
120
121		----------------------------------------------------------------------
122		Name: Matthias Blume
123		Date: 2001/03/16 12:22:00 EST
124		Tag: blume-20010316-bootfiles
125		Description:
126
127		Created a new set of bootfiles (for your automatic installation convenience).
128
129		----------------------------------------------------------------------
130		Name: Matthias Blume
131		Date: 2001/03/16 11:00:00 EST
132		Tag: blume-20010316-MLTREE-fixup
133		Description:
134
135		This is a minor fixup for an (untagged) earlier commit by Allen.
136		(A file was missing).
137
138		----------------------------------------------------------------------
139		Name: Allen Leung
140		Date: Mon Mar  5 18:54:57 EST 2001
141		Tag: leunga-20010305-cut-support
142
143		1. New support for alternative control-flow in MLTREE.
144		Currently we support
145
146		FLOW_TO(CALL ...., [k1,...,kn])
147
148		This is needed for 'cuts to' in C-- and try/handle-like constructs
149		in Moby
150
151		New assembler flag "asm-show-cutsto" to turn on control-flow debugging.
152
153		2. Register Allocator
154
155		Changes in interface [from Fermin, John]
156
157		3. Alpha 8-bit SLL support [Fermin]
158
159		4. All architectures
160
161		A new module (ClusterExpandCopies) for expanding parallel copies.
162
163		----------------------------------------------------------------------
164		Name: Allen Leung
165		Date: 2001/02/27 23:07:00 EST
166		Tag: leunga-20010227-minor-stuff
167
168		1. Alpha bug fix for CMOVNE
169		2. Handle mltree COND(..,FCMP ...,...)
170		3. Bug fix in simplifier
171
172		----------------------------------------------------------------------
173		Name: Matthias Blume
174		Date: 2001/01/30 17:50:00 EST
175		Tag: blume-20010130-sync
176		Description:
177
178		This is just a minor update to sync my devel branch with the main brach.
179		The only visible change is the addition of some README files.
180
181		----------------------------------------------------------------------
182		Name: Matthias Blume
183		Date: 2001/01/12 23:30:00 JST
184		Tag: blume-20010112-bootfiles
185		Description:
186
187		Made a new set of bootfiles that goes with the current state of the
188		repository.
189
190		----------------------------------------------------------------------
191		Name: Matthias Blume
192		Date: 2001/01/12 21:20:00 JST
193		Tag: blume-20010112-sync
194		Description:
195
196		I am just flushing out some minor changes that had accumulated in
197		my private branch in order to sync with the main tree.  (This is
198		mainly because I had CVS trouble when trying to merge _into_ my
199		private branch.)
200
201		Most people should be completely unaffected by this.
202
203		----------------------------------------------------------------------
204		Name: Allen Leung
205		Date: Thu Jan 11 21:03:00 EST 2001
206		Tag: leunga-20010111-labexp=mltree
207		Description:
208
209		1.  Removed the type LabelExp and replace it by MLTree.
210		2.  Rewritten mltree-simplify with the pattern matcher tool.
211		3.  There were some bugs in alpha code generator which would break
212		64-bit code generation.
213		4.  Redo the tools to generate code with the
214		5.  The CM files in MLRISC (and in src/system/smlnj/MLRISC)
215		are now generated by perl scripts.
216
217		----------------------------------------------------------------------
218		Name: Matthias Blume
219		Date: 2001/01/10 21:55:00 JST
220		Tag: blume-20010110-rcc
221		Description:
222
223		The RCC stuff now seems to work (but only on the x86).
224		This required hacking of the c-calls interface (and -implementation) in
225		MLRISC.
226
227		Normal compiler users should be unaffected.
228
229		----------------------------------------------------------------------
230		Name: Matthias Blume
231		Date: 2001/01/09 01:20:00 JST
232		Tag: blume-20010109-rcc
233		Description:
234
235		This is a fairly big patch, flushing out a large number of pending
236		changes that I made to my development copy over the last couple of days.
237
238		Of practical relevance at this moment is a workaround for a pickling
239		bug that Allen ran into the other day.  The cause of the bug itself is
240		still unknown and it might be hard to fix it properly, but the
241		workaround has some merits of its own (namely somewhat reducing pickling
242		overhead for certain libraries).  Therefore, I think this solution should
243		be satisfactory at this time.
244
245		The rest of the changes (i.e., the vast majority) has to do with my
246		ongoing efforts of providing direct support for C function calls from
247		ML.  At the moment there is a new primop "RAW_CCALL", typing magic
248		in types/cproto.sml (invoked from FLINT/trans/translate.sml), a new
249		case in the FLINT CPS datatype (RCC), changes to cps/convert.sml to
250		translate uses of RAW_CCALL into RCC, and changes to mlriscGen.sml to
251		handle RCC.
252
253		The last part (the changes to mlriscGen.sml) are still known to be
254		wrong on the x86 and not implemented on all other architectures.  But
255		the infrastructure is in place. I had to change a few functor
256		signatures in the backend to be able to route the CCalls interface
257		from MLRISC there, and I had to specialize the mltree type (on the
258		x86) to include the necessary extensions. (The extensions themselves
259		were already there and redy to go in MLRISC/x86).
260
261		Everything should be very happy as soon as someone helps me with
262		mlriscGen.sml...
263
264		In any case, nothing of this should matter to anyone as long as the
265		new primop is not being used (which is going to be the case unless you
266		find it where I hid it :). The rest of the compiler is completely
267		unaffected.
268
269		----------------------------------------------------------------------
270		Name: Matthias Blume
271		Date: 2001/01/05 00:30:00 JST
272		Tag: blume-20010105-primops
273		Description:
274
275		Added some experimental support for work that I am doing right now.
276		These changes mostly concern added primops, but there is also a new
277		experimental C library in the runtime system (but currently not enabled
278		anywhere except on Linux/X86).
279
280		In the course of adding primops (and playing with them), I discovered that
281		Zhong's INL_PRIM hack (no type info for certain primops) was, in fact, badly
282		broken.  (Zhong was very right he labeled this stuff as "major gross hack".)
283		To recover, I made type information in INL_PRIM mandatory and changed
284		prim.sml as well as built-in.sml accordingly.  The InLine structure now
285		has complete, correct type information (i.e., no bottom types).
286
287		Since all these changes mean that we need new binfiles, I also bumped the
288		version number to 110.32.1.
289
290		----------------------------------------------------------------------
291		Name: Matthias Blume
292		Date: 2000/12/30 22:10:00 JST
293		Tag: blume-20001230-various
294		Description:
295
296		Added proxy libraries for MLRISC and let MLRISC libraries refer
297		to each other using path anchors.  (See CM manual for explanation.)
298
299		Updated CM documentation.
300
301		Fixed some bugs in CM.
302
303		Implemented "proxy" libraries (= syntactic sugar for CM).
304
305		Added "-quiet" option to makeml and changed runtime system accordingly.
306
307		Added cleanup handler for exportML to reset timers and compiler stats.
308
309		----------------------------------------------------------------------
310		Name: Lal George
311		Date: 2000/12/22 22:22:58 EST 2000
312		Tag: Release_110_32
313		Description:
314
315		Infinite precision used throughout MLRISC.
316		see MLRISC/mltree/machine-int.sig
317
318		----------------------------------------------------------------------
319		Name: Matthias Blume
320		Date: 2000/12/22 23:16:00 JST
321		Tag: blume-20001222-warn
322		Description:
323
324		Corrected wording and formatting of some CM warning message which I
325		broke in my previous patch.
326
327		----------------------------------------------------------------------
328		Name: Matthias Blume
329		Date: 2000/12/22 21:20:00 JST
330		Tag: blume-20001222-anchorenv
331		Description:
332
333		Fixed CM's handling of anchor environments in connection with CMB.make.
334
335		----------------------------------------------------------------------
336		Name: Matthias Blume
337		Date: 2000/12/22 13:15:00 JST
338		Tag: blume-20001222-cleanup
339		Description:
340
341		Removed src/cm/ffi which does not (and did not) belong here.
342
343		----------------------------------------------------------------------
344		Name: Matthias Blume
345		Date: 2000/12/21 23:55:00 JST
346		Tag: blume-20001221-exn
347		Description:
348
349		Probably most important: CM no longer silently swallows all exceptions
350		in the compiler.
351		Plus: some other minor CM changes.  For example, CM now reports some
352		sizes for generated binfiles (code, data, envpickle, lambdapickle).
353
354		----------------------------------------------------------------------
355	Name: Matthias Blume	Name: Matthias Blume
356	Date: 2000/12/15 00:01:05 JST	Date: 2000/12/15 00:01:05 JST
357	Tag: blume-20001215-dirtool	Tag: blume-20001215-dirtool

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.756   changed lines   Added in v.815

---

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