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 /cml/trunk/CHANGES
ViewVC logotype

Diff of /cml/trunk/CHANGES

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

sml/trunk/src/cml/CHANGES revision 168, Sat Nov 7 20:11:41 1998 UTC cml/trunk/CHANGES revision 2229, Fri Dec 8 04:30:18 2006 UTC
# Line 1  Line 1 
1  This is a record of changes made to CML and the CML Library.  This is a record of changes made to CML and the CML Library.
2  ------------------------------------------------------------  ------------------------------------------------------------
3    
4  Version 1.0.13 (SML/NJ 110.9)  [2006-12-07]
5  -----------------------------          Carried over the fix to the SOCKET signature.
6    
7    - Changes to I/O APIs to track basis changes (deleted in_pos support  [2006-05-04]
8      and changed type of StreamIO.mkInstream).          Fixed bug with iGetPoll, mTakePoll, and mGetPoll.  In some cases, the
9      [1998-10-16]          atomic region was not being closed properly.  The iGetPoll and mGetPoll
10            operations just read the value field now, since there is reads are
11            atomic.
12    
13    [2006-02-27]
14            Fixed bug with the combination of withNack and never, where the
15            negative acknowledgement is never generated.  Thanks to Heath
16            Putnam for the bug report and fix.
17    
18    [2005-02-28]
19            Fixed serious bug in structure Atom. (Must use mvar, not mailbox!)
20    
21    [2005-02-24]
22            Reuse signature ATOM from $/smlnj-lib.cm, thus tracking all changes.
23            Implement structure Atom in terms of structure Atom in $/smlnj-lib.cm
24            by protecting access to the global hashtable using an mbox lock.
25            Atoms can now be created (sequentially) prior to calling RunCML.doit.
26    
27    [2004-11-24]
28            Made the IO implementation agnostic of size of Position.int.
29            (Now compiles with either Position = Int31 or Position = Int64.)
30    
31    [2003-09-23]
32            Accounted for changes to socket API in Basis. (Non-blocking
33            behavior is no longer a stateful property of a socket.  Instead,
34            there are non-blocking versions of most functions in the
35            interface.  This simplifies the CML code since it no longer
36            has to do OS-specific handling of "wouldblock" etc.
37            On the other hand, (trivial) CML implementations of those
38            non-blocking operations had to be added.)
39    
40    [2003-09-12]
41            Accounted for changed type of inputLine.
42    
43    [2003-09-09]
44            Made CML compile under Win32 again.
45    
46    [2003-09-03]
47            Added *_SLICE signatures and *Slice structures (copied from
48            "normal" Basis into CML Basis).
49            Fixed code broken due to API changes (slices).
50    
51    [2003-05-09]
52            Added the missing implementation of StreamIO event constructors
53            (e.g., TextIO.StreamIO.inputEvt).  Note that if you use these
54            operations, then the system may not shutdown when all user threads
55            are blocked.
56    
57    [2003-04-21]
58            The CleanUp.logMailbox function was not protected against
59            interrupts (thanks to David Benson for catching this bug).
60    
61    [2003-04-09]
62            Changed the name of the directory cml-lib/cm to cml-lib/cm-descr
63            in order to avoid a name conflict with cml-lib/CM which gets
64            created by the compilation manager.  (On case-insensitive
65            filesystems such as the one used by MacOS X the two names clash.)
66    
67    [2003-03-10]
68            Documentation cleanup.
69    
70    [2002-10-01]
71            Fixed a bad space leak in the stream I/O implementations.  The
72            cleanup hooks were holding onto the initial buffer, which
73            meant that the entire buffer chain would remain live as long
74            as the stream was live.
75    
76    [2001-06-20]
77            Ported to SML/NJ 110.33 (in particular, the new CM).
78            Under the new CM, the CML library is known as $cml/cml.cm
79            and there is a CML-specific replacement for $/basis.cm
80            known as $cml/basis.cm.  Two additional libraries
81            ($cml/cml-internal.cm and $cml/core-cml.cm) are used
82            internally but should not be referred to directly by client code.
83            A CML-specific replacement for $/smlnj-lib.cm is
84            known as $cml-lib/smlnj-lib.cm.  The trace module is
85            $cml-lib/trace-cml.cm. (The aforementioned $cml/core-cml.cm
86            exists mainly to make it possible for $cml-lib/trace-cml.cm
87            to refer to it.)
88    
89    [2001-03-8]
90            Fixed a problem in the ordering of clean-up actions.  IO streams
91            were being cleaned before servers, which meant that servers could
92            not use I/O in initialization or shutdown.
93    
94    [2001-01-14]
95            Fixed a bug in the timeout manager.  Cleanup actions were being
96            executed twice, which breaks withNack.
97    
98    [2000-12-12]
99            Fixed a bug in the I/O manager (core-cml/io-manager.sml), where
100            if there were two threads blocked on the same descriptor (one
101            reading and one writing), the result might be matched to the
102            wrong thread.
103    
104    [2000-09-28]
105            Version 1.0.13 (SML/NJ Version 110.0.7)
106    
107    [2000-09-27]
108            Updated the CML Library to track additions to the SML/NJ Library.
109    
110    [1999-12-08]
111            Fixed a collection of bugs in event.sml related to the handling of
112            negative acknowledgements.
113    
114    [1999-12-01]
115            Modified RunCML.doit to install a dummy print hook.  This prevents
116            the bug of SML/NJ's print function being called during CML execution
117            (the CML print function is installed by code in TextIO, but that
118            code isn't loaded by CML when the application does not specifically
119            mention TextIO).
120    
121  Version 1.0.12 (SML/NJ 110.0.4 and 110.8)  Version 1.0.12 (SML/NJ 110.0.6 and 110.8)
122  -----------------------------------------  -----------------------------------------
123    
124    - Added preliminary Win32 implementation.  [1999-09-29]
125            Updated the CML Library to track additions to the SML/NJ Library.
126    
127    [1999-07-05]
128            Added support for Win32 sockets (thanks to Riccardo Pucella).
129    
130      [1998-08-04]      [1998-08-04]
131            Added preliminary Win32 implementation (thanks to Riccardo Pucella).
132    
   - Fixed type of inputLineEvt in CML_TEXT_STREAM_IO (thanks to A. Appel).  
