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

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