Наукова електронна бібліотека
періодичних видань НАН України

Finding Sources of Synchronizationfree Slices in Perfectly Nested Loops

Репозиторій DSpace/Manakin

Показати простий запис статті

dc.contributor.author Bielecki, W.
dc.contributor.author Siedlecki, K.
dc.date.accessioned 2016-06-07T06:19:59Z
dc.date.available 2016-06-07T06:19:59Z
dc.date.issued 2007
dc.identifier.citation Finding Sources of Synchronizationfree Slices in Perfectly Nested Loops / W. Bielecki, K. Siedlecki // Электронное моделирование. — 2007. — Т. 29, № 3. — С. 41-53. — Бібліогр.: 27 назв. — англ. uk_UA
dc.identifier.issn 0204-3572
dc.identifier.uri http://dspace.nbuv.gov.ua/handle/123456789/101769
dc.description.abstract Algorithms, permitting us to find sources of synchronization-free slices of perfectly nested uniform and non-uniform loops, are presented. Sources extracted are to be used for creating synchronization-free-slices that can be executed independently preserving the lexicographic order of iterations in each slice. Our approach requires exact dependence analysis and based on operations on relations and sets. To describe and implement the algorithms, the dependence analysis by Pugh and Wonnacott was chosen where dependences are found in the form of tuple relations. The proposed algorithms have been implemented and verified by means of the Omega project software. uk_UA
dc.description.abstract Представлены алгоритмы, позволяющие находить несинхронизированные фрагменты, содержащие итерации полностью вложенных однородных и неоднородных циклов. Такие фрагменты могут выполняться независимо, сохраняя лексикографический порядок итераций в каждом фрагменте. Предложенный подход основан на операциях отношений и множеств и требует точного анализа зависимостей между операторами программы. Для описания и реализации алгоритмов выбран анализ зависимости по Пугу и Воннакоту, согласно которому зависимости отыскиваются в форме отношений кортежа. Описанные алгоритмы реализованы и верифицированы посредством программного пакета Omega project. uk_UA
dc.description.abstract Наведено алгоритми, що дозволяють знаходити несинхронізовані фрагменти, які вміщують ітерації повністю вкладених однорідних і неоднорідних циклів. Такі фрагменти можуть виконуватись незалежно, зберігаючи лексикографічний порядок ітерацій у кожному фрагменті. Запропонований підхід базується на операціях відношень та множин і потребує точного аналізу залежності між операторами програми. Для опису та реалізації алгоритмів обрано аналіз залежності по Пугу і Воннакоту, згідно з яким залежності знаходять у формі відношень кортежу. Описані алгоритми реалізовано і верифіковано за допомогою програмного пакета Omega project. uk_UA
dc.language.iso en uk_UA
dc.publisher Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України uk_UA
dc.relation.ispartof Электронное моделирование
dc.subject Вычислительные процессы и системы uk_UA
dc.title Finding Sources of Synchronizationfree Slices in Perfectly Nested Loops uk_UA
dc.type Article uk_UA
dc.status published earlier uk_UA


Файли у цій статті

Ця стаття з'являється у наступних колекціях

Показати простий запис статті

Пошук


Розширений пошук

Перегляд

Мій обліковий запис