62 lines
2.4 KiB
Plaintext
62 lines
2.4 KiB
Plaintext
- Shadow bytes with internal values
|
||
The biggest problem with the interpreter is that undefinedness is not
|
||
transitive. A warning is given if an undefined value is used, but then the
|
||
interpreter goes on to use the (zero) value as if nothing had happened. The
|
||
reason is that internal values in the interpreter have no shadow bytes, and
|
||
consequently the undefinedness is lost as soon as a value is passed to an
|
||
operation. Likewise the type is lost, which makes it impossible to do good
|
||
type cheking on pointers. If internal values would have a shadow byte (only
|
||
one per values is needed), we could have a shadow bit signifying "derives from
|
||
null pointer", which could be checked when the pointer is dereferenced.
|
||
Presently only the value of the pointer is checked.
|
||
|
||
|
||
- Name generation upon forking.
|
||
At present there is an ad-hoc mechanism for generating new file names for
|
||
int.log and int.mess and a new variable name for LOG= upon forking. This
|
||
mechanism is not well localized and does not generalize immediately to other
|
||
file names like int.tally and int.core. Another consequence is that the AT=
|
||
facility is presently implemented as a patch.
|
||
|
||
|
||
- Integration of memory access
|
||
Presently each memory access consists of at least three calls, one to check
|
||
the shadow byte, one to store the data and one to rewrite or update the shadow
|
||
byte; each of these do the same address evaluations etc. There should
|
||
probably be routines for integrated writing and reading of bytes.
|
||
|
||
|
||
- Improvements of warnings
|
||
Presently warnings are indicated by a single number, in warn.h. This is often
|
||
too little information. The warning should be a printf format, and warning()
|
||
should accept a variable number of parameters.
|
||
|
||
|
||
- There seems to be no way of obtaining the largest possible double
|
||
on a machine in a system-independent way (except, perhaps, for including
|
||
<math.h>). For the time being there is a #define MAXDOUBLE in do_fpar.c.
|
||
|
||
|
||
- Program to process the int.tally file
|
||
|
||
|
||
- Program to process int.core; also, define a more proper format for the
|
||
int.core file.
|
||
|
||
|
||
- Some esthetic problems
|
||
- The system call umount is called unmount on some systems, or
|
||
even called differently in different libraries on the same
|
||
system. It is not clear to me who is to blame, nor if that
|
||
would help.
|
||
|
||
|
||
|
||
|
||
|
||
[[
|
||
Proposed code to be generated by mkswitch.c;
|
||
type to be had from /ur/em/etc/em_table.
|
||
DoXXX[01](par) long par { type arg = (LOG(("@X9 XXX %lt", par)), arg_t(par)); }
|
||
]]
|