Paper Info
Title
Automata-Based Optimization Of Interaction Protocols For Scalable Multicore Platforms
Abstract
Multicore platforms offer the opportunity for utilizing massively parallel resources. However, programming them is challenging. We need good compilers that optimize commonly occurring synchronization/interaction patterns. To facilitate optimization, a programming language must convey what needs to be done in a form that leaves a considerably large decision space on how to do it for the compiler/run-time system.Reo is a coordination-inspired model of concurrency that allows compositional construction of interaction protocols as declarative specifications. This form of protocol programming specifies only what needs to be done and leaves virtually all how-decisions involved in obtaining a concrete implementation for the compiler and the run-time system to make, thereby maximizing the potential opportunities for optimization. In contrast, the imperative form of protocol specification in conventional concurrent programming languages, generally, restrict implementation choices (and thereby hamper optimization) due to overspecification.In this paper, we use the Constraint Automata semantics of Reo protocols as the formal basis for our optimizations. We optimize a generalization of the producer-consumer pattern, by applying CA transformations and prove the correctness of the transforms.
Year
DOI
Venue
2014
10.1007/978-3-662-43376-8_5
COORDINATION MODELS AND LANGUAGES, COORDINATION 2014
Field
DocType
Volume
Programming language,Concurrency,Massively parallel,Computer science,Hoare logic,Correctness,Interaction protocol,Compiler,Theoretical computer science,Concurrent computing,Scalability,Distributed computing
Conference
8459
ISSN
Citations 
PageRank 
0302-9743
8
0.55
References 
Authors
13
3
Name
Order
Citations
PageRank
Sung-Shik T. Q. Jongmans115213.55
Sean Halle2100.95
Farhad Arbab32667177.77