.NET 4: ¿Puede el código administrado solo causar una corrupción de montón?

Question

Tengo un montón de corrupción en mi programa administrado de subprocesos múltiples. Al hacer algunas pruebas, descubrí que la corrupción ocurre solo cuando los hilos de fondo están activos en el programa (son intercambiables). Los hilos usan algunos componentes de terceros.

Después de examinar el código de los hilos y componentes 3 ª parte (con .NET Reflector) me encontré con que todos ellos son administrados, es decir, sin "inseguros" o "DllImportAttribute" o "P/Invoke". Parece que el código puramente administrado causa una corrupción de montón, ¿es esto posible?

ACTUALIZACIÓN

Aparte de utilizar la clase Marshal, es posible dañar la pila con hilos no estando sincronizado correctamente? Un ejemplo sería muy apreciado.

Answer 1

Es definitivamente posible corromper el montón sin el uso de código inseguro. La clase Marshal es su amigo/enemigo aquí

IntPtr ptr = new IntPtr(50000); // Random memory 
byte[] b = new byte[100]; 
Marshalp.Copy(b, 0, ptr, 100); 

Esto efectivamente copias 100 consecutivos 0 de en el montón en la dirección 50000.

Otra forma es con diseños struct explícitas

[StructLayout(LayoutKind.Explicit)] 
struct S1 
{ 
    [FieldOffset(0)] 
    internal string str; 

    [FieldOffset(0)] 
    internal object obj; 
} 

S1 s = new S1(); 
s.obj = new Program(); 
s.str.Trim(); // Hope that works ... :)