Linux для пользователя
         

Файловая система ReiserFS


Кроме проблемы быстрого восстановления после сбоев, в файловой системе ext2fs имеется еще несколько нерешенных проблем.

Одна из самых насущных — это проблема нерационального использования дискового пространства. Конечно, ext2fs использует диск гораздо более рационально, чем FAT, но, как вам хорошо известно, "памяти много не бывает"!

Собственно проблема возникает из-за следующего противоречия:

если размер блока выбрать большим (кластер размером 32Кбайт в FAT), то при сохранении большого числа мелких файлов на диске неразумно используется дисковое пространство, так как маленькие файлы (и концы больших файлов) занимают целые блоки (Juan I. Santos Florido в своей статье называет это "внутренней фрагментацией");

если размер блока выбрать маленьким (512 байт), то снижается производительность ввода/вывода, так как надо прочитать много блоков, которые могут быть разбросаны по диску (это "внешняя фрагментация").

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

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

Между тем методы снижения трудоемкости поиска давно разработаны, только надо для хранения информации о свободных объектах использовать не простые списки, а несколько более сложные структуры данных. В системе ReiserFS для этого применяются так называемые "сбалансированные деревья" или "B+Trees", время поиска в которых пропорционально не количеству объектов (файлов в каталоге или числа блоков на диске), а логарифму этого числа. В сбалансированном дереве все ветви (пути от корня до "листа") имеют одинаковую (или примерно одинаковую) длину. ReiserFS использует сбалансированные деревья для хранения всех объектов файловой системы: файлов в каталогах, данных о свободных блоках и т. д. Это позволяет существенно повысить производительность обращения к дискам.

Кроме того, ReiserFS является журналируемой, т. е. в ней решена и проблема быстрого восстановления после сбоев.

Я привел в данной главе только самые поверхностные данные о новых типах файловых систем, поскольку статей о них пока опубликовано довольно мало. Тем не менее, за время подготовки книги некоторая дополнительная информация появилась, так что если вас этот вопрос интересует, поищите сведения в Интернете.



Индексные дескрипторы файлов


Каждому файлу на диске соответствует один и только один индексный дескриптор файла, который идентифицируется своим порядковым номером — индексом файла. Это означает, что число файлов, которые могут быть созданы в файловой системе, ограничено числом индексных дескрипторов, которое либо явно задается при создании файловой системы, либо вычисляется исходя из физического объема дискового раздела.

Строение индексного дескриптора файла приведено в табл. 16.4.

Таблица 16.4. Структура индексного дескриптора

Название поляТипОписаниеi_modeUSHORTТип и права доступа к данному файлуi_uidUSHORTИдентификатор владельца файла (Owner Uid)i_sizeULONGРазмер файла в байтахi_atimeULONGВремя последнего обращения к файлу (Access time)i_ctimeULONGВремя создания файлаi_mtimeULONGВремя последней модификации файлаi_dtimeULONGВремя удаления файлаi_gidUSHORTИдентификатор группы (GID)i_links_countUSHORTСчетчик числа связей (Links count)i_blocksULONGЧисло блоков, занимаемых файломi_flagsULONGФлаги файла (File flags)i_reserved1ULONGЗарезервировано для ОСi_blockULONG[15]Указатели на блоки, в которых записаны данные файла (это поле подробно описано в разд. 16.4)i_versionULONGВерсия файла (для NFS)i_file_aclULONGACL файлаi_dir_aclULONGACL каталогаi_faddrULONGАдрес фрагмента (Fragment address)i_fragUCHARНомер фрагмента (Fragment number)i_fsizeUCHARРазмер фрагмента (Fragment size)i_pad1USHORTЗаполнение i_reserved2ULONG[2]Зарезервировано

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

Таблица 16.5. Структура поля, задающего тип и права доступа

ИдентификаторЗначениеНазначение флага (поля)S_IFMTF000Маска для типа файлаS_IFSOCKA000Доменное гнездо (socket)S_IFLNKC000Символическая ссылкаS_IFREG8000Обычный (regular) файлS_IFBLK6000Блок-ориентированное устройствоS_IFDIR4000КаталогS_IFCHR2000Байт-ориентированное (символьное) устройствоS_IFIFO1000Именованный канал (fifo)S_ISUID0800SUID — бит смены владельцаS_ISGID0400SGID — бит смены группыS_ISVTX0200Бит сохранения задачи (sticky bit)S_IRWXU01C0Маска прав владельца файлаS_IRUSR0100Право на чтениеS_IWUSR0080Право на записьS_IXUSR0040Право на выполнениеS_IRWXG0038Маска прав группыS_IRGRP0020Право на чтениеS_IWGRP0010Право на записьS_IXGRP0008Право на выполнениеS_IRWXO0007Маска прав остальных пользователейS_IROTH0004Право на чтениеS_IWOTH0002Право на записьS_IXOTH0001Право на выполнение


