الانتقال إلى المحتوى

SGX

مرجع المعماريةFeex

يوفر Intel SGX، وهو Software Guard Extensions، مرافق تنفيذ الجيوب المعزولة (enclave) مع نموذج تهديد وواجهة برمجية محددين. دعم وحدة المعالجة المركزية (CPU) ليس كافيا لإثبات أن تطبيق الجيب المعزول يمكن تشغيله على نظام معين.

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

يوفر Intel SGX، وهو Software Guard Extensions، مرافق تنفيذ الجيوب المعزولة (enclave) مع نموذج تهديد وواجهة برمجية محددين. دعم وحدة المعالجة المركزية (CPU) ليس كافيا لإثبات أن تطبيق الجيب المعزول يمكن تشغيله على نظام معين.

كيف يعمل

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

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

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

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

تحقق من البتة 2 من CPUID.07H.00H:EBX ومعلومات ورقة CPUID رقم 12H الخاصة بـ SGX، ثم تحقق من تهيئة البرامج الثابتة، ودعم برنامج التشغيل/بيئة التشغيل، ومتطلبات الإثبات للتطبيق. اتبع التهيئة الدقيقة المدعومة للمنصة.

يجب التحقق من القدرة والتمكين وفرض السياسة كل على حدة. يمكن للمعالج أن يدعم حماية معينة بينما لا يفعّلها نظام التشغيل أو التطبيق أو سياسة الآلة الافتراضية. ولا يُعد حقل الدعم في قاعدة البيانات إثباتًا على حالة نظام قيد التشغيل.

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

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

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

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

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

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

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

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

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

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

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 عناصر التحكم في الحالة والترقيم الصفحي وVMX والحماية. ولا تثبت وثائق المعمارية الدعم لطراز معين.
  • التنفيذ المرجعي لمطوري Intel SGX · مشروع SDK/بيئة التشغيل الرسمي والمراجع لنشر الجيوب المعزولة. تظل متطلبات المنصة والإثبات الدقيقة خاصة بكل تطبيق.

هل كانت هذه المقالة مفيدة؟

يكفي الإجابة بنعم أو لا. اختر سببًا إذا أردت، أو أضف ملاحظة قصيرة.

هل كانت هذه المقالة مفيدة؟