Mode-Based Execute Control

Yang perlu Anda ketahui

Cara kerjanya

Dengan kontrol VM-execution yang relevan diaktifkan, semantik izin EPT membedakan mode eksekusi guest. Ini memungkinkan hypervisor menerapkan kebijakan yang memperlakukan eksekusi pengguna dan kernel secara berbeda pada tahap penerjemahan kedua. Hypervisor harus mengenumerasi dan mengonfigurasi kontrol dengan benar.

Manfaat penggunaan

Desain proteksi berbasis virtualisasi dapat menggunakan izin eksekusi yang terdiferensiasi sebagai salah satu blok pembangun. Kebijakan OS guest dan host tetap menentukan apa yang dilindungi dan bagaimana fault ditangani; fitur ini saja tidak mengaktifkan produk keamanan.

Cara memeriksa dukungan dan pengaktifan

Periksa kontrol kapabilitas VMX yang didokumentasikan dalam SDM serta antarmuka kapabilitas/status yang didukung hypervisor. Periksa EPT dan konfigurasi platform secara terpisah. Daftar fitur CPUID aplikasi biasa tidak dapat sepenuhnya menggambarkan kebijakan hypervisor yang aktif.

Penerapan tervirtualisasi memiliki beberapa lapisan: kemampuan fisik, izin firmware, hipervisor host yang aktif, kemampuan guest yang diekspos, dan dukungan OS guest. Periksa lapisan tempat operasi sebenarnya berjalan, termasuk virtualisasi bertingkat jika relevan.

Hal yang tidak dipastikan oleh fitur ini

Fitur ini tidak sama dengan NX atau SMEP, dan label generik yang diimpor tidak menetapkan perilaku pasti dari padanan AMD. Ini tidak membuktikan bahwa keamanan berbasis virtualisasi diaktifkan atau bahwa sebuah mesin memenuhi setiap persyaratan fitur OS tertentu.

Kompatibilitas dan performa dalam praktik

Eksekusi CPU, translasi memori guest, dan pemetaan ulang DMA perangkat adalah fasilitas yang terpisah. Jangan menyimpulkan adanya passthrough atau isolasi dari satu kolom virtualisasi saja. Gunakan diagnostik hipervisor yang didukung dan persyaratan platform/perangkat yang tepat.

Daftar periksa verifikasi praktis

1. Catat model prosesor atau platform yang tepat serta versi aplikasi, OS, dan runtime yang terlibat. Pertahankan kata-kata dari kesalahan atau persyaratan sebenarnya.
2. Periksa referensi produsen untuk model persis tersebut, lalu periksa kemampuan efektif dan status aktif di lingkungan tempat program berjalan.
3. Bandingkan setiap persyaratan dari biner atau backend yang dipilih. Fitur dengan nama serupa, alias, atau label teknologi umum tidaklah cukup.
4. Pastikan aplikasi memilih implementasi yang dimaksudkan. Gunakan diagnostik terdokumentasi miliknya dan alternatif cadangan yang didukung ketika persyaratan tidak terpenuhi.
5. Lakukan satu perubahan yang didukung pada satu waktu dan ulangi beban kerja yang sama. Pertahankan konfigurasi asli dan jalur pemulihan tetap tersedia.

Jika fitur terdaftar tetapi perangkat lunak tidak dapat menggunakannya

Mulailah dari komponen persis yang mengalami kegagalan. Basis data perangkat keras menjelaskan kemampuan yang tercatat; sistem operasi atau hipervisor dapat mengekspos lingkungan efektif yang berbeda. Kesalahan instruksi ilegal juga memerlukan penyelidikan terhadap instruksi bermasalah yang sebenarnya dan build biner, karena korupsi data atau instruksi tidak didukung yang tidak terkait dapat menghasilkan gejala serupa.

Pasang versi aplikasi, driver, atau runtime yang didukung untuk platform persis tersebut, dan gunakan build standar atau cadangan yang terdokumentasi dari vendor jika diperlukan. Pembaruan perangkat lunak tidak dapat menciptakan instruksi yang tidak dimiliki prosesor. Perubahan firmware dan kebijakan keamanan harus mengikuti prosedur produsen sistem serta rencana pemulihan, bukan resep optimasi umum.

Fitur terkait dan perbedaan yang berguna

Extended Page Tables (EPT) · VT-x · Execute Disable (NX) · OS Guard dan SMEP

Sumber dan cakupan penjelasan ini

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

Referensi ini menetapkan perilaku arsitektur dan persyaratan perangkat lunak. Referensi tersebut tidak memverifikasi secara independen setiap nilai fitur pada halaman model perangkat keras yang ditautkan. Untuk dukungan model, gunakan bukti produsen pada halaman tersebut dan periksa konfigurasi sistem efektif. Artikel ini tidak menyediakan tolok ukur, sertifikasi, atau tanggal tinjauan independen.

Terkait

Entitas-entitas ini terhubung ke artikel ini. Jenis ditampilkan di setiap tautan.

Sumber dan verifikasi

Kepemilikan editorial: Feex. Tidak ada tanggal peninjauan independen yang dicatat. Cara kami meneliti.

• Intel 64 and IA-32 Architectures Software Developer's Manual · Volume 1 dan 2 menjelaskan keluarga instruksi yang disebutkan serta CPUID; Volume 3 menjelaskan status, paging, VMX, dan kontrol proteksi. Dokumentasi arsitektur tidak menetapkan dukungan untuk model tertentu.