GreenArrays: 144 процессора на одном чипе

[vak]

Дали мне любопытную платку поиграться: GreenArrays EVB001.



На плате установлены два чипа GA144f18a. Каждый чип содержит 144 процессора с архитектурой f18a, соединённых в форме матрицы 8x18. Процессор имеет 144+144 байт памяти RAM+ROM (по 64 18-битных слова), а также набор регистров для общения процессоров между собой и с внешним миром через ножки ввода-вывода. Понятие частоты процессора отсутствует: это асинхронный дизайн.



Суть подхода в том, что каждый процессор выполняет небольшую программу, обмениваясь данными с соседями. К примеру, для реализации контроллера Ethernet 10Base-T достаточно всего 26 процессоров (PDF). Алгоритм вычисления контрольной суммы требует 14 процессоров (PDF).

Архитектура процессора и система команд представляют собой очень простой стековый компьютер со словной организацией. Слово данных и команда процессора имеют одинаковый размер в 18 бит. Подробное описание архитектуры имеется в документе "F18A Technology Reference". Для пользователей предлагается среда программирования на языке Forth.

Не могу сказать, что я сильно впечатлён. Судя по примерам MD5 и 10Base-T, разработка софта для такой архитектуры дело крайне трудоёмкое. Forth - типичный пример так называемого write-only language, на котором можно программу написать (один раз), но нельзя понять (больше никогда). Можно пытаться приспособить простой Си-компилятор, однако архитектура плохо для этого приспособлена. Отлаживать систему из сотен взаимодействующих процессоров тоже не сахар. В общем, чисто академический интерес получается.

Comments

[oboguev.livejournal.com]

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

[raydac.livejournal.com]

FORTH не более read only чем Си или С++
GA-144 уже вроде как несколько лет в обед как выпущен, но что то производитель походу сдулся

[vak]

Чипы продаются вроде: $20 за штуку.

[vak]

На транспьютерах хотя бы приличные языки были: Occam, позже C, FORTRAN, Ada, Pascal.

[raydac.livejournal.com]

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

[raydac.livejournal.com]

автор этого чипа - Чак Мур, автор языка FORTH, так что странно было бы ждать какой то ориентации на другой язык, причем он последние годы фанатеет от своего Color FORTH, а он на мой взгляд неочень что то

[vak]

Я всячески уважаю язык Forth: сам делал когда-то реализацию для Юникса. Как идея он выглядит замечательно, с учётом того времени. В конце концов, мы имеем PostScript и PDF как удачное его применение. Но как ассемблер он не годится совсем.

[vak]

Чак Мур уже старенький совсем стал, видно, не до блогов ему.

[raydac.livejournal.com]

просто на нем как и на любом другом языке надо иметь опыт и постоянно юзать

[raydac.livejournal.com]

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

[oboguev.livejournal.com]

Так языки для этого дела (Inferno всякий) вроде бы давно проехали.
Сейчас такие вещи обычно делаются на Джаве -- всякий map-reduce, apache spark etc.
Ну или на этом, как его, который для программирования NVIDIA применяют.

К слову, как-то не сложилось поинтересоваться (или сложилось, но уже забыл), с чем Интел продаёт свои платы с тыщей пентиумов.

[vit-r.livejournal.com]

Опоздало это чудо лет на двадцать. А Форт плох, потому что среды и тулов нет, тулов нет, потому что не популярен.

Был бы жёсткий реалтайм, интересно было бы для микроспутников. Если, цепочки процессоров можно перепрограммировать.

[oppad (from livejournal.com)]

из подобного баловался xcore от xmos, у них дешевых платок много - там основная "многопроцессорность" за счет логических ядер, но и многоплиточные чипы есть. по моему, это самая дешевая многопроцессорность на сегодня. ну и концепция + среда разработки вполне удобны. но куда-то на практике применить - не вышло.

и epiphania лежит e16g301 - так и не дошли руки, кроме как на вспомогательном цинке Линукс пустить. я так понимаю, что adapteva всё? а как дышали с той епифанией... вобщем уже раритет. ну и как теоретически предполагаю - это было скорее что-то типа нвидеошных чипов, но пожиже. то есть как бы для эмбедед, но не совсем хомебрю

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

а из хомебрю вспомнилось propeller chip (parallax) - в руках не держал, но очень понравилась целевая аудитория и исполнение в труЪ dip-40. я так понимаю, что ардуина не дала этому направлению развиться - имхо, пичаль

