| Tools for verification of computation distribution in the Parallel Dataflow Computing System (PDCS) “Buran” |
|
 |
|
|
| Authors |
| | Klimov A.V. |
| Date of publication |
| | 2020 |
| DOI |
| | 10.31114/2078-7707-2020-4-236-243 |
|
| Abstract |
| | The computation model of parallel dataflow computation system (PDCS) “Buran” is comprised of nodes with indexes (tags) activated by sets of tokens arriving at the node’s input ports. A token arrives to the core (the set of cores) which is determined from token index by the distribution function when token is created. The correctness of the node activation depends on the correct operation of the distribution mechanism. The paper formulates the correctness conditions for the distribution functions and describes the static and dynamic means of ensuring them. The described general principles are applicable to nodes with any number of ports, while every port can be the receiver of a multicast token. |
| Keywords |
| | dataflow computation model, dataflow language, distribution functions, multi-port nodes, distribution correctness, static and dynamic verification. |
| Library reference |
| | Klimov A.V. Tools for verification of computation distribution in the Parallel Dataflow Computing System (PDCS) “Buran” // Problems of Perspective Micro- and Nanoelectronic Systems Development - 2020. Issue 4. P. 236-243. doi:10.31114/2078-7707-2020-4-236-243 |
| URL of paper |
| | http://www.mes-conference.ru/data/year2020/pdf/D107.pdf |
