Memory handling errors and control flow manipulation have been a huge source of problems in computer systems recently, often necessitating rapid update cycles or expensive software mitigation. New features have been added over time to instruction set architectures to provide effective and more efficient protection. These enforce proper control flow and memory usage, and can provide precise and timely fault information on failures. However, these are designed with a standard C-like execution model in mind and software which deviates from this may require adaption to be compatible with new features while retaining their benefits. Here we report on the adaptions required for low-level effect handler libraries which extend standard C execution with non-local control flow and suspended computations.
Building similarity graph...
Analyzing shared references across papers
Loading...
Brian Campbell
Sam Lindley
Ian Stark
University of Edinburgh
Building similarity graph...
Analyzing shared references across papers
Loading...
Campbell et al. (Wed,) studied this question.
www.synapsesocial.com/papers/69d896406c1944d70ce079e7 — DOI: https://doi.org/10.5281/zenodo.19472727