Для найбільш поширеного в системах паралельного програмування стилю SPMD (одна програма для багатьох даних) характерна дуже проста організація керування обчисленнями за допомогою засобів бар'єрного типу. Однак навіть у випадках паралельних застосувань з регулярним характером обчислень показники ефективності паралельних програм, де використовуються ці засоби, є невисокими. Головною причиною такого невикористання потенційної продуктивності паралелізму є надто обмежувальний характер зазначених бар'єрних засобів. В цій роботі для класу паралельних програм з розподіленою та спільною пам'яттю і статичною дисципліною доступу до спільної пам'яті з боку паралельних компонентів, запропоновано форсуючі вирази - координаційні абстракції паралельного програмування у вигляді формальних регулярних виразів, що мають на меті підвищення ефективності синхронізації та обміну даними між цими компонентами. Показано застосування запропонованих засобів програмування для вирішення проблем автоматизації розробки ефективних паралельних програм.

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"