Приглашаю обсудить новую архитектуру

[almandrykin]

Сообщение от Stilet

Вау... Это такая забота о человеке? Ну дальше мне уже не интересно стало. Желаю удачи. Надеюсь мне на подобных камнях работать никогда не придется.

А что делать? За оптимальность приходится платить удобствами. Как вариант - в виду заботы о программисте, можно с помощью макросов смоделировать поведение x86. Будет очень просто программировать, но потеряется эффективность.

[Utkin]

обязанность по сохранению адреса возврата ложится на программиста или компилятор

Это надо пофиксить. Шансы на конкуренцию с х86 малы, а вот где в микроконтроллерах можно пытаться... Но для этого должны быть реализованы минимальные стандарты. Это наверно один из них и потому надо исправить.

[almandrykin]

Сообщение от Utkin

Это надо пофиксить.

Теоретически можно было написать транслятор из x86 в предлагаемую систему команд. Например, взять за основу вывод gcc -S и на его основе транслировать интеловские инструкции в инструкции системы команд "Эверест". Но всё же это нетривиальная задача в виду множества различных размерностей операндов. Пожалуй, прощего всего поддалась бы эмуляция процессоров DEC PDP 11 и его аналогов.

Кстати, о названии. Это была попытка "потроллить" разработчиков "Эльбруса". Только они сумели в название "Эльбрус" поместить несколько несовместимых архитектур. Если речь идёт о "процессоре Эверест", то так говорить неправильно. Под "Эверестом" мы подразумеваем архитектуру и систему команд. Прошивки для ПЛИС будут иметь (и имеют) индивидуальные имена.

Мне уже нравится идея транслятора из других систем команд. Сам бы не додумался. Спасибо.

[Stilet]

А что делать? За оптимальность приходится платить удобствами.

Соболезную пользователям такой разработки. Ты хотел чтоб тут высказывались только по теме и не троллили? Уж извини, без этого не удастся. Ты выбрал далеко не лучшую архитектуру, потому не обессудь если пойдут насмешки.

[almandrykin]

Сообщение от Stilet

Соболезную пользователям такой разработки. Ты хотел чтоб тут высказывались только по теме и не троллили? Уж извини, без этого не удастся. Ты выбрал далеко не лучшую архитектуру, потому не обессудь если пойдут насмешки.

Скорее бы уже

[Vapaamies]

Сообщение от almandrykin

Кстати, а в чём привлекательность трёхадресных инструкций? Я без иронии спрашиваю, а хочу понять.

Трехадресными инструкциями я интересовался. Не довелось пока писать под них кодогенератор, но в теории неразрушаемые аргументы должны значительно упростить реализацию вложенных вызовов, в том числе вызовов методов предков.

Сообщение от almandrykin

Самая большая проблема в том, чтобы совместить эти проекты - в компиляторе. Система "Хамелеон" с дуру написана с применением классов С++

То есть вы изначально написали неподъемное решение, потом расписались в неспособности сделать компилятор основного языка разработки, и в порыве угара от бессилия взялись пилить собственный процессор? Ха-ха-ха-ха! ← (смеюсь)

Ребята, это же несерьезно. Какими практическими применениями доказана эффективность этого вашего L4? Во скольких реальных железках он применяется? Сами немцы его используют? Сколько я ни видел практиков-встроенщиков, всем болт положить на теории, главное чтоб работало. Ради скорости и экономии ресурсов собирают всё максимально просто... Забыл термин, как это называют...

Сообщение от almandrykin

Кстати, о названии. Это была попытка "потроллить" разработчиков "Эльбруса".

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

[almandrykin]

Сообщение от Vapaamies

Трехадресными инструкциями я интересовался. Не довелось пока писать под них кодогенератор, но в теории неразрушаемые аргументы должны значительно упростить реализацию вложенных вызовов, в том числе вызовов методов предков.

Спасибо за информацию. А всем ли операциям полезны трехадресные инструкции? Например, для операции XOR она может быть полезна? Правильно ли я понял, что для упрощения вызовов достаточно лишь трёхадресной операции сложения?

