Table of Contents
مقدمة: مُختص بمُعدّلات البرمجيات المُتسامحة في البرمجيات الحرة لرابطة الدول المستقلة
ويظل مجهزو نظام التعليم المعقد هو العمود الفقري للعديد من النظم الحيوية للبعثات، من الفيونيات ومراقبي السواتل إلى الزرع الطبي ومنابر التجارة العالية التردد، حيث أن هذه النظم تعمل في ظل ظروف بيئية شديدة، أو تقلبات درجات الحرارة، أو التدخل الكهرومغناطيسي - فإن احتمال ظهور أخطاء معمارية غير قابلة للتكييف، هو مجرد عملية معززة للتصميم المصممي.
Understanding CISC Processors: Complexity as a Double —Edged Sword
:: وضع هياكل أهلية تحدد أولويات مجموعة من التعليمات الغنية حيث يمكن للتعليمات أن تلخص عمليات متعددة منخفضة المستوى، مثل الوصول إلى الذاكرة، والحساب، وتدفق السيطرة، وتشمل الأمثلة الكلاسيكية تصميمات الإطار الرئيسي البالغ عددها 086 تصميما، وتسمح كثافة مجموعة التعليمات للمبرمجين بأن يعبروا عن عمليات معقدة بشكل موجز، وتخفض من حجم الشفرة ومتطلبات النطاق الترددي للذاكرة، بيد أن هذا التعقيد ينجم عن ذلك:
والتحدي الأساسي في التسامح إزاء خطأ رابطة الدول المستقلة هو التوتر بين النظام المعماري المطلوب لكشف الأخطاء بكفاءة، وعدم انتظام منطق السيطرة في رابطة الدول المستقلة، وكثيرا ما تنفذ مجهزات هذه الرابطة الحديثة باستخدام عمليات صغيرة )مجروح( تشبه التعليمات المتعلقة بمؤسسة " ريس " ، ولكن طبقة الترجمة والمحرك الخارجي يضاف فوقها يصعب حمايتها من خلال مخططات الاعادة التقليدية.
The Threat Landscape: Sources and Consequences of Faults
ويمكن تصنيف الإخفاقات في مجهزي مركز التعاون الدولي بشكل واسع إلى ثلاث فئات: خطئ البرمجيات ] (الاختلالات الدائمة أو الارتطام بالأجهزة غير المعتمدة)، أخطاء مؤثرة [مماثلة: 3]] (الاضطرابات الناشئة الناجمة عن الأشعة الكونية أو الجسيمات الألفية)
Proven Strategies for Enhancing Fault Tolerance in CISC Designs
وتدمج خطة شاملة للتسامح مع المجهزين التابعة للجنة المستقلة بين عدة مستويات من الحماية، من رموز الأخطاء على مستوى الأجهزة إلى تحديد نقاط التفتيش والتراجع على مستوى المنظومة، ونورد أدناه تفاصيل أكثر النهج فعالية، وكلها ذات التكلفة والتعقيد والتغطية.
قانون كشف الأخطاء والإصلاح
ويمكن حماية عناصر الذاكرة وأجهزة التلقيم من حيث التساوي أو أكثر قوة في مدونات تصحيح الأخطاء التي يمكن أن تستخدمها اللجنة الاقتصادية لأوروبا، أما التصويب الوحيد في مجال الضبط، والكشف عن المضاعفين فيمكن أن يكون الآن معياراً في العديد من نظم الاختبار والذاكرة، أما بالنسبة لمجهزي نظام الضبطيات المتطورة في كثير من الأحيان، فإن نظام التعادل بين المؤشرات الأساسية المتغيرة والمتغيرة والمتصلبة من مركز الإثراء(2).
الهياكل الأساسية والإعادة إلى الوطن
ويكرر التكرار المكاني وحدات الناقد للبيانات ويقارن النواتج، فالنهج الكلاسيكي هو التكرار الثلاثي، حيث تصوت ثلاث وحدات تنفيذية متطابقة على النتيجة، ولا يمكن للشركة أن تتساهل مع أي فشل في الوحدة، كما أنه شائع في المركبات الفضائية، وفي البلدان التي تعمل في مركز كومنولث الدول المستقلة، يُطبق معدل الارتداد في وحدات التنفيذ المتحركة والعائمة، وفي وحدة الأغلبية المعمارية.
اعادة الضبط والضبط المزدوج
أما البديل الأقل تكلفة لمعدل الوفيات بين الجنسين فهو تكرار ثنائي التحلل من حيث الضبط الدقيق، ولكن لا يوجد تصحيح فوري، وهناك نواة متطابقة تنفذ نفس التعليمات في الخفاء، وعلم المقارنات في أي اختلاف، وعند اكتشاف خطأ، يمكن للنظام العودة إلى نقطة تفتيش سابقة، أو إعادة تحديد التعليم، أو إذا كان التردد ثابتا، بدء عملية وقف ذات سمة.
التفتيش والانتعاش من جديد
(أ) إعادة تحديد المسارات غير المستقرة، مع اقتصار عمليات التكسير غير المستقرة، مع حدوث اختلالات في إطار نظام الدولة (الاختبارات، وضبط المحركات)
برمجيات صوتية وخط الدفن
وبالنسبة للنظم التي يجب أن تعمل في وجود أخطاء تعسفية (بيزانتين)، يمكن توسيع نطاق التصويت على المعدات بحيث يتجاوز التصويت بالأغلبية البسيطة، وتشتمل تقنيات مثل على تصميمات غير متطورة تشمل عمليات فحص متماسكة، أو على أجهزة إعادة التشغيل [FLT:RC:3] مع وجود مشغلات فضائية
مواد تقنية مجهزة بالبرمجيات ومزودة بأجهزة مغذية
(ب) بالإضافة إلى ذلك، فإن حماية البرمجيات لا يمكن أن تغطي جميع السيناريوهات الخاطئة، إذ أن التسامح القائم على البرمجيات المحتوية على البرمجيات المجمّعة (العمليات المجمّعة) (العملية المُعدّة على أساس البرمجيات) (العمليات التي تُستخدم في إطار البرمجيات) (العمليات التي تُعدّل)
إدارة التخلف التأديبي والتطبيقي
(أ) [مجهزو الكومنولث] بدأوا في إدراج نماذج للتعلم الآلي، تنبأ بالمناطق المعرضة للخطأ في الرقاقة استناداً إلى درجة الحرارة والفولط والمقاييس القديمة، ويمكن لشبكة عصبية صغيرة أن ترصد تأخير المسارات الحرجة وأن تعدل تواتر التوقيت أو التكرار في التصاميم، وذلك في كثير من الأحيان يُدعى [خط غلطة]
اعتبارات التصميم: تحقيق التوازن بين الموثوقية والأداء والتكاليف
ولا توجد طريقة مثالية للتسامح مع كل طلب، إذ يجب على المهندسين الذين يصممون مجهزي المركز أن يزنوا درجة حرجة النظام مقابل الزيادة المسموح بها في منطقة الموت، واستهلاك الطاقة، والتساهل، وبالنسبة لإمكانيات الفضاء العميق، تكون المنطقة والسلطة في أقساط، ولكن التغطية القصيرة يجب أن تقترب من 100 في المائة حتى يصبح معدل الوفيات بين الجنسين والمكتبات المتدفقة للإشعاع مبرراً في ظل وجود قيود شديدة على التعامل مع النوافذ.
- Fault Coverage:] The percentage of faults that the mechanism can detect or correct. Parity covers only single —bit errors; ECC covers more but adds latency. TMR masks almost all equipment faults but cannot protect against design errors.
- Performance Overhead:] Additional pipeline stages for voting, ECC correction delay, or checkpointing latency. In a CISC processor, the decode stage is already a bottleneck; added error checks can worsen the cycle time.
- Power and Thermal Impact:] Redundant logical increases dynamic power, and the votercuits themselves can become hot spots. careful floorplanning and clock gating of idle redundant modules are required.
- (ب) قابلية التجارب والصيانة: يجب أن تتضمن التصميمات المتسامحة القائمة ذاتياً للتحقق من صحة الوحدات الزائدة عن الحاجة، والقدرة على عزل وحدة غير صحيحة وتبادلها في إطار احتياطي أمر حاسم بالنسبة للبعثات الطويلة الأجل.
- Modularity:] A modular design allows faulttolerance techniques to be applied only to vulnerable submodules. For example, the integer execution unit may be triplicated while the FPU is left with only ECC, because floating highlypoint errors may be less critical in a given workload.
ويمكن إضفاء الطابع الرسمي على الحيز المتاح للمقايضة باستخدام تحليلات خاطئة ورسميات لبيئة الموثوقية، ويمكن توسيع بيئات المحاكاة مثل FreeRTOS أو المادة 5 بحقن خاطئ لتقييم التغطية قبل التلفيق.
دراسة حالة: مجهز للمناطق الفضائية (Stault-Tolerant x86-Derived Processor for Avionics)
A leading tripches of a CISC processor designed with enhanced fault tolerance is the BAE Systems RAD5545, used in the NASA Orion spacecraft. Although it is based on the PowerPC structure (often described as RISC, its microarchitecture shares many CISC —like complexities), a similar approach is used in radiationhardened x86 process
الاتجاهات المستقبلية: الصحة الذاتية والقدرة على التكيف
ويضم الجيل القادم من مجهزي أجهزة التأشيرات المسببة للخطأ أجهزة الاستشعار التشخيصية والآلات المتعلمة التي يمكن أن تتنبأ بالفشل الوشيك وأن تعيد تشكيل الأجهزة بصورة دينامية. ويستكشف الباحثون في و [التحكم في الجسم]
Another promising direction is the integration of counter —propagating wave logical] (a form of asynchronous design) that naturally resists singleevent transients. Combined with 3D stra-tacking, where spare cores reside on a separate die, future CISC processors could achieve near-zero downtime even in the harsh radiation environments.
خاتمة
فتصميم مجهزي لجنة الكومنولث المستقلة الذين يتسامحون مع الأخطاء المتقدمة يشكل تحديا متعدد الجوانب يتطلب تدقيقا في رموز التصحيحات الخاطئة، والتكرار المكاني، وتعيين البرمجيات، والانتعاش المدفوع بالبرمجيات، وفي حين أن تعقيدات لجنة الكومنولث المستقلة تجعل الحماية أكثر صعوبة من وضع خطط الاستثمار في مجال الصحة أو في مجال البرمجيات الحرة، فإن نفس الثراء الذي يجعل لجنة الكومنولث جذابة للمهام المعقدة يوفر أيضا فرصا لحصر في الخدع الاختلالات الدقيقة.
For further reading, see the IEE paper on fault tolerance in superscalar CISC processors and the ]ESA’s guidelines for radiation —hardened electronics.