Применение языка НОРМА для интегрирования уравнения Пуассона с переменными коэффициэнтами на параллельных ЭВМ

Андрианов А. Н., Ефимкин К. Н., Зыбин С. В.
Вопросы атомной науки и техники. Сер. Математическое моделирование физических процессов. Тезисы докл. Междунар. математич. конф 1997. Вып.1. С. 3-4.

      Рассматриваются вопросы применения декларативного (непроцедурного) языка НОРМА для решения двумерного уравнения Пуансона в цилиндрических координатах на неравномерной сетке, возникающего в задаче 6 распространении стримера в катодном слое.
      Язык НОРМА является средством, предназначенным для спецификации численных методов решения задач математической физики на вычислительных системах (ВС) с параллельной архитектурой. Он фактически позволяет автоматизировать фазу программирования, которая необходима при переходе от расчетных формул, заданных прикладным специалистом, к программе для конкретной ЭВМ.
      Между расчетными формулами и записью алгоритма на НОРМЕ нет существенной разницы — эти формулы являются исходной информацией для транслирующей системы. Такое описание сохраняет естественный параллелизм задачи, оно не содержит никаких ограничений, связанных с желанием приспособить программу к той или иной параллельной архитектуре ВС или особенностями языка программирования. В записи на НОРМЕ не требуется никакой информации о порядке счета, способах организации вычислительных (циклических) процессов. Порядок предложения языка может быть произвольным — информационные взаимосвязи выявляются и учитываются транслятором при организации вычислительного процесса. В результате достигаются следующие цели:
      — высокая автоматизация разработки прикладных программ (разработчик работает преимущественно в терминах расчетных формул прикладной области);
      — создание надежных прикладных программ (если правильно записаны расчетные формулы, то гарантируется получение правильной выходной программы);
      — обеспечение мобильности записи алгоритмов на НОРМЕ (учет особенностей архитектуры ВС осуществляется синтезирующим транслятором для языка НОРМА).
      В данной работе язык НОРМА применяется для записи параллельного алгоритма решения двумерного уравнения Пуассона в цилиндрических координатах методом верхней релаксации с красно-черным разбиением. Использование языка НОРМА позволило автоматически получить выходную программу на Фортране для IBM PC, для одного узла (с общей памятью) параллельной вычислительной системы CONVEX SPP1000 и программу на Фортране GNS для параллельной системы на процессорах 186ОХР с распределенной памятью и системой передачи сообщений (message passing). При этом исходная программа на НОРМЕ фактически не менялась; в последнем случае в текст программы достаточно добавить задание числа процессорных элементов, на которых желательно выполнить программу. Программирование на НОРМЕ не требует от прикладного специалиста знания сложного механизма передачи сообщений — организация вычислений и взаимодействия между параллельными задачами автоматически выполняется транслятором НОРМЫ.
      Полученные результаты дают основание полагать, что применение языка НОРМА при решении задач вычислительной физики позволит значительно снизить затраты на разработку высокоэффективных алгоритмов их решения, в особенности на параллельных ЭВМ.