Об оценке производительности некоторых языковых процессоров символьной обработки (РЕФАЛ, ЛИСП, ПРОЛОГ)
Аннотация:
Для проведения исследований предложена формальная модель вычислительного процесса. Основными компонентами модели являются: запрос, язык программирования, алгоритм, программа, данные, транслятор, вычислитель. На основе введённой комплексной модели организации вычислений предлагается проводить полные оценки эффективности вычислительного процесса. Рассмотренный подход для анализа эффективности вычислений иллюстрируется на примере получения оценки работы ряда программно/аппаратных систем, ориентированных на решение задач символьной обработки. С этой целью на типовом наборе задач были проведены измерения времени работы некоторых Лисп-, Рефал- и Пролог-систем. На основании полученных результатов приведены оценки производительности вычислений на рассматриваемых системах символьной обработки.
Ключевые слова:
модель вычислений, таксономия вычислений, эффективность обработки, символьная обработка, символьный процессор, языки символьной обработки, Лисп, Пролог, Рефал, архитектура ЭВМ, IBM PC, ЕС ЭВМ, символьные процессоры, ЕС2702.
