SGX

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

بيشتغل إزاي

SGX بتحدد آليات دخول وخروج وذاكرة الـ enclave، مع كاش لصفحات الـ enclave بيتم إدارته بدعم من المنصة ونظام التشغيل. تطبيق الـ enclave بيفصل بين الأجزاء الموثوقة وغير الموثوقة، وممكن يستخدم الـ attestation عشان يثبت هوية الـ enclave. حجم ذاكرة الـ enclave القابلة للاستخدام وسياسة الإطلاق المدعومة بتعتمد على المنصة نفسها.

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

التطبيق يقدر يحط العمليات الحسابية المحدودة والأسرار جوه enclave، ويعتبر البيئة المضيفة اللي حواليه بره حدود ثقته. عمليات الـ I/O، والمدخلات غير الموثوقة، وسلوك الاستثناءات، واعتبارات الـ side-channel بتفضل محتاجة تصميم صريح.

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

اتأكد من CPUID.07H.00H:EBX bit 2 وبيانات CPUID leaf 12H الخاصة بـ SGX، وبعدين اتأكد من إعدادات الـ firmware، ودعم الـ driver والـ runtime، ومتطلبات الـ attestation للتطبيق. اتبع الإعدادات المدعومة للمنصة بالظبط.

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

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

تصنيف SGX مش بيحدد تفاصيل SGX1/SGX2، أو التحكم المرن في الإطلاق (flexible launch control)، أو توفر خدمة الـ attestation، أو سعة محددة لذاكرة الـ enclave. ومش بيخلي التطبيقات العادية غير المعدلة سرية ولا بيمحي كل الـ side channels.

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

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

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

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

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

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

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

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

Trusted Execution (Intel TXT) · AMD SEV · Execute Disable (NX)

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

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 بيوصف الحالة، وتقسيم الذاكرة (paging)، و VMX، وضوابط الحماية. وثائق المعمارية مش بتثبت الدعم لموديل معين.
• المرجع البرمجي لـ Intel SGX للمطورين · مشروع الـ SDK والـ runtime الرسمي ومراجعه لتشغيل الـ enclave. المتطلبات الدقيقة للمنصة والـ attestation بتفضل خاصة بكل تطبيق.