Анотація до роботи:

Сало А.М. Методи та засоби конфігурування архітектури програмованих спеціалізованих процесорів. - Рукопис.

Дисертація на здобуття наукового ступеня кандидата технічних наук за спеціальністю 05.13.05 - комп'ютерні системи та компоненти. Національний університет «Львівська політехніка» , Львів, 2008.

Дисертація присвячена питанням прискорення та спрощення процесу проектування програмованих спеціалізованих процесорів шляхом розробки і практичного використання методів та програмно-апаратних засобів конфігурування їх архітектури.

Вперше розроблено конфігуровану модель базової архітектури процесора з підтримкою паралелізму на рівні команд та обґрунтовано можливість синтезу на її основі спеціалізованих пристроїв обробки даних із заданими технічними характеристиками. Запропоновано структуру пристрою виконання умовних команд у базовій архітектурі процесора, який забезпечив виконання алгоритмів з процедурою передачі керування та дозволив прискорити їх виконання. Розроблено метод конфігурування базової архітектури на основі аналізу алгоритму описаного мовою високого рівня та вибору параметрів конфігурування, що дозволяє апаратно відобразити алгоритм роботи програми.

Подальшого розвитку набув існуючий метод ефективного планування завантаження паралельних віток процесора, який був розширений для оптимізації виконання інструкцій у розробленій моделі архітектури процесора на основі розподіленого регістрового файлу з динамічним принципом розміщення даних

Розроблено та досліджено систему проектування спеціалізованих процесорів на основі алгоритму, описаного мовою високого рівня. На її основі реалізовано ряд пристроїв: дискретного косинусного перетворення, медіанної фільтрації, перетворення форматів зображень та інші. Продемонстровано перевагу реалізованих пристроїв за показниками продуктивності та затратами обладнання над аналогічними існуючими пристроями.

У дисертаційній роботі на основі проведених досліджень вирішено наукову задачу створення нових методів та засобів конфігурування програмованих процесорів із мови високого рівня.

При цьому одержано такі результати:

1. Досліджено принципи побудови обчислювальних алгоритмів, а також особливості реалізації цих алгоритмів на мові Сі. Виділено основні ознаки, які дозволять апаратно реалізувати обчислювальні алгоритми з більшою ефективністю.

2. Показано, що регістровий файл є одним із головних та визначальних елементів. архітектури процесора. З метою створення теоретичних засад побудови регістрових файлів програмованих процесорів було запропоновано їх класифікацію. Кожний тип регістрового файлу досліджено на предмет ефективності використання в паралельній архітектурі. Дослідження показали, що на базі багатопортового інтегрованого регістрового файлу практично неможливо реалізувати ефективну систему з високим коефіцієнтом паралелізму, оскільки для кількості обчислювальних пристроїв більше чотирьох стрімко росте апаратна складність такого регістрового файлу.

Одержані практичні результати та аналітичні розрахунки, а також можливість оптимально налаштовувати під заданий алгоритм, доводять, що розподілений регістровий файл з керованою комутацією є найбільш прийнятним для використання в паралельній архітектурі по критеріях апаратних затрат та часу доступу. Апаратні затрати для розподіленого регістрового файлу з керованою комутацією пропорційні кількості обчислювальних пристроїв N, піднесеної до квадрату. Час доступу до регістрового файлу з керованою комутацією прямо пропорційний кількості обчислювальних модулів N.

3. Вперше розроблено конфігуровану модель архітектури процесора із підтримкою паралелізму на рівні команд та обгрунтовано можливість синтезу на її основі спеціалізованих пристроїв обробки даних із заданими технічними характеристиками.

4. Запропоновано метод конфігурування формалізованої моделі архітектури процесора з описом алгоритму мовою високого рівня, який, на відміну від відомих, базується на виборі конфігураційних параметрів за критерієм “продуктивність/ затрати обладнання” та не вимагає введення додаткових конструкцій у мову опису алгоритму, що дозволяє прискорити та спростити процес проектування процесорів.

5. Подальшого розвитку набув існуючий метод ефективного планування завантаження паралельних віток процесора, який був розширений для оптимізації виконання інструкцій у розробленій моделі архітектури процесора на основі розподіленого регістрового файлу з динамічним принципом розміщення даних, що дозволило налаштувати роботу спеціалізованого процесора відповідно до вхідного алгоритму програми.

6. Вперше запропоновано метод та структури пристрою виконання умовних команд у базовій архітектурі процесора, який передбачає підрахунок кількості захищених команд, що забезпечило виконання алгоритмів з процедурою передачі керування та дозволило прискорити їх виконання на 10% у порівняння з існуючими.

