47 ms·
I think modern hardware is "recursive" in the relevant sense. In an ethereal sense sense every Turing complete machine is recursive, because by definition you
by adrianratnapala 9y ago
I think modern hardware is "recursive" in the relevant sense.
In an ethereal sense sense every Turing complete machine is recursive, because by definition you can implement another Turing complete VM on it. CPUs with kernel/user separation took it further by allowing vanilla instructions to run on bare metal within a virtual world defined by the kernel. Modern CPU virtualisation features extend this to the control instructions that an OS would use.
What else can you ask for?
- catern 9y agoI actually don't know much about nested virtualization. Can it be done to arbitrary depths with modern hardware? One issue with being "recursive" is efficiency. Ideally, running 500 levels deep would be just as fast as running at the top level. In language-based systems this can be achieved with inlining and optimization, but it's difficult in hardware, where there is much less semantic information available about the running code.