Нейл Мэтью - Основы программирования в Linux

Если вызов с командой F_GETLKзавершился успешно (т. е. вернул значение, отличное от -1), вызвавшее его приложение должно проверить, изменено ли содержимое структуры flock. Поскольку значение l_pidсодержит идентификатор блокирующего процесса (если таковой найден), это поле очень удобно для того, чтобы проверить, изменялась ли структура flock.

Эта команда пытается заблокировать или разблокировать участок файла, заданного fildes. В табл. 7.3 приведены значения полей структуры flock(отличающиеся от значений, применяемых командой F_GETLK).

Таблица 7.3

Как и в случае F_GETLK, блокируемый участок определяется значениями элементов l_start, l_whenceи l_lenструктуры flock. Если блокировка установлена, вызов fcntlвернет значение, отличное от -1, при аварийном завершении возвращается -1. Вызов завершается немедленно.

Команда F_SETLKWаналогична команде F_SETLKза исключением того, что при невозможности установки блокировки вызов будет ждать до тех пор, пока такая возможность не представится. После перехода в состояние ожидания вызов завершится только, когда блокировка будет установлена или появится сигнал. Сигналы мы обсудим в главе 11.

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

Когда вы применяете блокировку участков файла, очень важно использовать для доступа к данным низкоуровневые вызовы readи writeвместо высокоуровневых функций freadи fwrite. Это необходимо, поскольку функции freadи fwriteвыполняют внутри библиотеки буферизацию читаемых или записываемых данных, так что при выполнений вызова freadдля считывания 100 байтов из файла может быть (и на самом деле почти наверняка будет), считано более 100 байтов, и дополнительные данные помещаются во внутрибиблиотечный буфер. Если программа применит функцию freadдля считывания следующих 100 байтов, она на самом деле считает данные из буфера и не разрешит низкоуровневому вызову readизвлечь больше данных из файла.

Для того чтобы понять, в чем тут проблема, рассмотрим две программы, которые хотят обновить один и тот же файл. Предположим, что файл содержит 200 байтов данных, все нули. Первая программа начинает работу и устанавливает блокировку на запись для первых 100 байтов файла. Затем она применяет функцию freadдля считывания этих 100 байтов. Однако, как было показано в одной из предшествующих глав, freadбудет каждый раз считывать больше, до BUFSIZбайтов, поэтому она на самом деле считает в память целиком весь файл, но программе вернет только первые 100 байтов.

Затем стартует вторая программа. Она устанавливает блокировку writeна вторые 100 байтов файла. Это действие завершится успешно, поскольку первая программа заблокировала только первые 100 байтов. Вторая программа записывает двойки в байты с 100-го по 199-й, закрывает файл, снимает блокировку и завершается. В это время первая программа блокирует вторые 100 байтов файла и вызывает функцию freadдля их считывания. Поскольку эти данные были уже занесены библиотекой в буфер, программа увидит 100 байтов нулей, а не 100 двоек, которые на самом деле хранятся в файле на жестком диске. Подобной проблемы не возникает, если вы применяете вызовы readи write.

Приведенное описание блокировки файла может показаться сложноватым, но ее труднее описать, чем применить. Поэтому выполните упражнение 7.9.

Давайте рассмотрим пример работы блокировки файла в программе lock3.с. Для опробования блокировки вам понадобятся две программы: одна для установки блокировки и другая для ее тестирования. Первая программа выполняет блокировку.

1. Начните с файлов includeи объявлений переменных: