Апаратна система паралельного виконання функціональних програм на основі комбінаторів взаємодії
Вантажиться...
Дата
2026
Автори
Науковий керівник
Назва журналу
Номер ISSN
Назва тому
Видавець
КПІ ім. Ігоря Сікорського
Анотація
Кваліфікаційна робота включає пояснювальну записку, графічні матеріали та додатки.
Метою проєкту є розробка апаратної системи паралельного виконання функціональних програм на основі комбінаторів взаємодії. Система призначена для виконання підготовлених функціональних програм, поданих у вигляді мереж взаємодії, з використанням правил редукції активних пар. У роботі досліджено можливість апаратного виконання функціональних програм на FPGA. Розглянуто подання портів, вузлів, активних пар, числових значень і підготовлених визначень у формі, придатній для високорівневого синтезу. Для розробки використано C++ та AMD Vitis HLS. Також реалізовано паралельний планувальник активних пар із підтримкою кількох каналів редукції.
У ході розробки було:
• проведено аналіз існуючих підходів до виконання функціональних програм і графової редукції;
• обґрунтовано вибір технологій та засобів розробки;
• розроблено внутрішнє подання даних редуктора;
• реалізовано правила редукції, числову підсистему та виконання підготовлених сценаріїв;
• реалізовано паралельний планувальник активних пар;
• виконано функціональне тестування, HLS-синтез та C/RTL-симуляцію;
• проведено порівняння результатів із HVM2.
Опис
Ключові слова
функціональне програмування, комбінатори взаємодії, мережі взаємодії, графова редукція, fpga, високорівневий синтез, amd vitis hls, паралельне виконання, rtl-симуляція, functional programming, interaction combinators, interaction nets, graph reduction, high-level synthesis, parallel execution, rtl simulation
Бібліографічний опис
Ковкін, В. В. Апаратна система паралельного виконання функціональних програм на основі комбінаторів взаємодії : дипломний проєкт ... бакалавра : 123 Комп’ютерна інженерія / Ковкін Владислав Вадимович. — Київ, 2026. — 139 с.