Moxie: 32-битная процессорная архитектура

[vak]

Инженерная мысль не стоит на месте, и это радует.  Неожиданно для себя обнаружил на просторах интернета новую замечательную идею: Moxie.

• 32-битная процессорная архитектура, свободная от патентов.
• Простой 16-битный набор инструкций.
• Поддерживается компилятором GCC, начиная с 4.6.1.  Собственно, архитектура и разрабатывалась как максимально удобная для GCC.
• MoxieLite: реализация для FPGA.
• Есть версия ядра Linux.
• Симулятор QEMU.
• Отладчик GDB.

Весь софт здесь: MoxieDev.

Comments

[spamsink]

Есть версия ядра Linux.

All of the opcode space not consumed by the encodings below is filled with the bad instruction (which will eventually cause an exception once exceptions have been implemented).

Что-то я не понял насчет exceptions.

started with a non-pipelined VHDL implementation

Да чтоб им пусто было с их VHDL-ом.

[vak]

Что-то там с исключениями не додумано еще. Вероятно и Линукс еще совсем в зачаточном состоянии.

Странные люди, зачем-то в VHDL уперлись.

[spamsink]

Он чрезмерно многословен.

[spamsink]

Я - нет, но мне иногда приходится вглазную его читать. По сравнению с Верилогом - как по болоту ходить.

[spamsink]

Есть, но написанию хорошего синтезируемого кода это только вредит.

[spamsink]

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

[spamsink]

Какую характерную возможность VHDL ты использовал для достижения элегантности и эффективности?

[spamsink]

Так и в верилоге можно иметь сигналы произвольных типов, включая плавающую точку. Видимо, наличие открытого софта, умеющего симулировать VHDL, повлияло?

[spamsink]

Можно было с 1995 года:

module top;
event foo;
always @foo $display("foo");
initial repeat (5) #1 -> foo;
endmodule

печатает foo 5 раз.

[spamsink]

repeat (5) значит "повторить 5 раз".
Уродство-не уродство, а на VHDL аналогичная программа будет в несколько раз длиннее - попробуй написать два процесса, один из которых посылает асинхронный сигнал 5 раз, а другой принимает и что-нибудь печатает.

Много лет назад, когда уже были споры, какой язык лучше (видимо, как раз когда вышел стандарт верилога-95), какой-то журнал провел эксперимент - собрал несколько верилоговских и ВХДЛовских дизайнеров и попросил их написать по спецификации и отладить какое-то простое устройство, то ли UART, то ли ALU, то ли еще что-то подобное на уровне сложности до сотни строк. Верилоговцы справились гораздо быстрее.

[spamsink]

Не актуально тебе словосочетание "time to market", сразу видно.

[spamsink]

О том и речь.

[vak]

Многословность тоже вредит ясности кода. И для синтеза в нем много лишнего, например девять состояний сигнала вместо четырех в Verilog.

[vak]

SystemVerilog добавляет много вещей, существенных для моделирования. Вместо которых в случае с VHDL или Verilog приходилось использовать связку с C/C++.

[vak]

Он буквально недавно возник: первый стандарт в 2005 (уже устарел), нынешний в 2009.

[vak]

VHDL это шаг назад, в прошлое десятилетие. Сейчас основной инструмент в промышленности - SystemVerilog. Это примерно как Си++ супротив Паскаля и Си.

[vak]

Относительно Модулы это конечно, спору нет.

[lionet.livejournal.com]

Я так понял, что VHDL супротив Verilog — это как C против шелла. Налабать что-то быстрее на верилоге можно, но строить сложные системы — уже не очень. Пользовательских типов нет, enumerations нет, модульности и пэкеджинга нет, etc.

Я не настоящий сварщик, просто прочитал comparisons.

[spamsink]

Эти сравнения нужно в топку. Всё перечисленное есть в System Verilog.

[vak]

Синтезируемое подмножество VHDL и Verilog совпадает на 100%, только Verilog полегче чисто визуально, как Java и Ada. А для моделирования или верификации надо брать SystemVerilog, который намного шире чем VHDL.

[tim-caper.livejournal.com]

Сомнительный комплимент. Всё настолько плохо?

[vak]

Да нет, я Си++ упомянул в хорошем смысле. :)
В википедии СистемВерилог с Джавой сравнивают, что тоже правильно.

[hogzie.livejournal.com]

Не понял, почему архитектура 32-битная, а инструкции 16-ти битные.

[spamsink]

Чем компактнее код, тем меньше циклов памяти тратится на выборку команд, ускоряя выполнение программы.

[hogzie.livejournal.com]

Про выборку - не факт. Зависит от размера шины. Остальное понятно, я невнимательно прочитал описание.

[vak]

Бывает и хуже. Например, x86-64: процессор 64-битный, а инструкции байтовые.
Шестнадцатибитные инструкции - оптимальный компромисс между плотностью кода и простотой процессора.
Этот формат используют ARM Cortex-M, MIPS16e, microMIPS32, microMIPS64, Freescale ColdFire.

[teewoon.livejournal.com]

MIPSx14x вроде как тоже =)

[b0p0h0k.livejournal.com]

All instructions are 16-bits long. Some 16-bit instructions are followed by a 32-bit immediate value.

Ой!

[vak]

Все как у взрослых. :)

[raydac.livejournal.com]

напомнило pdp-11

[vak]

Нет, pdp11 это msp430.

[mtve.livejournal.com]

наверное имелось в виду, что почти такая-же изящная, в отличие от того-же AMD64, IMHO.

[dip-au.livejournal.com]

тогда уж LSI-11 скорее, извиняюсь =))

[mandrykin.livejournal.com]

Какое интересное обсуждение получилось. А можно уточнить, MMU в Moxie присутствует и если да, то какие размеры страниц поддерживает? Спасибо.

[vak]

Мне пока не удалось найти ничего про MMU. Не додумали еще, похоже.