UNIX — универсальная среда программирования

6.6 Об ошибках и отладке

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

В UNIX много инструментов, которые помогут вам находить ошибки, хотя ни один из них не является действительно первоклассным. Для того чтобы продемонстрировать их, нам нужна ошибка; все же программы в этой книге совершенны. Поэтому мы "создадим" типичную ошибку. Рассмотрим приведенную выше функцию

, но на сей раз с ошибкой (заглядывать в первоначальный вариант нечестно):

Что произойдет, если мы откомпилируем и запустим ее?

Попробуем

Катастрофа!

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

текущего справочника. Вы также можете заставить программу сделать дамп памяти, напечатав ctl-, если она выполняется как фоновая, или с помощью команды , если она основная.

Существуют две программы

и , назначение которых разбираться в "посмертной выдаче". Подобно большинству отладчиков, они "хитроумны", сложны и без них трудно обойтись. Программа есть в седьмой версии системы, a доступна в более поздних версиях.

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

Чтобы получить распечатку стека с помощью

, нужно ввести команду $C:

Вызывает adb

Запрос содержимого стека

Завершение

Здесь речь идет о том, что

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

Функция, где программа аварийно завершилась

Запрос распечатки стека

Выход

Информация размещена по-иному, но есть общая основа:

. (Распечатка стека другая, так как это сделано на машине VAX-11/750, на которой стандартная библиотека ввода вывода реализована иначе.) И если мы взглянем на вызов в неправильной версии , то обнаружим некорректность:

Здесь нет

, так что строка формата используется как ссылка к , и, конечно, получается хаос.

Мы показали вам типичную ошибку, которая является скорее результатом просмотра, а не неправильного программирования. Искать подобные ошибки при вызове функции с неверными аргументами можно также с помощью верифицирующей программы для Си

. Эта программа рассматривает Си-программы с точки зрения наличия ошибок, аспектов переносимости и сомнительных конструкций. Если мы запустим с файлом , ошибка идентифицируется:

Это означает, что первый аргумент в стандартной библиотеке определен иначе, чем в строке 28 вашей программы. Таким образом дана точная информация о том, что неверно.