То есть вы изначально написали неподъемное решение, потом расписались в неспособности сделать компилятор основного языка разработки, и в порыве угара от бессилия взялись пилить собственный процессор? Ха-ха-ха-ха! ← (смеюсь)

Такая версия тоже имеет право на жизнь
Но порыв угара от бессилия начался не с компилятора, а с переноса системы на 64 бита. Там своя история, медленная и печальная, связанная с тем, что авторы Pistachio интересовались работой 64-битной версии только на эмуляторе Bochs. На других виртуальных машинах Pistachio просто не стартовало.

Ребята, это же несерьезно. Какими практическими применениями доказана эффективность этого вашего L4? Во скольких реальных железках он применяется? Сами немцы его используют?

Все ответы на эти вопросы здесь: http://l4hq.org/

Сколько я ни видел практиков-встроенщиков, всем болт положить на теории, главное чтоб работало. Ради скорости и экономии ресурсов собирают всё максимально просто... Забыл термин, как это называют...

Так я и не спорю вот с этим - сам в прошлом работал в области встраиваемых решений.

Нашу работу можно сравнить как если бы мы оторвали микроядро Neutrino из QNX и реализовали его в железе. Только вместо Neutrino мы переносим в железо маленькое синхронное микроядро L4. В результате мы ожидаем получить простое и нетребовательное к ресурсам решение. Гарантировать успех я не могу, но предпосылки к успеху имеются - например, знания о том как избежать взаимоблокировок при обмене синхронными сообщениями.

[Vapaamies]

Сообщение от almandrykin

Правильно ли я понял, что для упрощения вызовов достаточно лишь трёхадресной операции сложения?

Поутру вижу, что вчера надо было идти спать. Можете нарисовать себе звездочку на фюзеляже, если хотите. Мне не жалко.

Сообщение от almandrykin

Нашу работу можно сравнить как если бы мы оторвали микроядро Neutrino из QNX и реализовали его в железе. Только вместо Neutrino мы переносим в железо маленькое синхронное микроядро L4.

В таком случае где в вашем ассемблере команды этого самого микроядра? Пока вижу только общеассемблерные. Где вообще дока ассемблера с расшифровкой команд? На сайте не нашел.

[almandrykin]

Сообщение от Vapaamies

В таком случае где в вашем ассемблере команды этого самого микроядра?

В версии 1.1 инструкции микроядра занимают коды операций с 0x08 по 0x0e и с 0x70 по 0x77.

Вот тут рассказано про две инструкции - http://everest.l4os.ru/simple_scheduler/ . Однако, предполагаю что инструкция IDLE в будущем будет не нужна, её заменят инструкции SEND and RECV - инструкции передачи и приёма синхронных сообщений. Пока эта функциональность не реализована - мне бы не хотелось касаться деталей реализации. Остальные коды операций "микроядра" работают с параметрами операций передачи и приёма сообщений.

Сообщение от Vapaamies

Пока вижу только общеассемблерные. Где вообще дока ассемблера с расшифровкой команд? На сайте не нашел.

Теперь и Вы рисуйте звёздочку. Только не бейте - дока не готова. Не могу взять и заставить себя (или кого-то другого) чтобы документировать. В принципе, если кто-то следил за проектом с самого начала, то представление о принципах программирования он получил.

Возможно, когда на нашем сайте соберётся достаточное количество информации, она будет переработана и свёрстана в документацию. Сожалею, что не могу представить структурированную информацию. Очень могли бы помочь наводящие вопросы по ассемблеру или инструкциям - тогда было бы понятно, что непонятно разработчикам. Прошу прощение за тавтологию.

[Utkin]

Очень могли бы помочь наводящие вопросы по ассемблеру или инструкциям

Мало информации - вопросы будут глупые или повторяться.
Я мельком только читал и потому опять же наивный вопрос - мне нужно например делать много вложенных вызовов (подпрограммы, вложенные циклы). Стек возвратов? Прерывания? Или какой-то другой механизм?