Компания ЗАО Кибер Системы » Имитационный комплекс

Традиционные псевдокоманды

ljsdfffosdnfvsdvc — Sat, 13 Sep 2008 08:39:28 +0000

Язык ассемблера ВК ЭВМ содержит набор традиционных псевдокоманд, позволяющих разбивать программу на модули, осуществлять связь между модулями, определять данные, резервировать память, управлять печатью текста программы и т. п. Ряд псевдокоманд специально предназначен для управления кодировкой строковых констант.

Разбиение программы на модули является одним из традиционных способов структуризации программы и локализации имен. В традиционных ассемблерах каждый модуль обрабатывается ассемблером независимо от других модулей, а связь между модулями осуществляется редактором связей и/или загрузчиком. Помимо независимой обработки модулей, в языке ассемблера В К ЭВМ предусмотрена возможность совместного ассемблирования группы модулей, причем между модулями, а также перед первым модулем, могут находиться операторы языка ассемблера, вводящие определения имен, макроопределения и т. п., т. е. задающие глобальный контекст для группы модулей. Глобальный контекст учитывается при ассемблировании каждого модуля. Внутри любого модуля может существовать свой локальный контекст, причем он может, как дополнять глобальный контекст, так и отменять его.

Связанные записи

Уточнение имен в языке ассемблер

ljsdfffosdnfvsdvc — Sat, 13 Sep 2008 08:37:42 +0000

В языке ассемблера ВК ЭВМ существует средство для уточнения имен, позволяющее вводить области локализации имен внутри модуля. Специальная псевдокоманда вводит уточняющий идентификатор, который автоматически приписывается всем именам, находящимся в области действия этой псевдокоманды.

Кроме традиционных псевдокоманд, в языке ассемблера ВК ЭВМ предусмотрены псевдокоманды, поддерживающие механизм абстракций, который ниже будет рассмотрен более детально. Здесь, однако, можно отметить, что в язык ассемблера введено понятие модуля—класса. Основное отличие модуля— класса от обычного модуля состоит в том, что он не загружается в память непосредственно, а используется загрузчиком для создания копий (экземпляров), причем в модуле—классе можно указать параметры, по которым могут различаться создаваемые экземпляры. Язык ассемблера содержит также псевдокоманды, позволяющие определять экземпляры по тому или иному модулю-классу с теми или иными параметрами.

Связанные записи

Макросредства в ассемблере

ljsdfffosdnfvsdvc — Sat, 13 Sep 2008 08:34:51 +0000

В языке ассемблера ВК ЭВМ предусмотрены макросредства. Макропроцессор является однопроходным и совмещен с первым проходом ассемблера. Синтаксис макроопределений и макровызовов подобен синтаксису основных операторов языка ассемблера. Особенность представления машинных команд в языке ассемблера, о которой упоминалось ранее, отразилась и на макросредствах. Помимо традиционных макроопределений, имеющих идентификатор и вызываемых с помощью этого идентификатора, программисту предоставляется возможность вводить макроопределения специального вида, называемые определениями операций. Операторы вызова определений операций по внешнему виду могут напоминать символические машинные команды. Например, можно ввести макроопределение для сложения трех регистров и засылки результата в четвертый регистр традиционным способом, сопоставив ему некоторый идентификатор, например, ADD3. В этом случае вызов макроопределения для сложения адресных регистров А2, A3, А7 с засылкой результата в адресный регистр А4 будет иметь вид:

ADD3 А4, А2, A3, А7.

Можно, однако, ввести аналогичное макроопределение с помощью определения операции, причем сделать это таким образом, что вызов определения операции для выполнения тех же

действий будет иметь вид: А4 А2+АЗ+А7

Опыт использования макросредств языка ассемблера ВК, ЭВМ показал их удобство и наглядность.

Связанные записи

Механизм абстракций

ljsdfffosdnfvsdvc — Sat, 13 Sep 2008 08:29:44 +0000

