Экзамен по дисциплине «Теория вычислительных процессов» 5 семестр Билет № 16

Билет № 16

1. Методы доказательства правильности программ.

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

2. Планирование ресурсов.
Когда ограниченное число ресурсов разделено между большим числом потенциальных пользователей, всегда существует возможность того, что некоторым пользователям, стремящимся занять ресурс, приходится ждать, пока его освободит другой процесс. Если к моменту освобождения ресурса его хотят занять два или более процесса, выбор того, который из ожидающих процессов получит ресурс, во всех приводившихся примерах был недетерминированным. Сам по себе этот факт большого значения не имеет. Но предположим, что к тому моменту, когда ресурс снова освободится, к множеству ожидающих процессов присоединится еще один. Поскольку выбор между ожидающими процессами по-прежнему недетерминирован, может случиться, что повезет именно вновь присоединившемуся процессу. Если ресурс сильно загружен, так может случиться снова и снова. В результате может оказаться, что некоторые процессы будут откладываться бесконечно или, по крайней мере, в течение полностью неопределенного времени. ...................................................

2012, Отлично