При активізації чергового процесу в спеціальний регістр процесора завантажується адреса таблиці сторінок даного процесу.
При кожному звертанні до пам'яті відбувається зчитування з таблиці сторінок інформації про віртуальну сторінку, до якої відбулося звертання. Якщо дана віртуальна сторінка знаходиться в ОП, то виконується перетворення ВА у фізичну. Якщо ж потрібна віртуальна сторінка в даний момент вивантажена на диск, то відбувається так зване сторінкове переривання. Процес, що виконується, переводиться в стан чекання, і активізується інший процес з черги готових. Паралельно програма обробки сторінкового переривання знаходить на диску необхідну віртуальну сторінку і намагається завантажити її в ОП. Якщо в пам'яті наявна вільна фізична сторінка, то завантаження виконується негайно, якщо ж вільних сторінок немає, то вирішується питання, яку сторінку потрібно вивантажити з ОП.
У даній ситуації може бути використано багато різних критеріїв вибору, найбільш популярні з них наступні:
· довше всього не використовувалася сторінка,
· перша сторінка, що зустрілася,
· сторінка, до якої останнім часом було найменше звертань.
У деяких системах використовується поняття робочої безлічі сторінок. Робоча безліч визначається для кожного процесу і являє собою перелік найбільше часто використовуваних сторінок, що повинні постійно знаходитися в ОП і тому не підлягають вивантаженню.
Після того, як обрана сторінка залишилаОП, аналізується її ознака модифікації (з таблиці сторінок). Якщо сторінка, що виштовхується, з моменту завантаження була модифікована, то її нова версія повинна бути переписана на диск. Якщо ні, то вона може бути просто знищена, тобто відповідна фізична сторінка являється вільною.
Розглянемо механізм перетворення ВА у фізичний при сторінковій організації пам'яті (рис. 23).
ВА при сторінковому розподілі може бути представлений у виді пари (p, s), де p - номер віртуальної сторінки процесу (номерація сторінок починається з 0), а s - зсув у межах віртуальної сторінки. З огляду на те, що розмір сторінки дорівнює 2 у ступені до, зсув s може бути отримано простим відділенням k молодших розрядів у двійеовому записі ВА. Старші розряди, що залишилися, являють собою двійковий запис номера сторінки p.
№ віртуальної сторінки | № фізичної сторінки |
p | n |
Фізичний адрес k двійкових розрядів
Рис. 23. Механізм перетворення віртуальної адреси у фізичний
при сторінковій організації пам'яті
При кожному звертанні до ОП апаратними засобами виконуються наступні дії:
1. на підставі початкової адреси таблиці сторінок (вміст регістра адреси таблиці сторінок), номера віртуальної сторінки (старші розряди ВА) і довжини запису в таблиці сторінок (системна константа) визначається адресу потрібного запису в таблиці;
2. з цього запису витягається номер фізичної сторінки;
3. до номера фізичної сторінки приєднується зсув (молодші розряди віртуальної адреси).
Використання в пункті (3) того факту, що розмір сторінки дорівнює ступеню 2, дозволяє застосувати операцію конкатенації (приєднання) замість більш тривалої операції додавання, що зменшує час одержання фізичної адреси, а значить підвищує продуктивність комп'ютера.
На продуктивність системи зі сторінковою організацією пам'яті впливають тимчасові витрати, зв'язані з обробкою сторінкових переривань і перетворенням ВА у фізичну. При часто виникаючих сторінкових перериваннях система може витрачати велику частину часу, на свопінг сторінок. Щоб зменшити частоту сторінкових переривань, варто було б збільшувати розмір сторінки. Крім того, збільшення розміру сторінки зменшує розмір таблиці сторінок, а значить зменшує витрати пам'яті. З іншого боку, якщо сторінка велика, значить велика і фіктивна область в останній віртуальній сторінці кожної програми. У середньому на кожній програмі губиться половина обсягу сторінки, що в сумі при великій сторінці може скласти істотну величину. Час перетворення ВА у фізичну у значній мірі визначається часом доступу до таблиці сторінок. У зв'язку з цим таблицю сторінок прагнуть розміщати в "швидких" ЗП. Це може бути, наприклад, набір спеціальних регістрів чи регістрів пам'ять, що використовує для зменшення часу доступу асоціативний пошук і кешування даних.
Сторінковий розподіл пам'яті може бути реалізований в спрощеному варіанті, без вивантаження сторінок на диск. У цьому випадку усі віртуальні сторінки всіх процесів постійно знаходяться в ОП. Такий варіант сторінкової організації хоча і не надає користувачу ВП, але майже виключає фрагментацію за рахунок того, що програма може завантажуватися в несуміжні області, а також того, що при завантаженні віртуальних сторінок ніколи не утвориться залишків.
4.3. Сегментний розподіл
При сторінковій організації ВАП процесу поділяється механічно на рівні частини. Це не дозволяє диференціювати способи доступу до різних частин програми (сегментам), а ця властивість часта буває дуже корисною. Наприклад, можна заборонити звертатися з операціями запису і читання в кодовий сегмент програми, а для сегмента даних дозволити тільки читання. Крім того, розбивка програми на "осмислені" частини робить принципово можливим поділ одного сегмента декількома процесами. Наприклад, якщо два процеси використовують ту саму математичну підпрограму, то в ОП може бути завантажена тільки одна копія цієї підпрограми.
Розглянемо, яким чином сегментний розподіл пам'яті реалізує ці можливості (рис. 24). ВАП процесу поділяється на сегменти, розмір яких визначається програмістом з урахуванням значення інформації, що міститься в них. Окремий сегмент може являти собою підпрограму, масив даних і т.п. Іноді сегментація програми виконується по замовчуванню компілятором.
При завантаженні процесу частина сегментів міститься в ОП (при цьому для кожного з цих сегментів ОС підшукує придатний ділянку вільної пам'яті), а частина сегментів розміщається в дисковій пам'яті. Сегменти однієї програми можуть займати в ОП несуміжні ділянки. Під час завантаження система створює таблицю сегментів процесу (аналогічну таблиці сторінок), у якій для кожного сегмента вказується початкова фізична адреса сегмента в ОП, розмір сегмента, правила доступу, ознака модифікації, ознака звертання до даного сегмента за останній інтервал часу і деяка інша інформація. Якщо ВАП декількох процесів включають той самий сегмент, то в таблицях сегментів цих процесів робляться посилання на ту саму ділянку ОП, у який даний сегмент завантажується в єдиному екземплярі.
0 | |
1 | |
23 | ВивантаженийВивантажений |
Розділений
сегмент Віртуальний адреснийпростір процесу В Таблиця сегментів
0 | |
1 | Вивантажений |
2 |