Процессор, оптимизированный для функционального программирования

[Levsha100]

Британские ученые изобрели лисп-машину?

[egavrin]

Ну Ализар же.

[acmer]

Одному мне кажется дурным тоном так выражать симпатию к автору?

[Alex_At_Net]

В данном случае топик вполне адекватный, что же вы так…

[egavrin]

Да, виноват. Я сначала увидел неточности, потому и съязвил.
Потом вчитался, а человеку действительно стало интересно вот он и опублиоквал.

[egavrin]

FYI

Reduceron — это пример применения Dataflow архитектуры — en.wikipedia.org/wiki/Dataflow_architecture
Хаскел и другие чистые фукнциональные (pure functional) языки — являются датафлоу языками, а С/С++ и другие фон-неймановскими.

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

PS F# тут лишний.

[ArtemSmirnov]

Строго говоря из всех приведенных языков только Haskell чисто функциональный.

[egavrin]

Просто, я из перечисленного только c фшарпом и хаскелом знаком.

[burjui]

Lisp'ов много всяких. Common Lisp, к примеру, очень даже мультипарадигменный, и императивщины там хватает, а Scheme ближе к функциональщине.

[cherepanov]

Помню были платы которые ускоряли Яву…

[Alaunquirie]

Как мне кажется, скоро будут выходить комбинированные платы расширения (а потом — встраиваться) — для ускорения байткода джавы, сишарпа и остальных, как сейчас идёт сближение GPU и CPU что в разработках AMD, (особенно учитывая то, что их видеокарты снабжены универсальными потоковыми процессорами) что у исследовательских проектов Intel.

[Harkonnen]

Исполнение байткода managed языков нет смысла уводить из CPU потому что это единственное чем он занимается

[Harkonnen]

Вообще-то он электроны гоняет.

[unxed]

А зачем ускорять байткод там, где есть jit?

Вот платы, основанные на чипах принципиально другой архитектуры (параллелизм — GPU, dataflow — reduceron) — весьма вероятно, что появятся.

Собственно, почему бы компьютеру будущего не быть конструктором, в который можно ставить чипы произвольных архитектур в количестве, соответствующем задачам пользователя? А ядро системы (x86, куда ж от него деться-то?) только управляет распределением задач между чипами.

[redchrom]

Да уже нет смысла встраивать поддержку байткода VM в процессор — у жирных процессоров (десктопы, смартфоны) есть ресурсы на JIT, а в совсем уж эмбеддеде виртуальные машины умерли вместе с Java в этом секторе. Или нет? Как там, CLDC и Java Card ещё шевелятся?

[muromec]

>для ускорения байткода джавы

en.wikipedia.org/wiki/Jazelle

[Sap_ru]

Даже боюсь Вас расстраивать но уже 10 лет как есть аппаратные Java-процессоры.
Jazelle
И, что совсем удивительно, масса различных смарт-карт программируется на Java byte-code с аппаратным же интерпретатором.

[Harkonnen]

Теперь их эмулирует DosBox JVM

[vixi]

советую ознакомиться с Гарвардской архитектурой и компанией Analog Devices которая производит много полезных вещей.

[homm]

тогда как в обычных процедурных задачах Core 2 Duo на порядок быстрее FPGA

Всего на порядок? Т.е. Reduceron с частотой 96 МГц работает как Core 2 Duo с частотой 300 МГц? Потрясающие результаты!

[stboris]

Экий у вас интересный порядок получился ;), почти число Пи.

[homm]

Чего?

[stboris]

Ночью шутку пошутить хотел, но по утру оказалось, что фигню спорол.

[Sartor]

«на порядок» обычно обозначает «примерно раз в десять»

[homm]

[acmer]

FPGA — форм-фактор микросхем.
Следовательно, написать «Core 2 Duo на порядок быстрее FPGA» — все равно что «Холодильник на порядок быстрее USB».

[antage]

FPGA — это не только форм-фактор.
ru.wikipedia.org/wiki/FPGA

[acmer]

Приношу свои извинения.

[dmitriko]

но шутка про холодильник и USB все равно удачная :)

[lnv]

Не путаете со всякими BGA?
FPGA

[acmer]

Да, перепутал((

[arkady]

На хабре только Ализару позволено копипэстить я так понимаю?

[arkady]

Пардон, дату перепутал :)

[homm]

По дате как раз тот материал появился раньше, но часовой пояс сервера не указан. А вот ссылка на источник там есть.

[arkady]

Согласен, затупил. Но ссылку на вики, откуда взято определение ФП все-таки можно бы указать )

[egavrin]

Кстати, если вдуматься, то господин Ализар предложил очень богатую идею — про датафлоу сопроцессор. За что ему спасибо.

[dordzhiev]

Он её просто «озвучил».

[build_your_web]

Очень много данных можно обрабатывать в data-flow процессе, но датафлоу процессоры проигрывают в мощности и (как я думаю) в цене.

[egavrin]

Нууу. Когда это было — это критика еще тех времен, когда развитие датафлоу архитектур для широких масс загнулось, года 70-80е.

[EGDFree]

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