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

Функция try_to_unmap_file

Функция try to unmap file ВЫЗЫВаеТСЯ функцией try to unmapO ДЛЯ ВЫ- полнения обратного отображения отображающих страниц. Эта функция довольно проста, когда отображение в память линейно (см. разд. "Отображение в память" главы 16). В этом случае она выполняет следующие действия:
1. Получает спин-блокировку page->mapping->i_mmap_lock.
2. Применяет макрос vma_prio_tree_foreach к дереву приоритетного поиска, корень которого хранится В поле page->mapping->i_mmap. Для каЖДОГО дескриптора vm_area_struct, найденного макросом, функция вызывает функцию try_to_unmap_one, чтобы попытаться очистить запись в Таблице Страниц, относящуюся к области памяти, которая содержит данную страницу (см. разд. "Обратное отображение для анонимных страниц" ранее в этой главе). Если по какой-либо причине эта функция возвратит значение swap fail, или если поле mapcount дескриптора страницы свидетельствует о том, что все записи в Таблице Страниц, ссылающиеся на данный страничный кадр, были найдены, то сканирование немедленно прекращается.
3. Освобождает спин-блокировку page->mapping->i_mmap_lock.
4. Возвращает swap again или swap fail, в зависимости от того, все ли записи таблицы страниц были очищены.
Если отображение в память нелинейно у функции try to unmap oneо может не получиться очистить некоторые записи Таблицы Страниц, потому что поле index дескриптора страницы, которое, как обычно, содержит позицию страницы внутри файла, не имеет отношения к позиции страницы в области памяти. В результате функция try_to_unmap_one не сможет определить линейный адрес страницы и, следовательно, не сможет получить адрес записи в Таблице Страниц.

Единственным решением будет исчерпывающий поиск во всех нелинейных областях памяти, выделенных для данного файла. Двунаправленный список с корнем в поле i_mmap_noniinear объекта address space, принадлежащего файлу page->mapping, содержит дескрипторы всех нелинейных областей памяти
этого файла. Для каждой такой области памяти функция try to unmap fiieO вызывает функцию try_to_unmap_ciuster, которая сканирует все записи в Таблице Страниц, соответствующие линейным адресам в области памяти и пытается очистить эти записи.

Поскольку подобный поиск может занять очень много времени, выполняется ограниченное сканирование, а участок области памяти, который следует сканировать, определяется по эвристическому правилу: поле vm private data дескриптора vma_area_struct содержит текущий курсор в текущем сканировании. Это означает, что функция try to unmap fiie о может в некоторых случаях пропустить страницу, подлежащую обратному отображению. Когда это происходит, функция try to unmapO обнаруживает, что страница по- прежнему является отображающей, и возвращает swapagain вместо
SWAP_SUCCESS.