> I particularly would like to see operating systems implemented using JIT compilation and software isolation. Managed code running safely on the ring0 of the processor.
Lisp Machines were arguably like this, except with microcode instead of JIT. AS/400 (IBM midrange systems, now called System i) does something like this as well, except the whole program is compiled from bytecode to machine code on first run, or whenever the bytecode on disk is newer than the machine code on disk.
The biggest change is that you have either a trusted compiler, a garbage collector in the kernel, or both.
Lisp Machines were arguably like this, except with microcode instead of JIT. AS/400 (IBM midrange systems, now called System i) does something like this as well, except the whole program is compiled from bytecode to machine code on first run, or whenever the bytecode on disk is newer than the machine code on disk.
The biggest change is that you have either a trusted compiler, a garbage collector in the kernel, or both.