Currently the dynamic allocator can allocate $~2^{31}$ memory pages, each of size $2^{32}$ words. Since we're concerned about memory consistency, we might as well separate these more such that only e.g. ${2^{-10}}$ of the pages can be allocated by the dynamic allocator, starting with page $2^{10}$.
That should make it harder to use field getters and ND-initialized memory to maliciously manipulate memory.
Currently the dynamic allocator can allocate$~2^{31}$ memory pages, each of size $2^{32}$ words. Since we're concerned about memory consistency, we might as well separate these more such that only e.g. ${2^{-10}}$ of the pages can be allocated by the dynamic allocator, starting with page $2^{10}$ .
That should make it harder to use field getters and ND-initialized memory to maliciously manipulate memory.