Sehr komisches Verhalten bei void*...

[Hemi]

Guten Morgen zusammen,

erstmal sorry für die blöde Überschrift, mir ist keine vernünftige eingefallen...

Zum Problem:
Ich schreibe gerade an einer DLL, die die Verbindung zwischen einer Diagnosesoftware und dem Diagnoseinterface herstellt. Diese DLL implementiert den J2534 Standard, stellt also eine API zur Verfügung.

Es geht um diese Funktion hier:

    QUOKAJ2534_API long PassThruIoctl(
        unsigned long ChannelID
        , unsigned long IoctlID
        , void* pInput
        , void* pOutput
    )
    {
        LOG(PROTOCOL, "PassThruIoctl called with IoctlID %d", IoctlID);

        switch (IoctlID)
        {
            case GET_CONFIG:
                LOG(PROTOCOL, "Get config");
                LOG_SBYTE(PROTOCOL, (SBYTE_ARRAY*)pInput);
                break;
            case SET_CONFIG:
                break;
            case READ_VBATT:
                LOG(PROTOCOL, "Reading battery voltage");
                *(unsigned long*)pOutput = 143 * 100;

                break;
            case FIVE_BAUD_INIT:
                {
                    LOG(PROTOCOL, "Five baud init");
                    SBYTE_ARRAY* inputMsg = (SBYTE_ARRAY*)pInput;

                    if (inputMsg->NumOfBytes > 1)
                    {
                        LOG(PROTOCOL, "Wake up message length is greater than 1 Byte");
                        return ERR_INVALID_MSG;
                    }
                    
                    LOG(PROTOCOL, "Wake up for ECU with id 0x%02x called", inputMsg->BytePtr[0]);

                    unsigned char KeyWords[2]{};
                    SBYTE_ARRAY outputMsg{};
                
                    LOG_SBYTE(PROTOCOL, inputMsg);

                    KeyWords[0] = 0x00;
                    KeyWords[1] = 0x81;

                    outputMsg.NumOfBytes = 2;
                    outputMsg.BytePtr = &KeyWords[0];
                
                    LOG_SBYTE(PROTOCOL, &outputMsg);
                }
                break;
            case FAST_INIT:
                break;
            case CLEAR_TX_BUFFER:
                break;
            case CLEAR_RX_BUFFER:
                break;
            case CLEAR_PERIODIC_MSGS:
                break;
            case CLEAR_MSG_FILTERS:
                break;
            case CLEAR_FUNCT_MSG_LOOKUP_TABLE:
                break;
            case ADD_TO_FUNCT_MSG_LOOKUP_TABLE:
                break;
            case DELETE_FROM_FUNCT_MSG_LOOKUP_TABLE:
                break;
            case READ_PROG_VOLTAGE:
                LOG(PROTOCOL, "Read prog voltage");
                *(unsigned long*)pOutput = 10 * 1000;
                break;
            // J2534-2 SW_CAN
            case SW_CAN_HS:
                break;
            case SW_CAN_NS:
                break;
            case SET_POLL_RESPONSE:
                break;
            case BECOME_MASTER:
                break;
            default:
                break;
        }
        return STATUS_NOERROR;
    }

und speziell um den case FIVE_BAUD_INIT.

Beim Aufruf der Funktion PassThruIoctl(...) gibt der Aufrufer (also die Diagnosesoftware) eine IoctlID (in diesem Fall 0x04, was FIVE_BAUD_INIT) und ein pInput, das ein SBYTE_ARRAY ist.

SBYTE_ARRAY sieht wie folgt aus:

typedef struct _SBYTE_ARRAY
{
    unsigned long NumOfBytes;        // Number of bytes in the array
    unsigned char *BytePtr;            // Array of bytes
} SBYTE_ARRAY;

Der Aufrufer erwartet als Antwort ebenfalls ein SBYTE_ARRAY, aber mit zwei Bytes drin. Diese zwei Bytes schreibe ich ins KeyWords rein hänge es an den BytePtr vom Array. So weit so gut, das scheint auch zu funktionieren, wenn im Log steht dann folgendes:

Zum pInput:

pInput array
Wake up for ECU with id 0x33 called
pInput array end

Absolut richtig, der Aufrufer hat eine 0x33 runtergegeben.

Und zum pOutput:

pOutput array
Byte: 0, value: 0x00
Byte: 1, value: 0x81
pOutput array end

auch richtig, ich gebe ein 0x00 und ein 0x81 rein. Passt.

Das Problem:

Beim Aufrufer kommt komplett was anderes an... mal kommt ein 0x00 und 0x00 an oder was anderes. Wenn ich es mehrmals probiere, bekomme ich unterschiedliche Werte, also völlig random...

