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

BMI2

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

تضيف BMI2 عمليات البت والأعداد الصحيحة القياسية في x86 مثل إيداع/استخراج البتات المتوازي والإزاحات المتغيرة والضرب المستقل عن الأعلام. وهي منفصلة عن BMI1.

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

تضيف BMI2 عمليات البت والأعداد الصحيحة القياسية في x86 مثل إيداع/استخراج البتات المتوازي والإزاحات المتغيرة والضرب المستقل عن الأعلام. وهي منفصلة عن BMI1.

كيف يعمل

تجمع PEXT بتات الإدخال المحددة في نتيجة ذات ترتيب منخفض وكثيفة؛ وتوزع PDEP بتات الإدخال ذات الترتيب المنخفض إلى مواضع محددة بواسطة قناع. تتضمن تعليمات BMI2 الأخرى BZHI وMULX وRORX وSHLX وSHRX وSARX. وتعمل هذه على سجلات الأعداد الصحيحة القياسية على الرغم من استخدامها لترميز VEX.

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

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

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

يُدرج البت 8 في CPUID.07H.00H:EBX ميزة BMI2. تحقق من الأداء المحدد للهدف للتعليمات المستخدمة فعليا واحتفظ بالتوزيع خارج الكود المترجم الذي يتطلب ميزات غير مدعومة.

تحقق من صيغة التعليمة والمعامل بدقة بدلاً من استنتاج الدعم من ملحق مجاور. تستخدم ميزات الأعداد الصحيحة القياسية (scalar) عادةً سجلات الأغراض العامة؛ ولا يعني الترميز المرتبط بالمتجهات تلقائيًا وجود متطلب لحالة المتجهات.

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

BMI2 ليست امتدادا لمتجهات AVX ولا تتطلب حالة YMM لمجرد أن الترميز هو VEX. وهي لا تثبت وجود ADX أو BMI1. تختلف MULX عن الضرب التقليدي في سلوك السجلات والأعلام.

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

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

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

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

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

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

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

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

Intel 64 and IA-32 Architectures Software Developer's Manual · x86-64 psABI: مستويات بنية المعالج والبنية الدقيقة

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

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

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

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

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

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