DARTS.2.1.13.pdf
- Filesize: 351 kB
- 2 pages
Document
Transactional Tasks: Parallelism in Software Transactions (Artifact)
Author
-
Part of:
Issue:
Special Issue of the 30th European Conference on Object-Oriented Programming (ECOOP 2016)
Volume: DARTS, Volume 2 (ECOOP 2016)
Conference: European Conference on Object-Oriented Programming (ECOOP)
Journal: Dagstuhl Artifacts Series (DARTS) - License:
Creative Commons Attribution 3.0 Germany license
- Publication Date: 2016-07-14
Artifact Description
Document Identifiers
Cite AsGet BibTex
Janwillem Swalens. Transactional Tasks: Parallelism in Software Transactions (Artifact). In Special Issue of the 30th European Conference on Object-Oriented Programming (ECOOP 2016). Dagstuhl Artifacts Series (DARTS), Volume 2, Issue 1, pp. 13:1-13:2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)
https://doi.org/10.4230/DARTS.2.1.13
https://doi.org/10.4230/DARTS.2.1.13
Artifact
DARTS-2-1-13-artifact-e9d1951304299497e1a1942d9926fd0b.zip
(Filesize: 45.86 MB)
Abstract
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.
Keywords
- Concurrency
- Parallelism
- Futures
- Threads
- Fork/Join
- Software Transactional Memory
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads