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

Новый процессор благодаря хитрой архитектуре в 30 раз меньше по площади, потребляет в 12 раз меньше энергии и в 4 раза лучше по пропускной способности, чем его функциональный аналог традиционной конструкции. Правда, новичок заточен под крайне узкий тип задач. Но более универсальный его вариант уже виднеется на чертёжах (фото Lyric Semiconductor).

Базовые принципы построения компьютеров, незыблемые вот уже более шестидесяти лет, пошатнулись. Новый процессор на физическом уровне оперирует не «жёсткими» нулями и единичками, а вероятностями, что тот или иной бит равен 0 или 1. Бинарная логика уступила место иным правилам. И это оказывается выгодным способом вычислений в целом ряде областей.

Молодая американская компания Lyric Semiconductor первые четыре года после создания работала «скрытно», а теперь, когда ей есть что показать публике, вышла в свет, удивив мир первым вероятностным чипом. Процессор построен на основе весьма необычных логических вентилей, названных «байесовский NAND».

Диковинное прилагательное, характеризующее отличие этих схем от «просто NAND» (последний выполняет битовую операцию 2И-НЕ), отсылает к английскому математику XVIII века Томасу Байесу (Thomas Bayes). Конечно, Байес не помышлял, что его идеи когда-то будут востребованы разработчиками процессоров, а просто сделал большой вклад в развитие теории вероятностей (байесовская вероятность, теорема Байеса). Ныне этот математический аппарат применяется во многих приложениях, например в байесовской фильтрации спама.

Описание работы нового процессора от Lyric (на снимке) неизменно вызывает в памяти квантовые компьютеры, однако в данном случае о них речи не идёт (фото Lyric Semiconductor).

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

Основатели Lyric Semiconductor Бен Вигода (Ben Vigoda), слева, и Дэвид Рейнольдс (David Reynolds) обладают многолетним опытом работы в отрасли. Полупроводниковые приборы, цифровые, аналоговые и также смешанные вычислительные системы – знакомы им хорошо (фото Lyric Semiconductor).

До сих пор такого рода задачи решались классическими бинарными машинами, управляемыми соответствующим софтом. Перевод данных операций на более глубокий физический уровень сулит колоссальное ускорение приложений. А это значит, что нужен процессор, в вентилях которого входные и выходные «биты» — это вероятности (отражённые, к слову, уровнем электрического сигнала).

Определение возможности события, ранее требовавшее развёрнутой программы, выполняемой великой армией транзисторов, с новым чипом сводится к операции в одном или нескольких вентилях. В них не только исходные сигналы — вероятности, но и выходной – тоже. Это вероятность того, что две входные вероятности совпадали по величине.

Работу над этим чипом Вигода начал много лет назад ещё в Массачусетском технологическом институте (MIT). А компанию он создал на средства пентагоновского агентства по перспективным оборонным научно-исследовательским проектам DARPA, которое выделило новатору $18 миллионов. Военные рассчитывают, что вероятностные процессоры окажутся полезными в системах машинного зрения и в комплексе противоракетной обороны. Последний должен быстро выделять атакующие боеголовки среди ложных целей и просто помех.
Поскольку применение новой технологии явно выходит за рамки военного, не удивительно, что Lyric получила ещё $2 миллиона от венчурных компаний и частных инвесторов (фото Lyric Semiconductor).

Первый чип, созданный по новой технологии, назван LEC — Lyric error correction (он и показан на снимках в материале). Это специализированная схема, задача которой — выявление и исправление ошибок в твердотельной (флэш) памяти, то есть поиск ячеек, в которых стоит 0 вместо 1 или наоборот.

В сегодняшних флэш-чипах при чтении данных ошибочным оказывается примерно один бит из тысячи. С таким недостатком справляются микрочипы коррекции. Опираясь на уникальный код, записываемый каждый раз, когда данные поступают в память, они вычисляют контрольную сумму и определяют — какие биты оказались «перевёрнутыми».

