С 18 августа на Intel Developer Forum 2015 было представлено сразу несколько новинок: это новая микроархитектура Skylake, накопители Optane, новый форм-фактор материнских плат 5×5 и несколько устройств Интернета вещей.

Skylake

5 августа были продемонстрированы два процессора — первые представители новой микроархитектуры Skylake. Это был не полноценный анонс, а два продукта линейки. Вторую (но не последнюю) порцию данных о Skylake Intel выдала 18 августа. «Скайлейк» — это «так» 14-нанометрового техпроцесса. «Тиком» был Broadwell, в котором в основном шло уменьшение размера элементов на схеме и переход с 22 нм на 14.

Сценарии “мывсеумрём” всегда были и будут популярны. Как минимум, это удобный способ привлечь внимание и заставить читателя охать и ахать. Тематика энергоресурсов не стала исключением и тут есть свои два главных апокалипсиса — один из них это пик добычи нефти. Концепция пика нефти получает широкое распространение при высоких ценах на нефть и уходит в забвение при низких. Так, ещё в 2008 году все писали о пике нефти в 2012 году, а позже это пришло и в рунет. К счастью, мировая добыча нефти с тех лет всё ещё растёт, поэтому сторонникам теории пришлось редуцировать свою теорию “пика добычи нефти вообще” к частностям: “пик добычи легкодоступной нефти” или “пик добычи традиционной нефти”. Причина упоминания “легкодоступности” лежит во втором “апокалипсисе” — в снижении коэффициента энергетической рентабельности (EROEI), по аналогии с экономической рентабельностью (ROI). О нём и поговорим.

Что такое EROEI? Представьте себе гепарда за охотой на антилоп. Мясо антилопы содержит белки и жиры, которые дают гепарду энергию, так необходимую для существования. Если бы гепард владел термодинамикой, то перед каждой охотой ему стоило просчитывать сколько энергии он потратит на погоню за антилопой и сколько получит из её мяса. Если он будет охотиться за антилопой, а поймает в результате только мышку, которая не может даже компенсировать потери энергии на охоту, то очевидно, что лучше было в этот день вообще не охотиться.

В жаркие летние дни самое время поговорить о жаре и холоде космоса. Благодаря научно-фантастическим фильмам, научно- и не очень научно-популярным передачам, у многих закрепилось убеждение, что космос — это невообразимо холодное место, в котором самое главное — найти как согреться. Но на самом деле все гораздо сложнее.


Фото космонавта Павла Виноградова

В данной статье показаны некоторые нововведения языка SystemVerilog в области организации данных по сравнению с Verilog-2001 для синтезируемого подмножества языка.

История SystemVerilog довольна длина и туманна. Начавшись после принятия стандарта Verilog-95, она вылелась в Verilog-2001. Однако язык не слишком подходил для верификации, инженеры использовании языки семейства «E» — VERA, Testbuider. В современном виде SystemVerilog появился после 2005 года. Сейчас средства синтеза и моделирование такие как Quartus II, ISE, ModelSim/QuestaSim уверенно поддерживают SystemVerilog. Стандарт называется IEEE 1800-2012.

Прим. Эта статья давно написана, но не опубликована. Надеюсь будет полезна начинающим.

По следам недавнего поста — попытаюсь в понятных для IT-шников терминах объяснить, почему альтернативные источники энергии никогда не заменят традиционные, и почему в свете исчерпания запасов нефти и газа нужно переходить на атомную энергию.

Представьте, что вы — мэр небольшого города. И у вас есть задача — обеспечить город электроэнергией. Старая угольная электростанция на ладан дышит и слишком уж коптит. При этом, как разумный человек, вы собираетесь решать проблему с учётом перспектив: ваш город растёт и, рано или поздно, придётся нарастить производство электроэнергии.

Итого, цели замены технологии вполне коррелируют с таковыми для какого-нибудь интернет-ресурса. Нужно:
(а) обеспечить надёжную производительность в текущий момент времени;
(б) заложить масштабируемость архитектуры на будущее.

Итак, что нам предлагают из альтернативных источников энергии?

