Título:
|
Integrating dataflow abstractions into transactional memory
|
Autor/a:
|
Gajinov, Vladimir; Milovanovic, Milos; Unsal, Osman Sabri; Cristal Kestelman, Adrián; Ayguadé Parra, Eduard; Valero Cortés, Mateo
|
Otros autores:
|
Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors; Universitat Politècnica de Catalunya. CAP - Grup de Computació d'Altes Prestacions |
Abstract:
|
Many concurrent programs require some form of conditional synchronization to coordinate the execution of different program
tasks. Programming these algorithms using transactional memory (TM) often results in a high conflict rate between transactions. In
this paper we propose an Atomic dataflow model - ADF, which aims to reduce transaction conflicts by incorporating dataflow
scheduling principles into transactional memory. The ADF model is based on the execution of atomic units of work called ADF
tasks. A programmer explicitly defines data dependencies for the ADF task using the trigger set extension. Trigger set data is
implicitly tracked by the TM runtime system, which detects changes and enables the re-execution of a transaction when its
dependencies are satisfied. In this paper we fully describe the ADF model, present its syntax and show advantages of the model
on a practical example. |
Abstract:
|
Peer Reviewed |
Materia(s):
|
-Àrees temàtiques de la UPC::Informàtica::Programació -Parallel programming (Computer science) -Programació en paral·lel (Informàtica) |
Derechos:
|
|
Tipo de documento:
|
Artículo - Versión publicada Objeto de conferencia |
Compartir:
|
|