Lossy Channels in a Dataflow Model of Computation
Abstract
In this paper, we take into account lossy channels and retransmission protocols in dataflow models of computation (MoCs).Traditional dataflow MoCs cannot easily cope with lossy channels, due to the strict notion of iteration that does not allow the re-emission of lost or damaged tokens. A general dataflow graph with several lossy channels will indeed require several phases, each of them corresponding to a portion of the initial graph’s schedule. Correctly identifying and sequencing these phases is a challenge. We present a translation of a dataflow graph, written in the well-known Synchronous DataFlow (SDF) MoC of Lee and Messerschmitt, but where some channels may be lossy, into the Boolean Parametric DataFlow (BPDF) MoC. © 2018, Springer International Publishing AG, part of Springer Nature.