Finding Sources of Synchronization-free Slices in Perfectly Nested Loops

摘要

Представлены алгоритмы, позволяющие находигь несинхронизированные фрагменты, содержащие итерации полностью вложенных однородных и неоднородных циклов. Такие фрагменты могут выполняться независимо, сохраняя лексикографический порядок итераций в каждом фрагменте Предложенный подход основан на операциях отношений и множеств и требует точного анализа зависимостей между операторами программы Для описания и реализации алгоритмов выбран анализ зависимости по Пугу и Воннакоту, согласно которому зависимости отыскиваются в форме отношений кортежа Описанные алгоритмы реализованы и верифицированы посредством программного пакета Оте§а ргсуест.