Cтраница 1
Машинная архитектура - фантазия или реальность. [1]
Белл и Ньюэлл обсуждают общие принципы машинной архитектуры и приводят около 30 примеров. Значительное место уделяется разработке обозначений для описания машины. Многие примеры почерпнуты из существенно отредактированных документов проектов подлинных машин. [2]
Конкретное расположение этих сегментов зависит от способа отображения ИНМОС на конкретную машинную архитектуру, но программирование памяти во всех случаях одинаково. [3]
Под мобильностью ИНМОС подразумевается возможность без значительных доработок переноса ее с одной машинной архитектуры на другую, несовместимую с ней. [4]
Следует учитывать, что требование мобильности операционной системы неизбежно влечет отказ от использования каких-либо специфических особенностей конкретной машинной архитектуры, В целом это может несколько снижать надежность и реактивность. Вывод об инструментальном характере мобильной системы позволяет строить ее более строго в теоретическом ( концептуальном) плане, чем это принято для коммерческих систем. [5]
В названии системы отражены ее основные свойства: инстру-ментальность и мобильность. ИНМОС - операционная система, слабо зависящая от конкретной машинной архитектуры, обладающая развитыми инструментальными возможностями. В ее структуре разделены машинно-независимая часть, единая для различных машинных архитектур, и машинно-зависимая часть, настраивающая систему на конкретную архитектуру. Разработчиками системы создана методика, описывающая процедуру-переноса и постановки ИНМОС на новую машинную архитектуру. [6]
Как основное средство программирования используется система передачи сообщений MPI ( Massage Passing Interface) [7], практически являющаяся стандартом для программирования алгоритмов с массовым параллелизмом. Это объясняется тем, что MPI обеспечивает единый механизм взаимодействия ветвей внутри параллельного приложения независимо от машинной архитектуры, взаимного расположения ветвей и интерфейса разработчика приложений операционной системы. [7]
В названии системы отражены ее основные свойства: инстру-ментальность и мобильность. ИНМОС - операционная система, слабо зависящая от конкретной машинной архитектуры, обладающая развитыми инструментальными возможностями. В ее структуре разделены машинно-независимая часть, единая для различных машинных архитектур, и машинно-зависимая часть, настраивающая систему на конкретную архитектуру. Разработчиками системы создана методика, описывающая процедуру-переноса и постановки ИНМОС на новую машинную архитектуру. [8]
Операция традиционного вычисления основана на последовательном выполнении инструкций, которые, возможно, являются иерархически упорядоченными, с хранением промежуточных результатов. Такая модель вычисления разработана давно, стала почти универсальной и до такой степени влияет на характер языков программирования, что даже сегодня на программы смотрят как на высокоуровневое кодирование последовательностей инструкций. Причем разработанные в последние годы языки программирования скрывают многие низкоуровневые детали машинной архитектуры, что облегчает программисту задачу концентрировать внимание на проблемах более высокого уровня абстракции. Однако остается в силе тот факт, что традиционные языки по-прежнему предоставляют технику программирования, которая основана на обеспечении того, как данная проблема должна быть решена на компьютере. Следовательно, программист всегда должен держать в голове, как организовать вычисления, и только тогда он сможет написать правильную последовательность операций для решения проблемы. Поэтому, основная идея процесса программирования такова: Я скажу - как; иными словами, внимание в основном уделяется описанию решений проблем, а не описанию проблем как таковых. Языки, реализующие эту концепцию, часто называются императивными, отражая то, что каждое утверждение в программе является указанием того, что необходимо проделать на следующем шаге решения. [9]
Реализованные в ИНМОС принципиальные решения представляют собой пример удачного сочетания универсальности и простоты и основаны на определенной виртуализации понятий, связанных с ресурсами вычислительной системы. Поскольку физическая природа ресурсов и доступ к ним являются машинно-зависимыми понятиями, виртуализация этих понятий - обязательная принадлежность мобильной системы. При этом абстрактная ( виртуальная) модель понятий должна быть достаточно общей, чтобы охватывать как можно больше различных машинных архитектур, а отображение виртуальной модели в машинно-зависимое физическое представление должно быть настолько простым, насколько это необходимо для эффективности системы. Первое условие определяет универсальность модели, второе - ее простоту. [10]
Перенос системы сопровождается, как уже говорилось, перепрограммированием ее машинно-зависимой части. Наиболее трудоемким является перепрограммирование ядра системы и компилятора языка Си [3], на котором написана основная часть ИНМОС. Эффективность реализации этих компонентов определяет в дальнейшем эффективность полученной системы и в значительной степени решает вопрос о том, насколько перенесенная система уступает по техническим характеристикам системе, явно рассчитанной на данную машинную архитектуру. [11]
В названии системы отражены ее основные свойства: инстру-ментальность и мобильность. ИНМОС - операционная система, слабо зависящая от конкретной машинной архитектуры, обладающая развитыми инструментальными возможностями. В ее структуре разделены машинно-независимая часть, единая для различных машинных архитектур, и машинно-зависимая часть, настраивающая систему на конкретную архитектуру. Разработчиками системы создана методика, описывающая процедуру-переноса и постановки ИНМОС на новую машинную архитектуру. [12]