RU

Микроядро SME2 sgemm: 1024 умножения-сложения за проход

В этой части мы возьмём первый из пропусков BLIS — микроядро sgemm ; сначала зафиксируем форму аккумулятора 32×32 в четырёх тайлах ZA, затем разберё…

BLISGEMMSME2Apple Siliconмикроядрокэш-блокингупаковка данныхвысокопроизводительные вычислениялинейная алгебраBLAS
Habr
RU

Паравиртуализация при отладке графических приложений KasperskyOS в QEMU

Привет! Меня зовут Денис Молодяков, я — тимлид команды графики в KasperskyOS . Мы отвечаем за разработку графического стека полного цикла для микроя…

gpuvirtiociсистемное программированиепаравиртуализациямикроядроwaylandkasperskyosqemuвиртуализация
Habr
RU

BLIS: недостающую среднюю ступеньку построили тридцать лет назад

В этой части мы начнём с тупика, в который приводит голый цикл FMOPA ; затем покажем, какую часть GEMM BLIS уже построил за нас; после этого разберё…

BLISGEMMSME2Apple Siliconмикроядрокэш-блокингупаковка данныхвысокопроизводительные вычислениялинейная алгебраBLAS
Habr
RU

Попробуйте найти примеры кода для SME — я подожду

В этой части мы проверим, есть ли у SME учебная дорога, сравнимая с той, которую получили тензорные ядра GPU; затем разберём два реально полезных ис…

SME2ARMматричное умножениемикроядровекторизацияSIMDSVEоптимизациятензорные ядрамашинное обучение
Habr
RU

Безопасность микроядра: где заканчивается трюизм и начинается инженерия

Привет, Хабр! Меня зовут Анна Мелехова, я старший архитектор ПО в «Лаборатории Касперского». Вместе с командой занимаюсь разработкой микроядерной Ka…

kasperskyosибмикроядромикроядерная архитектурабезопасностьхарденинг
Habr
RU

ОС2000 («Багет 2.0») Российская ОСРВ для управления «Бураном», «Суперджетами» и атомными подлодками

При слове «операционная система» мои друзья обычно представляем Windows, macOS или какой-нибудь дистрибутив Linux. Но за этими привычными образами п…

ОС2000Багет 2.0ОСРВreal-timeмикроядроНИИСИMIPSКомдиввстраиваемые системыPOSIX
Habr
RU

[Перевод] Введение в микроядро Sel4

Предлагаю вашему вниманию перевод seL4 Whitepaper, который является хорошим введением в одно из самых известных микроядер для ОС — seL4 (лицензия GP…

sel4микроядроmicrokernelверификацияsecurereal-timeбезопасностьcapabilityоперационные системыпроизводительность