Presentation at SYNCHRON'12
Integer clocks
Adrien Guatto, ENS & INRIA
Joint work with Albert Cohen, Léonard Gérard, Louis Mandel and Marc Pouzet.
Lustre programs have a natural interpretation in terms of Kahn process networks, and are thus trivially parallelized. However, parallel program performance on real machines depends crucially on the frequency and granularity of communications. On the other hand, synchronous languages have traditionally made the (extremely convenient!) hypothesis that fine-grained instantaneous communication is both pervasive and cheap.
In this talk, I will try to give a feel of how a natural but far-reaching extension of ordinary boolean clocks can provide the tools we need to reconcile logical parallelism and efficient parallel execution. I will explain this in the context of the n-synchronous language Lucy-n.