Im Anhang ist das Bild vom Tool, mit dem ich das Ganze teste

ECU Address ist diese besagt 0x33, Keyword 1 und Keyword 2 kommen aus meiner DLL.

Das Testool kommt von einem renomierten Diagnosesoftwarehersteller, die Wahrscheinlichkeit, dass da ein Fehler ist, ist doch sehr geringt... klar, möglich aber geringt.
Andere implementierte CASEs funktionieren fehlerfrei...

Hat jemand eine Idee?

Vielen Dank im Voraus und sorry für den langen Text

[gunzelg]

Sorry, trotz langer Erklärung??? Also die Vaiablen, die mit dem void* übergeben werden, kommen nicht richtig an?
Und wenn ja, wieso soll das ein void* sein. Pointer sind immer ein bisschen problematisch, wenn dafür kein Speicher definiert wurde. Und wieso void? Der kein Format, ist also auch ein Problem. Und wie sieht der Code aus, der diese Funkton aufruft?

Gruß

[Hemi]

Sorry, trotz langer Erklärung??? Also die Vaiablen, die mit dem void* übergeben werden, kommen nicht richtig an?

Richtig. Das Komische ist auch noch, das es immer unterschiedliche Werte beim Aufrufer ankommen, völlig Banane.

Und was auch noch komisch ist, dass zum Beispiel "case READ_VBATT" und auch "case READ_PROG_VOLTAGE" korrekt beim Aufrufer ankommen, also wenn unsigned long auf void gecastet wird, kein Problem.

Beim Array zickt er...

Und wenn ja, wieso soll das ein void* sein. Pointer sind immer ein bisschen problematisch, wenn dafür kein Speicher definiert wurde. Und wieso void? Der kein Format, ist also auch ein Problem.

Weil es so im J2534 Standard definiert ist... Also, ist aus der Kategorie "ist so und kann man nicht ändern".

Und wie sieht der Code aus, der diese Funkton aufruft?

Keine Ahnung, da closed source... Da ist ein C# Wrapper, der die DLL lädt und die Exports reinzieht. So in Etwa...

[Holomino]

Wenn ich davon ausgehe, dass die Struktur in pOutput zurückgegeben werden soll:
- Da finde ich die Zuweisung nicht.
- Und es ist auch (zumindest in C, soweit ich weiß) keine gute Idee, ein Array in der Unterfunktion zu definieren. Das Array wird auf dem Stack angelegt und ist damit spätestens nach dem nächsten Aufruf einer weiteren Unterfunktion potentiell wech.

[Hemi]

- Da finde ich die Zuweisung nicht.

KeyWords[0] = 0x00;
KeyWords[1] = 0x81;

outputMsg.NumOfBytes = 2;
outputMsg.BytePtr = &KeyWords[0];

Oder was vermisst Du genau?

Und es ist auch (zumindest in C, soweit ich weiß) keine gute Idee, ein Array in der Unterfunktion zu definieren. Das Array wird auf dem Stack angelegt und ist damit spätestens nach dem nächsten Aufruf einer weiteren Unterfunktion potentiell wech.

Und das ist genau das gewünschte Verhalten...

Dadurch, dass diese Funktion mit unterschiedlichen Parameter aufgerufen, bei den pInput und pOutput (mal mit NULL, mal mit unsigned long, mal mit Arrays unterschiedlicher Art), sind die beiden als void* definiert.

Der Aufrufer gibt die Referenz rein und alles ist gut. In der Spec sind die Parameter auch definiert, das hängt davon ab, was als IoctlID reingegeben wird. Die Daten in dieser Funktion werden nicht "persistiert", sondern (im Normalfall) von woanders geholt (aus der Diagnosehardare) und nur durchgereicht.

[gunzelg]

Folgendes steh zwar nicht zur debatte, ist für mich aber auch suspekt:
case READ_VBATT:
LOG(PROTOCOL, "Reading battery voltage");
*(unsigned long*)pOutput = 143 * 100;

Aber um da weiter zu kommen, würde ich das ganze mal in sofern simulieren, dass ich ein Programm schreibe, das deine Funktion aufruft.
Dann kannst du das ganze leicht debuggen unds schaun was ankommt und gegebenfalls in der Funktion den Code anpassen.

Gruß

[Holomino]

Oder was vermisst Du genau?

Die Zuweisung der Adresse von outputMsg auf den pOutput-Parameter?
Such mal im Zweig "case FIVE_BAUD_INIT:" nach "pOutput". Der kommt da gar nicht vor.

Wenn das so gewollt ist, hab ich wohl nicht begriffen, was Du da vor hast - dann tschuldige, dass ich lebe.