I don't particularly recommend this article, it's a little bit too simplistic and the reasons given are not quite right.
abhi_kr•4mo ago
What would you recommend to learn this topic in detail with accuracy?
fusionadvocate•4mo ago
We can only hope the parent comment indeed knows a better source or even what he is talking about. Let give him the benefit of the doubt and assume that the shortness of his comment derives from a lack of time and not from a lack of knowledge.
checker659•4mo ago
Background : Operating Systems: 3 easy pieces
ISA/OS level: Architectural and
Operating System
Support for
Virtual Memory
(Both are books)
r4um•4mo ago
A must read would be "What Every Programmer Should Know About Memory"[1], Section 4 covers Virtual Memory.
don’t be shy :o), please do recommend alternatives !
tux3•4mo ago
Pssh, real developers read volumes 1, 3A, 3B, 3C, and 3D of the Intel® 64 and IA-32 Architectures Software Developer’s Manual Combined Volumes, pages 3125 through 4200
And if you have a steady hand, a magnetized needle and a hard drive can be used for practice exercises.
signa11•4mo ago
do you have similar references for risc-v ?
tux3•4mo ago
The RISC-V privileged spec describes their paging implementation (under the Supervisor-level ISA), while the unprivileged spec has a chapter and two appendices describing their memory model (RVWMO), formal axiomatic and operational models included.
Finding the inevitable bugs in the formal model is left as an exercise to the reader (three bugs where the axiomatic/operational models disagree are already known).
If you want a more gentle introduction, the Computer Organization and Design book is pretty nice.
signa11•4mo ago
the book, I have gone through (yes, exercises too :o), fwiw) thanks for the risc-v reference.
alain94040•4mo ago
abhi_kr•4mo ago
fusionadvocate•4mo ago
checker659•4mo ago
ISA/OS level: Architectural and Operating System Support for Virtual Memory
(Both are books)
r4um•4mo ago
[1] https://people.freebsd.org/~lstewart/articles/cpumemory.pdf
signa11•4mo ago
tux3•4mo ago
And if you have a steady hand, a magnetized needle and a hard drive can be used for practice exercises.
signa11•4mo ago
tux3•4mo ago
Finding the inevitable bugs in the formal model is left as an exercise to the reader (three bugs where the axiomatic/operational models disagree are already known).
If you want a more gentle introduction, the Computer Organization and Design book is pretty nice.
signa11•4mo ago