Transactional Tasks: Parallelism in Software Transactions (Artifact)
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik ; DARTS - Dagstuhl Artifacts Series. DARTS, Volume 2, Issue 1, 2016
Online
Konferenz
Zugriff:
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.
Titel: |
Transactional Tasks: Parallelism in Software Transactions (Artifact)
|
---|---|
Autor/in / Beteiligte Person: | Swalens, Janwillem ; http://dx.doi.org/10.4230/LIPIcs.ECOOP.2016.23 |
Link: | |
Veröffentlichung: | Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik ; DARTS - Dagstuhl Artifacts Series. DARTS, Volume 2, Issue 1, 2016 |
Medientyp: | Konferenz |
DOI: | 10.4230/DARTS.2.1.13 |
Schlagwort: |
|
Sonstiges: |
|