Cтраница 2
Для этого процесс должен обратиться к менеджеру типа, контролирующему доступ к синхронным интерфейсам устройств. Такой пакет менеджера типа скорее всего имеет непосредственный доступ к пакету, который определяет конкретные синхронные интерфейсы устройства ввода-вывода. Вызов операции пакета менеджера типа дает в результате получение указателя на требуемое уточнение синхронного интерфейса устройства. Для некоторых видов интерфейсов устройств, таких как дисковые файлы, вызов операции Get interface может в процессе исполнения привести к ( динамическому) порождению экземпляра специфического пакета интерфейса устройства. В любом случае в конце концов возвращается уточнение пакета: существующего или вновь созданного. [16]
![]() |
Структура объекта контроль типа. [17] |
Любые удаленные из дескриптора доступа к Т права доступа могут быть восстановлены менеджером типа, когда тот же AD впоследствии передается менеджеру типа в качестве аргумента какой-либо другой операции. Последняя команда может быть выполнена только в том случае, если в качестве аргумента указан соответствующий TCO AD, который хранится внутри менеджера типа. Подробнее об этом мы поговорим ниже в данном разделе. [18]
Эти программы ( и остальная часть пакета) предназначены для пользователя - или менеджера типа, которым требуется непосредственное манипулирование - - пассивным представлением объекта. Это может быть желательно либо из - соображений эффективности, либо ( что более важно) потому, что объект не - может быть представлен в активном пространстве. [19]
Такое прямое соответствие между концепциями высокого уровня приватных ссылочных типов языка Ада и механизмами обеспечения менеджеров типов в системе i432 / iMAX существенно влияет на повышение безопасности и увеличение производительности разработки программного обеспечения. Преимущества достигаются главным образом потому, что как локальная, так и системная безопасность автоматически обеспечиваются для тех данных в программах языка Ада, которые объявлены как приватные ссылочные типы. [20]
Ключевой проектировочный принцип таков: решения о пассивизации типизированного объекта и требуемые действия находятся под контролем менеджера типа объекта. [21]
В любой ситуации, когда к периферийной подсистеме подсоединяется новое физическое устройство, доступ к нему должен происходить под контролем соответствующего менеджера типа; это может потребовать добавления нового менеджера типа или извещения существующего менеджера типа о появлении дополнительного ресурса. В любом случае именно управляющий менеджер типа отвечает за синхронные интерфейсы, которые имеют доступ к новому устройству. [22]
![]() |
Структура объекта контроль типа. [23] |
Любые удаленные из дескриптора доступа к Т права доступа могут быть восстановлены менеджером типа, когда тот же AD впоследствии передается менеджеру типа в качестве аргумента какой-либо другой операции. Последняя команда может быть выполнена только в том случае, если в качестве аргумента указан соответствующий TCO AD, который хранится внутри менеджера типа. Подробнее об этом мы поговорим ниже в данном разделе. [24]
![]() |
Структура объекта контроль типа. [25] |
После этого менеджер типа использует TCO AD при каждом вызове операции Create для создания объекта расширенного типа от имени программы, вызывающей менеджер типа. Обычно данный TCO AD является видимым только для менеджера типа. [26]
Язык Ада позволяет программисту определять неограниченное число типов объектов типа данные и назначать создание и использование отдельных объектов типа данные за соответствующими четко выраженными менеджерами типа. [27]
В любой ситуации, когда к периферийной подсистеме подсоединяется новое физическое устройство, доступ к нему должен происходить под контролем соответствующего менеджера типа; это может потребовать добавления нового менеджера типа или извещения существующего менеджера типа о появлении дополнительного ресурса. В любом случае именно управляющий менеджер типа отвечает за синхронные интерфейсы, которые имеют доступ к новому устройству. [28]
Поскольку объекты имеют уникальные идентификаторы, а их время жизни охватывает работу многих пользователей и многих задач, представляется возможным рассматривать объект, сохраняющий свою структуру, идентификатор, тип и другие атрибуты под управлением своего менеджера типа, таким же образом, как рассматриваются и обрабатываются файлы в обычных операционных системах и системах управления базами данных. При таком подходе внешняя память с файлами превращается в простое расширение адресного пространства системы. [29]
Конфликты не одобряются, ибо они нарушают гармонию, угрожают атмосфере теплоты. Менеджер типа 1.9 без колебаний принимает точку зрения, которую выражают окружающие при возникновении конфликтной ситуации. [30]