Пользовательское соглашение о вызовах для P/Invoke и C#.

Question

У меня есть бизнес-кейс, согласно которому мне нужно иметь возможность указать собственное соглашение о вызовах при использовании P/Invoke.В частности, у меня есть устаревшая dll, которая использует нестандартный ABI, и мне нужно указать соглашение о вызовах для каждой функции.

Например, одна функция в этой dll принимает свои первые два аргумента через EAX и EBX, а остальные — через стек.Другая функция принимает один аргумент через ECX, а остальные находятся в стеке.У меня есть несколько сотен таких функций, и я бы не хотел писать собственную DLL промежуточного моста для доступа к этим функциям.

Другой вариант — вручную создать собственный P/Invoke, что нежелательно по очевидным причинам.

Любая помощь приветствуется, спасибо,

Answer 1

Я не понимаю, что вы имеете в виду под пользовательским P/Invoke, но я не понимаю, как можно обойтись без неуправляемого C++ со встроенной сборкой.Однако, поскольку почти все передается как 32-битные значения, вам может сойти с рук написание только одного прокси для каждой сигнатуры функции, а не по одному на функцию.Или вы можете написать генератор кода, который генерирует прокси из XML.Однако я не считаю эту версию слишком нежелательной, поскольку все функции прокси будут очень простыми:

int RealFunction(int param1, const char * param2, char param 3);

int MyFunction(int param1, int param2, int param3) { // argument types do not matter as long as they are not doubles or structures
   __asm {
      mov eax, param1
      mov ebx, param2
      push param3
      call RealFunction
      ; depending on calling convention, you might need to do add esp, 12 here
      ; if RealFunction does not return its result in eax, you will need to do mov eax, <wherever the return value is> here
   }
}

Answer 2

Я совершенно уверен, что не существует встроенного способа выполнить то, что вы хотите, без отдельной dll.Я не видел способа указать соглашение о вызовах, отличное от того, которое поддерживает система времени выполнения.

Answer 3

Некоторое время назад я изучал соглашения о вызовах и написал код для преобразования соглашений о вызовах.Код вызывается из специальной оболочки C#, библиотека оболочки использует излучение отражения (не удалось заставить работать Marshal.getdelegateforfunctionpointer) для создания нового метода p/invoke для специального метода голой заглушки.Он исправляет параметры, а затем вызывает фактический метод.

Вот код c.У меня нет под рукой части C# :( В то время я тоже изучал ассемблер, так что код мог быть отстой :)

typedef struct
{
    USHORT ParameterOneOffset;  // The offset of the first parameter in dwords starting at one
    USHORT ParameterTwoOffset;  // The offset of the second parmaeter in dwords starting at one
} FastCallParameterInfo;



    __declspec( naked,dllexport ) void __stdcall InvokeFast()
{
    FastCallParameterInfo paramInfo;
    int functionAddress;
    int retAddress;
    int paramOne, paramTwo;
    __asm
    {
        // Pop the return address and parameter info.  Store in memory.
        pop retAddress;
        pop paramInfo;
        pop functionAddress;

        // Check if any parameters should be stored in edx                          
        movzx ecx, paramInfo.ParameterOneOffset;     
        cmp ecx,0;
        je NoRegister;  

        // Calculate the offset for parameter one.
        movzx ecx, paramInfo.ParameterOneOffset;    // Move the parameter one offset to ecx
        dec ecx;                                    // Decrement by 1
        mov eax, 4;                                 // Put 4 in eax
        mul ecx;                                    // Multiple offset by 4

        // Copy the value from the stack on to the register.
        mov ecx, esp;                               // Move the stack pointer to ecx
        add ecx, eax;                               // Subtract the offset.
        mov eax, ecx;                               // Store in eax for later.
        mov ecx, [ecx];                             // Derefernce the value
        mov paramOne, ecx;                          // Store the value in memory.

        // Fix up stack
        add esp,4;                                  // Decrement the stack pointer
        movzx edx, paramInfo.ParameterOneOffset;    // Move the parameter one offset to edx
        dec edx;                                    // Decrement by 1
        cmp edx,0;                                  // Compare offset with zero
        je ParamOneNoShift;                         // If first parameter then no shift.

    ParamOneShiftLoop:
        mov ecx, eax;
        sub ecx, 4;
        mov ecx, [ecx]
        mov [eax], ecx;                             // Copy value over
        sub eax, 4;                                 // Go to next 
        dec edx;                                    // decrement edx
        jnz ParamOneShiftLoop;                      // Loop
    ParamOneNoShift:
        // Check if any parameters should be stored in edx                          
        movzx ecx, paramInfo.ParameterTwoOffset;     
        cmp ecx,0;
        je NoRegister;  

        movzx ecx, paramInfo.ParameterTwoOffset;    // Move the parameter two offset to ecx
        sub ecx, 2;                                 // Increment the offset by two.  One extra for since we already shifted for ecx
        mov eax, 4;                                 // Put 4 in eax
        mul ecx;                                    // Multiple by 4

        // Copy the value from the stack on to the register.
        mov ecx, esp;                               // Move the stack pointer to ecx
        add ecx, eax;                               // Subtract the offset.
        mov eax, ecx;                               // Store in eax for later.
        mov ecx, [ecx];                             // Derefernce the value
        mov paramTwo, ecx;                          // Store the value in memory.           

        // Fix up stack
        add esp,4;                                  // Decrement the stack pointer
        movzx edx, paramInfo.ParameterTwoOffset;    // Move the parameter two offset to ecx
        dec edx;                                    // Decrement by 1
        cmp edx,0;                                  // Compare offset with zero
        je NoRegister;                              // If first parameter then no shift.
    ParamTwoShiftLoop:
        mov ecx, eax;
        sub ecx, 4;
        mov ecx, [ecx]
        mov [eax], ecx;                             // Copy value over
        sub eax, 4;                                 // Go to next 
        dec edx;                                    // decrement edx
        jnz ParamTwoShiftLoop;                      // Loop


    NoRegister:
        mov ecx, paramOne;                          // Copy value from memory to ecx register
        mov edx, paramTwo;                          // 
        push retAddress;
        jmp functionAddress;
    }
}