133      [1998-06-01]      [1998-06-01]
134            Fixed type of inputLineEvt in CML_TEXT_STREAM_IO (thanks to A. Appel).
135    
   - Fixed bug in ChanIOFn (failure to spawn threads).  
136      [1998-03-12]      [1998-03-12]
137            Fixed bug in ChanIOFn (failure to spawn threads).
138    
139    
140  Version 1.0.11 (SML/NJ 109.33 and 110)  Version 1.0.11 (SML/NJ 109.33 and 110)
141  --------------------------------------  --------------------------------------
142    
   - Added TextIO.scanStream function.  
143      [1997-11-21]      [1997-11-21]
144            Added TextIO.scanStream function.
145    
   - Added import of PathUtil:PATH_UTIL to CML library.  
146      [1997-11-21]      [1997-11-21]
147            Added import of PathUtil:PATH_UTIL to CML library.
148    
149    
150  Version 1.0.10 (SML/NJ 109.32)  Version 1.0.10 (SML/NJ 109.32)
151  ------------------------------  ------------------------------
152    
   - Fixed a scheduler bug that occured when the atomicState was SignalPending  
     and atomicSwitchTo was used to exit the atomic region.  
153      [1997-09-18]      [1997-09-18]
154            Fixed a scheduler bug that occured when the atomicState was SignalPending
155            and atomicSwitchTo was used to exit the atomic region.
156    
   - Fixed a bug in the RunCML.doit code that prevented multiple runs (this bug  
     was exposed by the previous bug fix).  
157      [1997-09-15]      [1997-09-15]
158            Fixed a bug in the RunCML.doit code that prevented multiple runs (this bug
159            was exposed by the previous bug fix).
160    
   - Fixed a serious bug with the internal condition variables (Event.atomicCVarSet  
     was not changing the state of the variable).  
