cakeml icon indicating copy to clipboard operation
cakeml copied to clipboard

Configurable gap between stack limit and store

Open sorear opened this issue 5 years ago • 0 comments

If the stack can grow down to lim, and the first store value is at lim-2048, then an interrupt or signal handler can clobber data within a 2048-byte region immediately below the stack pointer at any point without interfering with state. I think this is the only thing that needs to be implemented and proved for #757 to be usable in general environments.

sorear avatar Oct 15 '20 12:10 sorear