Расширенный тип

Cтраница 3

Более высокие значения кажущейся энергии активации наблюдаются всегда в тех случаях, когда реакции проводятся при постоянном поверхностном давлении и в интервале температур и давлений, где заметное значение имеет расширение пленки. Расширение может произойти при переходе более сжатой пленки расширенного типа в менее сжатую или при переходе конденсированной пленки в расширенную. [31]

Этот второй вид взаимодействия - проникновение - характеризуется большими изменениями как поверхностного давления, так и поверхностного потенциала. Температура, при которой происходит переход к монослою расширенного типа, изменяется при проникновении малых молекул. При некоторых типах молекул изменения поверхностного давления и потенциала не зависят друг от друга и образовавшаяся пленка представляет собой простую смесь обоих компонентов. Однако независимое поведение молекул на поверхности наблюдается не всегда; это объясняется образованием на поверхности раздела комплекса между молекулами обоих типов. [32]

Система i432 имеет средства, позволяющие контролировать определяемые пользователем и структурированные соответствующим образом объекты точно так же, как контролируются системные объекты. Пользователи системы i432, применяющие язык Ада, могут обращаться к объектам расширенного типа как к экземплярам ссылочных типов ( access) языка Ада. [33]

Чтобы предотвратить возможность несанкционированного доступа бывшего секретаря, необходимо ввести распределение прав доступа на запись под дополнительным контролем, превосходящим контроль, описанный в гл. В частности, мы увидим, как обращение со списком членов клуба как объектом расширенного типа позволяет нам решить проблему контроля доступа. [34]

Иногда один тип связки зависит от другого: является его расширением. Это важно, если желательно, чтобы при добавлении поля в один тип автоматически такое же поле добавлялось в расширенный тип. Такая возможность предусмотрена в языке ИНСТР. Предусмотрена также защита связки и отдельных полей от неподходящих операций: можно указать, какие операции и процедуры разрешается применять к данному типу связки и ее полям. Включение в связку полей типа процедура и функция позволяет защитить информацию связки от непосредственного использования, но оставить доступ к ней через эти поля, при выполнении которых обеспечиваются необходимые меры предосторожности. [35]

В данной книге мы рассматриваем интерфейс iMAX, который полезен для конструирования операционных систем, ориентированных на прикладное использование. Например, рассмотренные в предыдущих главах интерфейсы Typed Ports и Extended Type Manager - это доступные пользователю средства для управления объектами типа порт и объектами расширенного типа соответственно. Process Manager ( PM) iMAX, который предоставляет пользователю возможности для создания процессов и управления ими. [36]

Рассматривая рис. 5.9, мы замечаем что пакет Typed Ports зависит от пакета iMAX Definitions. Другие пакеты iMAX, на использовании которых основан пакет iMAX Definitions ( и косвенно Typed Ports), занимаются всеми базовыми работами по управлению памятью, дескрипторами и объектами расширенного типа, что обеспечивает для пользователя защищенные и несложные по обращению средства межпроцессной коммуникации. Мы отложим обсуждение этих тем до гл. [37]

Корреляции, определенные таким образом, будут слагаться из парных корреляций. Результаты Клементи [79] для первого ряда атомов, полученные с учетом состояний незамкнутой оболочки, подтверждают это. Полученные им хартри-фоковские функции являются функциями расширенного типа. Для каждого состояния незамкнутой оболочки получаются новые орбитали. [38]

Наряду с мелкими товаропроизводителями, работают мастерские расширенного типа, а в конце века кое-где отмечены и мануфактуры. Рабочие почти всецело вольнонаемные. [39]

Говоря кратко, в командах CREATE OBJECT и CREATE TYPED OBJECT указываются длины части доступа и части данных создаваемого объекта и селектор доступа для гнезда, в которое будет помещен дескриптор доступа к создаваемому объекту. В команде CREATE TYPED OBJECT указывается также дескриптор доступа ( у которого должно быть установлено право на создание) к системному объекту, известному как объект контроль типа, или объект ТСО. Объект ТСО, используемый при создании объекта расширенного типа, реализует такой код в форме указателя на ТОО типа. Объект ТСО, используемый при создании объекта системного типа, кроме того, предоставляет код определенного системного типа. ТСО для системных объектов i432 имеют форматы, совпадающие с форматами объектов расширенного типа. [40]

Производный тип, не имеющий атрибутов SEQUENCE или BIND ( C), является расширяемым. Тип, из которого произведено расширение, называется родительским типом. Все параметры родительского типа, его компоненты и связанные с ним процедуры наследуются расширенным типом и используются с теми же именами. [41]

Структура объекта контроль типа. [42]

Теперь мы разделим наше обсуждение на две части. Вначале мы рассмотрим внутренний уровень контроля доступа, обеспечиваемый с помощью полей основных и типовых прав доступа в дескрипторах доступа, полей основного и системного типа в дескрипторах объектов, а также при помощи управляющих функций, возникающих при аппаратной интерпретации данных полей. Эти механизмы образуют фундамент, на котором основана безопасность системы, а также фундамент, на котором построены средства управления расширенным типом. [43]

Первая операция присвоения A: dynamic typed ( B) в процессе компиляции считается допустимой, поскольку переменной типа dynamic typed может быть присвоено значение любого ссылочного типа. Вторая операция присвоения В: R ref ( A) вызывает включение компилятором в машинный код команд проверки типа во время исполнения программы, которые выполняются следующим образом. Системный тип, закодированный в дескрипторе объекта, адресуемого А, проверяется на совпадение с таким же кодом у В. Если они равны и системный тип не является расширенным типом, то проверка заканчивается успешно. Если же оба типа являются расширенным типом, то выполняются последующие проверки на равенство дескрипторов доступа TDO AD. Один из TDO AD находится в дескрипторе объекта - текущего значения объекта А, а другой TDO AD - это дескриптор доступа к ТОО типа R ref, что является правильным типом для В. [44]

Пакет Extended Type Manager операционной системы iMAX предоставляет собой интерфейс пользовательского уровня для управления объектами расширенного типа. Мы уже познакомили читателя с этим пакетом в разд. Следовательно, читателю не должно встретиться сложностей в понимании приведенной в приложении И спецификации пакета на языке Ада. В данном разделе мы бегло коснемся основных моментов этой программы, а затем покажем, как программист мог бы использовать этот пакет для управления объектами расширенного типа. [45]

Страницы: 1 2 3 4