Abstrakt. En transaktion definierar en plats för beräkning som uppfyller viktiga konvergens- och felegenskaper; dessa så kallade ACID-egenskaper ger starka serialiseringsgarantier som gör att vi kan resonera om samtidiga och distribuerade program i termer av högre nivå enheter för beräkning (t.ex. transaktioner) snarare än lägre nivå datastrukturer (t.ex., ömsesidiga-exklusionslås). I detta dokument presenteras en ram för att specificera semantiken hos en transaktionsenhet som är integrerad i ett värdspråk för programmering. TFJ-kalkylen stöder inbäddade och flertrådiga transaktioner. Vi ger en semantik till TFJ som parameteriseras av definitionen av transaktionsmekanismen som gör det möjligt att studera olika transaktionsmodeller.
Slutligen ges en ram för att specificera semantiken för transaktioner i en objektkalkyl i REF.
A Semantic Framework for Designer Transactions
{'venue': 'In Proceedings of the European Symposium on Programming', 'journal': None, 'mag_field_of_study': ['Computer Science']}