Начиная с нефтяного кризиса 1970-х годов, общество начало задумаваться о поиске альтернативы традиционной углеводородной энергетике. Потенциал солнечной энергии, как самый большой и доступный для человечества, всегда приковывал внимание научного сообщества. Использование возобновляемой энергии легло в основу концепции целых социальных и политических движений. В последние десять-пятнадцать лет солнечная энергетика быстро развивалась и получила некоторое распространение в секторе электрогенерации. В целом, можно говорить об экспонециальном тренде роста электрогенерации фотовольтаики в последние двадцать лет [1]:

Все проблемы в области Computer Science могут быть решены введением дополнительного уровня косвенности. За исключением одной: слишком большого числа уровней косвенности.
All problems in computer science can be solved by another level of indirection, except for the problem of too many layers of indirection.

Программные интерпретаторы известны своей невысокой скоростью работы. В этой статье я расскажу, как их можно ускорить.
Я давно уже хотел поподробней остановиться на создании интерпретаторов. Прямо таки обещал, в том числе самому себе. Однако серьёзный подход требовал использования более-менее реалистичного кода для примеров, а также проведения измерений производительности, подтверждающих (а иногда и опровергающих) мои аргументы. Но наконец-то я готов представить почтенной публике результаты, причём даже чуть более интересные, чем собирался.
В данной статье будет описано семь способов построения программной ВМ для одной гостевой системы. От самых медленных мы проследуем к более быстрым, поочерёдно избавляясь от различных «неэффективностей» в коде, и в конце сравним их работу на примере одной программы.
Тех, кто не боится ассемблерных листингов, испещрённого макросами кода на Си, обильно удобренного адресной арифметикой, goto и даже longjmp, а также программ, использующих копипаст во имя скорости или даже создающих куски самих себя, прошу пожаловать под кат.

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

«Фаззинг – методика тестирования, при которой на вход программы подаются невалидные, непредусмотренные или случайные данные.» © Habrahabr

Недавно я все-таки сделал свой первый шаг к ПЛИС и призвал вас за собой. Мое фанатическое увлечение ПЛИС и идея о том, что ПЛИС является лучшей платформой для создания любых устройств приобрела религиозный характер. Моя секта ПЛИСоводов проповедует полный отказ от микроконтроллеров, а особо экстремистская ветвь проповедует отказ не только от софт процессоров, но и вообще от последовательных вычислений!

Как всегда, постижению истин помогло решение реальных задач. В сегодняшней проповеди я хотел бы рассказать об испытаниях, которые выпадают на долю молодого ПЛИСовода. Преодолевая испытания мы постигаем истину. Но остаются вопросы, на которые я не нашел ответов. Поэтому я бы очень хотел, чтобы братья-хабровчане — ПЛИСоводы с опытом, поучаствовали в обсуждении, протянули руку помощи своим младшим собратьям.

Эта статья для новичков. В ней я опишу типичные проблемы, вопросы, заблуждения, ошибки, которые могут появиться в самом начале обучения (потому что они появились у меня). Однако, контекст статьи ограничен тем, что разработка ведется на ПЛИС от Altera в среде Quartus на языке Verilog.

^{Aqua Mine}

Введение

После многолетнего доминирования дисплеев с высокой плотностью пикселей на мобильных устройствах, данная тенденция наконец-то дошла и до лаптопов с десктопами. По моему мнению, производители не ставили HiDPI-матрицы в основном из-за слабой поддержки DPI, отличных от 96, в Windows. К счастью, ситуация заметно улучшилась с выходом Windows 8 с Modern UI, хотя в десктопном режиме все еще далеко не идеальная — люди до сих пор жалуются на 3200×1800 при 13.3" в лаптопах и сомневаются о покупке 4K UHD 23.8"-монитора.

DPI и Linux

Возможность установки произвольного значения DPI появилась еще во времена Xfree86, но следует понимать, что это просто значение, которое ничего не делает само по себе. Его считывают и используют программы и компоненты, которые и принимают решение, каким образом отразить изменение DPI на экране. Если текст следует установленному значению DPI в 95% случаев (спасибо xft!), то размер элементов зависит от используемого окружения рабочего стола и тулкитов, на которых написаны приложения.

