What is the overhead of the fixed statement when used on an unmanaged struct?

This won't do what you think it will do. The "fixed" statement only pins the managed object (this) for the duration of the "fixed" statement itself which ends as soon as you "return". See the MSDN docs for the details.

This won't do what you think it will do. The "fixed" statement only pins the managed object (this) for the duration of the "fixed" statement itself, which ends as soon as you "return". See the MSDN docs for the details.

You already say your "Foo" is in unmanaged memory, which means that the managed GC isn't going to be moving it around on you. In that case, can't you just return "&this" directly? Alternatively, you may want to consider taking your unmanaged object and marshalling it into a managed one.

Give a little more context around what you're doing and we'll all be able to give more specific advice.

2 Yep. He'd need a GCHandle to hold it fixed for any duration outside of that. – Steven Sudit Jul 23 '10 at 23:30 Yes, I know the pinning ends when it returns, but the fixed statement here is a noop, all it does it make &this compile, and at runtime I imagine it checks to see if this is on the managed heap (which it is not) and then just returns &this.

– Eloff Jul 24 '10 at 17:31.

The expression &this has no meaning when the structure is present in unmanaged memory. There is no way to allocate it there. A key property of managed structures is that their memory layout is not discoverable and is not compatible with the unmanaged view of that structure.

The CLR rearranges fields as it sees fit to get the minimum size while aligning members. It will in fact swap fields if a later one can fit in the padding. You cannot get past Marshal.

PtrToStructure to convert an unmanaged struct to its managed version. Marshal. SizeOf is only accurate for the unmanaged layout.

Not true at all, using the struct layout attributes you can have fine control over the layout of the fields in the struct, you can even create something very close to a union in C# like this. – Eloff Jul 24 '10 at 17:36 @Eloff: you'll need to show a StructLayout that reliably swaps fields like the CLR does. Reference: stackoverflow.Com/questions/1918037/… – Hans Passant Jul 24 '10 at 17:56 I see, I wasn't aware that the CLR could ignore LayoutSequential, makes it kind of pointless.

But for putting a struct in unmanaged memory from C#, and using it in C#, it shouldn't matter, the CLR knows how it is laying everything out. – Eloff Jul 24 '10 at 20:00.

Basically there's no overhead at all. Fixed means "pin the location the pointer points to in memory, don't relocate it. " Every other managed pointer can be "bent" by the Garbage Collector at will if it decides to move memory around.

Fixed will prevent this, so basically it will "save" this (possible) overhead. I don't know about the implementation of fixed pointers, but in the simplest case it's just blacklisting memory blocks. This is not very costly compared to normal managed pointers.

On the other hand, it prevents all sorts of optimazations that the GC might decide to perform in terms of memory management like increasing localization, reducing fragmenation etc.

I set up a micro benchmark and measured the overhead of fixed when used on a struct in unmanaged memory, it is very low, returning fixed(this) is only 10 times more expensive than simply returning this. That's acceptable for my use case (hashing using the address of the struct. ) I was unable to learn how it was implemented, but it does seem to be fast enough in this case.

I cant really gove you an answer,but what I can give you is a way to a solution, that is you have to find the anglde that you relate to or peaks your interest. A good paper is one that people get drawn into because it reaches them ln some way.As for me WW11 to me, I think of the holocaust and the effect it had on the survivors, their families and those who stood by and did nothing until it was too late.