PCLMULQDQ و CLMUL

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

بيشتغل إزاي

الضرب من غير ترحيل بيدمج أنماط البتات المزاحة باستخدام XOR بدل الترحيل المعتاد للأعداد الصحيحة، وده بينتج حاصل ضرب لكثيرات الحدود بحجم 128-bit من مدخلين كل واحد 64-bit. فيه قيمة فورية (immediate) بتختار quadword من كل مصدر 128-bit. الاختصار بمقياس كثيرة حدود مختارة (Reduction modulo) بيعتبر خطوة خوارزمية منفصلة.

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

تطبيق AES-GCM ممكن يستعمل عمليات الضرب من غير ترحيل عشان يسرع GHASH. الترتيب الصح للمعاملات، وتمثيل البايتات، والـ reduction هما حاجات أساسية؛ التعليمة لوحدها مبتنفذش دالة المصادقة كاملة. عمليات فحص كثيرات الحدود التانية ممكن تستعمل أساليب مشابهة مع كثيرات الحدود الخاصة بيها.

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

البت 1 في CPUID.01H:ECX بتحدد وجود تعليمة PCLMULQDQ القديمة. اتأكد من بت الـ vector carry-less multiplication المنفصلة وقواعد حالة AVX/AVX-512 لما تستعمل encodings أوسع. اتأكد إن البديل الاحتياطي للمكتبة بيحافظ على نفس العمليات الحسابية لكثيرات الحدود.

استخدم تطبيق تشفير محدث ومصان بيتعامل مع اختيار الميزات، وحالات الفشل، والخوارزمية كاملة. التسريع بالعتاد بيقدم أساسيات أولية؛ بس إدارة المفاتيح، والمصادقة، وقواعد الـ nonce، واختيارات البروتوكول بتفضل مسؤوليات برمجية.

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

PCLMULQDQ مش ضرب أعداد صحيحة عادي، ولا تعليمة تشفير AES، ولا أداة مصادقة رسائل كاملة. المسمى العام CLMUL ميثبتش دعم VPCLMULQDQ الأوسع. التوقيت ومعدل الإنتاجية بيعتمدوا على طريقة التطبيق.

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

حقل الميزة مش شهادة اعتماد للمنتج ولا دليل على ان تطبيق معين آمن. الأداء بيعتمد على أحجام الرسائل، والنمط، والدفعات (batching)، وباقى أجزاء البروتوكول. اتأكد من المزود الفعلى وخلى تحديثاته الأمنية جارية دايماً.

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

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

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

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

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

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

AES-NI · VAES · GFNI

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

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 بيوصف الحالة، وتقسيم الذاكرة (paging)، و VMX، وضوابط الحماية. وثائق المعمارية مش بتثبت الدعم لموديل معين.