Апаратна система паралельного виконання функціональних програм на основі комбінаторів взаємодії

Скорочена інформація про документ
dc.contributor.advisorМолчанов, Олексій Андрійович
dc.contributor.authorКовкін, Владислав Вадимович
dc.date.accessioned2026-07-01T12:45:06Z
dc.date.available2026-07-01T12:45:06Z
dc.date.issued2026
dc.description.abstractКваліфікаційна робота включає пояснювальну записку, графічні матеріали та додатки. Метою проєкту є розробка апаратної системи паралельного виконання функціональних програм на основі комбінаторів взаємодії. Система призначена для виконання підготовлених функціональних програм, поданих у вигляді мереж взаємодії, з використанням правил редукції активних пар. У роботі досліджено можливість апаратного виконання функціональних програм на FPGA. Розглянуто подання портів, вузлів, активних пар, числових значень і підготовлених визначень у формі, придатній для високорівневого синтезу. Для розробки використано C++ та AMD Vitis HLS. Також реалізовано паралельний планувальник активних пар із підтримкою кількох каналів редукції. У ході розробки було: • проведено аналіз існуючих підходів до виконання функціональних програм і графової редукції; • обґрунтовано вибір технологій та засобів розробки; • розроблено внутрішнє подання даних редуктора; • реалізовано правила редукції, числову підсистему та виконання підготовлених сценаріїв; • реалізовано паралельний планувальник активних пар; • виконано функціональне тестування, HLS-синтез та C/RTL-симуляцію; • проведено порівняння результатів із HVM2.
dc.description.abstractotherThe qualification work includes an explanatory note, graphic materials, and appendices. The aim of the project is to develop a hardware system for parallel execution of functional programs based on interaction combinators. The system is intended for executing prepared functional programs represented as interaction nets using active-pair reduction rules. The work investigates the possibility of hardware execution of functional programs on an FPGA. It considers the representation of ports, nodes, active pairs, numeric values, and prepared definitions in a form suitable for high-level synthesis. C++ and AMD Vitis HLS were used for development. A parallel active-pair scheduler with support for several reduction channels was also implemented. During the development: • existing approaches to functional program execution and graph reduction were analyzed; • the choice of technologies and development tools was justified; • the internal data representation of the reducer was developed; • reduction rules, a numeric subsystem, and execution of prepared scenarios were implemented; • a parallel active-pair scheduler was implemented; • functional testing, HLS synthesis, and C/RTL co-simulation were performed; • the results were compared with HVM2.
dc.format.extent139 с.
dc.identifier.citationКовкін, В. В. Апаратна система паралельного виконання функціональних програм на основі комбінаторів взаємодії : дипломний проєкт ... бакалавра : 123 Комп’ютерна інженерія / Ковкін Владислав Вадимович. — Київ, 2026. — 139 с.
dc.identifier.urihttps://ela.kpi.ua/handle/123456789/82054
dc.language.isouk
dc.publisherКПІ ім. Ігоря Сікорського
dc.publisher.placeКиїв
dc.subjectфункціональне програмування
dc.subjectкомбінатори взаємодії
dc.subjectмережі взаємодії
dc.subjectграфова редукція
dc.subjectfpga
dc.subjectвисокорівневий синтез
dc.subjectamd vitis hls
dc.subjectпаралельне виконання
dc.subjectrtl-симуляція
dc.subjectfunctional programming
dc.subjectinteraction combinators
dc.subjectinteraction nets
dc.subjectgraph reduction
dc.subjecthigh-level synthesis
dc.subjectparallel execution
dc.subjectrtl simulation
dc.titleАпаратна система паралельного виконання функціональних програм на основі комбінаторів взаємодії
dc.typeBachelor Thesis

Файли

Контейнер файлів
Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
Kovkin_bakalavr.pdf
Розмір:
4.68 MB
Формат:
Adobe Portable Document Format
Завантажити
Ліцензійна угода
Зараз показуємо 1 - 1 з 1
Ескіз недоступний
Назва:
license.txt
Розмір:
8.98 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Зібрання

Бакалаврські роботи (СПСКС)
Бакалаврські роботи