OberonCore

Библиотека  Wiki  Форум  BlackBox  Компоненты  Проекты
Текущее время: Пятница, 29 Март, 2024 16:03

Часовой пояс: UTC + 3 часа




Начать новую тему Ответить на тему  [ Сообщений: 3 ] 
Автор Сообщение
 Заголовок сообщения: Машинные языки
СообщениеДобавлено: Суббота, 10 Февраль, 2007 22:18 
Аватара пользователя

Зарегистрирован: Пятница, 25 Ноябрь, 2005 18:55
Сообщения: 2272
Откуда: Россия, Нижний Новгород
Не подскажете, где можно почерпнуть информацио о научных исследованиях такого рукотворного ИТ-артефакта как машинные языки? Интересует генезис П-кода, байт-кода, IL и т.п.. Придуманы ли они "от балды" или есть научная основа? Или, по крайней мере, есть ли хотя бы методология или дисциплина проектирования системы машинных инструкций?


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Машинные языки
СообщениеДобавлено: Воскресенье, 11 Февраль, 2007 05:42 
Аватара пользователя

Зарегистрирован: Пятница, 25 Ноябрь, 2005 12:02
Сообщения: 8500
Откуда: Троицк, Москва
Сергей Губанов писал(а):
есть ли хотя бы методология или дисциплина проектирования системы машинных инструкций?


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

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

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

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

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

Мрак.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения:
СообщениеДобавлено: Вторник, 06 Март, 2007 13:46 

Зарегистрирован: Вторник, 04 Июль, 2006 13:04
Сообщения: 88
Откуда: Novosibirsk
пожалуй ДССП и троичная Сетунь
может еще нечто фортподобное
остальное видимо эмпирика))


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

Часовой пояс: UTC + 3 часа


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

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


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

Найти:
Вся информация, размещаемая участниками на конференции (тексты сообщений, вложения и пр.) © 2005-2024, участники конференции «OberonCore», если специально не оговорено иное.
Администрация не несет ответственности за мнения, стиль и достоверность высказываний участников, равно как и за безопасность материалов, предоставляемых участниками во вложениях.
Без разрешения участников и ссылки на конференцию «OberonCore» любое воспроизведение и/или копирование высказываний полностью и/или по частям запрещено.
Powered by phpBB® Forum Software © phpBB Group
Русская поддержка phpBB