Cтраница 4
I мы фактически уже говорили об этом отвлечении, когда упоминали абстракцию безошибочности. [46]
Известный математик фон Нейман впервые доказал, что дело тут не столько в безошибочности работы каждой отдельной электронной лампы, сколько в их совместных действиях. Вспомните, как мы поступаем, когда хотим избежать случайной ошибки. Всегда стараемся поручить вычисление двум разным людям и потом сравниваем результаты. Вот почему в сберкассе деньги, которые вы кладете на книжку, всегда считают дважды - контролер и кассир. [47]
Алгоритмическое обеспечение широко применяется для повышения надежности системы ( обеспечение высокого качества и безошибочности алгоритмов и программ преобразования информации) и для реализации контроля достоверности информации. [48]
Данная часть программы, подобно многим другим, уделяет особое внимание надежности и безошибочности интерфейса пользователя и файловым операциям. Вот почему модули CRT и FileStuff так важны. Это демонстрирует вновь значение языка, поддерживающего библиотеку раздельно скомпилированных программ. Полная распечатка процедуры Startup показана на распечатке 12.5. Мы проанализируем процедуру, чтобы увидеть, что же она все-таки делает ( и не делает), а также то, как Модула-2 усиливает наши способности для осуществления этих функций. [49]