Compilation of Reo protocols

Reo is an interaction-centric model of concurrency for compositional specification of communication and coordination protocols. Recently, Jongmans developed techniques to compile Reo protocols into executable code. Benchmarks show that compilation of Reo protocols can produce code whose performance is comparable or even beats that of hand-crafted programs. Unfortunately, Jongmans' techniques do not scale well for some families of Reo protocols. In this talk, we report the latest advances made on compilation of Reo protocols. We present a compiler that can generate code for previously infeasible Reo protocols. Along the way, we introduce the Treo language, which aims to standardize the textual representation of Reo.

hosted by