2026-07-22T20:50:14Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:6134 2024-03-06T11:04:58Z ddc:004 open_access

Transactional Tasks: Parallelism in Software Transactions (Artifact) Swalens, Janwillem Concurrency Parallelism Futures Threads Fork/Join Software Transactional Memory Many programming languages support different concurrency models. In practice these models are often combined, however the semantics of the combinations are not always well-defined. We studied the combination of futures and Software Transactional Memory. We introduce transactional tasks, a mechanism to create futures in a transaction. Transactional tasks allow the parallelism in a transaction to be exploited, while providing safe access to the state of their encapsulating transaction. We created Clojure-TxTk, a fork of Clojure with support for transactional tasks. Furthermore, we ported two applications from the STAMP benchmark suite, and extended these to use transactional tasks: Labyrinth-TxTk and Bayes-TxTk. Lastly, TxTk-Redex is a machine-executable implementation of the operational semantics, in PLT Redex. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Janwillem Swalens 2016 Is Part Of DARTS, Volume 2, Issue 1, Special Issue of the 30th European Conference on Object-Oriented Programming (ECOOP 2016) Article Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DARTS.2.1.13 urn:nbn:de:0030-drops-61348 https://drops.dagstuhl.de/entities/document/10.4230/DARTS.2.1.13 eng https://creativecommons.org/licenses/by/3.0/de/legalcode