Предоставляемый механизм абстракций поддерживается двумя компонентами СП ВК ЭВМ — ассемблером и загрузчиком.
Механизм абстракций, использующийся для реализации операционного окружения программ, доступен для использования и в самих программах пользователя. Этот механизм абстракций согласуется с идеями структурного программирования, одним из основных понятий которого является абстракция — вынесение «наружу» лишь внешних свойств объекта и сокрытие деталей реализации.

Кластер объединяет набор процедур, реализующих некоторый объект, и содержит внутри себя всю информацию, характеризующую данный объект — локальную память и локальные кластеры (т. е. кластеры, которые не доступны вне модулей, в которых они определены). Для программ, использующих данный кластер, он выступает как набор процедур и реализует тот или иной абстрактный объект.

Связанные записи

Совокупность элементов

ljsdfffosdnfvsdvc — Sat, 13 Sep 2008 08:27:23 +0000

Любая достаточно сложная программа может рассматриваться как совокупность элементов, из которых она состоит, и связей между этими элементами. Каждый элемент, в свою очередь, может иметь аналогичную структуру и содержать более простые объекты (элементы). Каждый элемент, рассматриваемый в рамках объемлющей его структуры, характеризуется только своими связями с другими элементами, а его внутреннее строение может не учитываться при рассмотрении на этом уровне. Если в исходной структуре данный элемент заменить на другой с тем же набором связей, то структура сохранит свои свойства, т. е. будет в определенном смысле эквивалентна первоначальной.

Классы (кластеры) и выступают в роли элементов, при помощи которых можно строить сложные программные структуры. Для реализации иерархии кластеров вводится понятие локального кластера. Локальные кластеры доступны только в технических программных единицах (модулях), в которых они определяются.

Как уже упоминалось, формирование (создание) конкретного экземпляра кластера из модуля—класса производится в момент компоновки программы загрузчиком. Экземпляры порождаются при обработке объявлений экземпляров, а связи между ними и другими компонентами устанавливаются при обработке внешних ссылок и точек входа.

Связанные записи

Параметризация кластера

ljsdfffosdnfvsdvc — Sat, 13 Sep 2008 08:24:43 +0000

В общем случае для изменения внутренней структуры кластера (к внутренней структуре кластера относятся и локальные данные, и связи с другими объектами) требуется перетрансляция модуля—класса. Можно добиться достаточной гибкости; при построении программных объектов, введя параметризацию порождения экземпляра, что позволяет в определенных пределах менять внутреннюю структуру на этапе компоновки без перетрансляции. Параметризация кластера позволяет задавать индивидуальные характеристики отдельных экземпляров, полученных из одного и того же класса.

Параметризовать можно локальные данные, имена процедур, связи с другими кластерами. После порождения экземпляра кластера операции над кластером отражают только существенные его свойства, характеризующие абстрактный объект, при этом все детали, отражающие реализацию абстрактного объекта, задаются либо при описании класса, либо при порождении экземпляра кластера с использованием параметризации.

Модули—классы хранятся в тех же библиотеках, что и обычные модули, там же хранятся и заявки на создание экземпляров кластеров (описания кластеров).

Связанные записи

Работа загрузчика

ljsdfffosdnfvsdvc — Sat, 13 Sep 2008 08:16:48 +0000

Загрузчик работает с четырьмя группами параметров, которые позволяют параметризовать:

— локальные данные кластеров,

— имена процедур,

— имена классов,

— имена глобальных кластеров.

Экземпляры кластеров связываются с процедурами через «список параметров ЕХТ, значением которых являются имена процедур.

Параметризация имен классов, по которым происходит порождение локальных кластеров, приводит после просмотра всего пакета к поиску недостающих классов в библиотеках, созданию записей о новых объектах—классах и кластерах, порожденных по новым классам.

Параметризация имен глобальных кластеров используется для связей глобальных кластеров между собой и приводит к генерации новых двойных имен.

Параметризация локальных данных кластеров происходит уже на этапе загрузки в память, после создания загрузчиком записей обо все используемых объектах и распределения для них памяти.

