Visual parallel programming as PaaS cloud service with graph-symbolic programming technology

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