Динамический сегмент
Каждый динамический сегмент имеет уникальный идентификатор сегмента, который и указывается как параметр примитивов ЗАГРУЗКА и РАЗГРУЗКА. Сегмент может быть передан другому кластеру как параметр обращения; в этом случае сегмент автоматически разгружается из виртуальной памяти обратившегося кластера, если он был в нее загружен, и меняет своего владельца.
Распределением памяти в системе занимается привилегированный кластер, реализующий запрос и возврат сегментов. Стоит отметить, что эти операции являются не примитивами ядра, а операциями (входами) кластера (хотя и привилегированного) .
Теперь подробно рассмотрим, как же кластер-клиент выполняет обращения к кластеру-объекту, и как последний выбирает это обращение для выполнения. Для этого используются два примитива: ПУСК и СТОП.
Метки: загрузка, динамический сегмент, разгрузка, уникальный идентификатор