LOCKF(3C)

НАЗВАНИЕ
lockf - блокировка сегментов файла

СИНТАКСИС

	#include <unistd.h>

	

	int lockf (fildes, function, size)

	long size;

	int fildes, function;

ОПИСАНИЕ
Функция lockf позволяет блокировать отдельные сегменты файла. Учитывать ли блокировку при записи, определяется режимом доступа к файлу [см. chmod(2)]. Если другие процессы попытаются блокировать уже заблокированный фрагмент, они либо получат в ответ код ошибки, либо будут ждать освобождения ресурса. При завершении процесса все блокировки, установленные им, удаляются. Более подробная информация о блокировке приведена в fcntl(2).

Аргумент fildes - это дескриптор открытого файла. Чтобы функция lockf завершилась успешно, файл должен быть открыт с правом записи (O_WRONLY или O_RDWR).

Аргумент function - это значение, задающее вполняемые действия. Допустимые значения определены во включаемом файле <unistd.h>:

	#define F_ULOCK 0 /* Разблокировать ранее блокированный

	                     сегмент */

	#define F_LOCK  1 /* Заблокировать сегмент */

	#define F_TLOCK 2 /* Проверить и заблокировать сегмент */

	#define F_TEST  3 /* Проверить сегмент */

Значение F_TEST используется для определения того, не блокирован ли соответствующий сегмент файла каким-нибудь другим процессом. F_LOCK и F_TLOCK блокируют указанный сегмент, если это возможно. F_ULOCK разблокирует ранее блокированный сегмент.

Аргумент size задает количество последовательных байт файла, которые должны быть заблокированы или разблокированы. Началом сегмента является текущая позиция в файле; сегмент распространяется вперед или назад по файлу, в зависимости от положительного или отрицательного значения size (при распространении назад текущая позиция не включается в блокируемую или разблокируемую область). Если значение size равно 0, блокируется (или разблокируется) сегмент от текущей позиции до конца файла (текущего и любого будущего). Блокируемый сегмент не обязан существовать в файле, допустима блокировка областей за концом файла.

Сегменты, блокируемые посредством F_LOCK и F_TLOCK, могут полностью или частично пересекаться с сегментами, ранее блокированными тем же процессом. При обнаружении такого пересечения, а также при обнаружении смежных сегментов, создается один блокируемый сегмент, охватывающий все смежные байты. Если при блокировании создается новый блокируемый сегмент, он заносится в таблицу блокировок; при нехватке места в этой таблице обращение к lockf завершается неудачей и блокировка не устанавливается.

Запросы F_LOCK и F_TLOCK отличаются только действиями, которые производятся в случае, если блокировку осуществить невозможно. F_LOCK приводит к ожиданию освобождения ресурса. Запрос F_TLOCK, если сегмент уже блокирован другим процессом, приводит к возврату значения -1 и присваивания переменной errno значения EACCES.

Запрос F_ULOCK может полностью или частично разблокировать один или более сегментов, заблокированных вызывающим процессом. Если сегмент разблокируется не полностью, остаток остается блокированным. Разблокирование середины сегмента требует дополнительного элемента в таблице блокировок. При нехватке места в этой таблице происходит неудача, переменной errno присваивается значение EDEADLK и разблокировка не производится.

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

Ожидание ресурса может быть прервано произвольным сигналом. Для применений, в которых требуется временной контроль, рекомендуется пользоваться системным вызовом alarm(2).

Функция lockf завершается неудачей, если выполнено хотя бы одно из следующих условий:

[EBADF]	Аргумент fd не является корректным дескриптором открытого файла.
[EACCES]	Значение function равно F_TLOCK или F_TEST, а сегмент уже блокирован другим процессом.
[EDEADLK]	Значение function равно F_LOCK и может создаться тупик, или значение function равно F_LOCK, F_TLOCK или F_ULOCK, а в таблице блокировок не хватает места.
[ECOMM]	Fildes является дескриптором файла на удаленном компьютере, связи с которым в данный момент нет.

СМ. ТАКЖЕ
chmod(2), close(2), creat(2), fcntl(2), intro(2), open(2), read(2), write(2).

ДИАГНОСТИКА
При успешном завершении результат равен 0; в случае ошибки возвращается -1, а переменной errno присваивается код ошибки.

ПРЕДОСТЕРЕЖЕНИЯ
Для процесса, который занимается буферизацией ввода/вывода в адресном пространстве пользователя, результаты взаимодействия с механизмом блокировки могут оказаться непредсказуемыми: запись в заблокированный сегмент пройдет нормально, зато потом запись совсем в другое место может привести к ошибке из-за выталкивания буферов. Главным источником неожиданной буферизации является стандартный пакет ввода/вывода.

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