GTK+ 3-приложения поддерживают как целочисленный скейлинг элементов и дробный скейлинг шрифтов, так и изменение DPI на лету, без перезапуска приложений. Скейлингом элементов управляет переменная окружения GDK_SCALE, а скейлингом шрифтов — GDK_DPI_SCALE.
По умолчанию, шрифты скейлятся вместе с элементами. Таким образом, при DPI 96 и GDK_SCALE=2, вы получите шрифт, словно он с DPI 192. Чтобы отменить скейлинг шрифтов, достаточно установить переменную окружения GDK_DPI_SCALE в 0.5 (для GDK_SCALE=2).
Qt4 не умеет скейлить элементы. Для применения нового значения DPI требуется перезапуск приложения.
Qt5, начиная с версии 5.4, поддерживает целочисленный скейлинг элементов через переменную окружения QT_DEVICE_PIXEL_RATIO. DPI менять на лету нельзя, как и в Qt4, но работы в этом направлении ведутся и будут доступны с релизом Qt 5.6, как и скейлинг на каждый монитор отдельно.
WxWidgets-приложения ведут себя так же, как GTK+ 3, только не поддерживают скейлинг элементов.

Я попытался выяснить, какие DE можно комфортно использовать с HiDPI-мониторами. Тестирование проводилось на лаптопе с 12.5" 1366×768 (125 DPI) с подключенным внешним 23.8"-монитором с разрешением 3840×2160 (185 DPI).

Два года назад на хабре была опубликована замечательная статья, рассказывающая о генетически модифицированных организмах и мифах, связанных с ними. Большая часть сельскохозяйственных земель в США засеяны как раз такими культурами. Но у России свой путь, и в прошлую пятницу депутаты единогласно приняли в первом чтении законопроект о полном запрете использования ГМО в сельском хозяйстве и животноводстве под угрозой миллионных штрафов.

Вот ссылка на законопроект.

принять законопроект в первом чтении; представить поправки к законопроекту в тридцатидневный срок со дня принятия постановления 24.04.2015

Виртуальный. В отличие от большинства модных компьютерных словечек, это понятие обычно соответствует своему словарному определению в тех случаях, когда речь идёт об аппаратуре или программах. Словарь «Random House College Dictionary» определяет «virtual» как «проявляющий свойства и эффекты чего-либо, но не являющийся таковым на самом деле».

Оригинал

Virtual. Unlike most computer buzzwords, this one usually holds true to its dictionary definition when it refers to hardware or software. The Random House College Dictionary defines «virtual» as «being such in force or effect, though not actually or expressly such.» [4]

Последние несколько лет в начале каждого семестра я даю студентам определения основных терминов, используемых в моём курсе: симуляция, эмуляция и виртуализация. И каждый раз я говорю, чтобы мои слова не принимали за стопроцентную правду. Дело в том, что в одних областях технического знания эти термины зачастую трактуются противоположно тому, что принято использовать в других. Нелёгкое это дело — давать определения.

Видимо, эту проблему заметил не только я. В своей книге Software and System Development using Virtual Platforms, вышедшей в прошлом году, мои коллеги Jakob Engblom и Daniel Aarno в первой главе вводят понятия simulation и emulation и отмечают неоднозначность их толкования в областях разработки программного обеспечения и проектирования аппаратуры.

С беспорядком в толковании этих двух терминов я для себя разобрался и вроде бы смирился. Осталось ещё одно понятие, уже более десяти (на самом деле пятидесяти) лет не теряющее популярности — это «виртуализация». За время своего бытия в категории «buzzword» оно стало сочетаться со множеством других слов. Недавно я осознал, что термин «виртуальная машина» (ВМ) на самом деле используется для обозначения двух хоть и связанных, но различных сущностей. В этой статье я расскажу о двух классах: языковые и системные виртуальные машины. Я покажу сходства и различия между ними, их назначение, классификацию, общие и частные черты в их практической реализации.

ГМО − изучены ли? Не похоже ли это на эксперимент над человечеством? Зачем заменять натуральное искусственным?

Эти вопросы могут даже раздражать, но надо признать, что они закономерны. Давайте постараемся дать ответы.

Обычно под проблемой ГМО понимают проблему их пищевой безопасности: возможный вред ГМ-пищи организму при употреблении человеком. Когда я встречаю утверждения о недостаточной изученности влияния ГМО, о слишком малом количестве проведенных исследований, то испытываю горячее желание уточнить, а сколько все-таки исследований было, и сколько не хватает? Давайте разберемся, какие мы имеем данные о технологиях генной инженерии и безопасности употребления ГМО в пищу.

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

