Remember the iAPX 432?
Posted Jan 18, 2007 5:38 UTC (Thu) by BrucePerens
Parent article: LCA: Andrew Tanenbaum on creating reliable systems
The iAPX 432 was an Intel CPU designed to run Ada reliably. It used a message-passing paradigm for communication between functions, and every function ran in its own privilege ring. So, a single function, rather than an entire microkernel, could protect itself from the rest of the system. At the time (around 1980) it took 4 PC boards to implement the CPU, and ran slow as molasses. It could be implemented within a single chip today, and would run at a reasonable speed.
Why isn't anyone working on this? There are lots of applications that could use it.
to post comments)