[rbs-vader.livejournal.com]

А гигабит потянет? Или дохловато?

[vak]

Не, не потянет.

[spamsink]

Такие чипы, особенно асинхронные, наверное, будут хороши для генетического программирования (это я памятуя про эволюцию схемы в FPGA, различающую слова yes и no, которая совершенно непонятно как работает, потому что на фидбеке устроена).

[vak]

Я всё про dataflow-архитектуру думаю (https://en.wikipedia.org/wiki/Dataflow_architecture). К примеру, Verilog-синтезатор по исходному тексту алгоритма умеет порождать сответствующую схему из элементарных гейтов. Аналогично, умный компилятор мог бы строить DFD и раскладывать его по матрице тривиальных процессоров.

[qvb.livejournal.com]

Интеловский Xeon Phi имеет всего 72 процессора на чипе, четыре треда каждый. Работает на нем линукс.

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

[raydac.livejournal.com]

кстати насколько помню, основная фишка этого проца в суперэкономичном энергопотреблении была заявлена в свое время

[raydac.livejournal.com]

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

[vit-r.livejournal.com]

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

[raydac.livejournal.com]

то то и смотрю что у языка Go много тулов :)

Я заранее извиняюсь за глупый вопрос, но...

[andrey-yurin.livejournal.com]

А можно краткий ликбез для тех, кто ничего толком не понял ни из исходного поста ни из комментов? В чём, вообще, основная мысль от таких процессоров? Как я понимаю, то они мало походят на архитектуру какого-нибудь там ARM, x51 и им подобных. Там под них программа что ли представляет не набор инструкций, которые выполняются последовательно?

[vit-r.livejournal.com]

Половина современных языков являются диверсией.

[ikaktys.livejournal.com]

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

[ledernierheros.livejournal.com]

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

[ledernierheros.livejournal.com]

> Forth - типичный пример так называемого write-only language, на котором можно программу написать (один раз), но нельзя понять (больше никогда).

Не соглашусь. Сановский OpenBoot - вполне хорошо читается в тех частях, которые не обфусцированы. И очень хорошо понимается - у тебя есть REPL, чтобы писать-читать любые регистры железки, интерактивно и удобно. Для этой области примемения, он по-моему очень хорошо подходит.

Магазин или CMS я бы на Форте писать, конечно, не стал. Но для околожелезных задач он хорошо подходит. REPL плюс расширяемость синтаксиса - можно фигячить любые DSL.

[http://users.livejournal.com/katarsis_/]

450 дороговато для моего академического интереса
кроме того я вдруг вспомнил про православный мультиклет

[vak]

Вот так проекты типа Мультиклета работают кукушкой. :)
Всех остальных птенцов выпихивают из гнезда, не оставляя никаких шансов.

[vak]

Увы, архитектура F18A крайне плохо подходит для традиционных языков типа Си или Java. В частности, нет поддержки фрейма на стеке для параметров и локальных переменных функции.

Re: Я заранее извиняюсь за глупый вопрос, но...

[vak]

Основная мысль в том, что большое количество очень простых процессоров могут совместно выполнять довольно сложные функции. И даже заменить хардвер местами. Например, можно в софте реализовать контроллер Ethernet или видеоадаптер VGA. Процессоры вполне похожи на x51, если с птичьего полёта.

Re: Я заранее извиняюсь за глупый вопрос, но...

[andrey-yurin.livejournal.com]

А по каким ключевым словам лучше всего загуглить этот принцип?

Re: Я заранее извиняюсь за глупый вопрос, но...

[vak]

Я не уверен, что его можно нагуглить.
Гипотеза спорная.

[ikaktys.livejournal.com]

"ичо?" (tm)
для FPGA/VHDL тоже есть свой язык, почти с++, почему б тут не сделать похожую надстройку над С или чем то подобным если уж чип есть, и по факту каждое ядро более менее "стандартно". Программят же уже под GRID и подобное когда у тебя 100500 и более ядер, и все связаны, но кто как, напрямую ваще внутри проца, по шине, или infiniband или еще как ...

[mandrykin.livejournal.com]

Самое интересное каким образом реализовано взаимодействие процессоров. Я имею в виду логическое взаимодействие - как это всё синхронизируется? От этого зависит очень много.