OberonCore

Библиотека  Wiki  Форум  BlackBox  Компоненты  Проекты
Текущее время: Четверг, 28 Март, 2024 12:20

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




Начать новую тему Ответить на тему  [ Сообщений: 33 ]  На страницу 1, 2  След.
Автор Сообщение
СообщениеДобавлено: Вторник, 15 Декабрь, 2009 16:27 
Аватара пользователя

Зарегистрирован: Пятница, 25 Ноябрь, 2005 18:55
Сообщения: 2272
Откуда: Россия, Нижний Новгород
Начало там:
viewtopic.php?p=39513#p39513
Info21 писал(а):
Вот Вирт когда-то вывел систему команд CPU из требования компиляции ЯВУ. И получилось гораздо лучше, чем выдумки из головы по принципу "добавим еще и такую штуку на всякий случай".

viewtopic.php?p=39519#p39519
Илья Ермаков писал(а):
По обсуждаемой теме (от языка - к проектированию системы команд) точно было у новосибирцев-кроносистов. Там же могут быть и ссылки на Вирта.
http://kronos.ru/
Так вот, у кроносов была стековая архитектура (все вычисления на стеке), а в книге Вирта "Построение компиляторов" -- регистровая (16 регистров) архитектура а-ля RISC. То есть друг с другом они "не дружат".

Следующее сообщение остаётся в силе:
Info21 писал(а):
Сергей Губанов писал(а):
Info21 писал(а):
где об этом можно почитать?
Сам хотел бы посмотреть. Следов не обнаруживается, планируется запросить "первоисточник".

Если кто-то что-то знает, хорошо бы сюда инфу.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Вторник, 15 Декабрь, 2009 16:46 
Аватара пользователя

Зарегистрирован: Суббота, 15 Март, 2008 20:00
Сообщения: 297
Откуда: Київ, Україна
Сейчас Вирт с коммандой делают проект Оберон-На-Чипе
http://www.embeddedcomputingconference. ... ldener.pdf
Возможно что то изменилось?


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Вторник, 15 Декабрь, 2009 17:36 
Аватара пользователя

Зарегистрирован: Пятница, 25 Ноябрь, 2005 12:02
Сообщения: 8500
Откуда: Троицк, Москва
bohdant писал(а):
Сейчас Вирт с коммандой делают проект Оберон-На-Чипе

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


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Вторник, 15 Декабрь, 2009 18:38 
Аватара пользователя

Зарегистрирован: Суббота, 15 Март, 2008 20:00
Сообщения: 297
Откуда: Київ, Україна
Info21 писал(а):
bohdant писал(а):
Сейчас Вирт с коммандой делают проект Оберон-На-Чипе

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

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


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Вторник, 15 Декабрь, 2009 18:56 

Зарегистрирован: Понедельник, 05 Июнь, 2006 09:49
Сообщения: 327
Откуда: Ленинград, Емельянов Алексей Николаевич
Сергей Губанов писал(а):
...]Так вот, у кроносов была стековая архитектура (все вычисления на стеке), а в книге Вирта "Построение компиляторов" -- регистровая (16 регистров) архитектура а-ля RISC. То есть друг с другом они "не дружат"....

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


Последний раз редактировалось Axcel Вторник, 15 Декабрь, 2009 19:33, всего редактировалось 1 раз.

Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Вторник, 15 Декабрь, 2009 19:02 
Аватара пользователя

Зарегистрирован: Пятница, 25 Ноябрь, 2005 12:02
Сообщения: 8500
Откуда: Троицк, Москва
bohdant писал(а):
Вы эту фотку уже второй раз выкладываете, а другие есть? :)
В этой ветке? Уже забыл...

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


Вложения:
DSC01614-1024.jpg
DSC01614-1024.jpg [ 229.5 КБ | Просмотров: 15234 ]
Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Вторник, 15 Декабрь, 2009 19:30 

Зарегистрирован: Воскресенье, 04 Ноябрь, 2007 23:01
Сообщения: 151
bohdant писал(а):
..Возможно что то изменилось?
Давно уже изменилось. Java Virtual Machine появилась в hardware implementation. На AVR32(Atmel) аппаратно исполняется жабовский байт-код.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Вторник, 15 Декабрь, 2009 22:55 

Зарегистрирован: Вторник, 11 Август, 2009 11:44
Сообщения: 516
Откуда: Бердск
Рэйлвэй Каген писал(а):
На AVR32(Atmel) аппаратно исполняется жабовский байт-код
Atmel - серьезная контора, вроде.... У них и 8-бит - тоже не так уж и плохо под ЯВУ заточен
Один Zero propogation чего стоит: пойти против традиций - не каждый себе позволить может


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Среда, 16 Декабрь, 2009 00:42 

