Борьба с авариями - часть 3
Сравнивая эти таблицы отображений, получаем все изменения, какие претерпел данный файл за время его обработки. Эти изменения заносятся в исходную таблицу распределения, и она отображается в таблицу распределения памяти на диск. На диске данная таблица хранится в двух экземплярах. Последовательные обновления таблицы распределения свободной памяти идут поочередно то в один экземпляр, то в другой. После очередного обновления таблицы распределения сохраняется и предыдущая версия таблицы. Для того, чтобы отследить хронологию, таблицы распределения помечаются уникальным идентификатором(в начале таблицы и в ее конце). Выработка уникальных идентификаторов ведется задачей АРХИВ. Уникальный идентификатор - это счетчик, устанавливающийся в нуль при генерации ФС и увеличивающийся на единицу при каждом запросе следующего идентификатора.
В состав таблицы распределения свободной памяти включена так называемая область согласованности, в которой хранятся имена объектов, обновление которых привело к отображению данной таблицы на внешнюю память. При закрытии файла в области согласованности будет храниться имя справочника, в котором описывается модифицированный файл.
После отображения на диск исходной таблицы с уникальным идентификатором, выработанным на момент закрытия, на диск будет отображен справочник закрываемого файла. Справочник также снабжается тем же самым уникальным идентификатором момента закрытия. Справочник отображается последовательно сначала в один дубль, потом в другой. После отображения справочника на внешнюю паямть таблица распределения свободной памяти и отображение файла в справочнике будут находиться в согласованном состоянии.
В случае отказов ОМ на любом из этапов работы с файлом система гарантирует согласованное состояние таблицы распределения памяти и таблицы отображения файла на диск без потери пространства на диске. Рассогласованным может оказаться лишь содержимое самого файла.
Рассмотрим более подробно те действия, которые осуществляет ФС в начале работы (после перевызова ОС).