Finding Sources of Synchronizationfree Slices in Perfectly Nested Loops

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...

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2007
Автори:	Bielecki, W., Siedlecki, K.
Формат:	Стаття
Мова:	English
Опубліковано:	Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України 2007
Назва видання:	Электронное моделирование
Теми:	Вычислительные процессы и системы
Онлайн доступ:	http://dspace.nbuv.gov.ua/handle/123456789/101769
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Finding Sources of Synchronizationfree Slices in Perfectly Nested Loops / W. Bielecki, K. Siedlecki // Электронное моделирование. — 2007. — Т. 29, № 3. — С. 41-53. — Бібліогр.: 27 назв. — англ.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

id	irk-123456789-101769
record_format	dspace
spelling	irk-123456789-1017692016-06-08T03:02:00Z Finding Sources of Synchronizationfree Slices in Perfectly Nested Loops Bielecki, W. Siedlecki, K. Вычислительные процессы и системы 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. Представлены алгоритмы, позволяющие находить несинхронизированные фрагменты, содержащие итерации полностью вложенных однородных и неоднородных циклов. Такие фрагменты могут выполняться независимо, сохраняя лексикографический порядок итераций в каждом фрагменте. Предложенный подход основан на операциях отношений и множеств и требует точного анализа зависимостей между операторами программы. Для описания и реализации алгоритмов выбран анализ зависимости по Пугу и Воннакоту, согласно которому зависимости отыскиваются в форме отношений кортежа. Описанные алгоритмы реализованы и верифицированы посредством программного пакета Omega project. Наведено алгоритми, що дозволяють знаходити несинхронізовані фрагменти, які вміщують ітерації повністю вкладених однорідних і неоднорідних циклів. Такі фрагменти можуть виконуватись незалежно, зберігаючи лексикографічний порядок ітерацій у кожному фрагменті. Запропонований підхід базується на операціях відношень та множин і потребує точного аналізу залежності між операторами програми. Для опису та реалізації алгоритмів обрано аналіз залежності по Пугу і Воннакоту, згідно з яким залежності знаходять у формі відношень кортежу. Описані алгоритми реалізовано і верифіковано за допомогою програмного пакета Omega project. 2007 Article Finding Sources of Synchronizationfree Slices in Perfectly Nested Loops / W. Bielecki, K. Siedlecki // Электронное моделирование. — 2007. — Т. 29, № 3. — С. 41-53. — Бібліогр.: 27 назв. — англ. 0204-3572 http://dspace.nbuv.gov.ua/handle/123456789/101769 en Электронное моделирование Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України
institution	Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection	DSpace DC
language	English
topic	Вычислительные процессы и системы Вычислительные процессы и системы
spellingShingle	Вычислительные процессы и системы Вычислительные процессы и системы Bielecki, W. Siedlecki, K. Finding Sources of Synchronizationfree Slices in Perfectly Nested Loops Электронное моделирование
description	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.
format	Article
author	Bielecki, W. Siedlecki, K.
author_facet	Bielecki, W. Siedlecki, K.
author_sort	Bielecki, W.
title	Finding Sources of Synchronizationfree Slices in Perfectly Nested Loops
title_short	Finding Sources of Synchronizationfree Slices in Perfectly Nested Loops
title_full	Finding Sources of Synchronizationfree Slices in Perfectly Nested Loops
title_fullStr	Finding Sources of Synchronizationfree Slices in Perfectly Nested Loops
title_full_unstemmed	Finding Sources of Synchronizationfree Slices in Perfectly Nested Loops
title_sort	finding sources of synchronizationfree slices in perfectly nested loops
publisher	Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України
publishDate	2007
topic_facet	Вычислительные процессы и системы
url	http://dspace.nbuv.gov.ua/handle/123456789/101769
citation_txt	Finding Sources of Synchronizationfree Slices in Perfectly Nested Loops / W. Bielecki, K. Siedlecki // Электронное моделирование. — 2007. — Т. 29, № 3. — С. 41-53. — Бібліогр.: 27 назв. — англ.
series	Электронное моделирование
work_keys_str_mv	AT bieleckiw findingsourcesofsynchronizationfreeslicesinperfectlynestedloops AT siedleckik findingsourcesofsynchronizationfreeslicesinperfectlynestedloops
first_indexed	2023-10-18T20:03:27Z
last_indexed	2023-10-18T20:03:27Z
_version_	1796148805214666752

Finding Sources of Synchronizationfree Slices in Perfectly Nested Loops

Репозитарії

Схожі ресурси