Книга: Архитектура операционной системы UNIX

6.5.8 Копирование содержимого области

6.5.8 Копирование содержимого области

Рисунок 6.27. Копирование содержимого области

алгоритм dupreg /* копирование содержимого существующей области */
входная информация: указатель на точку входа в таблице областей
выходная информация: указатель на область, являющуюся точной копией существующей области
{
 if (область разделяемая) /* в вызывающей программе счетчик ссылок на область будет увеличен, после чего будет исполнен алгоритм attachreg */
  return (указатель на исходную область);
 выделить новую область (алгоритм allocreg);
 установить значения вспомогательных структур управления памятью в точном соответствии со значениями существующих структур исходной области;
 выделить для содержимого области физическую память;
 «скопировать» содержимое исходной области во вновь созданную область;
 return (указатель на выделенную область);
}

Рисунок 6.28. Алгоритм копирования содержимого существующей области

Системная функция fork требует, чтобы ядро скопировало содержимое областей процесса. Если же область разделяемая (разделяемый текст команд или разделяемая память), ядру нет надобности копировать область физически; вместо этого оно увеличивает значение счетчика ссылок на область, позволяя родительскому и порожденному процессам использовать область совместно. Если область не является разделяемой и ядру нужно физически копировать ее содержимое, оно выделяет новую запись в таблице областей, новую таблицу страниц и отводит под создаваемую область физическую память. В качестве примера рассмотрим Рисунок 6.27, где процесс A порождает с помощью функции fork процесс B и копирует области родительского процесса. Область команд процесса A является разделяемой, поэтому процесс B может использовать эту область совместно с процессом A. Однако области данных и стека родительского процесса являются его личной принадлежностью (имеют частный тип), поэтому процессу B нужно скопировать их содержимое во вновь выделенные области. При этом даже для областей частного типа физическое копирование области не всегда необходимо, в чем мы убедимся позже (глава 9). На Рисунке 6.28 приведен алгоритм копирования содержимого области (dupreg).

Оглавление книги