Координаційні абстракції програмування для ефективного розпаралелювання за даними

Дорошенко, Анатолій; Кононенко, І.; Коротун, Ольга

dc.contributor.author	Дорошенко, Анатолій
dc.contributor.author	Кононенко, І.
dc.contributor.author	Коротун, Ольга
dc.date.accessioned	2016-02-18T13:06:02Z
dc.date.available	2016-02-18T13:06:02Z
dc.date.issued	1999
dc.identifier.citation	Дорошенко А. Ю. Координаційні абстракції програмування для ефективного розпаралелювання за даними / А. Ю. Дорошенко, І. С. Кононенко, О. Ю. Коротун // Наукові записки НаУКМА. - 1999. - Т. 16 : Комп'ютерні науки. - С. 23-29.	uk
dc.identifier.uri	http://ekmair.ukma.edu.ua/handle/123456789/8498
dc.description	The 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.	en
dc.description.abstract	Для найбільш поширеної в системах паралельного програмування парадигми розпаралелювання за даними характерна дуже проста організація керування обчисленнями за допомогою засобів бар'єрного типу. Однак навіть у випадках паралельних застосувань з регулярним характером обчислень ефективність паралельних програм, де використовуються ці засоби, є невисокою. Головною причиною такого недовикористання потенційної продуктивності паралелізму є надто обмежувальний характер зазначених бар'єрних засобів. У цій статті для класу паралельних за даними програм з розподіленою та спільною пам'яттю і статичною дисципліною доступу до спільної пам'яті з боку паралельних компонент нами запропоновано координаційні абстракції паралельного програмування у вигляді формальних регулярних виразів, що мають на меті підвищення ефективності синхронізації та обміну даними між цими компонентами. Показано застосування запропонованих засобів програмування для вирішення проблем автоматизації розробки ефективних паралельних програм.	uk
dc.language.iso	uk	uk
dc.subject	системи паралельного програмування	uk
dc.subject	проблеми автоматизації розробки	uk
dc.subject	модель паралельних програм	uk
dc.subject	координаційна модель	uk
dc.title	Координаційні абстракції програмування для ефективного розпаралелювання за даними	uk
dc.title.alternative	Coordination programming abstractions for efficient data parallel computation	en
dc.type	Article	uk
dc.status	published earlier	uk
dc.relation.source	Наукові записки НаУКАМА: Комп'ютерні науки	uk