64 бит - почему так мало выкинуто костылей и недостатков?

Кто сейчас мешает выпускать процессоры без совместимости с x86-32?

совместимость мешает

Кто сейчас мешает выпускать процессоры без совместимости с x86-32

Внезапно, то, что есть еще много годных x86-32-only программ.

Тем, кому они нужны, можно покупать и с поддержкой x86-32.

Но почему в дополнение к ним нет процессоров без такого?

Кто сейчас мешает выпускать процессоры без совместимости с x86-32?

Какой в этом смысл?

Потому что они нужны только упоротым перфекционистам вроде нас с вами. А что типичному программисту, что юзеру — пофиг.

Не тянуть (платные) костыли.

Как там в анекдоте?

Собрались Intel новый процессор выпускать, собрали от всех ОСей по представителю и спрашивают, мол, когда сможете портировать?

Кук: Ну мы подумаем, стоит ли нам вообще портировать Mac на эту платформу... Но думаем, что через год.
Линус: Дайте спеки и через неделю будет gcc, через месяц - весь остальной софт.
Гейтс: Да что там, офигели, что ли?

Не тянуть (платные) костыли.

Список костылей - в студию. А то мне кажется, что ты хочешь тупо другую архитектуру.

Ознакомся с IA-64

Список костылей - в студию.

Поддержка x86-32.

Не тянуть (платные) костыли.

Под платными надо понимать проприетарные?

Список костылей - в студию.

Поддержка x86-32.

Это подмножество x86-64. Выкинешь - ничего не выиграешь.

Но почему в дополнение к ним нет процессоров без такого?

Унификация, особенности архитектуры(аппаратной) и удешевление производства, не?

Но почему в дополнение к ним нет процессоров без такого?

А как же провальный Itanic^Hum?

Есть Itanium, там архитектура совсем другая, поэтому в режиме совместимости с x86 он жутко тормозит.

Есть ARM, который вообще не совместим.

провальный Itanic^Hum?

Хороший проц на самом деле. Просто архитектура EPIC предусматривает адские мозги у компилятора, чего не было в нужное время.
Более того, софта под итаниум было мало, а x86-эмулятор тормозил до черта.

Под платными надо понимать проприетарные?

Нет, в данном случае я, покупая процессор, плачу еще и за поддержку им x86-32, которая не очень то и нужна.

Под платными надо понимать проприетарные?

Скорее всё же банально платные, потому как поддержка этих фич занимает в процессоре место, которое можно было бы потратить на что-нибудь более полезное вроде тех же регистров.

Нет, в данном случае я, покупая процессор, плачу еще и за поддержку им x86-32, которая не очень то и нужна.

Ты так говоришь, будто если они x86-32 выкинут ты будешь платить меньше :)

Зачем же ты покупаешь x86?

Ну кто им мешал сделать сразу 256 регистров?

Что тебе мешает открыть свою фирмочку в гараже, изучить
технологии создания микросхем, разработать свой процессор - и
выпустить его в массовое производство? Слабо?

кто им мешал сделать сразу 256 регистров?

Они и сделали.

http://en.wikipedia.org/wiki/Register_renaming

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

Кто сейчас мешает выпускать процессоры без совместимости с x86-32?

А что, 16-ти битный режим уже выкинули?

Кто сейчас мешает выпускать процессоры без совместимости с x86-32?

главный козырь интеля это совместимость. Об этом они постоянно говорят. Поэтому и не боятся (относительно, конечно) экспансии армов итп. Каждый раз когда их спрашивают «а не зашла ли архитектура в тупик» они говорят «а щас вот техпроцесс уменьшим, кэша добавим, блок предсказания ветвлений улучшим, с конвеером поколдуем и вы все лососнёте тунца, наши маленькие конкуренты». Не вру, почти так и говорят : )

кстати, не уверен что есть загрузчики которые работают в amd64. По-моему, всякие grub2 это максимум 32bit

А тем временем в ядро впилили x32-abi. :)

Не вру, почти так и говорят : )

И правильно делают

Itanium сделали. Оказалось, процессор без обратной совместимости никому не нужен. Урок извлекли, закопали.

Итаниум штоле?

Еще есть спарки и паверы, да. Но ТС, такое ощущение, что видел только x86

Проблемы Итаниума были не в обратной совместимости, а в том, что по компиляции для VLIW-архитектур до сих пор диссертации защищаются.

Итаниум штоле?

Зачем так сразу? Взять amd64 архитектуру и выкинуть все 32-х и 16 разрядные режимы.

И что там тормозило, при этом летая на amd64? Со ссылками на многочисленные тесты, желательно, много ведь такого должно было быть.

И что там тормозило, при этом летая на amd64?

В основном там тормозили x86 программы, запускаемые в режиме эмуляции x86 процессора.

Повторю еще раз:

по компиляции для VLIW-архитектур до сих пор диссертации защищаются

Промышленного компилятора, генерирующего эффективный код для VLIW, не существует, отсюда и провалы во всевозможных тестах.

gcc, icc, clang - не достаточно?

Взять amd64 архитектуру и выкинуть все 32-х и 16 разрядные режимы.

AMD64 — всего лишь пришлепка на IA-32. Невозможно выдернуть фундамент из-под надстройки.

amd64 пристройка сбоку к х86. если хочешь принципиально новых процессоров - MIPS и ARM к вашим услугам. и стоят меньше, ога.

Ну кто им мешал сделать сразу 256 регистров?

Формат инструкций. Им и так-то пришлось новый префикс изобрести.

поддержка этих фич занимает в процессоре место

Это такая мелочь по сравнению с видеоядром и кэшами, что об этом нет смысла и говорить.

кстати, не уверен что есть загрузчики которые работают в amd64. По-моему,
всякие grub2 это максимум 32bit

Как раз нет. Именно grub2 собирается для x86_64. И Lilo.

потом что альфа
//Кэп

Повторю еще раз:

эффективный код

В «чистом» VLIW суперскалярность явная, и динамического планирования нет — инструкции не меняют порядка, регистры не переименовываются. В Итаниуме пытались сделать нечто промежуточное между явной и неявной, группируя инструкции не в длинные слова, а в связки поменьше, чтобы не перекладывать всю работу на компилятор. Но компилятор все равно должен найти компромисс между оптимальным расписанием инструкций и оптимальным выделением регистров.

А ведь нужно еще код для spilling'а оптимально вставить, и желательно все это до тепловой смерти Вселенной. Пока нет хорошего решения этой задачи даже в теории, не то что реализации в «gcc, icc, clang».

Им и так-то пришлось новый префикс изобрести.

ну так и засунули бы они все эти регистры за этот префикс.

А еще лучше, раз уж все равно в long mode 32-х битные программы не работают, вообще сделать более человеческую систему кодов команд.

Да ладно... Из-за чертова скайпа приходится вообще multilib держать. Вот он - БДСМ во всей красе!

Имхо, но пихать в стэк все 256 регистров слишком затратная операция.

Ну а как же на RISC это делают? Там ведь дочерта регистров

Как раз нет. Именно grub2 собирается для x86_64. И Lilo.

gentoo без multilib хендбуком призывает ставить lilo. что-то там (было) не так с grub.

Взять amd64 архитектуру и выкинуть все 32-х и 16 разрядные режимы.

x86_64 - это 64 битные расширения 32 битных расширений 16 разрядного цп..