К сожалению, такой подход неприменим в отношении свободных блоков хранения данных, поскольку по содержимому блока нельзя определить, свободен он или нет. Поэтому необходимо хранить список адресов свободных блоков целиком. Список адресов свободных блоков может занимать несколько блоков хранения данных, но суперблок содержит только один блок этого списка. Первый элемент этого блока указывает на блок, хранящий продолжение списка и т.д., как это показано на рис. 4.1.
Выделение свободных блоков для размещения файла производится с конца списка суперблока. Когда в списке остается единственный элемент, ядро интерпретирует его как указатель на блок, содержащий продолжение списка. В этом случае содержимое этого блока считывается в суперблок и блок становится свободным. Такой подход позволяет использовать дисковое пространство под списки, пропорциональное свободному месту в файловой системе. Другими словами, когда свободного места практически не остается, список адресов свободных блоков целиком помещается в суперблоке.
Индексные дескрипторы
Индексный дескриптор, или inode, содержит информацию о файле, необходимую для обработки данных, т.е.
Индексный дескриптор не содержит:
имени файла, которое содержится в блоках хранения данных каталога;
содержимого файла, которое размещено в блоках хранения данных.
При открытии файла ядро помещает копию дискового inode в память в таблицу struct dinode
) приведена на рис. 4.2. Основные поля дискового inode следующие:
di_mode | Тип файла, дополнительные атрибуты выполнения и права доступа. |
di_nlinks | Число ссылок на файл, т.е. количество имен, которые имеет файл в файловой системе. |
di_uid , di_gid | Идентификаторы владельца-пользователя и владельца- группы. |
di_size | Размер файла в байтах. Для специальных файлов это поле содержит старший и младший номера устройства. |
di_atime | Время последнего доступа к файлу. |
di_mtime | Время последней модификации. |
di_ctime | Время последней модификации inode (кроме модификации полей di_atime, di_mtime). |
di_addr[13] | Массив адресов дисковых блоков хранения данных. |
Рис. 4.2. Структура дискового inode
Поле di_mode
хранит несколько атрибутов файла: тип файла (IFREG
для обычных файлов, IFDIR
для каталогов, IFBLK
или IFCHR
для специальных файлов блочных и символьных устройств соответственно); права доступа к файлу для трех классов пользователей и дополнительные атрибуты выполнения (SUID, SGID и sticky bit), значения этих атрибутов были подробно рассмотрены в главе 1.
Заметим, что в индексном дескрипторе отсутствует информация о времени создания файла. Вместо этого inode хранит три значения времени: время последнего доступа (di_atime
), время последней модификации содержимого файла (di_mtime
) и время последней модификации метаданных файла (di_ctime
). В последнем случае не учитываются модификации полей di_atime
и di_mtime
. Таким образом, di_ctime
изменяется, когда изменяется размер файла, владелец, группа, или число связей.
Индексный дескриптор содержит информацию о расположении данных файла. Поскольку дисковые блоки хранения данных файла в общем случае располагаются не последовательно, inode должен хранить физические адреса всех блоков, принадлежащих данному файлу.[46] В индексном дескрипторе эта информация хранится в виде массива, каждый элемент которого содержит физический адрес дискового блока, а индексом массива является номер логического блока файла. Массив имеет фиксированный размер и состоит из 13 элементов. При этом первые 10 элементов адресуют непосредственно блоки хранения данных файла. Одиннадцатый элемент адресует блок, в свою очередь содержащий адреса блоков хранения данных. Двенадцатый элемент указывает на дисковый блок, также хранящий адреса блоков, каждый из который адресует блок хранения данных файла. И, наконец, тринадцатый элемент используется для тройной косвенной адресации, когда для нахождения адреса блока хранения данных файла используются три дополнительных блока.