[cap-talk] Video of Marc Stiegler's talk at Google : "The Lazy Programmer's Guide to Secure Computing"
mikesamuel at gmail.com
Tue Mar 30 18:36:10 PDT 2010
2010/3/30 Kenton Varda <kenton at google.com>:
> On Tue, Mar 30, 2010 at 2:51 PM, Raoul Duke <raould at gmail.com> wrote:
>> but i wondered if, given something like IDisposing, the gc could
>> special case those things since they are thus marked. if it could,
>> then there would be trade-offs wrt performance and complexity of the
>> gc but one could get the benefit of RAIInit style. ok, maybe not smart
>> vs. just going with IDisposing as it is done today.
> Unlikely. It would have to give special treatment not just to the
> IDisposing object, but also everything that references the object, in order
> to track all paths through which it is reachable. This would be
> unreasonably difficult.
This might work in some languages like Cyclone (
) where you can allocate objects on the stack, in a garbage collected
arena, or in an arena whose lifetime is tied to a stack.
I don't know whether Cyclone is RAIInit.
> cap-talk mailing list
> cap-talk at mail.eros-os.org
More information about the cap-talk