On Tue, Jul 30, 2013 at 10:52 AM, Jon Zeppieri <[email protected]> wrote: > By "the Liskov implementation technique," do you mean CLU-style exceptions > that propagate only to the immediate caller, as in [ > http://www-public.it-sudparis.eu/~gibson/Teaching/CSC7322/ReadingMaterial/LiskovSnyder79.pdf > ]? >
Yes, more or less. The key elements of the fast mechanism are: 1. An out-of-band return pointer that is used solely for exceptional return. 2. Moving unwind code out of the main path, such that (a) it doesn't appear in the primary execution path, and (b) it can be gathered in such a way as to avoid casting a shadow on the primary path's I-cache resident set. It's a fairly straightforward extension of the CLU mechanism to bypass call frames that don't have any catch handlers. In addition to being a brilliant computer scientist, Barbara is a fundamentally decent person. Two properties that go together more often than we tend to acknowledge, but rarely to this degree. Anita Jones and Bill Wulf are also like that. shap
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