«Дайте мне точку опоры, и я переверну Землю» — так, по легенде, сказал Архимед, научно объяснив интуитивно понимаемый принцип работы рычага. Но в космическом вакууме опоры нет. А спутникам нужно, чтобы солнечные батареи смотрели на Солнце, антенны — на Землю, камера — на интересный участок Марса, а двигатель для коррекции орбиты — строго в определенную точку пространства. Приходится что-то придумывать, чтобы опереться на пустоту.

Удивительный факт, но многие студенты, успешно прошедшие курс цифровой электроники, остаются в неведении о таком явлении, как метастабильность (либо считают его столь малозначимым, что примерно через 2 дня после экзамена напрочь забывают). Между тем, сбои в работе устройства, вызванные метастабильностью диагностируются крайне трудно. Если вы узнали себя в таком студенте, и если вы хоть как-то связаны с разработками на базе цифровых микросхем — крайне рекомендую к прочтению данный текст. Возможно, что потратив 10 минут сейчас вы сэкономите многие дни, проведенные за отладкой в будущем.

Некоторое время назад я натолкнулся на упражнение, которое выглядит не так уж и сложно:

Пусть последовательность x_n определена так:

посчитайте x₃₀.

Это не так уж и трудно закодировать, возможно реализовав x_i как рекурсивную функцию. С обычными числами с плавающей запятой двойной точности, по мере увеличения i, результат красиво сходится к 100. Супер!

К сожалению, 100 даже близко не является правильным ответом. На самом деле последовательность сходится к 5.

На фоне предстоящего серийного производства аж 3 процессоров российского производства — Эльбрус 8C (МЦСТ), Baikal (Т-Платформы) и Мультиклет R1, я решил проанализировать технологическое отставание России по микропроцессорам на основании технологического процесса в производстве процессором в России/СССР и у лидеров в этой области.

Сколько-нибудь структурирование данные для России за весь период существования микроэлектроники или хотя бы его части я не нашел.

Сбор данных

С данными по лидерам проблем не было — они есть в самых разных источниках, например, в английской Википедии или на русском языке. Так как корректность этих данных никаких сомнений не вызывает, останавливаться на этом не стоит.

С данными по России/СССР было сложнее. Использовались несколько каталогов, в частности sovietcpu.com. Даты разработки и тех процесс проверялся в разных источниках, в частности, это сайты производителей, а по советским процессорам использовались справочники, например, academic.ru и другие.

Российская компания МЦСТ объявила о начале продаж персональных APM-компьютеров для офисного пользования «Эльбрус-401» и серверов «Эльбрус-4.4» на базе 4-х ядерных микропроцессоров «Эльбрус-4С», созданных по технологии 65 нанометров. На сайте компании приводятся подробные характеристики этих 2-х новинок от российского производителя, и сейчас мы кратко выделим основные из них.

Новый тип памяти призван обеспечить дальнейший рост производительности

Как считает сама AMD, компания годами определяла новые типы памяти для графических ускорителей, а остальная индустрия выступала в роли догоняющего. Это давало продуктам AMD конкурентное преимущество, к примеру, в своё время нововведение в виде GDDR5 обеспечило Radeon HD 4870 лидерство по производительности. В итоге GDDR5 стала стандартом, но с момента её первого появления прошло уже семь лет, и каких-либо фундаментально новых изменений не происходило. Следующий прорыв должен обеспечить стандарт High Bandwidth Memory (память с высокой пропускной способностью). Первый видеоускоритель на его основе может выйти уже через несколько месяцев.

Как известно, причиной многих проблем с самочувствием и синдрома хронической усталости может быть переизбыток углекислого газа (CO2) в воздухе помещения (megamozg.ru/post/4982). Практически во всех городских квартирах вентиляция не достаточна для того, чтобы поддерживать комфортный уровень CO2. Очень важно иметь дома измеритель уровня CO2 для того, чтобы хотя бы вовремя открывать форточку.

Детектор углекислого газа МАСТЕР KIT MT 8057 сейчас фактически самый дешёвый на рынке. В интернет-магазине MedGadgets от стоит 4950 рублей.



Прибор показывает уровень CO2 и температуру, его можно подключить к компьютеру для построение графиков изменения CO2 в течение длительного времени.