| 13 |
Description: |
Description: |
| 14 |
|
|
| 15 |
---------------------------------------------------------------------- |
---------------------------------------------------------------------- |
| 16 |
|
Name: Matthias Blume |
| 17 |
|
Date: 2002/02/08 15:00:00 EST |
| 18 |
|
Tag: blume-20020208-uniquepid |
| 19 |
|
Description: |
| 20 |
|
|
| 21 |
|
0. Version number has been bumped to 110.38.1. NEW BOOTFILES!!! |
| 22 |
|
|
| 23 |
|
1. The installer (config/install.sh) has gotten smarter: |
| 24 |
|
|
| 25 |
|
- Configuration options are a bit easier to specify now |
| 26 |
|
(in config/targets). |
| 27 |
|
- Bug in recognizing .tar.bz2 files fixed. |
| 28 |
|
- Installer automatically resolves dependencies between |
| 29 |
|
configuration options (e.g., if you ask for eXene, you will |
| 30 |
|
also get cml -- regardless whether you asked for it or not). |
| 31 |
|
- Installer can run in "quieter mode" by setting the environment |
| 32 |
|
variable INSTALL_QUIETLY to "true". "Quieter" does not mean |
| 33 |
|
"completely silent", though. |
| 34 |
|
- Build HashCons library as part of smlnj-lib. |
| 35 |
|
|
| 36 |
|
2. A new scheme for assigning persistent identifiers to compilation |
| 37 |
|
units (and, by extension, to types etc.) has been put into place. |
| 38 |
|
This fixes a long-standing bug where types and even dynamic values |
| 39 |
|
can get internally confused, thereby compromising type safety |
| 40 |
|
(abstraction) and dynamic correctness. See |
| 41 |
|
|
| 42 |
|
http://cm.bell-labs.com/cm/cs/who/blume/pid-confusion.tgz |
| 43 |
|
|
| 44 |
|
for an example of how things could go wrong until now. |
| 45 |
|
|
| 46 |
|
The downside of the new scheme is that pids are not quite as |
| 47 |
|
persistent as they used to be: CM will generate a fresh pid |
| 48 |
|
for every compilation unit that it thinks it sees for the first |
| 49 |
|
time. That means that if you compile starting from a clean, fresh |
| 50 |
|
source tree at two different times, you end up with different |
| 51 |
|
binaries. |
| 52 |
|
|
| 53 |
|
Cutoff recompilation, however, has not been compromised because |
| 54 |
|
CM keeps pid information in special caches between runs. |
| 55 |
|
|
| 56 |
|
---------------------------------------------------------------------- |
| 57 |
Name: Lal George |
Name: Lal George |
| 58 |
Date: 2002/02/07 15:34:13 EST 2002 |
Date: 2002/02/07 15:34:13 EST 2002 |
| 59 |
Tag: <none> |
Tag: <none> |
Parent Directory
| 
Revision Log
| 
Patch
