Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
language:langs:dflow [2020/12/22 10:17] rajit [Deterministic and non-deterministic merge] |
language:langs:dflow [2021/04/27 13:08] rajit [Deterministic and non-deterministic merge] |
||
---|---|---|---|
Line 120: | Line 120: | ||
</ | </ | ||
For each output generated, the control channel '' | For each output generated, the control channel '' | ||
+ | |||
+ | ===== Sink ===== | ||
+ | |||
+ | A dataflow sink simply receives and discards a token from a channel. Sinks are not needed in general, since the channel that corresponds to the sink can be optimized away by an implementation. However, sinks can be useful when a particular process is re-used in a context when one of its outputs is not used. The syntax is the following: | ||
+ | < | ||
+ | dataflow { | ||
+ | c -> * | ||
+ | } | ||
+ | </ | ||
+ | The values received on '' | ||
====== Examples ====== | ====== Examples ====== |