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

  Завантажити