| OberonCore https://forum.oberoncore.ru/ |
|
| Машинные языки https://forum.oberoncore.ru/viewtopic.php?f=8&t=381 |
Страница 1 из 1 |
| Автор: | Сергей Губанов [ Суббота, 10 Февраль, 2007 22:18 ] |
| Заголовок сообщения: | Машинные языки |
Не подскажете, где можно почерпнуть информацио о научных исследованиях такого рукотворного ИТ-артефакта как машинные языки? Интересует генезис П-кода, байт-кода, IL и т.п.. Придуманы ли они "от балды" или есть научная основа? Или, по крайней мере, есть ли хотя бы методология или дисциплина проектирования системы машинных инструкций? |
|
| Автор: | Info21 [ Воскресенье, 11 Февраль, 2007 05:42 ] |
| Заголовок сообщения: | Re: Машинные языки |
Сергей Губанов писал(а): есть ли хотя бы методология или дисциплина проектирования системы машинных инструкций?
А есть ли открытые научные исследования? Делать что-то от балды без малейшего шанса, что Интел изменит архитектуру... Скорее всего, такие вещи погребены в Интеле, ИБМ и т.п. Единственная научная методология, которую я вообще могу вообразить, должна бы идти от формализации процесса прог-я (от, типа, Дейкстры через, типа, Оберон, и т.д.) к набору машинных команд. Это сделал когда-то Вирт еще в Lilith. Соответственно, проектирование всяких спец. инструкций должно бы начинаться с сигнатуры библиотечного вызова (снова в, типа, Обероне) и далее "вниз". С другой стороны, инженеры будут "оптимизировать" свое железо и перекладывать проблемы на компиляторщиков... как с Итаником. + concurrency на уровне ЯП еще недопонята, и тут такой сценарий не сработает. Мрак. |
|
| Автор: | CheshireCat [ Вторник, 06 Март, 2007 13:46 ] |
| Заголовок сообщения: | |
пожалуй ДССП и троичная Сетунь может еще нечто фортподобное остальное видимо эмпирика)) |
|
| Страница 1 из 1 | Часовой пояс: UTC + 3 часа |
| Powered by phpBB® Forum Software © phpBB Group https://www.phpbb.com/ |
|