[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: bugs/comments in/on cmucl
BUGS:
The hardcoded constant vm-page-size in genesis.lisp. This broke the
loading of my new lisp.core rather bad and took some time for me to
find.
Perhaps William could respond to (or fix) this?
You wanted examples of CLtL2 incompatibilities. Here some small ones for
the sequences chapter. Do you keep some kind of list i could update?
We haven't yet done through and checked off each X3J13 change, so we don't
have a comprehensive list of known problems. But I will record any that
you care to send to me.
symbol-macrolet (CLtL2 page 155-156).
Oops... Try SYMBOL-MACRO-LET. That's the second time I've gotten the name
of a new feature wrong.
I guess you have moved the new-compiler tree up one level to
/afs/cs/project/clisp. But you seem to have forgot to change the ftp
permissions. I can no longer get any code from the sun4_mach or master
directories.
Yes, sorry. You should be able to access all directories under
project/clisp.
I also have been ftp'ing some .txt files from your work directory.
Yes, it's ok. And I've been starting work on cleaning up that stuff a bit.
Also, check out scribe/internals/internal-design.txt, which describes the
memory object format.
Why are all your scripts in csh? I think sh script is generaly more
portable. I could not run some of your csh script on a standard sun. If
you want i can give you the equivalent sh scripts.
No particular reason. We'd be glad have sh versions, though it may be hard
to get some hackers to stop writing new csh scripts...
I am trying to build a new core from sources so I can check/fix bugs
myself but the core i have made can't load from files (except empty
ones). The compiler seems to work if called as (compile 'foo) but not if
called as (compile-file "foos-file"). I should be interested in any info
on this since i dont quite now how to debug this.
How does it not work? Is there some reason to believe there is a problem
with COMPILE-FILE, or just with the loader? What happens when you try to
load?
Rob
p.s.
I dont have the script /usr/misc/.cmucl/lib/load-foreign.csh that i need
to try to make load-foreign work on sunos. It would also be nice if I
could get the manual page for /usr/cs/bin/ld. Could you put them
somewhere in the ftp area or mail them to me?
load-foreign.csh -->
________________________________________________________________
#!/bin/csh -fx
ld -N -A $argv[1] -T $argv[2] -o $argv[3] $argv[5-]
if ($status != 0) exit 1
nm -gp $argv[3] > $argv[4]
if ($status != 0) exit 2
exit 0
________________________________________________________________
man ld -->
________________________________________________________________
LD(1) UNIX Programmer's Manual LD(1)
NAME
ld - link editor
SYNOPSIS
ld [ option ] ... file ...
DESCRIPTION
Ld combines several object programs into one, resolves
external references, and searches libraries. In the sim-
plest case several object files are given, and ld combines
them, producing an object module which can be either exe-
cuted or become the input for a further ld run. (In the
latter case, the -r option must be given to preserve the
relocation bits.) The output of ld is left on a.out. This
file is made executable only if no errors occurred during
the load.
The argument routines are concatenated in the order speci-
fied. The entry point of the output is the beginning of the
first routine (unless the -e option is specified).
If any argument is a library, it is searched exactly once at
the point it is encountered in the argument list. Only
those routines defining an unresolved external reference are
loaded. If a routine from a library references another rou-
tine in the library, and the library has not been processed
by ranlib(1), the referenced routine must appear after the
referencing routine in the library. Thus the order of pro-
grams within libraries may be important. The first member
of a library should be a file named `__.SYMDEF', which is
understood to be a dictionary for the library as produced by
ranlib(1); the dictionary is searched iteratively to satisfy
as many references as possible.
The symbols `_etext', `_edata' and `_end' (`etext', `edata'
and `end' in C) are reserved, and if referred to, are set to
the first location above the program, the first location
above initialized data, and the first location above all
data respectively. It is erroneous to define these symbols.
Ld understands several options. Except for -l, they should
appear before the file names.
-A This option specifies incremental loading, i.e. link-
ing is to be done in a manner so that the resulting
object may be read into an already executing program.
The next argument is the name of a file whose symbol
table will be taken as a basis on which to define addi-
tional symbols. Only newly linked material will be
entered into the text and data portions of a.out, but
the new symbol table will reflect every symbol defined
before and after the incremental load. This argument
must appear before any other object file in the argu-
ment list. The -T option may be used as well, and will
be taken to mean that the newly linked segment will
commence at the corresponding address (which must be a
multiple of 1024). The default value is the old value
of _end.
-D Take the next argument as a hexadecimal number and pad
the data segment with zero bytes to the indicated
length.
-d Force definition of common storage even if the -r flag
is present.
-e The following argument is taken to be the name of the
entry point of the loaded program; location 0 is the
default.
-Ldir
Add dir to the list of directories in which libraries
are searched for. Directories specified with -L are
searched before the standard directories.
-lx This option is an abbreviation for the library name
`libx.a', where x is a string. Ld searches for
libraries first in any directories specified with -L
options, then in the standard directories `/lib',
`/usr/lib', and `/usr/local/lib'. A library is
searched when its name is encountered, so the placement
of a -l is significant.
-M produce a primitive load map, listing the names of the
files which will be loaded.
-N Do not make the text portion read only or sharable.
(Use "magic number" 0407.)
-n Arrange (by giving the output file a 0410 "magic
number") that when the output file is executed, the
text portion will be read-only and shared among all
users executing the file. This involves moving the
data areas up to the first possible 1024 byte boundary
following the end of the text.
-o The name argument after -o is used as the name of the
ld output file, instead of a.out.
-r Generate relocation bits in the output file so that it
can be the subject of another ld run. This flag also
prevents final definitions from being given to common
symbols, and suppresses the `undefined symbol' diagnos-
tics.
-S `Strip' the output by removing all symbols except
locals and globals.
-s `Strip' the output, that is, remove the symbol table
and relocation bits to save space (but impair the use-
fulness of the debuggers). This information can also
be removed by strip(1).
-T The next argument is a hexadecimal number which sets
the text segment origin. The default origin is 0.
-t ("trace") Print the name of each file as it is pro-
cessed.
-u Take the following argument as a symbol and enter it as
undefined in the symbol table. This is useful for
loading wholly from a library, since initially the sym-
bol table is empty and an unresolved reference is
needed to force the loading of the first routine.
-X Save local symbols except for those whose names begin
with `L'. This option is used by cc(1) to discard
internally-generated labels while retaining symbols
local to routines.
-x Do not preserve local (non-.globl) symbols in the out-
put symbol table; only enter external symbols. This
option saves some space in the output file.
-ysym
Indicate each file in which sym appears, its type and
whether the file defines or references it. Many such
options may be given to trace many symbols. (It is
usually necessary to begin sym with an `_', as external
C, FORTRAN and Pascal variables begin with under-
scores.)
-z Arrange for the process to be loaded on demand from the
resulting executable file (413 format) rather than
preloaded. This is the default. Results in a 1024
byte header on the output file followed by a text and
data segment each of which have size a multiple of 1024
bytes (being padded out with nulls in the file if
necessary). With this format the first few BSS segment
symbols may actually appear (from the output of
size(1)) to live in the data segment; this to avoid
wasting the space resulting from data segment size
roundup.
FILES
/lib/lib*.a libraries
/usr/lib/lib*.a more libraries
/usr/local/lib/lib*.a still more libraries
a.out output file
SEE ALSO
as(1), ar(1), cc(1), ranlib(1)
BUGS
There is no way to force data to be page aligned. Ld pads
images which are to be demand loaded from the file system to
the next page boundary to avoid a bug in the system.
________________________________________________________________