This is covered in the paper. They use static analysis to know the memory costbof a kernel function and rather than optimistically run the kernel function and t

This is covered in the paper. They use static analysis to know the memory costbof a kernel function and rather than optimistically run the kernel function and then unwind it if they run out of memory, they delay it until memory is available.