Эта статья требует дополнительных ссылок для проверки . ( октябрь 2009 г. ) ( Узнайте, как и когда удалить этот шаблон сообщения ) |
Абстрактная машина , также называется абстрактный компьютером , теоретический компьютер используется для определения модели вычислений . Абстракция вычислительных процессов используется как в компьютерных науках, так и в компьютерной инженерии, и обычно предполагает парадигму дискретного времени .
Информация [ править ]
В теории вычислений абстрактные машины часто используются в мысленных экспериментах относительно вычислимости или для анализа сложности алгоритмов ( см. Теорию сложности вычислений ). Типичная абстрактная машина состоит из определения в терминах ввода, вывода и набора допустимых операций, используемых для превращения первых во вторую. Самый известный пример - машина Тьюринга .
Абстрактные типы данных могут быть указаны в терминах их операционной семантики на абстрактной машине. Например, стек может быть определен в терминах операций на абстрактной машине с массивом памяти. Используя абстрактные машины, можно вычислить количество ресурсов (время, память и т. Д.), Необходимых для выполнения конкретной операции, без необходимости создания физической системы. [ требуется разъяснение ]
Более сложные определения создают абстрактные машины с полными наборами команд , регистрами и моделями памяти . Одной из популярных моделей, более похожих на настоящие современные машины, является модель RAM , которая обеспечивает произвольный доступ к индексированным ячейкам памяти. По мере роста разницы в производительности между различными уровнями кэш-памяти все большее значение приобретают модели, чувствительные к кеш-памяти , такие как модель внешней памяти и модель без учета кеша .
Абстрактная машина может также относиться к конструкции микропроцессора, которая еще не реализована (или не предназначена для реализации) как аппаратное обеспечение. Абстрактная машина, реализованная в виде программного моделирования или для которой существует интерпретатор , называется виртуальной машиной .
См. Также [ править ]
- Абстракция (информатика)
- Абстрактная интерпретация
- Массовая синхронная параллель
- Дискретное время
- Конечный автомат
- Таксономия Флинна
- Формальные модели вычислений
- Кривинская машина
- Модель вычисления
- Параллельная машина с произвольным доступом , де-факто стандартная модель. [1]
- Машина SECD
- Государственное пространство
- Машина Тьюринга
Ссылки [ править ]
- ^ DB Skillicorn (2005). Основы параллельного программирования . Издательство Кембриджского университета. п. 18. ISBN 978-0-521-01856-2.
- Эта статья основана на материалах, взятых из Free On-line Dictionary of Computing до 1 ноября 2008 г. и включенных в соответствии с условиями «перелицензирования» GFDL версии 1.3 или новее.
Дальнейшее чтение [ править ]
- Питер ван Эмде Боас, Machine Models and Simulations, стр. 3–66, появляется в:
- Ян ван Леувен , изд. "Справочник по теоретической информатике. Том A: Алгоритмы и сложность , MIT PRESS / Elsevier, 1990. ISBN 0-444-88071-2 (том A). QA 76.H279 1990.
- Стефан Диль, Питер Хартел и Питер Сестофт, Абстрактные машины для реализации языка программирования , Компьютерные системы будущего поколения, Vol. 16 (7), Эльзевир, 2000.
- Вернер Клюге (2006). Абстрактные вычислительные машины: перспектива лямбда-исчисления . Springer. ISBN 978-3-540-27359-2.