На национальном суперкомпьютером форуме НСКФ-2018, проходящим в эти дни в Переславле — Залесском, компания Т-Платформы в лице Александра Мурашёва, представила план по захвату вселенной стратегию развития бизнеса компании на ближайшие годы, в том числе и её дочерней компании Байкал Электроникс. Видео с презентацией доступно по ссылке.
Компания Байкал Электроникс планирует выпустить на рынок линейку процессоров.
В последнее время сообщество любителей самостоятельной сборки ПК пронизано темой энергопотребления. У новейших восьмиядерных процессоров от Intel показатель TDP заявлен в 95 Вт, однако пользователи наблюдают, как те потребляют 150-180 Вт, что совершенно не имеет смысла. В этой инструкции мы объясним вам, почему это происходит, и почему это доставляет столько проблем авторам обзоров железа.
Для каждого процессора Intel гарантирует определённую рабочую частоту с определённой мощностью, часто имея в виду определённый кулер. Большая часть людей приравнивает TDP к максимальному энергопотреблению, учитывая, что в расчётах тепловая мощность процессора, которую необходимо рассеять, равна мощности, им потребляемой. И обычно TDP обозначает величину этой мощности.
Читать полностью »
В прошлой статье мы обсуждали, как процессоры Intel Sandy Bridge отображают физические адреса в кэше L3.
Теперь я расскажу, как контроллеры памяти этих процессоров сопоставляют физические адреса с местоположением в DRAM — в частности, с номерами строк, банков и столбцов в модулях DRAM. Назовём это отображением адресов DRAM. Я использую одну тестовую машину в качестве примера.
Меня интересует отображение адресов DRAM, поскольку оно относится к багу Rowhammer.
Rowhammer — проблема с некоторыми модулями DRAM, когда определённые самые плохие модели доступа к памяти могут привести к повреждению памяти. В этих DRAM многократная активация строки памяти («забивание строки») вызывает электрические помехи, меняющие биты в уязвимых ячейках соседних строк.
Читать полностью »
Процессоры «Эльбрус» достигли производительности, которая позволяет использовать их при создании суперкомпьютеров, считают разработчики из компании МЦСТ. Раньше отечественные ЦП применялись только в настольных компьютерах и серверах, было построено лишь несколько небольших систем размером со шкаф. Однако новый проект с бюджетом более 1 миллиарда рублей — это полноценный суперкомпьютер, который наверняка войдёт в список Топ-500 самых мощных суперкомпьютеров мира, пишет «Коммерсантъ».
На фото: микросхема центрального процессора 1891ВМ12Я — вычислитель серверного класса с усовершенствованным набором векторных команд. Содержит 8 ядер архитектуры «Эльбрус» 5-го поколения с тактовой частотой до 1500 МГц. Позволяет строить многопроцессорные серверы и рабочие станции, а также бортовые вычислители
Читать полностью »
Каталог программных конструкций, языков и API, которые неожиданно являются полными по Тьюрингу; последствия этого для безопасности и надёжности. Приложение: сколько компьютеров в вашем компьютере?
Любая достаточно сложная программа на Си или Фортране содержит заново написанную, неспецифицированную, глючную и медленную реализацию половины языка Common Lisp. — Десятое правило Гринспена
Полнота по Тьюрингу (Turing-completeness, TC) — это свойство системы при некотором простом представлении ввода и вывода реализовать любую вычислимую функцию.
Тьюринг-полнота — фундаментальное понятие в информатике. Она помогает ответить на многие ключевые вопросы, например, почему невозможно создание идеальной антивирусной программы. Но в то же время она является поразительно распространённым явлением. Казалось бы, компьютерной системе трудно достичь такой универсальности, чтобы выполнять любую программу, но получается наоборот: трудно написать полезную систему, которая немедленно не обратится в полную по Тьюрингу. Оказывается, что даже небольшой контроль над входными данными и преобразованием их в результат, как правило, позволяет создать тьюринг-полную систему. Это может быть забавным, полезным (хотя обычно нет), вредным или чрезвычайно небезопасным и настоящим подарком для хакера (см. о «теоретико-языковой безопасности», которая изучает методы взлома «странных машин»1). Удивительные примеры такого поведения напоминают нам о том, что полнота по Тьюрингу таится повсюду, а защитить систему чрезвычайно сложно.
Читать полностью »
Зачем покупать дорогой ПК, если ваш iPhone быстрее решает SMT?
Задача выполнимости формул в теориях (satisfiability modulo theories, SMT) — это задача разрешимости для логических формул с учётом лежащих в их основе теорий. — Википедия
Несколько дней назад я написал в твиттере: «Любопытный эксперимент: на новом iPhone прувер Z3 работает быстрее, чем на моём (довольно дорогом) десктопном Intel. Пора перевести все формальные методы исследований на телефон».
Я читал о невероятном прогрессе, которого добились разработчики процессоров Apple, и что скоро маки переведут на собственные ARM-процессоры от Apple. Эти отчёты обычно ссылаются на некоторые кросс-платформенные тесты, такие как Geekbench для демонстрации, что мобильные процессоры Apple не уступают мобильным и настольным процессорам Intel. Но я всегда немного скептически относился к этим кросс-платформенным тестам (как и к другим) — действительно ли они отражают скорость выполнения реальных задач, для которых я использую свои Mac?
Читать полностью »
Микроэлектроника славится большим количеством оригинальных, странных и эффективных инженерных решений. Одно из них — многокристальная компоновка, что так или иначе встречается практически повсеместно — от высокопроизводительных рабочих станций до ультрапортативных ноутбуков, от одноплатных компьютеров за 10$ до мэйнфреймов IBM.
Этот пост рассказывает о истории ее использования применительно к процессорам общего назначения.
Заранее предупреждаю: я не претендую на абсолютные знания и академичность изложения, рассказываю по большей части о том, с чем сталкивался, работал и держал в руках.
Traffic Warning! Под катом много картинок!
Читать полностью »
Семейство Intel Xeon обогатилось новым классом процессоров с индексом Е. Для тех, кто немного пропустил: нынешняя Е не имеет отношения к прошлым Е3, Е5 и Е7, а представляет собой первую букву слова Essential. При запуске линейки Xeon Scalable в прошлом году оговаривалось также, что ей Xeon-овый ассортимент не исчерпается. Среди прочих упоминался и «Е-класс» для серверов начального уровня и рабочих станций. Несколько месяцев назад появились первые Xeon E (две штуки), предназначенные для портативных компьютеров, а вот сейчас представлено сразу 10 новинок.
Кстати, про Xeon Scalable тоже есть новости — о них в самом конце.
Читать полностью »
Ох уж эти квантовые технологии. Они заполонили умы ученых по всему миру, как Pokemon GO в свое время заполонил умы пользователей смартфонов. Сравнение конечно не самое хорошее, ибо первые принесут пользу, второе — принесло толпы людей в парках, но далеко не ради свежего воздуха или пикника. Сегодня мы будем разбираться в исследовании, нацеленом на создании масштабируемого квантового процессора, умеющего находить и исправлять ошибки. Для работы такого процессора требуется контроль над множеством кубитов (квантовых битов) параллельно, пока протекает процесс обнаружения ошибок среди выбранных кубитов. То есть жонглируем одной рукой, а второй показываем карточные фокусы. Задача, мягко говоря, не из легких. Давайте же узнаем как ученые из Австралии смогли реализовать такой сложный замысел на практике. Поехали.Читать полностью »
В конце сентября мы представили новый ASIC-чип, разработанный специально для SHA256-майнинга в сети биткоин. Сегодня расскажем, что у него внутри.
