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

Растгу Садег. Методи та засоби підвищення ефективності обчислювань у кластерних системах з мультиядерною архітектурою. – Рукопис.

Дисертація на здобуття наукового ступеня кандидата технічних наук за спеціальністю 05.13.05 – Комп’ютерні системи та компоненти. – Національний технічний університет України “Київський політехнічний інститут”, Київ, 2009.

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

У дисертаційній роботі виконано аналіз структурної організації сучасних КСМА і особливостей організації обчислювальних процесів в таких системах. КСМА представляє собою складну систему з двома рівнями паралельної обробки інформації (між вузлами і всередині вузла) і тому організація обчислювальних процесів потребує попереднього аналізу системи. Такий аналіз можливий на основі побудови математичної моделі обчислень, яка відображає особливості структурної організації КСМА і створює основи для проектування процесів, їх аналізу, організації взаємодії процесів та наступної реалізації. Для реалізації таких моделей в роботі була використана теорія послідовних взаємодіючих процесів Ч.Хоара (CSP теорія), яка дозволила представити КСМА як набір об’єктів, які виконуються паралельно і взаємодіють. Для кожного рівня КСМА запропоновано математичні моделі обчислень (моделі КСМА1 і КСМА2), які дозволили описати особливості організації процесів на рівні вузлів і в середині вузлів. Основна увага при цьому приділена організації взаємодії процесів. Запропоновано удосконалення CSP теорії шляхом запровадження об’єктів комунікації і синхронізації, які дозволяють описати різні форми взаємодії процесів, що мають місце у КСМА. На підставі запропонованих моделей розглянуто можливість аналізу коректності взаємодії процесів на виникнення тупикових ситуацій. Визначені правила запобігання тупикових ситуацій при використанні моделей, які базуються на спільних змінних і посиланні повідомлень.

Показано можливість реалізації запропонованих об’єктів синхронізації і комунікації в сучасних мовах і бібліотеках паралельного програмування. В роботі також показано, що запропоновані моделі обчислень можуть бути використані для розробки програмних компонент для КСМА і дозволяють скоротити час проектування та підняти якість програм за рахунок попереднього аналізу коректності та оптимізації взаємодії процесів в моделях обчислень.

Практична реалізація запропонованих методів і засобів організації обчислювальних процесів виконана шляхом розробки реальної КСМА і пакету програм для неї. Експериментальні дослідження показали можливість покращення організації обчислень в КСМА за рахунок вибору оптимальних засобів взаємодії процесів, їх аналізу і спрощеної реалізації.

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

1. Растгу Садег. Экспериментальный анализ эффективности языка Ада при программировании для СМП систем / Растгу Садег, Викаш Ровто, А.Корочкин // Вісник НТУУ “КПІ”: Інформатика, управління та обчислювальна техніка. – 2005. – № 43. – С. 32 – 41. (Здобувачу належить модифікований механізм захищених модулів для вирішення задачі взаємодії процесів).

2. Растгу Садег. Экспериментальный анализ эффективности механизма рандеву при программировании для СМП систем / Растгу Садег, С.Корочкин, А.Корочкин // Вісник НТУУ “КПІ”: Інформатика, управління та обчиcлювальна техніка. – 2006. – № 45. – С. 10 – 16. (Здобувачуем запропоновано і проаналізовано використання механізму посилання повідомлень для симетричних мультипроцесорних систем).

3. Растгу Садег. Способ управления трафиком в мобильных системх АТМ / Растгу Садег // Вісник НТУУ “КПІ”: Інформатика, управління та обчислювальна техніка. – 2007. – № 47. – С. 318–323.

   Растгу Садег. Моделирование вычислительных процессов в кластерных системах с многоядерной архитектурой / Растгу Садег // Вісник НТУУ “КПІ”: Інформатика, управління та обчислювальна техніка. – 2008. – № 48. – С. 58 – 61.

   Rаstgоо Sadegh. Experimental Performance Analysis of Shared Variable-based and Message-based Models in Prоgramming for SMP Systems / І.Zhukov, А. Mustafa, А.Korochkin, Rаstgоо Sadegh // Advanced Computer Systems and Networks: Design and Application (ACSN-2007): 3–th International Conference, 20 – 22 Sept., 2007: proceedings. – Lviv. – 2007. – pp. 60–64. (Здобувачем виконано порівняльний аналіз засобів синхронізації для мультипроцесорних систем).

   Растгу Садег. Организация вычислений в кластерных системах с многоядерной архитектурой / Растгу Садег, С. Корочкин // Комп’ютерні системи та мережні технології: міжнар. наук. – технічн. конф., 17 – 19 берез. 2008 р.: збірник наукових праць. – 2008. – вип. 1 (23). – С. 143 – 146. (Здобувачу належіть математична модель для опису процесів у вузлах КСМА).