В будущем ради уплотнения памяти и снижения её стоимости производители полупроводниковых схем могут пойти на допущение начального уровня ошибок в 1 бит на 100. С их исправлением будет непросто справляться микрочипам традиционной архитектуры. Потребуется увеличивать их размер и сложность. Но такая задача просто идеально подходит вероятностному чипу. Собственно, крохотный LEC уже сегодня может «шутя» вылавливать ошибки битов в количестве 1 на 100.

Эта карикатура наглядно демонстрирует (слева направо), как выглядят данные при записи во флэш-память, при считывании из неё и после обработки процессором коррекции ошибок (иллюстрация Lyric Semiconductor).

LEC уже готов для лицензирования, и компания надеется, что в течение двух лет такие схемы найдут себе место в смартфонах и КПК. Но прежде чем новинка получит массовое распространение, Lyric Semiconductor предстоит доказать надёжность и масштабируемость технологии.

А тем временем компания уже разрабатывает следующий продукт — GP5 — универсальный программируемый вероятностный процессор.

По мнению разработчиков, он будет идеальным помощником в таких областях, как поисковые движки или, к примеру, системы расшифровки генома. Ради этого чипа пришлось придумать не только новый вид вентилей и новую архитектуру, но даже новый язык программирования (PSBL — Probability Synthesis to Bayesian Logic, то есть вероятностный синтез байесовской логики). Код, написанный на PSBL, и будет запускаться на «родном» для него GP5.

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

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

Сравнение размеров и сложности строительных блоков обычного цифрового процессора (слева) и вероятностного чипа (справа). Внизу: сравнение размеров целых процессоров двух этих видов, с одинаковыми возможностями (фото Lyric Semiconductor).

Пресс-секретарь Lyric Мира Вильчек (Mira Wilczek) говорит: «Мы хорошо знаем, земля усеяна трупами микропроцессорных стартапов, которые ожидали, что их клиенты смогут программировать незнакомым им путём. Мы не просим наших покупателей делать это. Мы планируем поставлять комплексные решения для определённых сегментов рынка».

Амбициозная компания, насчитывающая всего 30 сотрудников, полагает, что сможет показать первые живые образцы GP5 в 2013 году.



Изобретатель втиснул Википедию в 20-долларовое устройство

30 июля 2010

Изобретён слепой набор текста на контактном экране

22 июля 2010

Новое оптическое волокно реагирует на давление

14 июля 2010

Австралийцы освободили мобильники от сети

13 июля 2010

Бесконтактные сенсоры сердца встроят в умные дома

30 июня 2010
  • Сергей Скалба  7 октября, 23:42
    Чесно говоря, я только что увидел этот пост, и пока не понял за счет чего получается ускорение на 3 порядка, т.е. в 1000 раз.
    Но ясно, что время пришло и надо действовать:
    В 2003 году мы прекратили вычислительные эксперименты ввиду крайне низкого быстродействия компьютерной модели Активной памяти ( www.adel-akka.narod.ru ) с использованием традиционной бинарной логики.
    Теперь, при наличии нового языка программировани, специально для выполнения вероятностных вычислений (а моделирование аппарата активной памяти — это именно вероятностные алгоритмы), ускорение может быть получено не только за счет новой аппаратной реализации, но и за счет организации самого вычислительного процесса.
    ОтветитьНравится
  • Muspell   8 октября, 09:17
    На официальном сайте нужно инфу смотреть сначала, если там чего то скрывают то выколупывается список фамилий и смотрятся патенты, там как правило все расписано
    ОтветитьНравится
  • Сергей Скалба  10 октября, 08:33
    Вам хорошо, Вы сидите на меди или на стекле, а я на радио, в области. Любой запрос: 5-10 минут.

    Погуглил, оказывается, вероятностный процессор — хорошо забытое старое. Еще до цифровых технологий использовались аналоговые ЭВМ. У нас такая была, называлась УМ-1Х, кажется.
    Действительно, узкий класс задач, и быстродействие «ноль» — ведь она аналоговая, и правильнее говорить не о быстродействии, а о частотном диаппазоне.
    Кстати, там были еще и пороговые элементы — на простых реле, и шаговые искатели. В общем, класс!
    А может я опять неправ?

    ОтветитьНравится