Дорошенко, АнатолійКононенко, І.Коротун, Ольга2016-02-182016-02-181999Дорошенко А. Ю. Координаційні абстракції програмування для ефективного розпаралелювання за даними / А. Ю. Дорошенко, І. С. Кононенко, О. Ю. Коротун // Наукові записки НаУКМА. - 1999. - Т. 16 : Комп'ютерні науки. - С. 23-29.https://ekmair.ukma.edu.ua/handle/123456789/8498The most popular data parallel style of programming is mainly characterized by simple control organization and barrier-like synchronization facilities used. However even in fairly regular cases of application programs these facilities can not expose sufficient performance. In major part this is because of restrictive nature of barriesr-like facilities used for synchronization of parallel computation. In this paper, a class of distributed/shared memory parallel programs with static, race free structure of accesses to shared memory is considered and formal regular expressions, called forcing expressions (FE), are defined as synchronization facilities for these programs. It is shown that alongside with more concurrency these facilities can facilitate formal development and design of efficient parallel programs.Для найбільш поширеної в системах паралельного програмування парадигми розпаралелювання за даними характерна дуже проста організація керування обчисленнями за допомогою засобів бар'єрного типу. Однак навіть у випадках паралельних застосувань з регулярним характером обчислень ефективність паралельних програм, де використовуються ці засоби, є невисокою. Головною причиною такого недовикористання потенційної продуктивності паралелізму є надто обмежувальний характер зазначених бар'єрних засобів. У цій статті для класу паралельних за даними програм з розподіленою та спільною пам'яттю і статичною дисципліною доступу до спільної пам'яті з боку паралельних компонент нами запропоновано координаційні абстракції паралельного програмування у вигляді формальних регулярних виразів, що мають на меті підвищення ефективності синхронізації та обміну даними між цими компонентами. Показано застосування запропонованих засобів програмування для вирішення проблем автоматизації розробки ефективних паралельних програм.ukсистеми паралельного програмуванняпроблеми автоматизації розробкимодель паралельних програмкоординаційна модельArticle