> -- Сергей Губанов писал(а):
> есть ли хотя бы методология или дисциплина проектирования системы машинных инструкций?

А есть ли открытые научные исследования? Делать что-то от балды без малейшего шанса, что Интел изменит архитектуру... Скорее всего, такие вещи погребены в Интеле, ИБМ и т.п.

Единственная научная методология, которую я вообще могу вообразить, должна бы идти от формализации процесса прог-я (от, типа, Дейкстры через, типа, Оберон, и т.д.) к набору машинных команд.
Это сделал когда-то Вирт еще в Lilith.

Соответственно, проектирование всяких спец. инструкций должно бы начинаться с сигнатуры библиотечного вызова (снова в, типа, Обероне) и далее "вниз".

С другой стороны, инженеры будут "оптимизировать" свое железо и перекладывать проблемы на компиляторщиков... как с Итаником.

+ concurrency на уровне ЯП еще недопонята, и тут такой сценарий не сработает.

Мрак.