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.


 

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

17520. Фільтрація сигналів і зображень 256.5 KB
  Лабораторна робота №4 На тему: Фільтрація сигналів і зображень Мета роботи Ознайомитися з методами та засобами фільтрації сигналів та зображень. Проілюструвати процес фільтрації зображення в просторовій області. Теоретичні відомості Цифрова фільтрація д
17521. Розрахунок і побудова цифрових СІХ фільтрів з частотною вибіркою. Фільтрація складених сигналів 338 KB
  Лабораторна робота №5 На тему: Розрахунок і побудова цифрових СІХ фільтрів з частотною вибіркою. Фільтрація складених сигналів Мета роботи Ознайомитись з різними типами цифрових фільтрів навчитись розраховувати різні типи фільтрів і застосовувати їх на практи...
17522. Модуляція та демодуляція сигналів. Амплітудна модуляція складених сигналів 149 KB
  Лабораторна робота №6 На тему: Модуляція та демодуляція сигналів. Амплітудна модуляція складених сигналів Мета роботи Розглянути принципи модуляції сигналів. Проаналізувати особливості різних типів модуляції. Ознайомитись з алгоритмом отримання амплітудної ...
17523. Формування аналогового сигналу з заданими параметрами з допомогою широтно-імпульсного модулятора 416.35 KB
  Тема: Формування аналогового сигналу з заданими параметрами з допомогою широтноімпульсного модулятора. Мета: Ознайомлення з роботою широтноімпульсного модулятора. Завдання:Сформувати вихідний сигнал ШІМ з частотою та формою заданими згідно варіанту: Варіант:...
17524. Безопасность жизнедеятельности, конспект лекций 619 KB
  Конспект содержит основные сведения о взаимодействии человека и среды обитания, человека и технических систем, охране труда. Рассмотрены правовые, организационные вопросы безопасности жизнедеятельности. Дано представление о чрезвычайных ситуациях, мероприятиях и средствах защиты населения при ЧС.
17525. Реалізація аналого-цифрового перетворювача 537.99 KB
  Тема: Реалізація аналогоцифрового перетворювача. Мета: Ознайомлення з принципом роботи аналогоцифрових перетворювачів порозрядного зрівноваження. Завдання: Виміряти значення напруги на виході потенціометра з допомогою АЦП реалізованого на базі ЦАП згідно ва...
17526. Реалізація системи автоматичного регулювання 123.51 KB
  Тема: Реалізація системи автоматичного регулювання. Мета: Ознайомлення з роботою систем автоматичного регулювання зі зворотнім звязком. Завдання:Реалізувати систему регулювання вихідної напруги активного аналогового фільтра нижніх частот другого порядку з ча
17527. Робота з базами даних в Java з використанням OR/M Hibernate 76.5 KB
  Лабораторна робота №1 Тема: Робота з базами даних в Java з використанням OR/M Hibernate. Мета: Навчитись виконувати основні операції при роботі з базами даних в Java використовуючи OR/M Hibernate. Ознайомитись з середовищем програмування Eclipse. Хід роботи: Теоретичні відомості: O/RM ...
17528. Java Servlet та JSP 86 KB
  Лабораторна робота №2 Тема: Java Servlet та JSP. Мета: Навчитись створювати та виконувати Java Servlet та JSPсторінки всередині серверу Tomcat. Хід роботи: Теоретичні відомості: Сервлет Javaобєкт що працює всередині спеціальної програми сервлетконтейнера і застосовується