Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Annotation of /cml/trunk/CHANGES
ViewVC logotype

Annotation of /cml/trunk/CHANGES

Parent Directory Parent Directory | Revision Log Revision Log


Revision 844 - (view) (download)
Original Path: sml/trunk/src/cml/CHANGES

1 : monnier 2 This is a record of changes made to CML and the CML Library.
2 :     ------------------------------------------------------------
3 : blume 844 [2001-06-20]
4 :     Ported to SML/NJ 110.33 (in particular, the new CM).
5 :     Under the new CM, the CML library is known as $cml/cml.cm
6 :     and there is a CML-specific replacement for $/basis.cm
7 :     known as $cml/basis.cm. Two additional libraries
8 :     ($cml/cml-internal.cm and $cml/core-cml.cm) are used
9 :     internally but should not be referred to directly by client code.
10 :     A CML-specific replacement for $/smlnj-lib.cm is
11 :     known as $cml-lib/smlnj-lib.cm. The trace module is
12 :     $cml-lib/trace-cml.cm. (The aforementioned $cml/core-cml.cm
13 :     exists mainly to make it possible for $cml-lib/trace-cml.cm
14 :     to refer to it.)
15 : monnier 2
16 : blume 844 [2001-03-8]
17 :     Fixed a problem in the ordering of clean-up actions. IO streams
18 :     were being cleaned before servers, which meant that servers could
19 :     not use I/O in initialization or shutdown.
20 : monnier 167
21 : blume 844 [2001-01-14]
22 :     Fixed a bug in the timeout manager. Cleanup actions were being
23 :     executed twice, which breaks withNack.
24 : monnier 167
25 : blume 844 [2000-12-12]
26 :     Fixed a bug in the I/O manager (core-cml/io-manager.sml), where
27 :     if there were two threads blocked on the same descriptor (one
28 :     reading and one writing), the result might be matched to the
29 :     wrong thread.
30 :    
31 :     [2000-09-28]
32 :     Version 1.0.13 (SML/NJ Version 110.0.7)
33 :    
34 :     [2000-09-27]
35 :     Updated the CML Library to track additions to the SML/NJ Library.
36 :    
37 :     [1999-12-08]
38 :     Fixed a collection of bugs in event.sml related to the handling of
39 :     negative acknowledgements.
40 :    
41 :     [1999-12-01]
42 :     Modified RunCML.doit to install a dummy print hook. This prevents
43 :     the bug of SML/NJ's print function being called during CML execution
44 :     (the CML print function is installed by code in TextIO, but that
45 :     code isn't loaded by CML when the application does not specifically
46 :     mention TextIO).
47 :    
48 :     Version 1.0.12 (SML/NJ 110.0.6 and 110.8)
49 : monnier 139 -----------------------------------------
50 : monnier 106
51 : blume 844 [1999-09-29]
52 :     Updated the CML Library to track additions to the SML/NJ Library.
53 : monnier 139
54 : blume 844 [1999-07-05]
55 :     Added support for Win32 sockets (thanks to Riccardo Pucella).
56 : monnier 139
57 : blume 844 [1998-08-04]
58 :     Added preliminary Win32 implementation (thanks to Riccardo Pucella).
59 : monnier 106
60 : blume 844 [1998-06-01]
61 :     Fixed type of inputLineEvt in CML_TEXT_STREAM_IO (thanks to A. Appel).
62 : monnier 106
63 : blume 844 [1998-03-12]
64 :     Fixed bug in ChanIOFn (failure to spawn threads).
65 :    
66 :    
67 : monnier 8 Version 1.0.11 (SML/NJ 109.33 and 110)
68 :     --------------------------------------
69 :    
70 : blume 844 [1997-11-21]
71 :     Added TextIO.scanStream function.
72 : monnier 8
73 : blume 844 [1997-11-21]
74 :     Added import of PathUtil:PATH_UTIL to CML library.
75 : monnier 8
76 :    
77 :     Version 1.0.10 (SML/NJ 109.32)
78 :     ------------------------------
79 :    
80 : blume 844 [1997-09-18]
81 :     Fixed a scheduler bug that occured when the atomicState was SignalPending
82 :     and atomicSwitchTo was used to exit the atomic region.
83 : monnier 8
84 : blume 844 [1997-09-15]
85 :     Fixed a bug in the RunCML.doit code that prevented multiple runs (this bug
86 :     was exposed by the previous bug fix).
87 : monnier 8
88 : blume 844 [1997-09-15]
89 :     Fixed a serious bug with the internal condition variables (Event.atomicCVarSet
90 :     was not changing the state of the variable).
91 : monnier 8
92 : blume 844 [1997-09-15]
93 :     Introduced datatype rebinding to eliminate some structure opening.
94 : monnier 8
95 : blume 844 [1997-09-14]
96 :     Moved definition of tidToString to RepTypes, so that it can be used in
97 :     debugging the CML internals.
98 : monnier 8
99 : blume 844 [1997-09-12]
100 :     Server initialization/shutdown is now handled by a dedicated cleanup
101 :     routine. Eventually, each server should define its own cleanup routine,
102 :     and we'll get rid of logServer.
103 : monnier 8
104 : blume 844 [1997-09-12]
105 :     Fixed bugs in the initialization and shutdown protocols for the standard
106 :     text streams.
107 : monnier 8
108 :    
109 : monnier 2 Version 1.0.9 (SML/NJ 109.31)
110 :     -----------------------------
111 :    
112 : blume 844 [1997-09-02]
113 :     Added cleanup code for the I/O stacks (including the standard I/O streams).
114 : monnier 2
115 : blume 844 [1997-08-29]
116 :     Implemented a clean-up mechansim that is similar to that provided by
117 :     SML/NJ. The logging of global servers for initialization/shutdown
118 :     is now done using cleaners, which provide somewhat finer control.
119 :     Channel and mailbox logging is still supported, but the initialization
120 :     is done by a dedicated cleaner. This change is part of the overhaul
121 :     of RunCML.
122 : monnier 2
123 : blume 844 [1997-08-28]
124 :     Qualified the use of the "cont" type constructor, which is no longer
125 :     available at top level.
126 : monnier 2
127 : blume 844 [1997-08-28]
128 :     Replaced a few holdover uses of "abstraction" with opaque signature matching.
129 : monnier 2
130 : blume 844 [1997-08-15]
131 :     RunCML.doit now returns an OS.Process.status value. If a CML program
132 :     uses OS.Process.{exit,terminate} to shutdown, then the status argument
133 :     is returned as the result. If the system shuts down because of deadlock,
134 :     the OS.Process.failure is returned.
135 : monnier 2
136 : blume 844 [1997-08-15]
137 :     Many changes to ensure that exportFn images do not include the entire
138 :     top-level environment. These include: using SMLofNJ.isolate to create
139 :     top-level continuations, and reimplementing RunCML.exportFn to do better
140 :     housekeeping. To get this to work also required a number of changes
141 :     to the SML/NJ sources.
142 : monnier 2
143 : blume 844 [1997-08-15]
144 :     Fixed bug in scheduler, where a timer interrupt in an atomic region
145 :     was not getting marked by SignalPending.
146 : monnier 2
147 : blume 844 [1997-07-24]
148 :     The TextIO.output* functions did not implement line buffering; this
149 :     has now been added.
150 : monnier 2
151 :    
152 :     Version 1.0.8 (SML/NJ 109.30)
153 :     -----------------------------
154 :    
155 : blume 844 [1997-07-11]
156 :     Changed uses of System.Unsafe to Unsafe.
157 : monnier 2
158 : blume 844 [1997-07-11]
159 :     Eliminated redefinition of Scheduler structure to avoid loss of inlining,
160 :     since the compiler handles this properly now.
161 : monnier 2
162 : blume 844 [1997-07-11]
163 :     Added Atom.atom' (tracking SML/NJ library changes)
164 : monnier 2
165 : blume 844 [1997-06-30]
166 :     Removed Array2:ARRAY2 from library, as this is now gone from the
167 :     SML/NJ library.
168 : monnier 2
169 :    
170 :     Version 1.0.7 (SML/NJ 109.29)
171 :     -----------------------------
172 :    
173 : blume 844 [1997-06-11]
174 :     Changed OS.IO.{pollErr,isErr} to OS.IO.{pollPri,isPri} (this tracks fixes
175 :     in the SML/NJ implementation of the SML Basis Library.
176 : monnier 2
177 : blume 844 [1997-06-11]
178 :     Changes to src/Unix/posix-bin-prim-io.sml to track basis fixes.
179 : monnier 2
180 :    
181 :     Version 1.0.6 (SML/NJ 109.28)
182 :     -----------------------------
183 :    
184 : blume 844 [1997-05-21]
185 :     Added a temporary fix so that input operations do not cause the whole
186 :     CML system to block waiting for input. Eventually, there should be a
187 :     CML version of the complete Posix API, which is the right way to avoid
188 :     this problem.
189 : monnier 2
190 : blume 844 [1997-05-21]
191 :     Added RunCML.exportFn.
192 :     NOTE: there are some problems with the size of exported images that
193 :     need to be tracked down and fixed.
194 : monnier 2
195 :    
196 :     Version 1.0.5 (SML/NJ 109.26)
197 :     -----------------------------
198 :    
199 : blume 844 [1997-03-18]
200 :     Added SyncVar.{mSwap,mSwapEvt} operations, and changed the implementation
201 :     of multicast channels to use it.
202 : monnier 2
203 : blume 844 [1997-03-17]
204 :     Modified SyncVar.{mGet,mGetEvt} to resume other blocked threads (just
205 :     as iGet does).
206 : monnier 2
207 : blume 844 [1997-03-16]
208 :     Fixed a bug in SyncVar.{mTake,mTakeEvt}, where the cell was not getting
209 :     emptied in some execution paths.
210 : monnier 2
211 : blume 844 [1997-03-15]
212 :     Added an "error thread," which is enqueued when CML is not running.
213 :     This thread will get dispatched if someone tries to execute a CML
214 :     operation without using RunCML.doit (not including channel allocation,
215 :     etc.). I also added a top-level call to Scheduler.reset, which will
216 :     ensure that the current thread ID is initialized.
217 : monnier 2
218 : blume 844 [1997-03-13]
219 :     Fixed a serious bug in SyncVar.{iPut,mPut}, where the cell was not
220 :     getting filled in some cases.
221 : monnier 2
222 :    
223 :     Version 1.0.4 (SML/NJ 109.25.2)
224 :     -------------------------------
225 :    
226 : blume 844 [1997-02-28]
227 :     Added some additional modules to the CML Library: IOUtil:IO_UTIL and
228 :     KeywordsFn. These were recent additions to the SML/NJ Library. I also
229 :     reorganized the directory structure of the CML library to make it easier
230 :     to track changes in the SML/NJ Library.
231 : monnier 2
232 : blume 844 [1997-02-28]
233 :     Tracked changes in location of continuation operations changed in SML/NJ.
234 : monnier 2
235 :    
236 :     Version 1.0.3 (SML/NJ 109.25.1)
237 :     -------------------------------
238 :    
239 : blume 844 [1997-02-25]
240 :     Fixed bugs in the implementation of the pauseHook and schedulerHook in
241 :     RunCMLFn (missing atomicBegin).
242 : monnier 2
243 : blume 844 [1997-02-25]
244 :     Fixed bug in implementation of TraceCML when TraceToFile was set as the
245 :     destination.
246 : monnier 2
247 : blume 844 [1997-02-18]
248 :     Fixed bug in random access support in BinIOFn and TextIOFn (bug also in
249 :     SML/NJ implementation).
250 : monnier 2
251 : blume 844 [1997-02-17]
252 :     Added logging/unlogging for global mailboxes.
253 : monnier 2
254 : blume 844 [1997-02-17]
255 :     Fixed bug in the TraceCML.unwatchThread. Also changed the implementation
256 :     to avoid potential races between unwatching a thread and its termination.
257 : monnier 2
258 : blume 844 [1997-02-15]
259 :     Various changes to the Scheduler module to improve robustness. Added
260 :     an exception handler around the function in enqueueTmpThread. Replaced
261 :     enqueueCurThread with enqueueAndSwitchCurThread, which keeps the thread
262 :     ID bookkeeping in the same place. And fixed a bug(?) where atomicSwitchTo
263 :     was failing to set the current thread ID properly.
264 : monnier 2
265 : blume 844 [1997-02-04]
266 :     Added sendPoll operation on channels to CML structure.
267 : monnier 2
268 :    
269 :     Version 1.0.2 (SML/NJ 109.25)
270 :     -----------------------------
271 :    
272 : blume 844 [1997-01-30]
273 :     Added documentation for the Multicast and TraceCML library modules.
274 : monnier 2
275 : blume 844 [1997-01-30]
276 :     Made minor improvements to the implementation of TraceCML.
277 : monnier 2
278 : blume 844 [1997-01-29]
279 :     Changes to the SML/NJ system (available in 109.25) now make it possible
280 :     to use the top-level print function in CML programs (it gets dynamically
281 :     rebound to CML's version of TextIO.print when a CML program starts running).
282 : monnier 2
283 : blume 844 [1997-01-27]
284 :     Renamed CML.atEvt to CML.atTimeEvt.
285 : monnier 2
286 : blume 844 [1997-01-26]
287 :     Added SimpleRPC:SIMPLE_RPC to the CML library.
288 : monnier 2
289 : blume 844 [1997-01-26]
290 :     Fixed a bug in the I/O manager for the case when two I/O events became
291 :     enabled for the same thread at the same time.
292 : monnier 2
293 :    
294 :     Version 1.0.1 (SML/NJ 109.22)
295 :     -----------------------------
296 :    
297 : blume 844 [1996-11-09]
298 :     Added UnixEnv:UNIX_ENV to the structures reexported from the CML library.
299 : monnier 2
300 : blume 844 [1996-11-07]
301 :     Fixed bug in {TextIO,BinIO}.StreamIO.endOfStream, where more m-variable
302 :     was getting multiple puts.
303 : monnier 2
304 :    
305 :     Version 1.0 (SML/NJ 109.21.1)
306 :     -----------------------------
307 :    
308 : blume 844 [1996-11-01]
309 :     Added version and banner to CML structure.
310 : monnier 2
311 : blume 844 [1996-11-01]
312 :     Added CML version of Unix structure.
313 : monnier 2
314 : blume 844 [1996-11-01]
315 :     Changed the implementation of the internal condition variables to make
316 :     them work correctly.
317 : monnier 2
318 : blume 844 [1996-11-01]
319 :     Added implementation of OS.IO.poll and OS.IO.pollEvt.
320 : monnier 2
321 : blume 844 [1996-11-01]
322 :     Fixed implementation of Socket.connect.
323 : monnier 2

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