Среди индексных дескрипторов имеется несколько дескрипторов, которые зарезервированы для специальных целей и играют особую роль в файловой системе (табл. 16.6).

Таблица 16.6. Особые индексные дескрипторы

ИдентификаторЗначениеОписаниеEXT2_BAD_INO1Индексный дескриптор, в котором перечислены адреса дефектных блоков на диске (Bad blocks inode)EXT2_ROOT_INO2Индексный дескриптор корневого каталога файловой системы (Root inode)EXT2_ACL_IDX_INO3ACL inodeEXT2_ACL_DATA_INO4ACL inodeEXT2_BOOT_LOADER_INO5Индексный дескриптор загрузчика (Boot loader inode)EXT2_UNDEL_DIR_INO6Инлексный дескриптор каталога для удаленных файлов (Undelete directory inode)EXT2_FIRST_INO11Первый незарезервированный индексный дескриптор

Самый важный дескриптор в этом списке — дескриптор корневого каталога. Этот дескриптор указывает на корневой каталог, который, подобно всем каталогам, представляет собой связанный список, состоящий из записей переменной длины. Каждая запись имеет следующую структуру (табл. 16.7):

Таблица 16.7. Структура дескриптора, описывающего корневой каталог

Название поляТипОписаниеInodeULONGНомер индексного дескриптора (индекс) файлаRec_lenUSHORTДлина этой записиName_lenUSHORTДлина имени файлаNameCHAR[0]Имя файла

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

Новые файловые системы


Файловая система ext2fs была создана по образу и подобию файловой системы UNIX (UNIX File System — UFS). Обе они (особенно UFS) создавались еще в те времена, когда диски и другие физические носители данных имели довольно маленький (по современным меркам) объем. Увеличение объема дисков вело к возрастанию объема разделов диска, увеличению размеров отдельных файлов и каталогов. Это породило ряд проблем, связанных с ограниченностью внутренних структур данных файловой системы.

Существуют две основных проблемы этого рода.

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

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

Естественно, что появление этих проблем породило и попытки их решения. Были разработаны новые типы файловых систем, при создании которых учитывались требования масштабируемости. Наиболее известными разработками файловых систем новых типов являются:

файловая система ext3fs ;

XFS;

журналируемая файловая система JFS фирмы IBM;

ReiserFS .

В табл.16.8 приведены данные по увеличению основных параметров, обеспечиваемых новыми файловыми системами. Данные заимствованы из статьи Juan I. Santos Florido "Journal File Systems", опубликованной в 55-ом выпуске Linux Gazette (July 2000).

Таблица 16.8. Некоторые параметры файловых систем новых типов


Размер блокаМаксим. размер файловой системыМаксим. размер файлаExt3FS1—4 Кбайт4 Tбайт2 ГбайтXFSот 512 байт до 64 Кбайт18 тысяч петабайт9 тысяч петабайтJFS512, 1024, 2048, 4096 байтот 4 петабайт (при 512- байтных блоках) до 32 петабайт (при 4-килобайтовых блоках)От 512 Тбайт (при 512-байтовых блоках)

До 4 петабайт (при 4-килобайтовых блоках)ReiserFSДо 64 Кбайт (пока что фиксирован, 4 Кбайт)4 Гбайт блоков, 16 Тбайт4 Гбайт, 210 петабайт в ReiserFS (3.6.xx)


Система адресации данных


Система адресации данных — это одна из самых существенных составных частей файловой системы. Именно система адресации позволяет находить нужный файл среди множества как пустых, так и занятых блоков на диске. В ext2fs система адресации реализуется полем i_block индексного дескриптора файла.

Поле i_block в индексном дескрипторе файла представляет собой массив из 15 адресов блоков. Первые 12 адресов в этом массиве (EXT2_NDIR_BLOCKS [12]) представляют собой прямые ссылки (адреса) на номера блоков, в которых хранятся данные из файла. Следующий адрес в этом массиве (EXT2_IND_BLOCK) является косвенной ссылкой, т. е. адресом блока, в котором хранится список адресов следующих блоков с данными из этого файла. В этом блоке могут быть записаны адреса (размер_блока / размер_ULONG) блоков с данными файла.

