Виртуальная адресация

Exit

Exec

Иначе

Fork

Единственная возможность породить процесс. Создает копию. Не наследует PID.

Алгоритм:

1) Проверяет доступность ресурсов ядра

2) Получает место в таблице

3) Заполняет таблицу. Копирование записи родителя.

4) Увеличивает счетчик ссылок файла

5) Копирует контекст.

если выполняется родитель

перевести порожд. процесс в (3), (5)

возвратить PID порожд. процесса родитель

инициализация

возвратить 0; потомок

1) загружает текст

2) загружает инициализ. данные

3) выделяет память под неинициализ. данные

4) создает стек

Когда программа лежит на диске в ней содержатся:

Стеки:

∙ задачи

∙ ядра

Каждая запись состоит из параметров функции, ее локальных переменных и данных для восстановления последней активации.

Пример:

main (arg c, arg v)

int arg c;

char *arg v[];

{ if (fork() == 0)

execl (“copy”, “copy”, arg v[1], arg v[2], 0);

wait ((int *)0);

printf (“copydone/n”);

}

Системная функция, завершает работу процесса

Int exit (int c);

Ничего не возвращает, т. к. при завершении процесса функция продолжает работу.

Состояние процесса «зомби», если родитель завершает существование, а порожденный продолжает.

1) если процесс возглавляет группу, связанную с терминалом. Посылается сообщение всей группе – завершение.

2) закрыть все открытые файлы, освободить текущий каталог

3) освободить область памяти, связанную с процессом

4) перевести процесс в состояние завершения

5) назначить всем потомкам в качестве родителя – класс Unit, если кто-то из потомков перестал существовать init посылается сообщение о гибели потомка.

6) переключение контекста

Формат памяти системы

Адресное пространство процесса состоит из 3 сегментов:

• текстового сегмента (команды);
• cегмент данных;
• сегмент стека.

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

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

Ядро в версии V делит виртуальное адресное пространство процесса на совокупность логических областей. Область - это непрерывная зона виртуального адресного пространства процесса, рассматриваемая в качестве отдельного объекта для совместного использования и защиты. Таким образом, команды, данные и стек обычно образуют автономные области, принадлежащие процессу

На рисунке изображены два процесса, A и B, показаны их области, частные таблицы областей и виртуальные адреса, в которых эти области соединяются. Процессы разделяют область команд 'a' с виртуальными адресами 8К и 4К соответственно. Если процесс A читает ячейку памяти с адресом 8К, а процесс B читает ячейку с адресом 4К, то они читают одну и ту же ячейку в области 'a'. Область данных и область стека у каждого процесса свои.

Процессы и области

Дата добавления: 2014-01-05