Linux Kernel (Ядро линукса) (часть 2)

Структуры данных для блокировок файлов

Все типы блокировок в Linux представлены одной структурой fiie iock, Все структуры lock fiie, относящиеся к одному и тому же файлу на диске, собраны в однонаправленный список, на первый элемент которого указывает поле if lock объекта индексный дескриптор”. Поле finext структуры lock f iie указывает следующий элемент списка.

Когда некоторый процесс делает блокирующий системный вызов, чтобы получить исключительную блокировку, а на том же самом файле установлены совместные блокировки, запрос на блокировку не может быть удовлетворен немедленно, и процесс должен быть временно приостановлен. Тогда он заносится в очередь, на которую указывает поле fi wait структуры fiie iock, принадлежащей задержанной блокировке. Два списка служат для проведения различия между удовлетворенными запросами на блокировку (активными блокировками) и запросами, которые не могут быть удовлетворены прямо сейчас (задержанными блокировками).

Активные блокировки собраны в связный глобальный список блокировок файлов”, первый элемент которого хранится в переменной fiie iock iist. Аналогичным образом все задержанные блокировки собраны в отдельном связном списке, первый элемент которого хранится в переменной biock iist. Поле fl link используется ДЛЯ вставки структуры lock_file в один из двух списков.

Наконец, и это не менее важно, ядро должно отслеживать все задержанные блокировки (ждущие), связанные с данной активной блокировкой (задерживающей). Для этой цели предусмотрен список, связывающий все блокировки, ждущие данную. Поле fi biock задерживающей блокировки является головным элементом этого списка, а поля fi biock ждущих блокировок содержат указатели на соседние элементы этого списка.