Юрий Панчул

Сегодня в РБК вышла большая интересная статья про российского разработчика систем на кристалле Байкал Электроникс, которые для своего процессора Байкал-Т1 лицензировали у Imagination Technologies двухядерный вариант суперскалярного микропроцессорного ядра MIPS P5600 (с аппаратной поддержкой виртуализации и векторными расширениями).

Одновременно в официальном корпоративном блоге Imagination вышел пост про украинскую компанию Cloudozer, которая спортировала поддержку языка программирования встроенных систем Erlang на одно из самых экономичных ядер MIPS microAptiv UP которое используется в микроконтроллере MIPS PIC32MZ и недавно объявленной платформе для "интернета вещей" Samsung Artik 1.

Двое из троих основателей Cloudozer-а - это мои приятели Ян и Максим, с которыми я гулял по болотистым топям центра Silicon Valley в Алвизо, калифорнийским сельмагам и колледжу, в котором училась моя бывшая подруга-лесбиянка:



Эрланг - это занимательный язык, который развился в индустрии, в компании Эрикссон. При этом он поддерживает параллельность на уровне языка (а не библиотеки, как скажем См), а последовательное подмножество Эрланга является функциональным языком. Кроме этого в нем реализована автоматическая сборка мусора и динамические типы. Цель языка - обеспечить надежную работу распределенных систем реального времени при hot-swap (автоматической замене компонент).

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

Вот пример кода на Эрланге для конечного автомата:

http://learnyousomeerlang.com/finite-state-machines#a-trading-system-specification