77341

Язык программирования 0xfb.L

Научная статья

Информатика, кибернетика и программирование

Близится выход С0x новой расширенной версии С которая может стать тем самым инструментом но стандарт С сам по себе очень сложен синтаксис система типов виртуальные методы не все компиляторы поддерживают все возможности поэтому расширение кажется спорным решением. Концепция является результатом развития идей метапрограммирования Lisp Nemerle и сводится к динамическому выстраиванию окружения состоящего из типов переменных и операторов во время компиляции. В процессе компиляции каждое выражение синтаксическая конструкция...

Русский

2015-02-02

65.5 KB

0 чел.

Язык программирования 0xfb.L

Косенко В.В.

УрГУ, г. Екатеринбург

Растущая сложность задач решаемых на компьютере в результате привлечения более совершенных математических моделей и архитектурно-аппаратных решений приводит к неминуемому увеличению сложности всего разрабатываемого программного обеспечения. Сдержать при этом усложнение процесса разработки и не потерять в производительности можно только за счет развития новых подходов в программировании. Так появилось структурное программирование, функциональное программирование (ФП) и позже объектно-ориентированное программирование (ООП). Теперь же любой современный язык программирования по-своему объединяет сразу несколько парадигм:

  •  императивность + ФП = монады (Haskell);
  •  императивность + ФП = Linq, TFunc (C#).

Разработка действительно упрощается, но программы созданные с помощью современных подходов проигрывают прямолинейным и зачастую более громоздким реализациям на С и С++ как минимум в два раза по скорости исполнения и в эффективности использования оперативной памяти (http://shootout.alioth.debian.org/). Давно сформированные и далее не развивавшиеся языки остаются востребованными, потому что построение инструмента одновременно эффективного, как с точки зрения выполнения, так и с точки зрения разработки представляет собой сложную задачу. Близится выход С++0x - новой расширенной версии С++, которая может стать тем самым инструментом, но стандарт С++ сам по себе очень сложен (синтаксис, система типов, виртуальные методы), не все компиляторы поддерживают все возможности, поэтому расширение кажется спорным решением.

Более привлекательной представляется концепция языка 0xfb.L (оригинальное название 7fa2.L или RiDE.L) [1,2], согласно которой можно построить доступный в реализации, и эффективный язык программирования, предложив новый механизм компиляции, при котором множество базовых конструкций языка будет описываться на самом языке. Концепция является результатом развития идей метапрограммирования (Lisp, Nemerle) и сводится к динамическому выстраиванию окружения, состоящего из типов, переменных и операторов, во время компиляции.

За основу взят язык алгебраических выражений:

  •  упрощенная лексика языка С (без ключевых слов, фигурных и квадратных скобок, операций инкремента/декремента и многострочных комментариев) с двумя автогенерируемыми операторами:
  1.  бинарный apply

x y - пара токенов заменяется лексическим анализатором на тройку x apply y,

если x{ID,CONST,)} y{ID,CONST,(}

  1.  унарный $

цепочка E;...;E заменяется синтаксическим анализатором на E$;...;E$,

где E – нетерминал, обозначающий выражение;

  •  операторный синтаксис.

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

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

Итак, тип выражения выводится последовательно в два этапа:

Этап 1:

если выражение – оператор

тип значения оператора

иначе (атомарное выражение)

если записывается лексемой идентификатора

  если зарегистрирована переменная с таким именем

   тип переменной

  иначе

   T_ID

 иначе (записывается лексемой константы)

  T_CONST

Этап 2:

если выражение – аргумент некоторого оператора

 тип из сигнатуры подходящего оператора

иначе

 результат первого этапа

В языке предусмотрен специальный тип T_BE для нескомпилированных выражений, для функционирования которого в алгоритм необходимо внести поправку:

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

Следует отметить, что манипуляции с деревом разбора, производимые за счет таких выражений - один из основных механизмов метапрограммирования в 0xfb.L.

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

Свой тип T_OP имеется и для указателей на регистрируемые операторы.

Типы, отражающие основные сущности языка, называются базисными. Изначально ни для каких типов имена не выделены, поэтому для того чтобы базисные типы не перепутались, введено следующее правило:

базисные типы регистрируются первыми T_TYPE, T_ID, T_CONST, T_OP, T_BE и строго в данном порядке.

Привычного набора операторов в самом начале тоже нет. Вместо этого введена пара особых (с фиксированной семантикой) связывающих операторов:

  •  оператор «;» сцепляющий произвольные выражения в список

пустая реализация, значение равно значению последнего выражения;

  •  оператор «,» позволяющий управлять арностью других операторов

пример: (a,b)+c - трехоперандное сложение, (a,b)+(c,d) - четырех.

Кроме того, по умолчанию регистрируется тип T_ASM, переменная asm этого типа и исходный оператор

apply # T_ASM/T_BE (метка apply, левый аргумент типа T_ASM, правый - T_BE)

Значением второго аргумента этого оператора должна быть строковая константа, содержащая ассемблерный код в тернарной форме. Код может содержать как обычные инструкции, так и специальные - директивы компилятору. Директивы интерпретируются семантическим блоком компилятора во время компиляции, взаимодействуя с окружением:

  •  регистрация и конфигурирование типов, переменных и операторов
  •  работа со структурами времени компиляции и с фрагментами дерева разбора

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

Остальные операторы выражаются через исходный и упомянутую ранее пару связок по интуитивно понятному алгоритму:

если выражение - оператор

 код аргументов (при проходе слева направо) + реализация оператора

иначе (атомарное выражение)

пусто

Единственным неосвещенным местом работы компилятора является фундаментальный для всей системы механизм поиска подходящего оператора по сигнатуре среди всех зарегистрированных. Следующий алгоритм является его текущей реализацией:

  1.  по метке и числу аргументов определить множество выбора E. I = .
  2.  перебираем выражения-аргументы ei слева направо

Ex = {s|sE s[i]=T_BE}

Ix = {s|sI s[i]=T_BE}

если Ex = и Ix =

компилируем ei

 Ex = {s|sE s[i]=тип ei}

 Ix = {s|sE ei-идентификатор и s[i]=T_ID}{s | sI s[i]=тип ei}

 если Ix =  и Ex = 

  нет оператора

E = Ex

I = Ix

  1.  если E ≠ ∅

E[0]

иначе

I[0]

Множество I дает операторам с типом T_ID в сигнатуре особый приоритет, что может быть удобно при реализации свойств и методов для ООП.

На данный момент для Windows реализованы все описанные алгоритмы в виде рабочей связки лексического, синтаксического и семантического анализаторов. Для нового языка написана первая библиотека, реализующая необходимые операторы для привычного определения типов, переменных и операторов, а также таких конструкций как if-else, for-break-continue и switch-case-default-break. Сейчас ведется разработка блока генерации кода, позволяющего компилировать 0xfb.L в MSIL для применения в .Net приложениях.

Литература

  1.  Бахтерев М.О. Язык программирования 7fa2.L // Третья международная конференция "Информационно-математические технологии в экономике, технике и образовании" г.Екатеринбург, 20-22 ноября 2008 г. Тезисы докладов. Стр.215-216.
  2.  Бахтерев М.О., Косенко В.В. Язык программирования RiDE.L // Тезисы 11-го Международного семинара "Супервычисления и Математическое моделирование", РФЯЦ-ВНИИЭФ, Саров, 2009, с. 25-26.


 

А также другие работы, которые могут Вас заинтересовать

37786. Двозв’язні списки 315.92 KB
  Мета: навчитися програмувати з використанням вказівників та динамічних змінних, створювати та опрацьовувати двозвязні списки...
37787. Робота з текстовими документами в редакторі word 182.5 KB
  Завдання згідно з викладачем: Без форматування: Взуття має такі характеристики: марка тобто виробник код або шифр колір модельназва моделі розмір тип взуття черевики босоніжки чоботи тощо. Матеріал а також взуття належить до різних колекцій які можна розділити на 2 групи: сезонні колекції весналіто 2011 осіньзима 2010; спеціальні колекції Монархеліт Intertopsport тощо Взуття також можна класифікувати за цільовою аудиторією для немовлят для дітей від. В магазин поступає взуття і фіксується на складі...
37788. ИССЛЕДОВАНИЕ ПЕРЕДАТЧИКА АППАРАТУРЫ ИКМ-30 5.22 MB
  В состав передатчика входят следующие основные узлы: индивидуальное оборудование каналов нелинейное кодирующее устройство схема формирования линейного сигнала генераторное оборудование. Снятие осциллограмм в характерных точках передатчика В качестве испытательного сигнала используется пилообразное напряжение Uн= 1 В. Просмотреть общий вид АИМ сигнала и зарисовать его согласуя с масштабом испытательного сигнала. Запрещается подавать на вход дискретизатора КИО и КИ 16; просмотреть на осциллографе и зарисовать общий вид цифрового сигнала...
37789. Суммирующий счетчик со сквозным переносом на основе JK-триггера 108.28 KB
  Задание: Спроектировать схему суммирующего счетчика со сквозным переносом на основе JKтриггера и проверить правильность работы с помощью анализа переходных процесов. Схема: Анализ переходных процессов: Вывод: Изучил работу схему суммирующего счетчика со сквозным переносом на основе JKтриггера.
37792. Радиомониторинг защищаемого объекта с помощью индикаторов поля 966.5 KB
  Изучение характеристик индикаторов поля для определения; поиска обнаружения излучений НСИ несанкционированных средств перехвата информации радиозакладочных устройств передатчиков и...
37794. СОБСТВЕННОСТЬ И ТИПЫ ЭКОНОМИЧЕСКИХ СИСТЕМ 85 KB
  Собственность выражает характер присвоения ресурсов, произведённого продукта, доходов, самого процесса производства в хозяйстве. Присваивать, быть собственником - это значит относиться к объектам экономических отношений, как к своим...