161      [1997-09-15]      [1997-09-15]
162            Fixed a serious bug with the internal condition variables (Event.atomicCVarSet
163            was not changing the state of the variable).
164    
   - Introduced datatype rebinding to eliminate some structure opening.  
165      [1997-09-15]      [1997-09-15]
166            Introduced datatype rebinding to eliminate some structure opening.
167    
   - Moved definition of tidToString to RepTypes, so that it can be used in  
     debugging the CML internals.  
168      [1997-09-14]      [1997-09-14]
169            Moved definition of tidToString to RepTypes, so that it can be used in
170            debugging the CML internals.
171    
172    - Server initialization/shutdown is now handled by a dedicated cleanup  [1997-09-12]
173            Server initialization/shutdown is now handled by a dedicated cleanup
174      routine.  Eventually, each server should define its own cleanup routine,      routine.  Eventually, each server should define its own cleanup routine,
175      and we'll get rid of logServer.      and we'll get rid of logServer.
     [1997-09-12]  
176    
   - Fixed bugs in the initialization and shutdown protocols for the standard  
     text streams.  
177      [1997-09-12]      [1997-09-12]
178            Fixed bugs in the initialization and shutdown protocols for the standard
179            text streams.
180    
181    
182  Version 1.0.9 (SML/NJ 109.31)  Version 1.0.9 (SML/NJ 109.31)
183  -----------------------------  -----------------------------
184    
   - Added cleanup code for the I/O stacks (including the standard I/O streams).  
185      [1997-09-02]      [1997-09-02]
186            Added cleanup code for the I/O stacks (including the standard I/O streams).
187    
188    - Implemented a clean-up mechansim that is similar to that provided by  [1997-08-29]
189            Implemented a clean-up mechansim that is similar to that provided by
190      SML/NJ.  The logging of global servers for initialization/shutdown      SML/NJ.  The logging of global servers for initialization/shutdown
191      is now done using cleaners, which provide somewhat finer control.      is now done using cleaners, which provide somewhat finer control.
192      Channel and mailbox logging is still supported, but the initialization      Channel and mailbox logging is still supported, but the initialization
193      is done by a dedicated cleaner.  This change is part of the overhaul      is done by a dedicated cleaner.  This change is part of the overhaul
194      of RunCML.      of RunCML.
     [1997-08-29]  
195    
   - Qualified the use of the "cont" type constructor, which is no longer  
     available at top level.  
196      [1997-08-28]      [1997-08-28]
197            Qualified the use of the "cont" type constructor, which is no longer
198            available at top level.
199    
   - Replaced a few holdover uses of "abstraction" with opaque signature matching.  
200      [1997-08-28]      [1997-08-28]
201            Replaced a few holdover uses of "abstraction" with opaque signature matching.
202    
203    - RunCML.doit now returns an OS.Process.status value.  If a CML program  [1997-08-15]
204            RunCML.doit now returns an OS.Process.status value.  If a CML program
205      uses OS.Process.{exit,terminate} to shutdown, then the status argument      uses OS.Process.{exit,terminate} to shutdown, then the status argument
206      is returned as the result.  If the system shuts down because of deadlock,      is returned as the result.  If the system shuts down because of deadlock,
207      the OS.Process.failure is returned.      the OS.Process.failure is returned.
     [1997-08-15]  
208    
209    - Many changes to ensure that exportFn images do not include the entire  [1997-08-15]
210            Many changes to ensure that exportFn images do not include the entire
211      top-level environment.  These include: using SMLofNJ.isolate to create      top-level environment.  These include: using SMLofNJ.isolate to create
212      top-level continuations, and reimplementing RunCML.exportFn to do better      top-level continuations, and reimplementing RunCML.exportFn to do better
213      housekeeping.  To get this to work also required a number of changes      housekeeping.  To get this to work also required a number of changes
214      to the SML/NJ sources.      to the SML/NJ sources.
     [1997-08-15]  
