7 Compensation stacks

Compensation stacks allow us to write code to allocate resources near the code that releases them; compensation stacks are described in:

Westley Weimer, George C. Necula. “Finding and Preventing Run–Time Error Handling Mistakes”. In Proceedings of the acm Conference on Object–Oriented Programming, Systems, Languages, and Applications, 2004.

MMCK Exceptional Conditions implements compensation stacks on top of the unwind protection mechanism, which allows operations to be performed synchronously with respect to the dynamic extent of a call to thunk; The unwind-protection mechanism.

This document describes version 0.1.0-devel.1 of MMCK Exceptional Conditions.