Wie simuliert man Ausnahmen in C mit goto?

Question

Ich schreibe eine gleichzeitige Transaktion Bibliothek in C und festgestellt, das folgende Problem. Lassen Sie uns ein Beispiel Transaktions Mitglied Pseudo-Code prüfen, wo die „Transaktion“ mit der Transaktion Master einen Kommunikationskanal darstellt:

transaction = trans_join(); 

do_some_ops(); 

/* receive the data from the master */ 
trans_rcv(transaction, data); 

do_some_ops(); 

trans_send(transaction, answer); 

/* wait for the possibility for voting */ 
trans_ready(transaction); 

/* vote for commiting and wait for the voting results. */ 
if(trans_commit(answer)) 
{ 
    printf("Final commiting the changes.\n"); 
} 
else 
{ 
    printf("Rolling back the changes.\n"); 
} 

In gleichzeitige Transaktionen können wir stimmen nur, wenn wir für die Abstimmung vom Master gefragt werden. Der Master kann jedoch jederzeit trans_abort(member) aufrufen, wodurch das angegebene Mitglied gezwungen wird, die Transaktion abzubrechen. Die ABBRUCH-Nachricht kann von dem Mitglied in jeder Ausführungsphase empfangen werden und in diesem Fall sollte es nicht warten, bis die Ausführung trans_ready() erreicht. Wenn z. B. ein trans_rcv()-Aufruf in dem späteren Code vorhanden ist, würde der Prozess auf Warten auf die Daten vom Master warten, die nie gesendet werden.

Nun, der Punkt. Ich habe bereits den Code, um die Abbruchfunktion zu registrieren, die die Änderungen rückgängig macht, aber ich hätte auch gerne einen zusätzlichen Mechanismus, der es erlaubt, den Rest der verbleibenden Operationen zu überspringen und sofort zum Abstimmungscode zu springen. Ich habe eine Idee, hier gehe zu verwenden, Ausnahmen zu simulieren:

if(!trans_rcv()) /* fail, we received the abort message */ 
{ 
    goto abort_code; 
} 

... 

abort_code: 
trans_ready(transaction); 
/* etc. */ 

jedoch ifs für jeden Aufruf von trans_rcv oder trans_send schreiben, ist nicht sehr komfortabel, vor allem, wenn der Transaktionscode komplex ist. Haben Sie eine Idee für eine bessere Lösung oder ist das der einzige Weg? Es muss übrigens nicht goto verwenden :).

Answer 1

Wenn der ifs eingeben das Problem ist, können Sie einen Makro verwenden, wie:

#define trans_rcv_CHK do { \ 
    if (!trans_rcv()) \ 
    { \ 
      goto abort_code; \ 
    } \ 
} while(0) 

Wenn trans_rcv Parameter hat, sollte dies (in gcc, zumindest) arbeiten:

#define trans_rcv_CHK(...) do { \ 
    if (!trans_rcv(__VA_ARGS__)) \ 
    { \ 
      goto abort_code; \ 
    } \ 
} while (0) 

Answer 2

Persönlich würde ich dies kodieren, indem ich eine while-Schleife mit einer switch-basierten State-Machine darin benutze.

Answer 3

goto funktioniert nur innerhalb einer Funktion, die wahrscheinlich zu viel eine Einschränkung für Ausnahmemechanismus ist.

Ich würde empfehlen, setjmp/longjmp Funktionen zu verwenden - siehe Wikipedia für Details.

Answer 4

Eine der besten Quellen für exception handling in C. Grundsätzlich, wie Leute bei RTOS Ausnahmen für ihr RTFile-Modul implementiert haben. Hüten Sie sich vor dem schrecklichen Schlupf in die Assemblersprache nach der zweiten Hälfte des Artikels.

Answer 5

Siehe Hansons "C Interfaces and Implementations: Techniques for Creating Reusable Software". Es bietet einen Ausnahmemechanismus basierend auf setjmp() und longjmp(). Der Code ist mit einer MIT-Lizenz verfügbar.