Зарегистрирован: Понедельник, 30 Июль, 2007 10:53
Сообщения: 1538
Откуда: Беларусь, Минск
Сергей Губанов писал(а):
Так вот, у кроносов была стековая архитектура (все вычисления на стеке), а в книге Вирта "Построение компиляторов" -- регистровая (16 регистров) архитектура а-ля RISC. То есть друг с другом они "не дружат".
Не в курсе, что с Lilith, а в Ceres стековый процессор - это точно. Lilith Вирт на общем уровне в своей Тьюринговской лекции описывал. Не помню, какой архитектуры процессор, но помню, что он там сетовал по поводу того, что ЯВУ подстраивают под процессор, а не архитектуру процессора под нормальны ЯВУ.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Среда, 16 Декабрь, 2009 01:14 
Модератор
Аватара пользователя

Зарегистрирован: Понедельник, 14 Ноябрь, 2005 18:39
Сообщения: 9459
Откуда: Россия, Орёл
Да, там вроде безымянные регистры в виде стека. Кажется.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Среда, 16 Декабрь, 2009 07:31 

Зарегистрирован: Суббота, 07 Март, 2009 15:39
Сообщения: 3261
Откуда: Астрахань
Valery Solovey писал(а):
Сергей Губанов писал(а):
Так вот, у кроносов была стековая архитектура (все вычисления на стеке), а в книге Вирта "Построение компиляторов" -- регистровая (16 регистров) архитектура а-ля RISC. То есть друг с другом они "не дружат".
Не в курсе, что с Lilith, а в Ceres стековый процессор - это точно. Lilith Вирт на общем уровне в своей Тьюринговской лекции описывал. Не помню, какой архитектуры процессор, но помню, что он там сетовал по поводу того, что ЯВУ подстраивают под процессор, а не архитектуру процессора под нормальны ЯВУ.

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


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Среда, 16 Декабрь, 2009 08:58 

Зарегистрирован: Понедельник, 28 Ноябрь, 2005 10:28
Сообщения: 1428
Axcel писал(а):
А у Терехова, в процессоре "Самсон" был регистровый стек

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


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Среда, 16 Декабрь, 2009 09:17 

Зарегистрирован: Понедельник, 28 Ноябрь, 2005 10:28
Сообщения: 1428
Valery Solovey писал(а):
Не в курсе, что с Lilith, а в Ceres стековый процессор - это точно. Lilith Вирт на общем уровне в своей Тьюринговской лекции описывал. Не помню, какой архитектуры процессор, но помню, что он там сетовал по поводу того, что ЯВУ подстраивают под процессор, а не архитектуру процессора под нормальны ЯВУ.

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


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Среда, 16 Декабрь, 2009 12:03 

Зарегистрирован: Понедельник, 30 Июль, 2007 10:53
Сообщения: 1538
Откуда: Беларусь, Минск
О, и вправду.

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


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Среда, 16 Декабрь, 2009 13:17 

Зарегистрирован: Воскресенье, 04 Ноябрь, 2007 23:01
Сообщения: 151
Попробую-таки развить в духе предыдущего высказывания..

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


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Среда, 16 Декабрь, 2009 15:31 

Зарегистрирован: Понедельник, 30 Июль, 2007 10:53
Сообщения: 1538
Откуда: Беларусь, Минск
Виртуальные машины можно разделить на 2 класса:
1. эффективно реализующие ЯВУ, которые в свою очередь спроектироваы под задачу, а не тем же способом, что и ВМ второго класса.
2. реализованные в стиле "- А давайте сделаем... - А почему бы и нет... - И там будет ... и ...".

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

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

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

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


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Среда, 16 Декабрь, 2009 15:53 

Зарегистрирован: Воскресенье, 04 Ноябрь, 2007 23:01
Сообщения: 151
Valery Solovey писал(а):
..первый вопрос, который должен быть решён..
Может не зацикливаться на нём, а копнуть поглубже :)
В район языков, имеюших представление в виде байткода?


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Среда, 16 Декабрь, 2009 16:02 
Аватара пользователя

Зарегистрирован: Пятница, 25 Ноябрь, 2005 18:55
Сообщения: 2272
Откуда: Россия, Нижний Новгород
bohdant писал(а):
Сейчас Вирт с коммандой делают проект Оберон-На-Чипе
http://www.embeddedcomputingconference. ... ldener.pdf
Возможно что то изменилось?
Подивился планам реализовать сборщик мусора аппаратно в сопроцессоре.

Info21 писал(а):
Ну, их 18 штук по 2М, вроде кина. Вот еще.
А чтоб было видно что у них там на мониторе нарисовано фотка есть? А то у них такие выражения лиц захватывающие... :D


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Среда, 16 Декабрь, 2009 18:55 

Зарегистрирован: Понедельник, 30 Июль, 2007 10:53
Сообщения: 1538
Откуда: Беларусь, Минск
Вот в этом и заключено искусство фотографии - сделать обыденное захватывающим и интересным. : )


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Среда, 16 Декабрь, 2009 19:26 
Аватара пользователя

Зарегистрирован: Пятница, 25 Ноябрь, 2005 12:02
Сообщения: 8500
Откуда: Троицк, Москва
Valery Solovey писал(а):
здесь написано, что Кроносс - клон Lilith.
Таким формулировкам никогда нельзя верить буквально.
Во всяком случае, кажется, не 1:1.


Вернуться к началу
 Профиль  
 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 33 ]  На страницу 1, 2  След.

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


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

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


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

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