> -- Рифат писал(а):
> Лучше, когда гранулярность равна одной подпрограмме, тогда гораздо легче доказывать корректность получившейся параллельной программы
Во-первых, подтверждается мой тезис, что угроз может быть больше, чем преимуществ. Представьте, что я принес Вам, как эксперту программу на сертификацию в смысле доказательства частичной корректности (Хоар, Дейкстра). И привел аргументы в части: гранулярности присваивания, защиты стека, обеспечения целостности указателей. А Вы мне говорите: А докажите еще, отсутствие> -- Цитата:
> взаимодействия каждого оператора одной процедуры с каждым оператором другой процедуры. Вывод - программу честно верифицировать непросто.

Вам нужно рассматривать тексты программ. Если используются глобальные переменные для передачи данных, goto - значит любая программа неструктурирована (без всяких подпрограмм). Если происходят вызовы подпрограмм, каждая со своими локальными переменными (изоляция данных) - то структурирована.
Если используются сопрограммы, каждая выполняется со своими изолированными данными, обмен через сообщения с семаформами. Если это нарушено - программа не структурирована.