Пошук академічних текстів

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