alizar Jun 13 2011 at 22:33

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

1 min

4.5K

Computer hardware

+31

Comments 43

Levsha100 Jun 13 2011 at 22:45

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

egavrin Jun 13 2011 at 22:48

Ну Ализар же.

acmer Jun 14 2011 at 01:03

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

Alex_At_Net Jun 14 2011 at 01:48

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

egavrin Jun 14 2011 at 02:31

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

egavrin Jun 13 2011 at 23:08

FYI

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

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

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

ArtemSmirnov Jun 13 2011 at 23:25

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

egavrin Jun 13 2011 at 23:30

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

UFO just landed and posted this here

burjui Jun 14 2011 at 11:14

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

cherepanov Jun 13 2011 at 23:32

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

Alaunquirie Jun 13 2011 at 23:54

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

Harkonnen Jun 14 2011 at 00:12

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

UFO just landed and posted this here

Harkonnen Jun 14 2011 at 04:24

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

unxed Jun 14 2011 at 00:18

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

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

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

redchrom Jun 14 2011 at 00:19

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

muromec Jun 14 2011 at 02:18

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

en.wikipedia.org/wiki/Jazelle

Sap_ru Jun 14 2011 at 10:38

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

Harkonnen Jun 14 2011 at 00:10

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

vixi Jun 13 2011 at 23:47

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

homm Jun 14 2011 at 00:26

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

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

stboris Jun 14 2011 at 00:36

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

-2

homm Jun 14 2011 at 00:41

Чего?

stboris Jun 14 2011 at 11:31

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

Sartor Jun 14 2011 at 00:36

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

UFO just landed and posted this here

homm Jun 14 2011 at 00:40

acmer Jun 14 2011 at 01:00

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

-3

antage Jun 14 2011 at 01:11

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

acmer Jun 14 2011 at 01:14

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

dmitriko Jun 14 2011 at 01:53

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

lnv Jun 14 2011 at 01:12

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

acmer Jun 14 2011 at 01:16

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

arkady Jun 14 2011 at 01:19

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

arkady Jun 14 2011 at 01:21

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

homm Jun 14 2011 at 01:24

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

arkady Jun 14 2011 at 01:32

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

egavrin Jun 14 2011 at 05:47

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

dordzhiev Jun 14 2011 at 13:28

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

build_your_web Jun 14 2011 at 13:30

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

egavrin Jun 14 2011 at 15:49

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

EGDFree Jun 14 2011 at 17:58

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

Show the best of all time