2012 21st International Conference on Parallel Architectures and Compilation Techniques (PACT) (2012)
Minneapolis, MN, USA
Sept. 19, 2012 to Sept. 23, 2012
DOI Bookmark: http://doi.ieeecomputersociety.org/
Vladimir Gajinov , Universitat Politecnica de Catalunya, Spain
Srdjan Stipic , Universitat Politecnica de Catalunya, Spain
Osman S. Unsal , Barcelona Supercomputing Center, Spain
Tim Harris , Microsoft Research Cambridge, Spain
Eduard Ayguade , Universitat Politecnica de Catalunya, Spain
Adrian Cristal , Artificial Intelligence Research Institute, Spain
This paper introduces Atomic Dataflow Model (ADF) - a programming model for shared-memory systems that combines aspects of dataflow programming with the use of explicitly mutable state. The model provides language constructs that allow a programmer to delineate a program into a set of tasks and to explicitly define input data for each task. This information is conveyed to the ADF runtime system which constructs the task dependency graph and builds the necessary infrastructure for dataflow execution. However, the key aspect of the proposed model is that it does not require the programmer to specify all of the task's dependencies explicitly, but only those that imply logical ordering between tasks. The ADF model manages the remainder of inter-task dependencies automatically, by executing the body of the task within an implicit memory transaction. This provides an easy-to-program optimistic concurrency substrate and enables a task to safely share data with other concurrent tasks. In this paper, we describe the ADF model and show how it can increase the programmability of shared memory systems.
Programming, Computational modeling, Runtime, Message systems, Synchronization, Parallel processing, Data models
V. Gajinov, S. Stipic, O. S. Unsal, T. Harris, E. Ayguade and A. Cristal, "Supporting stateful tasks in a dataflow graph," 2012 21st International Conference on Parallel Architectures and Compilation Techniques (PACT), Minneapolis, MN, USA, 2012, pp. 435-436.