[новые технологии] Долой бинарную логику, даёшь компьютеры, гадающие на кофейной гуще!

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

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

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

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

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

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

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

Поскольку применение новой технологии явно выходит за рамки военного, не удивительно, что Lyric получила ещё $2 миллиона от венчурных компаний и частных инвесторов (фото Lyric Semiconductor).

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

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

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

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

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

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

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

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