Следующий адрес в поле i_block индексного дескриптора (EXT2_DIND_BLOCK) указывает на блок двойной косвенной адресации (double indirect block). Этот блок содержит список адресов блоков, которые в свою очередь содержат списки адресов следующих блоков данных того файла, который задается данным индексным дескриптором.

И, наконец, последний адрес (EXT2_TIND_BLOCK) в поле i_block индексного дескриптора задает адрес блока тройной косвенной адресации, т. е. блока со списком адресов блоков, которые являются блоками двойной косвенной адресации.

Теперь вы знаете, как устроены индексные дескрипторы файлов, т. е. можете представить, как в файловой системе ext2fs осуществляется запись в файл и чтение из файла.

Может быть здесь еще надо бы рассказать о команде mkfs, которая служит для создания файловой системы в разделе диска. Но вкратце мы ее рассмотрели в разд. 4.12, а за более подробными пояснениями читатель может обратиться к интерактивным руководствам.



Структура дискового раздела в ext2fs


Производители жестких дисков обычно поставляют свои изделия отформатированными на низком уровне. Насколько я знаю, это означает, что все дисковое пространство с помощью специальных меток разбито на "сектора", размером 512 байт. Такой диск (или дисковый раздел) должен быть подготовлен для использования в определенной операционной системе. В MS-DOS или Windows процедура подготовки называется форматированием, а в Linux — созданием файловой системы. Создание файловой системы ext2fs заключается в создании в разделе диска определенной логической структуры. Эта структура строится следующим образом.

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

Блоки, в свою очередь, объединяются в группы блоков (рис. 16.1). Группы блоков в файловой системе и блоки внутри группы нумеруются последовательно, начиная с 1. Первый блок на диске имеет номер 1 и принадлежит группе с номером 1. Общее число блоков на диске (в разделе диска) является делителем объема диска, выраженного в секторах. А число групп блоков не обязано делить число блоков, потому что последняя группа блоков может быть не полной. Начало каждой группы блоков имеет адрес, который может быть получен как ((номер_группы — 1)* (число_блоков_в_группе)).

Загрузочная запись Группа

блоков 1Группа

Блоков 2...Группа

блоков n


Рис.16.1. Структура дискового раздела в ext2fs

Каждая группа блоков имеет одинаковое строение:
Супер-блокОписание группы блоков (Group Descriptors)Битовая карта блоков (Block Bitmap)Битовая карта индексных дескрипторов (Inode Bitmap)Таблица индексных дескрипторов(Inode Table)Область блоков данных

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

Первый элемент каждой группы блоков (суперблок) одинаков для всех групп, а все остальные — индивидуальны для каждой группы. Суперблок хранится в первом блоке каждой группы блоков. Суперблок является начальной точкой файловой системы. Он имеет размер 1024 байта и всегда располагается по смещению 1024 байта от начала файловой системы. Наличие нескольких копий суперблока объясняется чрезвычайной важностью этого элемента файловой системы. Дубликаты суперблока используются при восстановлении файловой системы после сбоев.

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

Структура суперблока приведена в табл. 16.2.

Таблица 16.4. Структура суперблока



Название поляТипКомментарийs_inodes_countULONGЧисло индексных дескрипторов в файловой системеs_blocks_countULONGЧисло блоков в файловой системеs_r_blocks_countULONGЧисло блоков, зарезервированных для суперпользователяs_free_blocks_countULONGСчетчик числа свободных блоковs_free_inodes_countULONGСчетчик числа свободных индексных дескрипторовs_first_data_blockULONG Первый блок, который содержит данные. В зависимости от размера блока, это поле может быть равно 0 или 1. s_log_block_sizeULONGИндикатор размера логического блока: 0 = 1 Кб; 1 = 2 Кб; 2 = 4 Кб. s_log_frag_sizeLONGИндикатор размера фрагментов (кажется, понятие фрагмента в настоящее время не используется)s_blocks_per_groupULONGЧисло блоков в каждой группе блоковs_frags_per_groupULONGЧисло фрагментов в каждой группе блоковs_inodes_per_groupULONGЧисло индексных дескрипторов (inodes) в каждой группе блоковs_mtimeULONGВремя, когда в последний раз была смонтирована файловая система.s_wtimeULONGВремя, когда в последний раз производилась запись в файловую системуs_mnt_countUSHORTСчетчик числа монтирований файловой системы. Если этот счетчик достигает значения, указанного в следующем поле (s_max_mnt_count), файловая система должна быть проверена (это делается при перезапуске), а счетчик обнуляется. s_max_mnt_countSHORTЧисло, определяющее, сколько раз может быть смонтирована файловая системаs_magicUSHORT"Магическое число" (0xEF53), указывающее, что файловая система принадлежит к типу ex2fss_stateUSHORTФлаги, указывающее текущее состояние файловой системы (является ли она чистой (clean) и т.п.) s_errorsUSHORTФлаги, задающие процедуры обработки сообщений об ошибках (что делать, если найдены ошибки). s_padUSHORTЗаполнениеs_lastcheckULONGВремя последней проверки файловой системы s_checkintervalULONGМаксимальный период времени между проверками файловой системыs_creator_osULONGУказание на тип ОС, в которой создана файловая системаs_rev_levelULONGВерсия (revision level) файловой системы. s_reservedULONG[235]Заполнение до 1024 байт



