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.

Предыдущая страница | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 | Следующая страница




Возможно, Вас также заинтересует:

ОС Knoppix - это Linux без про...

ВведениеЕсли вы цените свое время, умеете считать деньги и знаете стоимость информации, то эта книга...

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

Спин-блокировкаСпин-блокировка необходима в многопроцессорной системе, потому что могут возникнуть...

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

Копирование при записи В системах Unix первых поколений создание процесса было реализовано довольно...

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

Буферы блоков и головы буферовУ каждого буфера есть дескриптор голова буфера, имеющий тип buffer...