| Средства верификации распределения вычислений в потоковой архитектуре ППВС «Буран» |
|
 |
|
|
| Авторы |
| | Климов А.В. |
| Год публикации |
| | 2020 |
| DOI |
| | 10.31114/2078-7707-2020-4-236-243 |
| УДК |
| | 004.432.4 |
|
| Аннотация |
| | Модель вычислений ППВС «Буран» содержит узлы с индексами, активируемые наборами токенов, приходящих на входы узлов. Токен приходит в ядро (множество ядер), которое определяется при порождении токена по его индексу посредством функции распределения. От правильности работы механизма распределения зависит корректность активаций узлов. В работе формулируются условия корректности функций распределения и описываются статические и динамические средства их обеспечения. Описываемые общие принципы применимы к узлам с любым числом входов, в то время как каждый вход может быть получателем токена, посылаемого на множество ядер. |
| Ключевые слова |
| | потоковая модель вычислений, потоковый язык, функции распределения, многовходовые узлы, корректность распределения, статическая и динамическая верификация. |
| Ссылка на статью |
| | Климов А.В. Средства верификации распределения вычислений в потоковой архитектуре ППВС «Буран» // Проблемы разработки перспективных микро- и наноэлектронных систем (МЭС). 2020. Выпуск 4. С. 236-243. doi:10.31114/2078-7707-2020-4-236-243 |
| Адрес статьи |
| | http://www.mes-conference.ru/data/year2020/pdf/D107.pdf |