Вслед за суперблоком расположено описание группы блоков (Group Descriptors). Это описание представляет собой массив, имеющий структуру, приведенную в табл. 16.3.

Таблица 16.3. Структура описания группы блоков

Название поляТипНазначениеbg_block_bitmapULONGАдрес блока, содержащего битовую карту блоков (block bitmap) данной группы bg_inode_bitmapULONGАдрес блока, содержащего битовую карту индексных дескрипторов (inode bitmap) данной группыbg_inode_tableULONGАдрес блока, содержащего таблицу индексных дескрипторов (inode table) данной группы bg_free_blocks_countUSHORTСчетчик числа свободных блоков в данной группе bg_free_inodes_countUSHORTЧисло свободных индексных дескрипторов в данной группеbg_used_dirs_countUSHORTЧисло индексных дескрипторов в данной группе, которые являются каталогамиbg_padUSHORTЗаполнениеbg_reservedULONG[3]Заполнение

Размер описания группы блоков можно вычислить как

(размер_группы_блоков_в_ext2 * число_групп) / размер_блока,

при необходимости округляем.

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

Битовая карта блоков (block bitmap) — это структура, каждый бит которой показывает, отведен ли соответствующий ему блок какому-либо файлу. Если бит равен 1, то блок занят. Эта карта служит для поиска свободных блоков в тех случаях, когда надо выделить место под файл, Битовая карта блоков занимает число блоков, равное (число_блоков_в_группе / 8) / размер_блока (при необходимости округляем).

Битовая карта индексных дескрипторов выполняет аналогичную функцию по отношению к таблице индексных дескрипторов: показывает, какие именно дескрипторы заняты.

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

И, наконец, все оставшееся место в группе блоков отводится для хранения собственно файлов.

Типы файловых систем, поддерживаемых в Linux


Как уже было сказано в гл. 4, файловая система — одна из основных составляющих любой операционной системы, так как она обеспечивает хранение информации на физических носителях и доступ приложений к этой информации. В разд.4.4 была достаточно подробно рассмотрена та сторона файловой системы, которая обращена к пользователю — логическая структура каталогов и файлов. В этом разделе мы рассмотрим внутренние механизмы работы файловых систем, т. е. обратную (невидимую для пользователя) сторону файловой системы. Эта сторона обращена к физическим устройствам и определяет способ хранения информации на носителях, а также механизмы записи и извлечения этой информации по запросам приложений. Здесь в основе всего лежит способ адресации отдельных участков носителя и механизмы размещения отрезков файла по этим участкам.

Но, прежде чем перейти к описанию конкретных механизмов, стоит отметить, что Linux умеет работать с несколькими типами файловых систем. Основной файловой системой для Linux является "вторая расширенная файловая система" (second extended filesystem), которую кратко обозначают как ext2fs. Именно ее механизмы будут подробно рассматриваться в настоящем разделе. Но прежде, чем перейти к ее рассмотрению, ненадолго отвлечемся для того, чтобы кратко перечислить некоторые типы файловых систем, которые поддерживаются в Linux. Их список приведен в табл. 16.1.

Таблица 16.1. Типы файловых систем, поддерживаемые Linux