215    
   - Fixed bug in scheduler, where a timer interrupt in an atomic region  
     was not getting marked by SignalPending.  
216      [1997-08-15]      [1997-08-15]
217            Fixed bug in scheduler, where a timer interrupt in an atomic region
218            was not getting marked by SignalPending.
219    
   - The TextIO.output* functions did not implement line buffering; this  
     has now been added.  
220      [1997-07-24]      [1997-07-24]
221            The TextIO.output* functions did not implement line buffering; this
222            has now been added.
223    
224    
225  Version 1.0.8 (SML/NJ 109.30)  Version 1.0.8 (SML/NJ 109.30)
226  -----------------------------  -----------------------------
227    
   - Changed uses of System.Unsafe to Unsafe.  
228      [1997-07-11]      [1997-07-11]
229            Changed uses of System.Unsafe to Unsafe.
230    
   - Eliminated redefinition of Scheduler structure to avoid loss of inlining,  
     since the compiler handles this properly now.  
231      [1997-07-11]      [1997-07-11]
232            Eliminated redefinition of Scheduler structure to avoid loss of inlining,
233            since the compiler handles this properly now.
234    
   - Added Atom.atom' (tracking SML/NJ library changes)  
235      [1997-07-11]      [1997-07-11]
236            Added Atom.atom' (tracking SML/NJ library changes)
237    
   - Removed Array2:ARRAY2 from library, as this is now gone from the  
     SML/NJ library.  
