Менеджер - тип
Cтраница 4
Этот тип управления предполагает наличие противоречия между потребностями производства и потребностями работников. Другими словами, решение дилеммы между производством и людьми у руководителя типа 5.5 состоит в нахождении компромисса, цель которого - пожертвовать половиной одного показателя, чтобы получить половину другого. Менеджер типа 5.5 исходит из идеи реалистичности потребностей работников, но считает, что от людей также следует ожидать определенных усилий в плане вклада в производственную деятельность фирмы. [46]
Этим подчеркивается сознательный уход менеджера от ответственности за принятие решений. Во многих случаях проблемные ситуации решаются сами по себе. Менеджер типа 1.1 прибегает к тактике выжидания, когда от него требуется принятие решения. [47]
Для этого процесс должен обратиться к менеджеру типа, контролирующему доступ к синхронным интерфейсам устройств. Такой пакет менеджера типа скорее всего имеет непосредственный доступ к пакету, который определяет конкретные синхронные интерфейсы устройства ввода-вывода. Вызов операции пакета менеджера типа дает в результате получение указателя на требуемое уточнение синхронного интерфейса устройства. Для некоторых видов интерфейсов устройств, таких как дисковые файлы, вызов операции Get interface может в процессе исполнения привести к ( динамическому) порождению экземпляра специфического пакета интерфейса устройства. В любом случае в конце концов возвращается уточнение пакета: существующего или вновь созданного. [48]
Она - - является стандартной процедурой обновления для нетипизированных объек - - - тов. Она может также вызываться менеджером типа для типизированных - объектов, если для обновления объектов не требуется специальной семантики. [49]
Когда типизированный объект X предназначается для записи в файл, информация, помещенная в ТОО ( менеджером типаХ), может содержать дескриптор доступа к специальному порту. Этот порт называют фильтром пассивизации. Если ссылка на порт задана, то менеджер типа X будет активизировать также и процесс пассивизации, который получает сообщения из порта. Помимо передачи фильтру пассивизации дескриптора доступа к X, в специальное гнездо в ТОО X может быть помещен АО соответствующей процедуры пассивизации. Покажем, как используется эта информация. [50]
 |
Операции пакета Extended Type Manager. [51] |
Кроме того, пакет S Mgr мог бы предлагать пользователям предикат для определения, является ли данный типизированный объект объектом типа Typed S. Мы увидим также, что пакет S Mgr могбы выполнять ( что неизвестно пользователю; вызовы операции i esinci. Короче говоря, типичный написанный пользователем пакет менеджера типа, вероятно, будет использовать все операции пакета Extended Type Manager. Ниже мы объясним эту идею подробнее; для простоты мы предположим, что S Mgr - пакет-преобразователь, а не пакет-владелец. [52]
 |
Разделение пространства объектов S432. [53] |
Прежде чем перейти к дальнейшему изложению, необходимо подчеркнуть, что системная память в соответствии с двухпространст-венной моделью в действительности реализована как состоящая из двух частей. Однако для большинства пользователей память выглядит как единое пространство. Двухпространственная ( или двухуровневая) структура памяти в большей степени видна для менеджеров типов, чем для большинства программистов, и совсем уже не видна для всех пользователей-новичков. [54]
 |
Операторы пакета Passive Store Manager для работы с активной версией. Оба оператора допускают указание транзакции. [55] |
Операции этого пакета могут быть разделены на две основные категории. Первая - это простой интерфейс к управлению файлами объектов, который позволяет пользователям явно указывать, как должен быть пассивизирован объект активного пространства и должно ли это быть сделано. Оставшиеся операции, разделяющиеся на несколько подкатегорий, предназначены для пользователя или менеджера типа, которым требуется непосредственное манипулирование с пассивной версией объекта. На рис. 10.1 и 10.2 перечислены общие операции этого пакета в каждой из двух главных категорий. Протокол использования указанных на рис. 10.1 операторов для работы с активной версией требует, чтобы вызывающая программа либо явно указала в качестве аргумента ранее созданную транзакцию, либо использовала значение по умолчанию. В последнем случае автоматически генерируется новая транзакция, чтобы окружить операцию с активной версией. [56]
Теперь мы рассмотрим, как средство запечатывания объектов системы 1432 может быть использовано для контроля безопасности системы. Вспомним, что запечатанный объект типа S - это объект Typed S, находящийся под контролем менеджера типа, операции которого передают другим программам дескрипторы доступа ( к объектам Typed S), не содержащие основных прав. Вспомним также, что компилятор с языка Ада в системе 1432 гарантирует, что менеджеры типа являются преобразователями для объектов, доступных только через приватные переменные ссылочного типа, которые распространяют пользователям только запечатанные объекты. Может показаться, что непосредственный подход к использованию средств запечатывания для решения данной проблемы мог бы быть реализован следующим образом. [57]
Перед тем как приступить к обсуждению и разбору конкретных примеров, мы выделим два важных класса пакетов в языке Ада. Пакеты-преобразователи могут использоваться для реализации чисто абстрактных типов данных, а пакеты-владельцы - для реализации более обобщенных видов менеджеров типа. [58]
Полное пространство объектов может рассматриваться ( рис. 9.1) как разделенное на две основные части - на пространство активных объектов и пространство пассивных объектов. Объект может быть создан в активном пространстве и впоследствии может быть либо удален, если он становится недостижимым, либо может быть перемещен в пространство пассивных объектов ( интеллектуальная форма долговременной памяти) до тех пор, пока не потребуется скова. Активный объект - это просто объект, который располагается в активном адресном пространстве, а пассивный объект - о - ъект. Перемещение объектов из активного в пассивное пространство контролируется менеджером типа объектов с заданными по умолчанию механизмами, которые предназначены для той же цели в случаях, когда намерение сделать объект пассивным может быть выработано системой. [59]
На высшем уровне атомарное действие, называемое также транзакцией в терминологии iMAX - это просто основа, на которой может быть проведено множество индивидуальных взаимодействий с объектами в пассивном пространстве некоторым управляемым способом. В частности, если пространство пассивных объектов находится в согласованном состоянии перед транзакцией, то гарантируется, что после транзакции оно будет находиться в согласованном состоянии. Более того, по своей природе одна транзакция не может влиять на другую. Пользователям, которые, как ожидается, будут явно использовать менеджер типа, нет необходимости знать методы реализации основы транзакции. Им лишь требуется знать, как установить и использовать транзакции. [60]
Страницы: 1 2 3 4