On Sat, Dec 07, 2013 at 10:08:25AM +0100, Johannes Pfau wrote:
[...]
> gdc -o bin/dub -fversion=DubUseCurl -I source
> -lcurl @build-files.txt
> bin/dub fetch vibe-d
> Fetching vibe-d 0.7.18...
> [1] 4139 segmentation fault (core dumped) bin/dub fetch vibe-d
>
> So I debugged this stuff and it's a stack corruption. Have a look at
> this example:
> http://dpaste.dzfl.pl/433c0a3d
>
> Please note that the this reference in the delegate points to the
> stack. Of course copying the struct doesn't magically change the
> address, so it still refers the old data.
Yeah, this is a pretty nasty gotcha in the way D implements structs.
Adam Ruppe & I ran into this problem in ConsoleD.terminal: his Terminal
struct registers a bunch of dtors that are invoked when the struct goes
out of scope, and initially, they were delegates that close over struct
member variables. Bad idea. When the struct was returned to the caller,
it was copied to a new location (perfectly valid -- structs are value
types). This left the old copy of the struct on the stack, so the
delegates still worked, but as soon as you reuse that portion of the
stack for anything else, the dtor would segfault because the variables
it closed over are now garbage.
Moral of the story: don't close over struct members in delegates if
you're returning the struct to the caller (or expect the delegate to get
invoke while passing the struct to a callee -- since the callee gets a
*copy* of the struct, not the original). Here be dragons. :P
> It looks like we actually generate a closure here which contains the
> this pointer instead of directly using the struct as a context
> pointer. That is probably an optimization bug in dmd, but it doesn't
> matter in this case as the problem would exist for closures and normal
> delegates.
The problem is that delegates are never passed the this pointer from the
caller; it is assumed that it's part of their context. You never write
`myStruct.dg(args)`, but simply `dg(args)`. But by the time the delegate
is invoked, you can't guarantee that `this` is still valid. Only the
caller knows what copy of the struct it still holds, but this isn't
communicated to the delegate. (On second thought, even if it *did* pass
the updated `this` to the delegate, it would still be wrong, because
there could be multiple copies of the struct by then, and who knows
which copy the delegate was supposed to be operating on?)
> I'm wondering if this is according to the spec, but I guess it is. If
> we have a struct and take the address of a member funtion, the context
> pointer is a pointer to the struct (probably on stack) as well. So if
> we're in a member function and we have a delegate literal which
> accesses this it seems correct that we have a pointer to the struct
> (probably on stack). It can however be confusing:
>
> struct S
> {
> int a;
> void delegate() getDelegate(int b)
> {
> //b is in a closure and safe to access
> //but a is still accessed via this->a where
> //this may point to the stack.
> return () { return a + b; };
> }
> }
>
> So I guess I'm asking: Is this correct D behavior?
[...]
I don't know if it's *correct*, but that's how it works currently. It's
certainly a very nasty pitfall for those not in the know, though.
The major issue here is that normally, if your delegate closes over a
local variable, the compiler will automatically allocate the local
variable on the heap rather than the stack. This prevents crashes caused
by referencing out-of-scope local variables. But this is not done for
struct members -- it can't be, since the only way is to make struct
members pointers to the heap instead of embedded in the struct. Since
structs are freely copied around, you can't guarantee that the
closed-over member variable is the correct copy -- or even still exists
-- by the time the delegate is called.
I'm almost tempted to say that it should be illegal for a delegate to
close over struct members, but that seems unnecessarily restrictive
(there are cases where you might want to do this, and can do it in a
safe way). I almost feel like the compiler should complain about
escaping references to local variables in this case, though.
T
--
In a world without fences, who needs Windows and Gates? -- Christian Surchi
