Архитектура операционной системы UNIX   ::   Бах Морис Дж.

алгоритм alloc /* выделение блока файловой системы */

входная информация: номер файловой системы

выходная информация: буфер для нового блока

{

 do (пока суперблок заблокирован)

  sleep (до того момента, когда с суперблока будет снята блокировка);

 удалить блок из списка свободных блоков в суперблоке;

 if (из списка удален последний блок)  {

  заблокировать суперблок;

  прочитать блок, только что взятый из списка свободных (алгоритм bread);

  скопировать номера блоков, хранящиеся в данном блоке, в суперблок;

  освободить блочный буфер (алгоритм brelse);

  снять блокировку с суперблока;

  возобновить выполнение процессов (после снятия блокировки с суперблока);

 }

 получить буфер для блока, удаленного из списка (алгоритм getblk);

 обнулить содержимое буфера;

 уменьшить общее число свободных блоков;

 пометить суперблок как «измененный»;

 return буфер;

}

Рисунок 4.19. Алгоритм выделения дискового блока

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

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