Crashresistant transactional behavior in C++

Abstract

In this paper, we present a crash-resistant C++ library for executing unrestricted transactions, provided as lambdas. Our implementation bridges the gap between existing crash-resistant and unrestricted transaction implementations in C++. We first developed a non-crash-resistant version to enable the execution of lambda transactions. To achieve crash resistance, we utilized a clang plugin during compilation to modify the source file and stored critical runtime variables in a file. While our approach is approximately three times slower than transaction implementations without lambdas, the benefits of full crash resistance make it a compelling trade-off.

In diesem Artikel präsentieren wir eine absturzsichere C++-Bibliothek zur Ausführung uneingeschränkter Transaktionen, die als Lambdas bereitgestellt werden. Unsere Implementierung überbrückt die Lücke zwischen bestehenden absturzsicheren und uneingeschränkten Transaktion simplementierungen in C++. Zunächst haben wir eine nicht absturzsichere Version entwickelt, um die Ausführung von Lambda-Transaktionen zu ermöglichen. Um die Absturzsicherheit zu erreichen, haben wir während der Kompilierung einen clang-Plugin verwendet, um die Codedateien zu modifizieren, und kritische Laufzeitvariablen in einer Datei gespeichert. Obwohl unser Ansatz etwa dreimal langsamer ist als Transaktionsimplementierungen ohne Lambdas, machen die Vorteile der vollen Absturzsicherheit dies zu einem überzeugenden Kompromiss.