Mode-Based Execute Control

Архітэктурны даведнікFeex

Mode-Based Execute Control - гэта функцыя Intel EPT, якая дазваляе гіпервізару размяжоўваць дазволы на выкананне інструкцый у карыстальніцкім рэжыме і рэжыме супервізара гасцявой сістэмы. Гэта сродак кіравання віртуалізацыяй, а не звычайная прыкладная інструкцыя.

Што вам трэба ведаць

Як гэта працуе

Пры ўключаным адпаведным элеменце кіравання выкананнем VM (VM-execution control) семантыка дазволаў EPT адрознівае рэжымы выканання гасцявой сістэмы. Гэта дазваляе гіпервізару рэалізоўваць палітыкі, якія па-рознаму апрацоўваюць выкананне кода карыстальніка і ядра на другім этапе трансляцыі. Гіпервізар павінен правільна пералічваць і наладжваць гэтыя сродкі кіравання.

Дзе гэта карысна

Архітэктура абароны на аснове віртуалізацыі можа выкарыстоўваць дыферэнцыраваныя дазволы на выкананне як адзін з будаўнічых блокаў. Гасцявая АС і палітыка хоста па-ранейшаму вызначаюць, што менавіта абараняецца і як апрацоўваюцца збоі; сама па сабе функцыя не актывуе прадукт бяспекі.

Як праверыць падтрымку і актыўнасць

Праверце элементы кіравання магчымасцямі VMX, задакументаваныя ў SDM, і падтрымоўваны інтэрфейс магчымасцей/стану гіпервізара. Праверце канфігурацыю EPT і платформы асобна. Спіс функцый CPUID звычайнай праграмы не можа поўнасцю апісаць актыўную палітыку гіпервізара.

Віртуалізаванае разгортванне мае некалькі ўзроўняў: фізічныя магчымасці, дазвол мікрапраграмы, актыўны гіпервізар хоста, адкрытыя магчымасці для госця і падтрымка з боку гасцявой АС. Правярайце той узровень, дзе аперацыя фактычна выконваецца, уключаючы ўкладзеную віртуалізацыю, калі гэта актуальна.

Чаго гэта функцыя не гарантуе

Гэтая функцыя не з'яўляецца тым жа самым, што NX або SMEP, і імпартаваная агульная назва не вызначае дакладныя паводзіны эквівалента AMD. Яна не даказвае, што бяспека на аснове віртуалізацыі ўключана або што машына адпавядае кожнаму патрабаванню канкрэтнай функцыі АС.

Сумяшчальнасць і прадукцыйнасць на практыцы

Выкананне на CPU, трансляцыя гасцявой памяці і перапрызначэнне DMA прылад - гэта асобныя механізмы. Не рабіце высноў аб пракідзе або ізаляцыі на падставе аднаго толькі поля віртуалізацыі. Выкарыстоўвайце падтрымліваемыя гіпервізарам сродкі дыягностыкі і дакладныя патрабаванні да платформы і прылад.

Практычны чэк-ліст для праверкі

Зафіксуйце дакладную мадэль працэсара або платформы, а таксама задзейнічаныя версіі праграмы, АС і асяроддзя выканання. Захавайце дакладную фармулёўку памылкі або патрабавання.
Звярніцеся да дакументацыі вытворцы для гэтай канкрэтнай мадэлі, затым праверце фактычныя магчымасці і ўключаны стан у асяроддзі, дзе выконваецца праграма.
Супастаўце кожнае патрабаванне выбранага выканальнага файла або бэкэнда. Аналагічнай назвы функцыі, псеўданіма або агульнай назвы тэхналогіі недастаткова.
Пацвердзіце, што праграма выбрала патрэбную рэалізацыю. Выкарыстоўвайце яе задакументаваныя сродкі дыягностыкі і падтрымліваемы запасны варыянт, калі патрабаванні не выконваюцца.
Уносьце па адным падтрымліваемым змяненні за раз і паўтарайце тую ж нагрузку. Захоўвайце зыходную канфігурацыю і магчымасць адкату.

Калі функцыя пазначана, але праграмнае забеспячэнне не можа яе выкарыстоўваць

Пачніце з канкрэтнага кампанента, які выклікае збой. Апаратная база даных апісвае зафіксаваныя магчымасці; аперацыйная сістэма або гіпервізар могуць прадастаўляць іншае фактычнае асяроддзе. Памылка недапушчальнай інструкцыі (illegal instruction) таксама патрабуе даследавання канкрэтнай інструкцыі, якая выклікала збой, і зборкі бінарнага файла, паколькі пашкоджанне даных або іншая непадтрымліваемая інструкцыя могуць выклікаць аналагічны сімптом.

Усталюйце версію праграмы, драйвера або асяроддзя выканання, якая падтрымліваецца для дадзенай платформы, і пры неабходнасці выкарыстоўвайце задакументаваную вытворцам базавую або запасную зборку. Абнаўленне ПЗ не можа стварыць інструкцыю, якой няма ў працэсары. Змяненні ў мікрапраграме (firmware) і палітыках бяспекі павінны адпавядаць працэдурам вытворцы сістэмы і плану аднаўлення, а не агульным рэцэптам аптымізацыі.

Крыніцы і межы прымянення гэтага тлумачэння

Intel 64 and IA-32 Architectures Software Developer's Manual

Гэтыя даведнікі вызначаюць архітэктурныя паводзіны і патрабаванні да праграмнага забеспячэння. Яны не пацвярджаюць незалежна кожнае значэнне функцыі на звязанай старонцы мадэлі абсталявання. Для праверкі падтрымкі мадэллю выкарыстоўвайце даныя вытворцы на адпаведнай старонцы і правярайце фактычную канфігурацыю сістэмы. Гэты артыкул не змяшчае вынікаў тэсціравання (benchmark), сертыфікацыі або даты незалежнага агляду.

Крыніцы і праверка

Рэдакцыйная прыналежнасць: Feex. Дата незалежнай праверкі не зафіксавана. Як мы даследуем.

Intel 64 and IA-32 Architectures Software Developer's Manual · Тамы 1 і 2 апісваюць названыя сямействы інструкцый і CPUID; Том 3 апісвае стан, старонкавую арганізацыю памяці, VMX і элементы кіравання абаронай. Архітэктурная дакументацыя не пацвярджае падтрымку канкрэтнай мадэлі.

Ці быў гэты артыкул карысным?

Дастаткова адказаць "так" або "не". Выберыце прычыну, калі хочаце, або дадайце кароткую нататку.