Тип ФСНазначениеminixФайловая система minix — это первая файловая система, которая использовалась в Linux. Она имела массу недостатков: ограничения размера раздела жесткого диска 64 мегабайтами; длина имени файла была ограничена 30 символами и т. д. Она продолжает использоваться для дискет и RAM-дисковextfsЕще одна из ранних версий файловой системы для Linux, расширение файловой системы minix. В настоящее время заменена файловой системой ext2 и уже не используютсяext2fsВторая расширенная файловая система (second extended filesystem) была создана как расширение файловой системы extfs. ext2fs обеспечивает более высокую производительность (в части скорости и использования центрального процессора), поддерживаются длинные имена и большие размеры файловxiafФайловая система Xiaf была создана на основе minix с целью обеспечения большей устойчивости и безопасности. Она обеспечивает выполнение основных функций файловой системы без излишней сложностиmsdosФайловая система, используемая для разделов, сформатированных в MS-DOS и Windows. Имена файлов в msdos должны удовлетворять стандарту 8.3umsdosФайловая система UMS-DOS является расширением файловой системы DOS, используемым под Linux. В ней добавлено использование длинных имен файлов, идентификаторы пользователя и группы (UID/GID), разрешения в стиле POSIX и специальные файлы (устройства, именованные каналы и т. д.) при этом совместимость с DOS не потерянаhpfsФайловая система для разделов OS/2. В Linux обеспечивается только чтение из разделов hpfsprocЭто файловая система, которая используется для обращения к структурам данных ядра. Файлы этой системы не занимают дискового пространства. Подробнее см. страницу man proc(5)nfsСетевая файловая система, используемая для доступа к дискам, расположенным на удаленных компьютерахswapРаздел или файл свопинга OC LinuxsysvФайловая система Unix Systen V. Она поддерживает файловые системы Xenix FS, SystemV/386 FS и Coherent FSiso9660Файловая система для монтирования CD-ROM, соответствующая стандарту ISO 9660vfatФайловая система FAT-32. Поддерживаются длинные имена файловsmbЭто сетевая файловая система, которая поддерживает протокол SMB, используемый Windows, Windows NT и Lan Manager. Для того, чтобы использовать эту файловую систему, надо иметь специальную программу монтирования smbmountncpfsЭто сетевая файловая система, обеспечивающая поддержку протокола NCP, применяемого в Novell NetWare. Для того, чтобы использовать эту файловую систему, надо тоже иметь специальную программу, которую можно найти на сайте ftp://linux01.gwdg.de/pub/ncpfs

Эту таблицу нельзя считать полной по той простой причине, что работа по созданию новых типов файловых систем для Linux продолжается постоянно. Примерами вновь разрабатываемых файловых систем являются журналируемая файловая система JFS фирмы IBM и файловая система ReiserFS. Эти системы и их отличия от основной на настоящий момент файловой системы Linux, ext2fs, я постараюсь охарактеризовать в конце данной главы.

А теперь подробнее рассмотрим основной на сегодняшний день тип файловой системы для Linux — ext2fs.



Виртуальная файловая система VFS


До сих пор наш рассказ о файловой системе касался только "статических", если можно так выразиться, составных частей файловой системы. Но, я думаю, вы понимаете, что все это хозяйство обслуживается какими-то программными модулями. Эти программные части можно разделить на две составных части. Одна часть входит в состав ядра и образует так называемую виртуальную файловую систему (VFS). VFS обеспечивает унифицированный программный интерфейс к услугам файловой системы, причем безотносительно к тому, какой тип файловой системы (vfat, ext2fs, nfs и т. д.) имеется на конкретном физическом носителе. Поэтому каждая файловая система должна предоставлять еще какие-то конкретные процедуры доступа к своим файлам, для того, чтобы использоваться под Linux. Виртуальная файловая система VFS, расположенная как бы между приложениями и конкретными файловыми системами, позволяет пользовательским приложениям получать доступ к множеству файловых систем разных типов.



Журналируемые файловые системы


Основная цель, которая преследуется при создании журналируемых файловых систем, состоит в том, чтобы обеспечить быстрое восстановление системы после сбоев (например, после потери питания). Дело в том, что если произойдет такой сбой, то часть информации о расположении файлов теряется, поскольку не все изменения сразу записываются на диск. После этого программа fsck вынуждена просматривать весь диск блок за блоком (пользуясь битовыми матрицами занятых блоков и индексных дескрипторов) с целью восстановления потерянных связей. При увеличении размера дисков вдвое, вдвое увеличивается и время, которое требуется для просмотра всего диска. А при тех объемах, которых достигают современные диски, особенно на серверах, время, необходимое для того, чтобы просмотреть весь диск, стало недопустимо велико: ведь сервер в это время не отзывается! Кроме того, нет гарантии, что все связи удастся восстановить.

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

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

Файловые системы ext3fs и JFS являются журналируемыми. Надо отметить, что ext3fs не является совершенно новой разработкой, а является просто надстройкой над ext2fs, обеспечивающей ведение журнала и организацию транзакций. Файловые системы XFS и JFS являются открытыми версиями коммерческих файловых систем.