Mode-Based Execute Control

ما تحتاج إلى معرفته

كيف يعمل

مع تمكين التحكم ذي الصلة لتنفيذ الجهاز الافتراضي (VM-execution control)، تميز دلالات أذونات EPT أنماط تنفيذ النظام الضيف. يتيح ذلك لبرنامج مراقبة الأجهزة الافتراضية تطبيق سياسات تعامل تنفيذ المستخدم والنواة بشكل مختلف في مرحلة الترجمة الثانية. يجب على برنامج مراقبة الأجهزة الافتراضية حصر عناصر التحكم وتكوينها بشكل صحيح.

مواضع فائدتها

يمكن لتصميم الحماية القائم على المحاكاة الافتراضية استخدام أذونات التنفيذ المتمايزة كأحد اللبنات الأساسية. يظل نظام التشغيل الضيف وسياسة المضيف هما من يحدد ما تتم حمايته وكيفية معالجة الأخطاء؛ الميزة وحدها لا تفعل منتجاً أمنياً.

كيفية التحقق من الدعم والتمكين

افحص عناصر تحكم قدرات VMX الموثقة في دليل SDM وواجهة الحالة/القدرات المدعومة لبرنامج مراقبة الأجهزة الافتراضية. تحقق من تكوين EPT والمنصة بشكل منفصل. لا يمكن لقائمة ميزات CPUID لتطبيق عادي أن تصف بالكامل سياسة برنامج مراقبة الأجهزة الافتراضية النشطة.

يحتوي النشر الافتراضي على عدة طبقات: القدرة المادية، وإذن البرامج الثابتة، وبرنامج المراقبة الفوقي المضيف النشط، وقدرات الضيف المتاحة، ودعم نظام تشغيل الضيف. تحقق من الطبقة التي تعمل فيها العملية فعليًا، بما في ذلك المحاكاة الافتراضية المتداخلة عند الاقتضاء.

ما لا تثبته هذه الميزة

هذه الميزة ليست مماثلة لـ NX أو SMEP، ولا ينشئ التصنيف العام المستورد السلوك الدقيق للمكافئ في AMD. وهي لا تثبت تمكين الأمان المستند إلى المحاكاة الافتراضية أو أن الجهاز يلبي كل متطلبات ميزة معينة في نظام التشغيل.

التوافق والأداء في الممارسة العملية

يعد تنفيذ وحدة المعالجة المركزية، وترجمة ذاكرة الضيف، وإعادة تعيين DMA للأجهزة مرافق منفصلة. لا تستنتج وجود التمرير أو العزل من حقل افتراضي واحد. واستخدم الوسائل التشخيصية المدعومة لبرنامج المراقبة الفوقي ومتطلبات المنصة/الجهاز المحددة بدقة.

قائمة عملية للتحقق

1. سجل الطراز الدقيق للمعالج أو المنصة، بالإضافة إلى إصدارات التطبيق ونظام التشغيل وبيئة التشغيل المعنية. واحتفظ بنص الخطأ الفعلي أو المتطلب كما هو.
2. راجع مرجع الشركة المصنعة لذلك الطراز بدقة، ثم افحص القدرة الفعلية وحالة التمكين في البيئة التي يعمل فيها البرنامج.
3. قارن كل متطلب من متطلبات الملف الثنائي أو الواجهة الخلفية المحددة. فوجود ميزة ذات اسم مشابه أو اسم بديل أو تصنيف تقني عام ليس كافيًا.
4. تأكد من أن التطبيق قد اختار التنفيذ المطلوب. واستخدم وسائله التشخيصية الموثقة والبديل الاحتياطي المدعوم عندما لا يتم استيفاء المتطلبات.
5. قم بإجراء تغيير مدعوم واحد في كل مرة وأعد تنفيذ نفس حمل العمل. واحتفظ بالتهيئة الأصلية ومسار الاسترداد متاحين.

إذا كانت الميزة مدرجة ولكن يتعذر على البرنامج استخدامها

ابدأ بالمكون الفعلي الذي حدث فيه الفشل. تصف قاعدة بيانات الأجهزة القدرات المسجلة؛ ولكن يمكن لنظام التشغيل أو برنامج المراقبة الفوقي (hypervisor) إتاحة بيئة فعلية مختلفة. ويتطلب خطأ التعليمة غير الصالحة (illegal-instruction) أيضًا فحص التعليمة المتسببة في الخطأ وبنية الملف الثنائي، لأن التلف أو وجود تعليمة غير مدعومة لا صلة لها بالأمر قد يُحدث أعراضًا مماثلة.

ثبت إصدار التطبيق أو برنامج التشغيل أو بيئة التشغيل المدعومة للمنصة المعنية بدقة، واستخدم البنية الأساسية أو الاحتياطية الموثقة من الشركة المصنعة عند الحاجة. لا يمكن للتحديث البرمجي إنشاء تعليمة يفتقر إليها المعالج. ويجب أن تتبع تغييرات البرامج الثابتة وسياسات الأمان إجراءات الشركة المصنعة للنظام وخطة استرداد، بدلاً من اتباع وصفة تحسين عامة.

الميزات ذات الصلة والفروق المفيدة

Extended Page Tables (EPT) · VT-x · تعطيل التنفيذ (NX) · OS Guard وSMEP

مصادر ونطاق هذا التوضيح

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

تحدد هذه المراجع السلوك المعماري ومتطلبات البرمجيات. وهي لا تتحقق بشكل مستقل من قيمة كل ميزة على صفحة طراز عتاد مرتبطة. للحصول على دعم الطراز، استخدم أدلة الشركة المصنعة في تلك الصفحة وتحقق من تهيئة النظام الفعلية. لا تقدم هذه المقالة مقياس أداء أو شهادة اعتماد أو تاريخ مراجعة مستقلة.

ذات صلة

ترتبط هذه الكيانات بهذه المقالة. يتم عرض النوع في كل رابط.

المصادر والتحقق

الملكية التحريرية: Feex. لم يتم تسجيل تاريخ مراجعة مستقلة. كيف نقوم بالبحث.

• Intel 64 and IA-32 Architectures Software Developer's Manual · يصف المجلدان 1 و2 عائلات التعليمات المحددة وCPUID؛ بينما يصف المجلد 3 عناصر التحكم في الحالة والترقيم الصفحي وVMX والحماية. ولا تثبت وثائق المعمارية الدعم لطراز معين.