Document Open Access Logo

Transactional Tasks: Parallelism in Software Transactions (Artifact)

Author Janwillem Swalens

PDF

Artifact Description

Thumbnail PDF
PDF
DARTS.2.1.13.pdf
  • Filesize: 351 kB
  • 2 pages

Document Identifiers

Subject Classification

Keywords
  • Concurrency
  • Parallelism
  • Futures
  • Threads
  • Fork/Join
  • Software Transactional Memory

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
    0
    Metadata Views

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.

Cite As Get 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

Author Details

Janwillem Swalens

Artifact

  MD5 Sum: e9d1951304299497e1a1942d9926fd0b (Get MD5 Sum)

Related Article

  • Janwillem Swalens, Joeri De Koster, and Wolfgang De Meuter, "Transactional Tasks: Parallelism in Software Transactions", in 30th European Conference on Object-Oriented Programming (ECOOP 2016), LIPIcs, Vol. 56, pp. 23:1-23:28, 2016. https://doi.org/10.4230/LIPIcs.ECOOP.2016.23
Any Issues?
X

Feedback on the Current Page

CAPTCHA

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail
© 2023-2025 Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact