It would also enforce that writes happen only when a program explicitly declares that it is necessary. When writes are persistent and cause wear, the consequen

It would also enforce that writes happen only when a program explicitly declares that it is necessary. When writes are persistent and cause wear, the consequences of e.g. a common buffer overflow or use-after-free bug can be much higher than if they were not. Even an unoptimised loop that writes to NVRAM could be bad.