This page contains the status of the various components of joeq.
Windows/x86 support is working. Hardware exceptions and threading are functional.
Linux/x86 works with hardware exceptions and threading. There are still a few problems when using multiple native threads.
Class loader is almost complete. It is thread-safe (I think?). There are only a few things left to do: it doesn't parse Exception attributes yet, and it doesn't check for cycles in superinterfaces yet.
Bootstrapping is implemented. It currently uses a simple flow-insensitive analysis to discover the classes that it needs to include in the boot image. This leads to it including half of the Java class library on every compile. It supports reopening of zip/jar files automatically.
x86 assembler supports all regular and FP instructions (no MMX or SSE yet). It supports just about all addressing modes. Automatic backpatching support is only partially implemented.
Loading, parsing, and saving of ELF format is supported, but only saving has been tested. Only saving of Microsoft COFF format is supported.
x86 baseline compiler exists and seems to work OK. It has not been rigorously tested.
Conversion to Quad format from bytecode is implemented and tested fairly well. There are a bunch of analyses and a few optimizations on Quads. No code generator yet, but there is a quad interpreter that works through reflection.
Both a reflective interpreter and a direct interpreter have been implemented. The reflective interpreter has been tested to some degree; the direct interpreter has not been tested yet.
Simple allocator doesn't attempt to reclaim any memory. It appears to work.
A simple M:N preemptive scheduler has been implemented. There is still a lot of missing functionality.
It successfully interfaces with the following class libraries: Sun 1.3 on Windows, Sun 1.4 on Windows, Sun 1.3 on Linux, IBM 1.3 on Linux. Only a small subset of the native methods are actually implemented yet. (Most of file I/O, reflection, and math is done.) Next step is to add support for the GNU Classpath library.
Initial version of exception delivery by stack walking is implemented.
Creating object hashcodes on demand is implemented. It uses the object address; if a hashed object is later moved, it sets a bit in the header and stores the old address in an extra word before the object header.
Dynamic type checking by a traversal of the inheritance graph is implemented.
invokeinterface by doing a lookup every time is implemented.