Henry Massalin's Synthesis kernel

Anyone know where i can get a copy of Alexia/Henry Massalin's Synthesis kernel?

>>40
although the he idea seems sound, if used with Common Lisp:
http://en.wikipedia.org/wiki/Synthesis_kernel#Massalin.27s_Synthesis_kernel
the structure of the techniques suggests that they could be captured by a higher level language, albeit one more complex than existing mid-level languages. Such a language and compiler could allow development of faster operating systems and applications.

>>41
More likely a custom Lisp-style language that allows more direct control over memory management (if necessary)

>>42
Quite a few lisp implementations allow this actually, as a part of their non standard extensions.

>>42
Lisp allows self-modifying code, because it includes compiler and has well defined interface for manipulating code.

Moreover, Lisp makes it easy to generating inline assembly, compared to C/C++ with its horrible and static asm{} form, wrapped under even more horrible #define macros

>>44
Of course, Unix together with GCC too allows for self-modifying code, because you can generate a DLL file, then load/unload it.

It could be used for emulation, because most of the emulated code is static at some stage, after it gets loaded.

>>44
Sure, I'm just saying that for OS development you'll want lower-level control over memory than a general-purpose lisp usually provides.

>>46
Nope. For OS development you will want hardware array bounds checking.

Especially, because modern OS shouldn't use slow protected memory, employing micro-kernel instead, like http://en.wikipedia.org/wiki/Microsoft_Singularity