Back to Stories

Comments (3)

arjvik•89 days ago
RISC-V is fully trap-and-emulate-able and so you can even do this without the virtualization extension! Though page table walks and the like will be done in hardware and thus will be very slow.
drob518•89 days ago
I think you mean “…will be done in software…,” right?
arjvik•89 days ago
Yes oops!
nerpderp82•89 days ago
Could you do page table walks in RVV?
remexre•88 days ago
They're dependent loads, so probably not except for the last level of page tables (and that's just be "prefetching" -- doing 4/8/etc walks in parallel, not 1 walk in less time).
BobbyTables2•81 days ago
Kudos for making a real hypervisor and not just writing a Linux application that drives /dev/kvm !
anchovy_•89 days ago
Tangentially related: can anyone here recommend some good resources (preferably even books) on hypervisors? Back in university we got a brief introduction into the topic but I was always interested in learning about it more in depth.
TZubiri•89 days ago
It's one of those topics, that's so modern and based around ecosystem specifics, that you are better off learning from manufacturer manuals and source code, rather than academic theory books.

Like, uni books won't give you an x86 manual because that wouldn't be neutral, but that's precisely the foundation of virtualization, from both a host and guest perspective.

You can read books on x86, but why not use some official intel manual?

wmf•89 days ago
I find many manuals miss the big picture. Maybe read the VMware, Xen, and KVM papers first.
TZubiri•88 days ago
Oh for sure, you are seeing the small pictures, but those are objective facts.

Big picture for virtualization? There's many, it's a complex emerging phenomenon which placed a lot of asterisks on computation, is it used for security? Or to patch tech debt? or to provide backwards compatibility? Yes. What is the limit between isolation and efficiency? No one knows yet and there's many answers, you can activate shared cpu caching or disable Spectre mitigations for efficiency, or you can just forego virtualization as a whole and depend on application level multitenancy, which is not a separate topic at all in terms of virtualization, as you can see with tech like containers, and t1/t2 hybrids, it's a spectrum of virtualization, there is no hard line separating the virtualized from the bare metal.

naasking•88 days ago
The first hypervisors were microkernels like L4. All of the fundamentals are in microkernel literature which stretches back to the 80s, though I don't think there's a need to read anything before L4 in the 90s.
dmitrygr•89 days ago
theory: https://www.cs.cornell.edu/courses/cs6411/2018sp/papers/pope...

practice: https://www.cse.iitb.ac.in/~mythili/virtcc/papers/vmware.pdf

farhanhubble•81 days ago
These are gold nuggets!
epilys•88 days ago
Seconding the other comments that recommend architecture manuals and guides.

For Aarch64, Arm's official guide is pretty good https://developer.arm.com/documentation/102142/latest/