The Cost of Software-Based Memory Management Without Virtual Memory · HackerPapers discussions

The Cost of Software-Based Memory Management Without Virtual Memory — mentioned by awelkie

Wed, 05 May 2021 11:55:12 GMT

I've been wondering recently to what extent formal verification could be used to simplify CPU hardware and ISAs. For example, MMUs are unnecessary if the OS verifies that all programs only access memory that's been allocated to it. This paper[0] seems to imply that the savings would be non-negligible. Also interrupts and context switching could be avoided if programs are cooperatively scheduled and verified that they always yield after an appropriate amount of time. Those two examples are the only ones I could come up with, but I suspect that's because I don't know very much about hardware…

Paper and discussion history. A mention is not an endorsement.

The Cost of Software-Based Memory Management Without Virtual Memory — mentioned by eternalban

Fri, 18 Sep 2020 00:18:34 GMT

It's actually pretty cool of arxiv to provide a gzip of the source files for the pdf, here TeX: https://arxiv.org/format/2009.06789

Paper and discussion history. A mention is not an endorsement.

The Cost of Software-Based Memory Management Without Virtual Memory — HN submission

Thu, 17 Sep 2020 12:28:51 GMT

The Cost of Software-Based Memory Management Without Virtual Memory

72 points; 21 discussion replies on HN. Paper and source history. A submission is not an endorsement.

The Cost of Software-Based Memory Management Without Virtual Memory — HN submission

Wed, 16 Sep 2020 23:13:00 GMT

The Cost of Software-Based Memory Management Without Virtual Memory

4 points; 1 discussion reply on HN. Paper and source history. A submission is not an endorsement.