Formal Design and Implementation of a Platform-Agnostic Template Library for Concurrent Programming

GERVASIO D PEREZ; SERGIO YOVINE

Ciudad Autónoma de Buenos Aires

Workshop; Young Researchers Workshop on Concurrency Theory; 2013

Abstract. In this work we revisit FXML, a parallel computation specification formalism, and propose a generic FXML pattern useful for describing a family of problems consisting of computations performed by combinations of producer, consumer and reducer elements. As part of the template definition we extend FXML semantics with an appropriate set of operators. We complete our contribution with (i) a platform-agnostic C++ template library in which the proposed templates can be expressed (illustrating with several case studies); and (ii) a prototype translation of these templates into a parallel and distributed implementation based on the Intel Concurrent Collections library.