> -- Дмитрий Дагаев писал(а):
> Во-первых, подтверждается мой тезис, что угроз может быть больше, чем преимуществ. Представьте, что я принес Вам, как эксперту программу на сертификацию в смысле доказательства частичной корректности (Хоар, Дейкстра). И привел аргументы в части: гранулярности присваивания, защиты стека, обеспечения целостности указателей.
Давайте на каком-нибудь реальном примере рассмотрим сопрограммы и угрозы, которые там могут оказаться. Можно рассмотреть пример из книги "Verification of sequential and concurrent programs", там есть такая задача. Есть какая-то целочисленная функция y = F(x), где аргумент тоже целое число. Известно, что данная функция, точно имеет хотя бы один ноль (F(x) = 0). Необходимо найти один корень данной функции, то есть найти x, при котором F(x) = 0. Данную программу можно распаллелить на две части, одна часть будет искать положительный корень, а вторая неположительный.
Напишите, пожалуйста, небольшую такую программку, используя сопрограммы.