238      [1997-06-30]      [1997-06-30]
239            Removed Array2:ARRAY2 from library, as this is now gone from the
240            SML/NJ library.
241    
242    
243  Version 1.0.7 (SML/NJ 109.29)  Version 1.0.7 (SML/NJ 109.29)
244  -----------------------------  -----------------------------
245    
   - Changed OS.IO.{pollErr,isErr} to OS.IO.{pollPri,isPri} (this tracks fixes  
     in the SML/NJ implementation of the SML Basis Library.  
246      [1997-06-11]      [1997-06-11]
247            Changed OS.IO.{pollErr,isErr} to OS.IO.{pollPri,isPri} (this tracks fixes
248            in the SML/NJ implementation of the SML Basis Library.
249    
   - Changes to src/Unix/posix-bin-prim-io.sml to track basis fixes.  
250      [1997-06-11]      [1997-06-11]
251            Changes to src/Unix/posix-bin-prim-io.sml to track basis fixes.
252    
253    
254  Version 1.0.6 (SML/NJ 109.28)  Version 1.0.6 (SML/NJ 109.28)
255  -----------------------------  -----------------------------
256    
257    - Added a temporary fix so that input operations do not cause the whole  [1997-05-21]
258            Added a temporary fix so that input operations do not cause the whole
259      CML system to block waiting for input.  Eventually, there should be a      CML system to block waiting for input.  Eventually, there should be a
260      CML version of the complete Posix API, which is the right way to avoid      CML version of the complete Posix API, which is the right way to avoid
261      this problem.      this problem.
     [1997-05-21]  
262    
263    - Added RunCML.exportFn.  [1997-05-21]
264            Added RunCML.exportFn.
265      NOTE: there are some problems with the size of exported images that      NOTE: there are some problems with the size of exported images that
266      need to be tracked down and fixed.      need to be tracked down and fixed.
     [1997-05-21]  
267    
268    
269  Version 1.0.5 (SML/NJ 109.26)  Version 1.0.5 (SML/NJ 109.26)
270  -----------------------------  -----------------------------
271    
   - Added SyncVar.{mSwap,mSwapEvt} operations, and changed the implementation  
     of multicast channels to use it.  
272      [1997-03-18]      [1997-03-18]
273            Added SyncVar.{mSwap,mSwapEvt} operations, and changed the implementation
274            of multicast channels to use it.
275    
   - Modified SyncVar.{mGet,mGetEvt} to resume other blocked threads (just  
     as iGet does).  
276      [1997-03-17]      [1997-03-17]
277            Modified SyncVar.{mGet,mGetEvt} to resume other blocked threads (just
278            as iGet does).
279    
   - Fixed a bug in SyncVar.{mTake,mTakeEvt}, where the cell was not getting  
     emptied in some execution paths.  
280      [1997-03-16]      [1997-03-16]
281            Fixed a bug in SyncVar.{mTake,mTakeEvt}, where the cell was not getting
282            emptied in some execution paths.
283    
284    - Added an "error thread," which is enqueued when CML is not running.  [1997-03-15]
285            Added an "error thread," which is enqueued when CML is not running.
286      This thread will get dispatched if someone tries to execute a CML      This thread will get dispatched if someone tries to execute a CML
287      operation without using RunCML.doit (not including channel allocation,      operation without using RunCML.doit (not including channel allocation,
288      etc.).  I also added a top-level call to Scheduler.reset, which will      etc.).  I also added a top-level call to Scheduler.reset, which will
289      ensure that the current thread ID is initialized.      ensure that the current thread ID is initialized.
     [1997-03-15]  
290    
   - Fixed a serious bug in SyncVar.{iPut,mPut}, where the cell was not  
     getting filled in some cases.  
291      [1997-03-13]      [1997-03-13]
292            Fixed a serious bug in SyncVar.{iPut,mPut}, where the cell was not
293            getting filled in some cases.
294    
295    
296  Version 1.0.4 (SML/NJ 109.25.2)  Version 1.0.4 (SML/NJ 109.25.2)
297  -------------------------------  -------------------------------
298    
299    - Added some additional modules to the CML Library: IOUtil:IO_UTIL and  [1997-02-28]
300            Added some additional modules to the CML Library: IOUtil:IO_UTIL and
301      KeywordsFn.  These were recent additions to the SML/NJ Library.  I also      KeywordsFn.  These were recent additions to the SML/NJ Library.  I also
302      reorganized the directory structure of the CML library to make it easier      reorganized the directory structure of the CML library to make it easier
303      to track changes in the SML/NJ Library.      to track changes in the SML/NJ Library.
     [1997-02-28]  
304    
   - Tracked changes in location of continuation operations changed in SML/NJ.  
305      [1997-02-28]      [1997-02-28]
306            Tracked changes in location of continuation operations changed in SML/NJ.
307    
308    
309  Version 1.0.3 (SML/NJ 109.25.1)  Version 1.0.3 (SML/NJ 109.25.1)
310  -------------------------------  -------------------------------
311    
   - Fixed bugs in the implementation of the pauseHook and schedulerHook in  
     RunCMLFn (missing atomicBegin).  
312      [1997-02-25]      [1997-02-25]
313            Fixed bugs in the implementation of the pauseHook and schedulerHook in
314            RunCMLFn (missing atomicBegin).
315    
   - Fixed bug in implementation of TraceCML when TraceToFile was set as the  
     destination.  
316      [1997-02-25]      [1997-02-25]
317            Fixed bug in implementation of TraceCML when TraceToFile was set as the
318            destination.
319    
   - Fixed bug in random access support in BinIOFn and TextIOFn (bug also in  
     SML/NJ implementation).  
320      [1997-02-18]      [1997-02-18]
321            Fixed bug in random access support in BinIOFn and TextIOFn (bug also in
322            SML/NJ implementation).
323    
   - Added logging/unlogging for global mailboxes.  
324      [1997-02-17]      [1997-02-17]
325            Added logging/unlogging for global mailboxes.
326    
   - Fixed bug in the TraceCML.unwatchThread.  Also changed the implementation  
     to avoid potential races between unwatching a thread and its termination.  
327      [1997-02-17]      [1997-02-17]
328            Fixed bug in the TraceCML.unwatchThread.  Also changed the implementation
329            to avoid potential races between unwatching a thread and its termination.
330    
331    - Various changes to the Scheduler module to improve robustness.  Added  [1997-02-15]
332            Various changes to the Scheduler module to improve robustness.  Added
333      an exception handler around the function in enqueueTmpThread.  Replaced      an exception handler around the function in enqueueTmpThread.  Replaced
334      enqueueCurThread with enqueueAndSwitchCurThread, which keeps the thread      enqueueCurThread with enqueueAndSwitchCurThread, which keeps the thread
335      ID bookkeeping in the same place.  And fixed a bug(?) where atomicSwitchTo      ID bookkeeping in the same place.  And fixed a bug(?) where atomicSwitchTo
336      was failing to set the current thread ID properly.      was failing to set the current thread ID properly.
     [1997-02-15]  
337    
   - Added sendPoll operation on channels to CML structure.  
338      [1997-02-04]      [1997-02-04]
339            Added sendPoll operation on channels to CML structure.
340    
341    
342  Version 1.0.2 (SML/NJ 109.25)  Version 1.0.2 (SML/NJ 109.25)
343  -----------------------------  -----------------------------
344    
   - Added documentation for the Multicast and TraceCML library modules.  
345      [1997-01-30]      [1997-01-30]
346            Added documentation for the Multicast and TraceCML library modules.
347    
   - Made minor improvements to the implementation of TraceCML.  
348      [1997-01-30]      [1997-01-30]
349            Made minor improvements to the implementation of TraceCML.
350    
351    - Changes to the SML/NJ system (available in 109.25) now make it possible  [1997-01-29]
352            Changes to the SML/NJ system (available in 109.25) now make it possible
353      to use the top-level print function in CML programs (it gets dynamically      to use the top-level print function in CML programs (it gets dynamically
354      rebound to CML's version of TextIO.print when a CML program starts running).      rebound to CML's version of TextIO.print when a CML program starts running).
     [1997-01-29]  
355    
   - Renamed CML.atEvt to CML.atTimeEvt.  
356      [1997-01-27]      [1997-01-27]
357            Renamed CML.atEvt to CML.atTimeEvt.
358    
   - Added SimpleRPC:SIMPLE_RPC to the CML library.  
359      [1997-01-26]      [1997-01-26]
360            Added SimpleRPC:SIMPLE_RPC to the CML library.
361    
   - Fixed a bug in the I/O manager for the case when two I/O events became  
     enabled for the same thread at the same time.  
362      [1997-01-26]      [1997-01-26]
363            Fixed a bug in the I/O manager for the case when two I/O events became
364            enabled for the same thread at the same time.
365    
366    
367  Version 1.0.1 (SML/NJ 109.22)  Version 1.0.1 (SML/NJ 109.22)
368  -----------------------------  -----------------------------
369    
   - Added UnixEnv:UNIX_ENV to the structures reexported from the CML library.  
370      [1996-11-09]      [1996-11-09]
371            Added UnixEnv:UNIX_ENV to the structures reexported from the CML library.
372    
   - Fixed bug in {TextIO,BinIO}.StreamIO.endOfStream, where more m-variable  
     was getting multiple puts.  
373      [1996-11-07]      [1996-11-07]
374            Fixed bug in {TextIO,BinIO}.StreamIO.endOfStream, where more m-variable
375            was getting multiple puts.
376    
377    
378  Version 1.0 (SML/NJ 109.21.1)  Version 1.0 (SML/NJ 109.21.1)
379  -----------------------------  -----------------------------
380    
   - Added version and banner to CML structure.  
381      [1996-11-01]      [1996-11-01]
382            Added version and banner to CML structure.
383    
   - Added CML version of Unix structure.  
384      [1996-11-01]      [1996-11-01]
385            Added CML version of Unix structure.
386    
   - Changed the implementation of the internal condition variables to make  
     them work correctly.  
387      [1996-11-01]      [1996-11-01]
388            Changed the implementation of the internal condition variables to make
389            them work correctly.
390    
   - Added implementation of OS.IO.poll and OS.IO.pollEvt.  
391      [1996-11-01]      [1996-11-01]
392            Added implementation of OS.IO.poll and OS.IO.pollEvt.
393    
   - Fixed implementation of Socket.connect.  
394      [1996-11-01]      [1996-11-01]
395            Fixed implementation of Socket.connect.
396    

Legend:
Removed from v.168  
changed lines
  Added in v.2229

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