- PVSM.RU - https://www.pvsm.ru -

Разработка Unix подобной OS — Виртуальное адресное пространство (6)

В предыдущей статье мы рассмотрели основы работы в защищенном режиме IA-32. Сегодня пришла пора научиться работать с виртуальным адресным пространством.

Оглавление

Система сборки (make, gcc, gas). Первоначальная загрузка (multiboot). Запуск (qemu). Библиотека C (strcpy, memcpy, strext).

Библиотека C (sprintf, strcpy, strcmp, strtok, va_list ...). Сборка библиотеки в режиме ядра и в режиме пользовательского приложения.

Системный журнал ядра. Видеопамять. Вывод на терминал (kprintf, kpanic, kassert).
Динамическая память, куча (kmalloc, kfree).

Организация памяти и обработка прерываний (GDT, IDT, PIC, syscall). Исключения.
Виртуальная память (каталог страниц и таблица страниц).

Процесс. Планировщик. Многозадачность. Системные вызовы (kill, exit, ps).

Файловая система ядра (initrd), elf и его внутренности. Системные вызовы (exec).

Драйверы символьных устройств. Системные вызовы (ioctl, fopen, fread, fwrite). Библиотека C (fopen, fclose, fprintf, fscanf).

Оболочка как полноценная программа для ядра.

Пользовательский режим защиты (ring3). Сегмент состояния задачи (tss).

Виртуальная память

Виртуальная память нужна для того чтобы каждый процесс мог быть изолирован от другого, т.е. не мог ему помешать. Если бы не было виртуальной памяти, нам пришлось бы каждый раз грузить elf файлы по разным адресам в памяти. Но как ты знаешь, исполняемые файлы могут содержать ссылки на контретные адреса (абсолютные). Поэтому при компиляции elf уже известно по какому адресу в памяти он будет загружен (см. скрипт линкера). Следовательно мы не можем без виртуальной памяти загрузить два elf файла. Но даже при влюченной виртуальной памяти есть динамические библиотеки (типа .so), которые умеют грузиться по любому адресу. Они могут быть загружены по любому адресу благодаря тому, что они имеют секцию релоков. В этой секции прописаны все места где используется абсолютная адресация, и ядро при загрузки такого elf файла должна ручками пофиксить эти адреса, т.е. прибавить к ним разницу реального и желаемого адреса загрузки.

Мы будем рассматривать работу с 4х килобайтными страницами. При таком раскладе мы сможем адресовать до 4 мегабайт оперативной памяти. Нам этого хватит сполна. Карта распределения адресов будет выглядеть так:

0-1 мб: не трогаем.
1-2 мб: код и данные ядра.
2-3 мб: куча ядра.
3-4 мб: пользовательские страницы загружаемых elf файлов.

Линейный адрес (полученный из плоской модели) при включении страничной адресации не равен физическому. Вместо этого адрес делится на смещение (младшие биты), индекс записи в таблице страниц и индекс каталога страниц (старшие биты). У каждого процесса будет свой каталог страниц и соответственно таблицы страниц. Именно это позволяет организовать виртуальное адресное пространство.

Элемент каталога страниц выглядит так:

struct page_directory_entry_t {
    u8 present : 1;
    u8 read_write : 1;
    u8 user_supervisor : 1;
    u8 write_through : 1;
    u8 cache_disabled : 1;
    u8 accessed : 1;
    u8 zero : 1;
    u8 page_size : 1;
    u8 ignored : 1;
    u8 available : 3;
    u32 page_table_addr : 20;
} attribute(packed);

Элемент таблицы страниц выглядит так:

struct page_table_entry_t {
    u8 present : 1;
    u8 read_write : 1;
    u8 user_supervisor : 1;
    u8 write_through : 1;
    u8 cache_disabled : 1;
    u8 accessed : 1;
    u8 dirty : 1;
    u8 zero : 1;
    u8 global : 1;
    u8 available : 3;
    u32 page_phys_addr : 20;
} attribute(packed);

Для ядра мы опишем каталог страниц и таблицу страниц как статические переменные. Есть, правда, требование, чтобы они были выровнены по границе страницы.

static struct page_directory_entry_t kpage_directory attribute(aligned(4096));
static struct page_table_entry_t kpage_table[MMU_PAGE_TABLE_ENTRIES_COUNT] attribute(aligned(4096));

