Революция в мире вычислительных систем с новым процессором от Lyric Semiconductor

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

Мы уже кратко писали о вероятностном процессоре (см. http://www.nanonewsnet.ru/…t-realnostyu). Данная статья является логическим развитием этой темы.

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

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

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

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

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

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

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

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

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

pro3.jpeg Рис. 3. Еще один образ чипа (фото Lyric Semiconductor).

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

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

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

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

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

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

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

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

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

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

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

По материалам:

Пожалуйста, оцените статью:
Ваша оценка: None Средняя: 5 (13 votes)
Источник(и):

1. «membrana.ru»: http://www.membrana.ru/…/173700.html