Second-Level Address Translation

اللي محتاج تعرفه

بيشتغل إزاي

جداول الصفحات الخاصة بالضيف بتوصف الذاكرة الافتراضية بتاعته. عملية ربط تانية بيتحكم فيها الـ hypervisor بتربط العناوين الفعلية للضيف الناتجة بذاكرة المضيف وصلاحيات الوصول. المعالج بيجمع بين المرحلتين حسب قواعد الترجمة والكاش الخاصة بالمعمارية.

المجالات المفيدة فيها

الـ hypervisor يقدر يتجنب صيانة بعض أشكال shadow page tables ويخلي العتاد هو اللي ينفذ الفحص المرحلي (staged walk) بدالها. العبء الإضافي المتبقي بيعتمد على حجم الصفحة، وتخزين الـ nested-walk في الكاش، وسلوك الـ TLB، وتمركز ذاكرة الضيف (locality).

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

حدد الشركة المصنعة للمعالج وافحص إمكانيات EPT أو NPT المقابلة من خلال أدوات الفحص المدعومة في الـ hypervisor. راجع المتطلبات الكاملة للميزة اللي بتشغلها، بما فيها دعم الـ firmware ونظام التشغيل.

النشر الافتراضى فيه طبقات متعددة: الإمكانية المادية، وسماح الـ firmware، والـ hypervisor النشط على المضيف، وإمكانيات الضيف المعروضة، ودعم نظام تشغيل الضيف. افحص الطبقة اللى بتشتغل فيها العملية فعلياً، بما فى ده المحاكاة الافتراضية المتداخلة لو كانت موجودة.

اللى الميزة مش بتثبته

SLAT مش بت CPUID عام ومنفصل، ولا بديل لـ IOMMU، ولا إثبات لدعم منتج محاكاة افتراضية معين لنظام التشغيل. خانة SLAT العامة بتحتاج تفسير خاص بالشركة المصنعة ومش بتضمن وجود كل ميزات الترجمة المتقدمة.

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

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

قائمة تحقق عملية للتأكد

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

لو الميزة مدرجة بس البرمجيات مش قادرة تستخدمها

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

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

ميزات مرتبطة واختلافات مفيدة

Extended Page Tables (EPT) · NPT و RVI · VT-x · AMD-V و SVM

المصادر ونطاق الشرح ده

Intel 64 and IA-32 Architectures Software Developer's Manual · AMD64 Architecture Programmer's Manual, Volume 2: System Programming

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

ذات صلة

العناصر دي مرتبطة بالمقالة دي. النوع موضح على كل رابط.

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

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

• Intel 64 and IA-32 Architectures Software Developer's Manual · المجلدان 1 و 2 بيوصفوا عائلات التعليمات المحددة و CPUID؛ المجلد 3 بيوصف الحالة، وتقسيم الذاكرة (paging)، و VMX، وضوابط الحماية. وثائق المعمارية مش بتثبت الدعم لموديل معين.
• AMD64 Architecture Programmer's Manual, Volume 2: System Programming · برمجة النظام، و SVM، والترجمة المتداخلة (nested translation)، المراجعة 3.46. عارض الوثائق الحالى بيطلب تشغيل JavaScript؛ الروابط للوثائق الأقدم ممكن تكون اتوقفت.