OberonCore

Начало там:
viewtopic.php?p=39513#p39513
viewtopic.php?p=39519#p39519Так вот, у кроносов была стековая архитектура (все вычисления на стеке), а в книге Вирта "Построение компиляторов" -- регистровая (16 регистров) архитектура а-ля RISC. То есть друг с другом они "не дружат".

Следующее сообщение остаётся в силе:

Сейчас Вирт с коммандой делают проект Оберон-На-Чипе
http://www.embeddedcomputingconference. ... ldener.pdf
Возможно что то изменилось?

Вот тут часть команды:
http://www.inr.ac.ru/~info21/images/2009-05-26_ling.jpg

Вы эту фотку уже второй раз выкладываете, а другие есть?

А у Терехова, в процессоре "Самсон" был регистровый стек, основной поток команд - однобайтовый, широкое использование микропрограммирования. Это я по памяти, 20 лет как никак прошло. К сожалению в интернете по "Самсону" материалов нет, вроде как он принят основным в РВСН и, соответственно, засекречен.
Была книга: - 3. Кожокарь С.К., Евстюнин М. В., Терехов А. Н., Уфнаровский В. А. "Как Паскаль и Оберон попадают на "Самсон"", Кишинев, изд. Штиница, 1992. Cоставитель: А. Н. Терехов, д.ф.-м.н., проф.
Но это какой-то недоступный раритет.

В этой ветке? Уже забыл...

Ну, их 18 штук по 2М, вроде кина. Вот еще.

Давно уже изменилось. Java Virtual Machine появилась в hardware implementation. На AVR32(Atmel) аппаратно исполняется жабовский байт-код.

Atmel - серьезная контора, вроде.... У них и 8-бит - тоже не так уж и плохо под ЯВУ заточен
Один Zero propogation чего стоит: пойти против традиций - не каждый себе позволить может

Не в курсе, что с Lilith, а в Ceres стековый процессор - это точно. Lilith Вирт на общем уровне в своей Тьюринговской лекции описывал. Не помню, какой архитектуры процессор, но помню, что он там сетовал по поводу того, что ЯВУ подстраивают под процессор, а не архитектуру процессора под нормальны ЯВУ.

Да, там вроде безымянные регистры в виде стека. Кажется.

Это он тогда нет в курсе про Эльбрус был...

Даже три стека: целых, адресов и вещественных.

Стековый процессор - в Lilith, а в Ceres обычный регистровый

О, и вправду.

Кстати, здесь написано, что Кроносс - клон Lilith.

Попробую-таки развить в духе предыдущего высказывания..

набор команд VM (разумеется, в контексте языков, для которых существуют виртуальные машины) оптимален по отношению к языку в значительно большей степени, чем набор машинных команд произвольной аппаратной платформы. Может что-то есть в "золотом фонде" по проектированию VM?

Виртуальные машины можно разделить на 2 класса:
1. эффективно реализующие ЯВУ, которые в свою очередь спроектироваы под задачу, а не тем же способом, что и ВМ второго класса.
2. реализованные в стиле "- А давайте сделаем... - А почему бы и нет... - И там будет ... и ...".

Если переформулировать названия классов, то они будут выглядеть так: ориентированные на ЯВУ и не ориентированные на ЯВУ.

По повествованиям из многих источников можно сделать вывод, то JVM относится ко второму классу. И смысл её не в том, чтобы под неё было проще компилятор сделать, а в том, чтобы она быстрее работала на реальных машинах. Поэтому можно предпололжить, что скорее будут выбирать такие команды для ВМ, чтобы их было эффективнее реализовать на реальном железе. Или другими словами: набор команд JVM сильно коррелирует с набором команд процессора.

Поэтому "золотой фонд" "золотым фондом", но первый вопрос, который должен быть решён при рассмотрении очередной ВМ, это какому классу она принадлежит.

Это важно, поскольку ВМ второго класса не интересны.

Может не зацикливаться на нём, а копнуть поглубже
В район языков, имеюших представление в виде байткода?

Подивился планам реализовать сборщик мусора аппаратно в сопроцессоре.

А чтоб было видно что у них там на мониторе нарисовано фотка есть? А то у них такие выражения лиц захватывающие...

Вот в этом и заключено искусство фотографии - сделать обыденное захватывающим и интересным. : )

Таким формулировкам никогда нельзя верить буквально.
Во всяком случае, кажется, не 1:1.