2014 dxdy logo

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

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




Начать новую тему Ответить на тему
 
 х86 Машиной Тьюринга
Сообщение10.08.2021, 15:22 


15/03/21

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

 Профиль  
                  
 
 Re: х86 Машиной Тьюринга
Сообщение10.08.2021, 15:53 
Заслуженный участник


09/05/12
25179
dumzu в сообщении #1528455 писал(а):
Может быть у кого-нибудь есть мысли на этот счет, если нет ссылок ?
Мысль есть. Прикиньте трудозатраты на эту работу и ее полезность (практическую или научную), думаю, после этого вопрос отпадет сам собой.

 Профиль  
                  
 
 Re: х86 Машиной Тьюринга
Сообщение05.09.2021, 21:36 
Заслуженный участник


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

(PS.)

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

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 3 ] 

Модераторы: Karan, Toucan, PAV, maxal, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group