Дмитрий Леонидович Гуринович
Научный руководитель Института фундаментальной математики
4 Машина исполнения комрьютерных алгоритмов Архитектура мат модели с центр процессором и неограниченными лучами данных
Описание произведения: Построена математическая модель вычислительной системы вместо машины Тьюринга. Архитектура построенной модели аналогична архитектуре современных компьютеров с центральным процессором и оперативной памятью. Удалось преодолеть ограничение на размер доступной оперативной памяти из-за разрядности процессора.
Ключевые слова: Вычислительные системы, Модель вычислительной системы, Скорость вычислений, Вычислимость, Машина Тьюринга.
Основные результаты научного произведения:
Построена модель исполнения алгоритмов на основе «центрального процессора» и конечного количества «лучей данных», которые начинаются от процессора. Данная модель подобна современным вычислительным системам и позволяет использовать накопленный в ИТ опыт операций с данными. Одной из строк (частью «входных» данных) при этом оказывается сам алгоритм (соответствующий программный текст) – расположенный на одном из лучей данных. Решен в принципиальном отношении вопрос масштабирования современных вычислительных систем до использования ими оперативной памяти неограниченных размеров при ограниченной разрядности процессора.
Перспективные направления применения для дальнейших исследований и разработок: Рассмотренная Машина исполнения компьютерных алгоритмов построена в соответствии с современной практикой построения вычислительных машин, её «эксплуатация» в этом смысле понятна и привычна с точки зрения стандартов ИТ. В отличие от машины Тьюринга данная модель годится для оценок времени, потому что ключевая часть вычислений вписана в «сетки синхронизаций» с однозначными интервалами времени между состояниями узлов Машины. Алгоритм является таким же объектом теории, что и данные. Программный текст, использование этого текста в качестве алгоритма, и время на его исполнение в качестве алгоритма, доступно теперь исследованию в рамках Теории компьютерных строк в той же мере, что и используемые программой данные.
Приоритетные направления развития науки, технологий и техники в РФ: Информационно-телекоммуникационные системы.
Создана теоретическая основа для рассмотрения современных практических вычислительных систем. Поэтому все выгоды использования модели (наглядность, «предчувствие» теорем, основа непротиворечивости и т.д.) теперь обоснованы и находятся в нашем распоряжении, что поможет формализовать знания и обеспечить их сохранение и передачу при обучении ИТ-специалистов. Если реализовать рассмотренную архитектуру на практике, то снимаются ограничения на размер используемой памяти даже для дешёвых процессоров с малой разрядностью – что экономически эффективно для разнообразных простых в вычислительном отношении, но оперирующих с большой памятью систем. Появляется возможность «универсального» отношения к любой памяти, как к оперативной памяти – притом без всяких ограничений на размер и разрядность. И потенциально такая универсализация очень упрощает и удешевляет аппаратную разработку и низкоуровневое программирование.
Впервые опубликовано 16.03.2021