7. Використовуючи запропоновані методи розроблено нову систему автоматизованого проектування, яка дозволяє отримувати спеціалізовані під вхідні алгоритми описані мовою висого рівня процесори з необхідними технічними характеристиками та з мінімальними затратами часу на проектування.

8. На основі розробленої системи виконано проектування процесорів перетворення RGB в YUV, множення матриць, дискретного косинусного перетворення, медіанного фільтру та згортки. Пристрої синтезовано на базі ПЛІС фірми Xilinx, які порівняно з кращими світовими реалізаціями мають аналогічні характеристики. Основною перевагою є те, що зменшується вартість розробки тільки до вартості написання алгоритму на мові високого рівня. Також одержані на спроектованих у роботі засобах процесори випереджають взірці процесорів, одержаних за допомогою аналогічних існуючих на ринку засобах майже в два рази за продуктивністю та майже на 1/3 за затратами обладнання.

Публікації автора:

1. Мельник, А. О. Організація регістрових файлів програмованих процесорів [Текст]/ А. О. Мельник, А. М. Сало // Вісник НУ “Львівська політехніка”. -2006. -№573. - С. 138-147.

2. Мельник, А. О. Проектування спеціалізованих процесорів на основі їх конфігурованих моделей[Текст]/ А. О. Мельник, А. М. Сало // Моделювання та інформаційні технології. Зб. наук. пр. ІПМЕ НАН України. – 2007. -№ 39. - C. 136-149.

3. Сало, А. М. Сучасні засоби проектування НВІС на системному рівні[Текст]/ А. М. Сало // Моделювання та інформаційні технології: Зб. наук. пр. ІПМЕ НАН України. - 2007. - №44. - С. 110-117.

4. Мельник, А. О. Методика проектування паралельного процесора на основі пам’яті з детермінованою вибіркою[Текст]/ А. О. Мельник, А. М. Сало// Вісник НУ “Львівська політехніка”. – 2005. - №546. - С. 96-101.

5. Сало, А. М. Реалізація умовних команд програмованого паралельного процесора[Текст]/ А. М. Сало // Моделювання та інформаційні технології. Зб. наук. пр. ІПМЕ НАН України. –2006. - № 37. – C. 169-180.

6. Мельник, А. О. Апаратна реалізація циклів програмованих конфігурованих процесорів[Текст]/ А. О. Мельник, А. М. Сало, В.А. Клименко // Вісник НУ “Львівська політехніка”. -2007. -№603. - С. 94-102.

7. Melnyk, Anatoly. Instruction set architecture of the determined memory access processor[text]/ Anatoly Melnyk, Andriy Salo // Досвід розробки та застосування САПР в мікроелектроніці – CADSM’2003. Матеріали 7-ї міжнародної конференції. -. м. Славсько. - 2003. - С. 198-199.

8. Melnyk, Anatoly. Integrated services digital network controller architecture based on parallel reconfigurable processor[text]/ Anatoly Melnyk, Andriy Salo // Сучасні проблеми радіоелектроніки, телекомунікацій, комп’ютерної інженерії – TCSET’2004. Матеріали міжнародної конференції TCSET’2004. – м. Львів-Славсько. -2004. – С. 426-427.

9. Melnyk, Anatoly. Designing system of determined memory access processor[text]/ Anatoly Melnyk, Andriy Salo // Сучасні комп’ютерні системи та мережі: розробка та використання - ACSN’2005. - Львів. - 2005. - С. 31-33.

10. Melnyk, Anatoly. Automatic generation of ASICs[text]/ Anatoly Melnyk, Andriy Salo // NASA/ESA Conference on adaptive hardware and systems. - Edinburg, UK. -2007. – P. 311-317.

11. Мельник, А. О. Апаратна реалізація команд керування програмованих процесорів [Текст]/ А. О. Мельник, А. М. Сало, В.А. Клименко // Комп’ютерні науки та інженерія: Матеріали 2-ї Міжнародної конференції молодих науковців CSE-2007. – Львів. -2007. – С. 119-121.

12. Сало, А. М. Використання умовних команд в апаратно-орієнтованих процесорах [Текст]/ А. М. Сало // Матеріали ІІІ Міжнародної науково-технічної конференції: Сучасні проблеми радіоелектроніки, телекомунікацій та приладобудування (СПРТП-2007). – Вінниця. -2007. - С 108-109.

13. Salo, Andriy. Hardware acceleration of control commands execution[text]/ Andriy Salo// Сучасні комп’ютерні системи та мережі: розробка та використання - ACSN’2007. – Львів. - 2007. – С. 35-37