Сергей Губанов писал(а):
есть ли хотя бы методология или дисциплина проектирования системы машинных инструкций?
А есть ли открытые научные исследования? Делать что-то от балды без малейшего шанса, что Интел изменит архитектуру... Скорее всего, такие вещи погребены в Интеле, ИБМ и т.п.
Единственная научная методология, которую я вообще могу вообразить, должна бы идти от формализации процесса прог-я (от, типа, Дейкстры через, типа, Оберон, и т.д.) к набору машинных команд.
Это сделал когда-то Вирт еще в Lilith.
Соответственно, проектирование всяких спец. инструкций должно бы начинаться с сигнатуры библиотечного вызова (снова в, типа, Обероне) и далее "вниз".
С другой стороны, инженеры будут "оптимизировать" свое железо и перекладывать проблемы на компиляторщиков... как с Итаником.
+ concurrency на уровне ЯП еще недопонята, и тут такой сценарий не сработает.
Мрак.