Все эти задачи, решаемые кластерным загрузчиком помимо стандартных, усложняют алгоритмы загрузки и структуру внутренних таблиц, но не заставляют отказаться от классической двухпроходной схемы работы загрузчика.

Связанные записи

Имитационный комплекс

ljsdfffosdnfvsdvc — Sat, 05 Jul 2008 18:18:48 +0000

Имитационный комплекс (ИК) позволяет осуществлять разработку программного обеспечения новой ЭВМ параллельно с разработкой аппаратуры. Это, во-первых, сокращает сроки создания вычислительной системы (т. е. ЭВМ вместе с программным обеспечением), во-вторых, дает возможность обеспечить некоторые недоступные на основной ЭВМ средства отладки программного обеспечения, в-третьих, позволяет моделировать различные варианты системы команд разрабатываемой ЭВМ.

Описываемый ИК эксплуатируется в течение трех лет, предоставляя возможность транслировать программы, написанные на языке ассемблера, хранить оттранслированные программы в виде модулей загрузки, загружать модули в модель памяти ВК ЭВМ и выполнять программу на аппаратуре ВК ЭВМ. В ближайшее время предполагается расширить ИК, введя в него кросс-компилятор с языка ПЛ/1 и диалоговый отладчик.

Связанные записи

Язык ассемблера ВК ЭВМ

ljsdfffosdnfvsdvc — Sat, 05 Jul 2008 17:20:57 +0000

Основным понятием языка ассемблера ВК ЭВМ является оператор. Все операторы можно разбить на две группы — операторы, представляющие собой символическую запись команд центрального процессора (машинные команды) и операторы, управляющие процессом ассемблирования и формирования загрузочного модуля (псевдокоманды). Особенностью записи машинных команд на языке ассемблера ВК ЭВМ является то, что большинство из них имеет вид, напоминающий операторы присваивания, и не содержит традиционных мнемокодов операций. Это связано с тем, что большинство команд центрального процессора ВК ЭВМ представляет собой арифметические и логические операции, операнды которых могут находиться на регистрах различных типов, а также пересылки данных между регистрами. При этом код команды зависит как от операции (сложение, умножение и т. д.), так и от типа регистров, содержащих операнды и результат (адресные, скалярные, векторные регистры). Например, команда, производящая целочисленное сложение скалярного регистра S2 с каждым элементом векторного регистра V7 и засылающая результаты на элементы векторного регистра VI, записывается на языке ассемблера ВК ЭВМ следующим образом:

VI S2+V7,

а аналогичная команда, осуществляющая сложение с плавающей точкой, имеет вид:

VI S2 + FV7.

Подобным же образом записываются и все остальные арифметические и логические операции из набора команд центрального процессора ВК ЭВМ.

Связанные записи

Кросс-ассемблер ИК ВК ЭВМ

ljsdfffosdnfvsdvc — Sat, 05 Jul 2008 16:24:42 +0000

Задачей кросс-ассемблера является перевод программы, написанной на языке ассемблера ВК ЭВМ, в последовательность объектных модулей. Кросс—ассемблер позволяет пользователю:

— вводить текст программы с перфокарт или из файлов-мониторной системы «Дубна»;

управлять режимом генерации объектных модулей и указывать их место размещения во внешней памяти;

— управлять режимом выдачи листинга исходной программы;

— устанавливать и отменять выдачу кросс-ссылок транслируемой программы. Кросс-ассемблер ИК ВК ЭВМ обрабатывает тексты программ любой длины, допустимой в рамках мониторной системы «Дубна», и содержащие не более чем:

— 1000 имен меток и переменных;

— 500 строчных макропеременных;

— 250 макроопределений.

Объем ресурсов, используемых кросс—ассемблером, зависит от размера транслируемой программы. Кросс—ассемблер ИК ВК ЭВМ написан на автокоде МАДЛЕН и занимает около-20К слов БЭСМ-6.