2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




 
 х86 Машиной Тьюринга
Сообщение10.08.2021, 15:22 
Написал ли кто-нибудь машины Тьюринга, эмулирующие работу процессоров архитектуры х86 ?
Альтернативно, существуют ли компиляторы программ созданных на высокоуровневых языках программирования (C+/Python/…) или хотя бы ASM, в машины Тьюринга или программу для универсальной МТ ?
Поисковики напичканы обратными примерами, как реализовать МТ на условном Python. Этого не надо. Надо наоборот, чтобы можно было взглянуть на конкретную МТ или программу + УМТ, на которой можно было бы выполнять/транслировать в нее, программы на условном Python или хотя бы ASM.
Читал про реализацию на МТ RAM, регистров, стека, но хотелось бы все и сразу.
Может быть у кого-нибудь есть мысли на этот счет, если нет ссылок ?
Благодарю

 
 
 
 Re: х86 Машиной Тьюринга
Сообщение10.08.2021, 15:53 
dumzu в сообщении #1528455 писал(а):
Может быть у кого-нибудь есть мысли на этот счет, если нет ссылок ?
Мысль есть. Прикиньте трудозатраты на эту работу и ее полезность (практическую или научную), думаю, после этого вопрос отпадет сам собой.

 
 
 
 Re: х86 Машиной Тьюринга
Сообщение05.09.2021, 21:36 
Цель может быть в обучении, помочь разобраться в функционировании сложного устройства (процессора) через намного более простое (МТ). Но это плохой путь - классический, по уровням абстракций (логические элементы - блоки из них типа регистров/мультиплексоров/счётчиков/сумматоров - ещё большие блоки типа ОЗУ/АЛУ/шин - ещё крупнее типа кэш/вычислительное ядро/контроллеры - сети компьютеров), намного понятнее и быстрее. Хотя и существуют техногики, собирающие простенькие компьютеры из дискретной логики (странно что не из транзисторов или ламп), у нас даже тема тут про такой есть, но никакой реальной пользы это не несёт: автор пока соберёт уже и сам всё выучит и узнает, а другим новичкам всё равно останется непонятным (конструкция слишком сложная, тысячи логических элементов). И попытка разобраться неизбежно свернёт снова на путь по иерархии.
Так и с МТ, на ней можно пояснять какие-то базовые вещи, но что-то реальное (т.е. обычно сложное) реализовывать на ней глупо, просто никому не нужно, проще и быстрее самому всё выучить.
А уж разбирать сверхусложнённую систему команд x86 это мазохизм. Не зря в процессорах декодер команд занимает существенную часть кристалла (занимал, до интеграции многомегабайтных кэшей). Фактически это самый сложный блок процессора, остальные хоть и могут быть больше в размерах, но намного регулярнее.

(PS.)

Ответил до того как клона забанили, но не стирать же теперь, пусть висит. Ну или модераторы удалят всю тему.

 
 
 [ Сообщений: 3 ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group