Мы пойдем простым путем и сделаем так, чтобы ядру было доступно все физическое адресное пространство. Уровень привилегий страниц ядра должен быть supervisor чтобы в них никто не лазил. Легковесные процессы, которые должны работать в режиме ядра будут разделять с ядром одно адресное пространство. Таким процессом у нас будет очередь отложенных исполнений для обработки отложенных прерываний. Но об этом в уроке про драйвера символьных устройств. Нам еще предстоит реализовать многозадачность, перед тем как рассматривать эту тему.

Создаем каталог страниц ядра и соответствующую ему таблицу страниц. При инициализации ядра будет активным именно он.

/*
 * Api - init kernel page directory
 * Here assumed each entry addresses 4Kb
 */
extern void mmu_init()
{
    memset(&kpage_directory, 0, sizeof(struct page_directory_entry_t));

    /* set kernel page directory */
    kpage_directory.zero = 1;
    kpage_directory.accessed = 0;
    kpage_directory.available = 0;
    kpage_directory.cache_disabled = 0;
    kpage_directory.ignored = 0;
    kpage_directory.page_size = 0; /* 4KB */
    kpage_directory.present = 1; /* kernel pages always in memory */
    kpage_directory.read_write = 1; /* read & write */
    kpage_directory.user_supervisor = 1; /* kernel mode pages */
    kpage_directory.write_through = 1;
    kpage_directory.page_table_addr = (size_t)kpage_table >> 12;

    /* set kernel table */
    for (int i = 0; i < MMU_PAGE_TABLE_ENTRIES_COUNT; ++i) {
        kpage_table[i].zero = 0;
        kpage_table[i].accessed = 0;
        kpage_table[i].available = 0;
        kpage_table[i].cache_disabled = 0;
        kpage_table[i].dirty = 0;
        kpage_table[i].global = 1;
        kpage_table[i].present = 1; /* kernel pages always in memory */
        kpage_table[i].read_write = 1; /* read & write */
        kpage_table[i].user_supervisor = 1; /* kernel mode pages */
        kpage_table[i].write_through = 1;
        kpage_table[i].page_phys_addr = (i * 4096) >> 12; /* assume 4Kb pages */
    }
}

Когда мы будем загружть elf файлы, нам понадобится создавать каталог страниц для пользовательского процесса. Сделать это можно следующей функцией:

/*
 * Api - Create user page directory
 */
extern struct page_directory_entry_t* mmu_create_user_page_directory(struct page_table_entry_t* page_table)
{
    struct page_directory_entry_t* upage_dir;
    upage_dir = malloc_a(sizeof(struct page_directory_entry_t), 4096);

    upage_dir->zero = 1;
    upage_dir->accessed = 0;
    upage_dir->available = 0;
    upage_dir->cache_disabled = 0;
    upage_dir->ignored = 0;
    upage_dir->page_size = 0; /* 4KB */
    upage_dir->present = 1;
    upage_dir->read_write = 1; /* read & write */
    upage_dir->user_supervisor = 0; /* user mode pages */
    upage_dir->write_through = 1;
    upage_dir->page_table_addr = (size_t)page_table >> 12; /* assume 4Kb pages */

    return upage_dir;
}

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

/*
 * Api - Create user page table
 */
extern struct page_table_entry_t* mmu_create_user_page_table()
{
    struct page_table_entry_t* upage_table;
    upage_table = malloc_a(sizeof(struct page_table_entry_t) * MMU_PAGE_TABLE_ENTRIES_COUNT, 4096);

    /* share kernel pages */
    memcpy(upage_table, kpage_table, sizeof(struct page_table_entry_t) * MMU_KERNEL_PAGES_COUNT);
    /* fill user pages */
    for (int i = MMU_KERNEL_PAGES_COUNT; i < MMU_PAGE_TABLE_ENTRIES_COUNT; ++i) {
        struct page_table_entry_t* current;
        current = upage_table + i;

        current->zero = 0;
        current->accessed = 0;
        current->available = 0;
        current->cache_disabled = 0;
        current->dirty = 0;
        current->global = 1;
        current->present = 0; /* not present as so as there is no user pages yet */
        current->read_write = 1; /* read & write */
        current->user_supervisor = 0; /* user mode page */
        current->write_through = 1;
        current->page_phys_addr = 0; /* page is not present */
    }

    return upage_table;
}

Нам нужно научиться добавлять в таблицу страниц процесса новые физические страницы, поскольку по умолчанию их не будет. Это потребуется нам при загрузке elf файлов в память, когда мы будем грузить сегменты, описанные в программных заголовках. В этом нам поможет функция:

/*
 * Api - Occupy user page
 */
