Об одной графовой модели вычислителей: Свойства + Оптимизации + Применения + Оценки

Предлагается формальная модель виртуальных языковых процессоров. Для построения модели использована теория графов. Описаны некоторые свойства модели, вводятся оптимизирующие преобразования, касающиеся работы фазы выборки команд в многоуровневых вычислителях. Преобразования касаются макроопераций 'свертки' и 'развертки' фазы выборки команд вычислителя. Модель используется для оптимизации работы блока выборки команд виртуальных процессоров на примере организации вычислителей с входным языком Рефал. Анализ и оценки даются для одноуровневых и многоуровневых реализаций блока на программном, микропрограммном и аппаратном уровнях. Работа представляет интерес для оптимизации вычислителей с формально-теоретической, прикладной и системно-методической точек зрения. На архитектурном уровне возможно широкое использование граф-модели и оптимизаций для реализации самых различных многоуровневых языковых вычислителей, например построенных по технологии 'байт-кода' для хранения мобильных программ и многих др.