Архитектура операционной системы UNIX

 if (у файла слишком много связей или производится связывание каталога без разрешения суперпользователя) {

  освободить индекс (алгоритм iput);

  return (ошибку);

 }

 увеличить значение счетчика связей в индексе;

 откорректировать дисковую копию индекса;

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

 получить индекс родительского каталога для включения нового имени файла (алгоритм namei);

 if (файл с новым именем уже существует или существующий файл и новый файл находятся в разных файловых системах) {

  отменить корректировку, сделанную выше;

  return (ошибку);

 }

 создать запись в родительском каталоге для файла с новым именем;

 включить в нее новое имя и номер индекса существующего файла;

 освободить индекс родительского каталога (алгоритм iput);

 освободить индекс существующего файла (алгоритм iput);

}

Рисунок 5.29. Алгоритм связывания файлов

На Рисунке 5.29 показан алгоритм функции link. Сначала ядро, используя алгоритм namei, определяет местонахождение индекса исходного файла, увеличивает значение счетчика связей в индексе, корректирует дисковую копию индекса (для обеспечения согласованности) и снимает с индекса блокировку. Затем ядро ищет файл с новым именем; если он существует, функция link завершается неудачно и ядро восстанавливает прежнее значение счетчика связей, измененное ранее. В противном случае ядро находит в родительском каталоге свободную запись для файла с новым именем, записывает в нее новое имя и номер индекса исходного файла и освобождает индекс родительского каталога, используя алгоритм iput. Поскольку файл с новым именем ранее не существовал, освобождать еще какой-нибудь индекс не нужно. Ядро, освобождая индекс исходного файла, делает заключение: счетчик связей в индексе имеет значение, на 1 большее, чем то значение, которое счетчик имел перед вызовом функции, и обращение к файлу теперь может производиться по еще одному имени в файловой системе. Счетчик связей хранит количество записей в каталогах, которые (записи) указывают на файл, и тем самым отличается от счетчика ссылок в индексе. Если по завершении выполнения функции link к файлу нет обращений со стороны других процессов, счетчик ссылок в индексе принимает значение, равное 0, а счетчик связей — значение, большее или равное 2.

Например, выполняя функцию, вызванную как:

link("source", "/dir/target");

ядро обнаруживает индекс для файла «source», увеличивает в нем значение счетчика связей, запоминает номер индекса, скажем 74, и снимает с индекса блокировку. Ядро также находит индекс каталога «dir», являющегося родительским каталогом для файла «target», ищет свободное место в каталоге «dir» и записывает в него имя файла «target» и номер индекса 74. По окончании этих действий оно освобождает индекс файла «source» по алгоритму iput. Если значение счетчика связей файла «source» раньше было равно 1, то теперь оно равно 2.

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

процесс A: link("a/b/c/d", "e/f/g");

процесс B: link("e/f", "a/b/c/d/ee");