PInvokeStackImbalance nie powodowane przez CallingConvention

Question

Nie mam pojęcia, na czym polega problem.

Mam mnóstwo połączeń p/invoke, które działają bez incydentów ... z wyjątkiem tego.

Udało mi się ograniczyć mój problem do następującego kodu przykładowego.

Jeśli usunę element struct (zarówno double, jak i int), działa poprawnie.

Zakładam, że problem jest w jakiś sposób związany z układem struktury - ale kiedy robię sizeof() w C i Marshal.SizeOf() w C#, oba zwracają tę samą wartość ... tak jeśli rozmiar struktury jest taki sam w C# i C, jaki może być problem?

Najwyraźniej brakuje mi czegoś podstawowego.

SampleDLLCode.c

#pragma pack(1) 

typedef struct SampleStruct { 
    double structValueOne; 
    int structValueTwo; 
} SampleStruct; 

__declspec(dllexport) SampleStruct __cdecl SampleMethod(void); 
SampleStruct SampleMethod(void) { 
    return (SampleStruct) { 1, 2 }; 
} 

Budowanie Script

gcc -std=c99 -pedantic -O0 -c -o SampleDLLCode.o SampleDLLCode.c 
gcc -shared --out-implib -o SampleDLL.dll SampleDLLCode.o 

C# Code

using System; 
using System.Runtime.InteropServices; 

namespace SampleApplication 
{ 
    [StructLayout(LayoutKind.Sequential, Pack=1)] 
    public struct SampleStruct { 
     public double structValueOne; 
     public int structValueTwo; 
    } 

    class Program 
    { 
     [DllImport("SampleDLL.dll", CallingConvention = CallingConvention.Cdecl)] 
     public static extern SampleStruct SampleMethod(); 

     static void Main(string[] args) 
     { 
      SampleStruct sample = SampleMethod(); 
     } 
    } 
} 

Answer 1

Przede wszystkim le t mi pogratulować bardzo zadawanego pytania. To była przyjemność, gdy tylko otrzymałem cały kod potrzebny do odtworzenia problemu.

Problem wynika z nieco innych ABI używanych przez narzędzia gcc i Microsoft dla zwracanych wartości funkcji. Dla wartości zwracanych, które mogą pasować do rejestrów, na przykład int zwracane wartości, nie ma różnic. Ale ponieważ twoja struktura jest zbyt duża, aby zmieścić się w jednym rejestrze i istnieją różnice między interfejsami API w tej sytuacji.

W przypadku większych wartości zwracanych, wywołujący przekazuje ukrytą wskazówkę do funkcji. Ten ukryty wskaźnik jest wysyłany na stos przez rozmówcę. Funkcja zapisuje wartość zwracaną na adres pamięci określony przez ten ukryty wskaźnik. Różnica w ABI polega na tym, kto wyrzuca ukryty wskaźnik ze stosu. Narzędzia Microsoft używają ABI, która wymaga od wywołującego ukryć ukryty wskaźnik, ale domyślny ABC ABI prosi o to osobę, która to zrobiła.

Teraz, gcc jest prawie nieskończenie konfigurowalny, istnieje przełącznik, który pozwoli ci kontrolować ABI. I możesz sprawić, by gcc korzystał z tych samych reguł, co narzędzia Microsoft. Wykonanie tego wymaga callee_pop_aggregate_return function attribute.

Zmiana kodu C, aby być tak:

__declspec(dllexport) SampleStruct __cdecl SampleMethod(void) 
    __attribute__((callee_pop_aggregate_return(0))); 
    // specifies that caller is responsible for popping the hidden pointer 

SampleStruct SampleMethod(void) { 
    return (SampleStruct) { 1, 2 }; 
}