Давайте “возьмём быка за рога” и изобразим такую вот схему, иллюстрирующую наивный процесс распараллеливания программы (кстати, схему, претендующую на всеобщность, рис. 3). Вспоминая Алана Тюринга, мы (привычно) говорим о программы как о последовательности отдельных законченных машинных команд (кстати, утверждение о возможности составления любых, сколь угодно сложных программ, из единичных и ограниченных команд составляет один из важнейших результатов научной деятельности Тюринга). Имеем два участка...

До сих пор исследования проводились для случая размера гранул параллелизма, равных одной машинной инструкции (fine-grained parallelism, микропараллелизм), причины этого приведены ранее. Там же показаны преимущества (но и трудности) формального обнаружения гранул параллелизма максимально большого размера (макропараллелизм). В данной главе покажем возможности использования исследовательского инструмента SPF при анализе программ со значительным размером гранул параллелизма (собственно декомпозиция исходного алгоритма производится на основе ясно видимых особенностей его выполнения)...