ediah / flower

Оптимизирующий байт-код компилятор, виртуальная стековая машина и отладчик.

Документация

Анализ покрытия

Краткое описание

Flower — строго типизированный язык процедурного программирования. Языком поддерживается многопоточность, указатели заменены на концепт "общей" (или "разделяемой") переменной, есть 4 простых типа и один составной. Продвинутая работа со структурами: над ними можно проводить арифметические операции.

В репозитории ведётся разработка:

1. Оптимизирующего байт-код компилятора (flc),

2. Виртуальной стековой машины (flvm),

3. Отладчика виртуальной машины (fldbg).

Порядок работы

1. Скомпилировать написанную программу source.fl:

./flc source.fl

2. Запустить бинарный файл на виртуальной машине:

./flvm out.bin

3. В случае ошибок или иных проблем отладить:

./fldbg out.bin

4. Если вносятся изменения в код проекта, все изменения можно автоматически протестировать с помощью команды:

./fltest [-O] [-m] [-r] ./test/A-unit/*.fl ./test/B-unit/*.fl

Документация

Скоро будет доступна в разделе wiki, планируется работа с doxygen.

Примеры

Факториал

def factorial(int n): int {
    if (n > 1) 
        return factorial(n - 1) * n;
    else
        return 1;
}

program {
    int a;
    read(a);
    write(factorial(a));
}

Многопоточность

def iterate(shared int a): shared int {
    for (int i = 1; i <= 5; i = i + 1) {
        /* write("Итерация #", i, ": a = ", a); */
        a = a / 2;
    }
    return a;
}

program {
    shared int x, y;
    
    read(x);
    read(y);

    thread:1 { x = iterate(x); }
    thread:2 { y = iterate(y); }

    fork(1, 2);
    lock();

    write(x, " ", y);
}

Множество других примеров Вы можете найти в папке 'test'.

flower's Issues

Ошибка сегментации при тестировании

На тестах случайным образом (когда-то есть ошибка, а когда-то -- нет) вылезает "Segmentation fault". С чем это связано, пока не знаю.

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

Вот пример, на котором оптимизация не срабатывает:
https://github.com/ediah/mlc/blob/65cdee2ab97b552d6fdf2fc6244af34704de2c44/test/A-unit/unit21.ml#L7
Можно было бы подумать, что виновато отсутствие скобок в последнем произведении, но нет, оптимизатор не смог вынести даже две повторяющиеся скобки, хотя в предыдущих строках этого теста скобки оптимизируются.

Фибоначчи(46) вызывает ошибку сегментации

Во время просчёта теста test/A-unit/bench1.ml возникают проблемы с памятью. Скорее всего, повреждается стек.
Нужно больше памяти? Оптимизировать stack.cpp? Или это мой косяк?

Автоматизация тестирования

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

1. Либо это должен быть отдельный инструмент (например, test/test.cpp), папка с входными и выходными данными. И тогда его обязанности мне представляются следующими:

• Компиляция исходного кода. При этом он должен проверить, чтобы все тесты группы A скомпилировались, а все тесты группы B выдали те ошибки, которые ожидалось получить.
• После этого шага идёт запуск скомпилированных программ на входных данных с последующей сверкой вывода.
• Опционально сюда можно добавить прохождение обоих этапов с применением Valgrind, а в связи с идеей реализации оптимизатора -- проверку эквивалентности и скорости выполнения.

2. Либо сделать автотест частью языка и компилятора.

• Ключевые слова input и output будут задавать входные и выходные данные соответственно. Если компилятор встречает эти области в исходном коде, то он "вшивает" их в исполняемый файл.
• При запуске виртуальная машина собирает тестовые данные и использует их в операциях read() и write(), в результате чего даёт отчёт: все ли тесты были пройдены, какие провалились.

Лично мне оба варианта нравятся, и в качестве тренировки мог бы реализовать и то, и то.