SGX

Архитектурна справкаFeex

Intel SGX, Software Guard Extensions, предоставя възможности за изпълнение на анклави със специфичен модел на заплахи и софтуерен интерфейс. Поддръжката от процесора не е достатъчна, за да се установи, че дадено анклавно приложение може да работи на конкретна система.

Какво трябва да знаете

Как работи

SGX дефинира памет на анклава и механизми за влизане/излизане, с кеш на страниците на анклава (enclave page cache), управляван чрез поддръжка от платформата и ОС. Дадено анклавно приложение разделя надеждните от ненадеждните компоненти и може да използва атестация, за да установи идентичността на анклава. Количеството използваема памет на анклава и поддържаната политика за стартиране са специфични за платформата.

Къде е полезно

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

Как се проверява поддръжката и активирането

Проверете CPUID.07H.00H:EBX бит 2 и специфичната за SGX информация от leaf 12H на CPUID, след което проверете конфигурирането на фърмуера, поддръжката от драйвери/runtime и изискванията за атестация на приложението. Следвайте точно поддържаната конфигурация на платформата.

Възможността, активирането и прилагането трябва да се проверяват отделно. Процесорът може да поддържа дадена защита, докато операционната система, приложението или политиката на виртуалната машина не я активират. Полето за поддръжка в база данни не представлява атестация на работеща система.

Какво не гарантира тази функция

Обозначението SGX не установява детайли за SGX1/SGX2, гъвкав контрол на стартирането (flexible launch control), наличност на услугата за атестация или конкретен капацитет на паметта на анклава. То не прави произволни немодифицирани приложения поверителни, нито елиминира всеки страничен канал.

Съвместимост и производителност на практика

Поддържайте операционната система, фърмуера и засегнатата среда за изпълнение актуални. Ако дадена защита разкрие проблем със съвместимостта, първо използвайте диагностиката на производителя и поддържаните актуализации. Глобалното превключване на защити може да засегне несвързани приложения и трябва да следва ясна политика за внедряване и възстановяване.

Практически контролен списък за проверка

Запишете точния модел на процесора или платформата, както и използваните версии на приложението, операционната система и средата за изпълнение. Запазете точния текст на действителната грешка или изискване.
Проверете документацията от производителя за този точен модел, след което инспектирайте действителните възможности и активираното състояние в средата, където работи програмата.
Сравнете всяко изискване на избрания двоичен файл или бекенд. Подобно наименувана функция, псевдоним или общ технологичен етикет не са достатъчни.
Потвърдете, че приложението е избрало планираната реализация. Използвайте неговата документирана диагностика и поддържан резервен вариант, когато изискванията не са изпълнени.
Правете по една поддържана промяна наведнъж и повтаряйте същото работно натоварване. Запазете достъпни оригиналната конфигурация и плана за възстановяване.

Ако функцията е посочена, но софтуерът не може да я използва

Започнете с точния компонент, който дава грешка. Хардуерната база данни описва записаните възможности; операционната система или хипервайзорът могат да предоставят различна ефективна среда. Грешка за невалидна инструкция (illegal-instruction) също изисква разследване на действителната сриваща се инструкция и компилацията на двоичния файл, тъй като повреда или несвързана неподдържана инструкция може да предизвика подобен симптом.

Инсталирайте версията на приложението, драйвера или средата за изпълнение, която се поддържа за точната платформа, и използвайте документираната от производителя базова или резервна компилация, ако е необходимо. Софтуерна актуализация не може да създаде инструкция, която липсва в процесора. Промените във фърмуера и политиките за сигурност трябва да следват процедурата на производителя на системата и план за възстановяване, а не общи съвети за оптимизация.

Източници и обхват на това обяснение

Intel 64 and IA-32 Architectures Software Developer's Manual · Референтна имплементация за разработчици на Intel SGX

Тези източници установяват архитектурното поведение и софтуерните изисквания. Те не проверяват независимо всяка стойност на параметър на свързана страница за хардуерен модел. За поддръжка на даден модел използвайте данните от производителя на съответната страница и проверете ефективната системна конфигурация. Тази статия не предоставя бенчмарк, сертификация или дата на независим преглед.

Източници и проверка

Редакционна собственост: Feex. Не е записана дата на независим преглед. Как проучваме.

Intel 64 and IA-32 Architectures Software Developer's Manual · Томове 1 и 2 описват посочените семейства инструкции и CPUID; Том 3 описва състоянието, страницирането, VMX и контролите за защита. Документацията за архитектурата не гарантира поддръжка за конкретен модел.
Референтна имплементация за разработчици на Intel SGX · Официален SDK/runtime проект и референции за внедряване на анклави. Точните изисквания към платформата и атестацията остават специфични за приложението.

Беше ли полезна тази статия?

Достатъчно е "да" или "не". Изберете причина, ако желаете, или добавете кратка бележка.