extern bool mmu_occupy_user_page(struct page_table_entry_t* upage_table, void* phys_addr)
{
    for (int i = MMU_KERNEL_PAGES_COUNT; i < MMU_PAGE_TABLE_ENTRIES_COUNT; ++i) {
        struct page_table_entry_t* current;
        current = upage_table + i;

        if (current->present) {
            /* page is buzy */
            continue;
        }

        current->zero = 0;
        current->accessed = 0;
        current->available = 0;
        current->cache_disabled = 0;
        current->dirty = 0;
        current->global = 1;
        current->present = 1;
        current->read_write = 1; /* read & write */
        current->user_supervisor = 0; /* user mode page */
        current->write_through = 1;
        current->page_phys_addr = (size_t)phys_addr >> 12; /* assume 4Kb pages */

        return true;
    }

    return false;
}

Режим страничной адресации включается и отключается битом в регистре флагов процессора.

/*
 * Enable paging
 * void asm_enable_paging(void *page_directory)
 */
asm_enable_paging:
    mov 4(%esp),%eax     # page_directory
    mov %eax,%cr3
    mov %cr0,%eax
    or $0x80000001,%eax  # set PE & PG bits
    mov %eax,%cr0
    ret

/*
 * Disable paging
 * void asm_disable_paging()
 */
asm_disable_paging:
    mov %eax,%cr3
    mov %cr0,%eax
    xor $0x80000000,%eax  # unset PG bit
    mov %eax,%cr0
    ret

После того как мы научились формировать адресное пространство процессов нужно как то управлять физическими страницами, какая из них занята и какая свободна. Для этого есть механизм битовых карт, по одному биту на страницу. Мы не будем описывать страницы до 3го мегабайта, поскольку они принадлежат ядру и всегда заняты. Начнем выделять пользовательские страницы с 3го по 4й мегабайт.

static u32 bitmap[MM_BITMAP_SIZE];

Выделяются и освобождаются физические страницы соответственно нижеследующими функциями. Фактически мы просто находим нужный бит в карте по физическому адресу страницы и наоборот. Неудобство состоит в том, что у нас органиченный размер ячейки памяти, поэтому придется использовать две координаты: номер байта и номер бита.

/*
 * Api - allocate pages
 */
extern void* mm_phys_alloc_pages(u_int count)
{
    /* find free pages */
    for (int i = 0; i < MM_DYNAMIC_PAGES_COUNT; ++i) {
        bool is_found = true;
        for (int j = 0; j < count; ++j) {
            is_found = is_found && !mm_get_bit(i + j);
        }

        if (is_found) {
            /* occupy */
            for (int j = 0; j < count; ++j) {
                assert(!mm_get_bit(i + j));
                mm_set_bit(i + j);
            }

            return (void *)mm_get_addr(i);
        }
    }

    return null;
}

/*
 * Api - free page
 */
extern bool mm_phys_free_pages(void* ptr, u_int count)
{
    size_t address = (size_t)ptr;
    assert(address >= MM_AREA_START);
    assert(address % MM_PAGE_SIZE == 0);

    /* find page */
    for (int i = 0; i < MM_DYNAMIC_PAGES_COUNT; ++i) {
        size_t addr = mm_get_addr(i);
        if (addr == address) {
            /* free pages */
            for (int j = 0; j < count; ++j) {
                assert(mm_get_bit(i + j));
                mm_clear_bit(i + j);
            }

            return true;
        }
    }

    return false;
}

Этого вполне достаточно для того чтобы ввести полноценную поддержку виртуальной памяти в ваше ядро.

Ссылки

Подробности и объяснения в видеоуроке [1].

Исходный код в git репозиторий [2] (тебе нужна ветка lesson6).

Список литературы

1. James Molloy. Roll your own toy UNIX-clone OS.
2. Зубков. Ассемблер для DOS, Windows, Unix
3. Калашников. Ассемблер — это просто!
4. Таненбаум. Операционные системы. Реализация и разработка.
5. Роберт Лав. Ядро Linux. Описание процесса разработки.

Автор: arsboretskiy

Источник [3]


Сайт-источник PVSM.RU: https://www.pvsm.ru

Путь до страницы источника: https://www.pvsm.ru/yadro/330362

Ссылки в тексте:

[1] видеоуроке: https://www.youtube.com/watch?v=0DVCSt4MZV0

[2] в git репозиторий: https://github.com/ArseniyBorezkiy/oc-kernel

[3] Источник: https://habr.com/ru/post/467759/?utm_campaign=467759&utm_source=habrahabr&utm_medium=rss