ПЛР3 P3331 Дворкин Борис Часть 5

[worthant]

Лабораторная работа 3. Ленивое выделение памяти (часть 5)

Реализовано ленивое выделение памяти (lazy allocation): sbrk увеличивает размер
адресного пространства процесса, но физические страницы выделяются только при
первом фактическом обращении к ним.

Реализация

• sbrk (kernel/sysproc.c): изменяет p->sz без
  немедленного выделения страниц.
• Обработка page-fault (kernel/trap.c): при
  обращении к ещё не выделенной странице в пределах p->sz выделяется физическая
  страница и добавляется в таблицу страниц.
• vm.c (kernel/vm.c): uvmunmap и uvmcopy
  корректно обрабатывают отсутствующие (не выделенные лениво) страницы.

Прохождение тестов

lazytests:

usertests:

страница и добавляется в таблицу страниц.

• vm.c (kernel/vm.c): uvmunmap и uvmcopy
  корректно обрабатывают отсутствующие (не выделенные лениво) страницы.

Прохождение тестов

lazytests:

usertests: