🎤Верификация процессоров: особенности, различия в подходах и перспективы развития

Верификация — очень ответственный этап аппаратной разработки, в ходе которого проект проверяют на ошибки и соответствие спецификации. В 23 выпуске «Битовых масок» к Антону Афанасьеву и Елене Лепилкиной присоединилась Алина Галичина из группы модульной верификации YADRO. Алина получила высшее образование на кафедре волоконно-оптических систем связи и перешла в разработку и верификацию цифровых схем. Кроме того, у героини есть несколько патентов, связанных с реализацией алгоритмов цифровой обработки сигнала.

Вместе с Алиной обсудили множество тем:

▪️Особенности верификации с точки зрения типа устройств;
▪️Как проявляются «баги Шрёдингера» в симуляции;
▪️Как организуют трассировку печатных плат;
▪️Перспективы искусственного интеллекта в задачах трассировки;
▪️Влияние дизайна процессоров на их верификацию;
▪️Что можно и что не стоит автоматизировать в верификации.

Смотреть или слушать ➡️

#программы #подкасты #битовыемаски

@ultimate_engineer

📄T-shaped, I-shaped или дженералист? Выбираем идеального коллегу

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

Откуда такая азбука?

Классификация T-shaped skills зародилась ещё в 1990-х в McKinsey, а популярной стала в 2010-х благодаря Тиму Брауну, автору книги «Дизайн-мышление в бизнесе». Тут важна не сама буква, а её форма. I — узкая и прямая, символизирует фокус на одной компетенции. T добавляет горизонтальную линию — образ междисциплинарных знаний.

Символы, образы… А что на практике?

▪️T-shaped-профессионалы сочетают глубокую экспертизу в своей области с базовыми навыками из соседних. Это помогает им уверенно работать в профессии и находить общий язык с коллегами других направлений.

▪️I-shaped-специалисты делают ставку только на свою нишу, оттачивая одну компетенцию.

▪️Дженералистам буквенного символа не досталось, но название говорит само за себя: они знают понемногу обо всём.

А кто из них более востребован?

В разных проектах по-разному. Архитектор бизнес-процессов YADRO Сергей Даниельян считает, что именно T-shaped-специалисты лучше всего справляются с современными вызовами. В коллегах он ценит командность, умение идти на компромисс, критичный взгляд на свою работу и готовность быстро принимать решения.

«YADRO развивается очень быстрыми темпами, чтобы соответствовать поставленным целям. Подходы, алгоритмы решения, технологии и, конечно, люди должны меняться. Темп просто дикий. Сложным, но одновременно и интересным для меня было войти в этот темп».

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

Читать интервью ➡

#инженернаякультура #персоны

@ultimate_engineer

📺Как синий светодиод изменил жизнь на белом свете
И при чём тут инженерное упорство

Контекст. В современной электронике используют светодиоды разного цвета. Но «нобелевку» дали именно за синий LED. Почему — рассказывает документальный ролик канала Veritasium.

Герой. Эта история об инженере Сюдзи Накамура. В конце 1980-х он работал в японской компании Nichia, которая выпускала люминофоры для электронно-лучевых приборов. Накамура пытался выращивать кристаллы полупроводников, но руководство считало эти опыты второстепенными. На них давали мизерный бюджет, а нашего героя считали чудаком и мечтателем.

Почему это важно. В те годы красные и зелёные LED уже широко применялись, а синий оставался инженерной мечтой. Необходимый для него нитрид галлия (GaN) был очень сложным в производстве, и корпорации вкладывали огромные средства в альтернативные решения.

Но Накамура пошел против течения. Несколько лет он экспериментировал на самодельном оборудовании и в 1993 году, когда никто уже не верил в его успех, представил первый яркий синий светодиод.

Этот прорыв открыл дорогу к белым LED и привёл к появлению привычных нам вещей:

▪энергосберегающих ламп;
▪ярких дисплеев;
▪автомобильной оптики с белым светом;
▪компактных фонариков и прожекторов;
▪декоративного освещения.

Признания Накамура не получил: Nichia запатентовала технологию, а ему выплатили около $170 вознаграждения. Это стало началом долгой борьбы Накамуры за справедливость. Как развивалась эта история — смотрите в документалке Veritasium.

Русскоязычная версия
Оригинал на английском

Знаете ли вы подобные истории? Делитесь в комментариях!

#фильмнавыходные @ultimate_engineer

📍А что, если взглянуть на окружающую нас архитектуру как на код?

Подумали мы — и решили проверить эту идею на практике.

Так родилась серия экскурсий «Вычисляя архитектуру», которую YADRO проводит по столице вместе с просветительским проектом «Глазами инженера».

Билеты на ближайшую экскурсию уже раскупили, но есть повод погулять по Москве 17 и 20 сентября. Мы отправимся от дома Юшкова на Мясницкой, бывшей кузницы авангардного креатива ВХУТЕМАС, и закончим у метро «Красные ворота» — символа советского рационализма.

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

Что ещё в программе:

▪️табурет, выбитый Татлиным из-под ног Малевича;
▪️несостоявшийся проспект, для которого уже выстроили фасады;
▪️телескопический портал в подземный мир;
▪️башни-радиолампы и здание-вычислительный центр, пропорциональное диаметру Земли.

Авангардно? А как иначе.

Регистрируйтесь, чтобы успеть на экскурсию в сентябре ➡️

#историятехнологий #идеи

@ultimate_engineer

📄Холодильник для кубитов: как замораживают квантовые устройства

Мы в США, в тихом пригороде Чикаго. Здесь, среди полей и водоемов, находится ускорительная лаборатория Fermilab. А в одном из ее залов достраивается Colossus — один из мощнейших холодильников на планете. На вид он совсем не похож на бытовые рефрижераторы, которые стоят у каждого из нас дома. Да и задачи у него другие: вместо продуктов этот многотонный агрегат охлаждает атомы почти до абсолютного нуля.

Почти — это сколько?

Достичь абсолютного нуля (−273,15 °C) в нашей физической реальности невозможно из-за фундаментальных законов термодинамики. Но Colossus максимально приблизился к этой границе: после полного ввода в эксплуатацию он сможет охлаждать материал до −273,14 °C.

При таких низких температурах металл теряет электрическое сопротивление и становится сверхпроводником, а забытые в такой «морозилке» пельмени превратились бы в твёрдый минерал, похожий на камень.

Как такое возможно?

У Colossus многоступенчатый процесс погружения в холод:

▪На верхних уровнях работает жидкий азот: он снижает температуру до −193 °C.

▪Потом его замещает жидкий гелий: температура падает до −269 °C.

▪И, наконец, смесь гелия-3 и гелия-4 в системе разбавления опускают показатели до милликельвинов — тех самых сотых долей градуса выше абсолютного нуля.

И зачем это нужно?

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

То есть всё это для ученых?

Не совсем. В последние годы квантовая наука вышла за пределы лабораторий. Уже работают процессоры на сотни кубитов, развиваются методы коррекции ошибок, а облачные сервисы делают квантовые вычисления доступными для компаний.

Недавно физики экспериментально подтвердили: некоторые квантовые эффекты возможны и без экстремального охлаждения, а значит внедрять их становится в разы проще.

Подробнее об этом и о других квантовых достижениях 2025 года — в новой обзорной статье.

Читать статью →

#научпоп @ultimate_engineer

📍Сегодня, 9 сентября, мы празднуем День тестировщика и поздравляем тех, кто первым обнаруживает «жуков» в системах и не дает им портить жизнь пользователям. Как появился этот праздник и почему QA-специалисты ищут именно баги, рассказывает Артём Хюппенен, инженер по тестированию систем хранения данных в YADRO.

Артём открывает нашу новую рубрику «У аппарата», где вы сможете задать любые вопросы экспертам по выбранной теме и получить подробные ответы.

Задавайте свои вопросы по тестированию высоконагруженных систем в комментариях под постом — уже через неделю Артём ответит на каждый!

А больше про тестирование СХД, где хранятся петабайты информации, и фреймворк с набором утилит, который разработала команда Артёма, инженер расскажет 18 сентября на QA-митапе. Регистрируйтесь, чтобы не пропустить.

#уаппарата #системыхраненияданных

📄Как один фреймворк заменил десяток утилит для тестирования CLI-приложений

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

Артём Хюппенен, инженер по тестированию YADRO, поделился опытом создания единого фреймворка, который заменил набор разрозненных инструментов. Он рассказал, как команда выбирала Python, Paramiko и PyTest, реализовала mapper для CLI-команд, построила систему логирования и интеграцию с нагрузочными утилитами.

Также из статьи вы узнаете:

▪️почему готовые утилиты не подходят для комплексного тестирования CLI-приложений;
▪️как кастомный фреймворк решает задачи взаимодействия с оборудованием и автоматизации сценариев;
▪️где посмотреть код проекта на GitHub и как адаптировать его под свои задачи.

Читать ➡️

#системыхраненияданных

@ultimate_engineer

❓Неделю назад мы предложили вам задать вопросы про высоконагруженные системы Артёму Хюппенену, инженеру по тестированию YADRO. Сегодня публикуем ответы эксперта!

📍Какие инструменты вы используете для тестирования RAID-массивов и чем они отличаются по возможностям?

Для тестирования RAID-массивов обычно используют разные инструменты в зависимости от уровня задач. Вендорские утилиты контроллеров (MegaCLI/StorCLI, HP SSA, Dell OMSA) позволяют проверять состояние массива, запускать consistency check и управлять ребилдом. SMART-утилиты (например, smartctl) дают информацию о «здоровье» отдельных дисков. Нагрузочные тесты вроде fio или Iometer помогают оценить производительность под разными профилями. Системные средства (mdadm, fsck, ZFS scrub) проверяют целостность данных и корректность работы софт-RAID. Различия в том, что первые работают с аппаратным уровнем, вторые с носителями, третьи с производительностью, а четвертые с данными.

В корпоративных системах, таких как TATLIN.UNIFIED, значительная часть этих проверок встроена в саму архитектуру: фоновые процессы автоматически выполняют scrub и recovery, integrity-механизмы с чек-суммами позволяют выявлять и исправлять ошибки на лету.

📍Какие сценарии моделирования сбоев самые показательные для промышленных СХД?

В промышленных СХД обычно моделируют сбои, которые показывают, как система ведет себя в реальных авариях.

Самые показательные сценарии:
▪️Отказ дисков под нагрузкой — проверка скорости ребилда.
▪️Медленный диск — исключение из пула при задержках и ошибках.
▪️Множественные отказы (формула k+m) — проверка защиты и ребилда.
▪️Latent errors — работа scrub и контрольных сумм.
▪️Перезагрузка контроллера — проверка failover.
▪️Обрыв или флаппинг каналов — тест multipath и балансировки.
▪️Отключение питания при записи — проверка журналирования.
▪️Заполнение spare-пространства — поведение при нехватке ресурсов.

Такие тесты позволяют оценить не только производительность системы, но и главное — ее надежность и скорость восстановления данных при сбоях.

📍Как вы обеспечиваете сохранность данных при сбоях питания?

Сохранность данных при сбоях питания обеспечивают сразу на нескольких уровнях:

▪️Аппаратные механизмы. BBU/SCU (Battery Backup Unit / SuperCapacitor Unit) для RAID-контроллеров — сохраняют содержимое кеша записи до восстановления питания. NVDIMM / NVRAM — энергонезависимая память, куда автоматически сбрасываются незавершенные транзакции. UPS (источники бесперебойного питания) — дают время на корректное завершение операций или остановку системы.

▪️Программные механизмы. Журналирование файловых систем (ext4, XFS, NTFS, ZFS) — фиксирует операции перед записью, что позволяет восстановить данные до консистентного состояния. Copy-on-Write (CoW) — новые данные пишутся отдельно, а старые остаются нетронутыми, что исключает риск порчи в середине записи. Transaction log / write-ahead log в СУБД (PostgreSQL, Oracle) — аналог журнала, но на уровне приложений.

▪️Enterprise-подходы. Активное использование integrity-механизмов и контрольных сумм, которые проверяются при каждом I/O. Двойные контроллеры в режиме active-active, чтобы сохранить доступность. Фоновые процессы scrub и recovery, которые после восстановления питания выявляют и исправляют поврежденные блоки.

Надежная защита строится «многоуровнево»: питание (UPS/генератор), кеш (BBU/NVDIMM), файловая система (журнал/CoW) и сама СХД (integrity-механизмы и репликация).

#уаппарата #системыхраненияданных

@ultimate_engineer

📖Старт практических курсов по тестированию и Go
Получите проект в портфолио и оффер в компанию

Команда YADRO запустила новый сезон курсов для студентов второго года обучения и старше. За 2,5 месяца вы разработаете проект с опытными инженерами, получите навыки для старта карьеры, найдете единомышленников и наставников.

А самые успешные участники курсов получат оффер на стажировку: около 35% выпускников приходят работать в компанию.

Успейте зарегистрироваться до 28 сентября.

▶«Ручное тестирование»

На курсе вы изучите общую теорию тестирования и специфику QA-процессов в разных направлениях разработки: систем хранения данных, базовых станций или операционной системы KvadraOS — в зависимости от выбранного модуля.

Вы освоите:
▪теорию и практику поиска дефектов и оформления баг-репортов;
▪анализ требований и составление тест-кейсов для разного уровня проверок;
▪работу с ключевыми инструментами: Linux, Wireshark, ADB, Postman, FIO;
▪процессы разработки (SDLC) и эффективное взаимодействие с командой.

Курс подойдет тем, кто:
▪хочет построить карьеру в QA-отделах высокотехнологичных компаний,
▪понимает базовые принципы работы современных вычислительных систем и ПО,
▪готов разбираться в сложных системах.

▶«Разработка микросервисных приложений на Go»

Этот курс — симулятор работы инженера YADRO. Вы будете решить реальные задачи крупного бизнеса, получать код-ревью от опытных разработчиков и много практиковаться.

Вы научитесь:
▪создавать и тестировать конкурентные приложения;
▪работать с популярными библиотеками и внешними API;
▪развертывать решения в контейнерах;
▪использовать современные инструменты разработки и отладки.

Курс подойдет тем, кто:
▪уже изучил основы Go на сайте go.dev;
▪владеет базовыми командами Git;
▪умеет создавать простейшее контейнеры Docker и запускать их с помощью Compose.

Подробнее о курсах — на вебинаре 23 сентября в 17:00. Зарегистрируйтесь, чтобы получить ссылку и запись встречи.

#джуниор