Table of Contents
فبدون نظام حاسوبي ذي أداء رفيع، تشكل الهياكل الأساسية التي تقوم على أساسها أجهزة الحاسوب الأكثر طلباً، وتستكشف في جميع مجالات العلم والهندسة والتنبؤ بالطقس والنماذج المالية، والأمن الوطني، وتدمج هذه النظم عشرات الآلاف من المجهزين، والترابطات العالية السرعة، ونظم الملفات المتوازية، والتبريد المتطور، وتعمل على حدود تحقق واسعة النطاق، وتتحقق من صحة عملية التثبت من العناصر المكونة من العناصر المكونة من كل جهاز من أجهزة وبرامجيات.
الأهمية الاستراتيجية للتحقق في لجنة البرنامج والتنسيق
فالتحقق في هذا البرنامج يتجاوز كثيراً الاختبار الوظيفي الأساسي، ويعالج المخاطر الفريدة التي تنشأ عندما تنفذ مليارات العمليات العائمة في الثانية على نسيج متوازي على نطاق واسع، كما أن وجود خطأ غير مكتشف في نظام الذاكرة الواحدة يمكن أن يؤدي إلى حدوث أضرار في المناخ لمدة شهرين، مما يؤدي إلى إبطال النتائج التي تؤثر على قرارات السياسة العامة، وفي اكتشاف المخدرات، يمكن أن تشمل مسارات متزامنة غير مقصودة من مراحل البحث.
:: تعقيدات جداول التحقق بحجم النظام - يمكن أن تحتوي نظم القيادة الحديثة، مثل النظم الموجودة في قائمة Top500 ]، على أكثر من 000 100 عقدة ذات نسيج مترابط مع العرف، ويجب التحقق من كل عقد على حدة، ويجب التحقق من السلوك الجماعي في إطار أعباء العمل الموازية، وهذا يتطلب منهجية تحقق متعددة المستويات تفصل بين الأجهزة، وتقنيات التشغيل الجاهزة.
تقنيات التحقق المؤسسي: النظم ذات البرمجيات الجاهزة والنظم المنخفضة المستوى
التحقق من المعدات الحاسوبية وحرقها
(أ) قبل تشغيل أي مجموعة من مجموعات المركبات الخطرة، يخضع كل عنصر مادي للتحقق من المعدات، وعلى مستوى الرقائق، يستخدم المصنّعون أجهزة ذاتية مُنشَّأة في الهواء، تُقدّم أجهزة التلقيح ذاتياً في مواقع الارتداد، وتُثبت هذه الأجهزة [الترددات] [الترددات الخافضة]، وتُظهر أوجه الاضطرابات في مرحلة مبكرة.
التحقق من صحة البيانات التي يمكن التحقق منها على نحو خاص لأن نماذج التصحيح والفحص الذاتي هي أكثر النقاط تكراراً للأخطاء العابرة، كما أن الاختبارات مثل mem86 و اختبارات التشخيص على أساس المقياس المرجعي ]
(ج) التحقق من الوصلات المتبادلة هو مجموعة أساسية من اختبارات المعدات، إذ إن الموانع المائلة، وأجهزة التليفزيون العالي، والأقطاب الأوكسجينية، تتطلب التدريب على الرابط، وقياس التلويث، والتحقق من سلوك مكافحة الازدحام، وتتسبب أدوات مثل اختبارات التحلل [FLT:] ، وعمليات التشخيص الخاصة بالبائع في تقييم النطاق الترددي ومعدلات الاصطناعية.
برامجيات النظام وتقييم البرمجيات
ويمكن أن تؤدي عمليات التحقق إلى حزمة من المواد الكيميائية، أو إلى برمجيات غير صحيحة، أو إلى برمجيات مثبتة، أو إلى برمجيات متطورة، أو إلى برمجيات مثبتة، أو إلى تداخل في القيمة، أو إلى تداخل في جميع أنواعها، أو إلى تآكل في جميع أنواعها.
On the software side, the compilation toolchain must be verified to produce correct binaries. Compiler fines are rare but destroyed; they can introduce subtle numerical errors such as the GCC teste [FLFF:1] and
التحقق من صحة الحاويات والزوارق
(ب) بالإضافة إلى ذلك، تعتمد مراكز البرمجيات الحديثة بشكل متزايد على الحاويات (الدوكر، والعقيدة/الاحتواء) والنماذج البيئية لإدارة أكوام البرمجيات، وتشمل التحقق من أن الحاويات غير قابلة للاشتعال، وإعادة إنتاج المكتبات المتوقعة، وعدم حدوث تصعيد في الامتيازات.
كما يشمل التحقق من البيئة في أوقات الدوام التحقق من نماذج البرمجة مثل برنامج الأغذية العالمي وبرنامج العمل الإنساني الدولي وبرنامج العمل العالمي لمكافحة التصحر. وتُجرى برامج الاختبار التي تمارس ذريات الاتحاد العالمي لحفظ الطبيعة، ومجموعات التعاونيات، والذاكرة الموحدة على كل عقد معجل لضمان التصرفات التي تجري على النحو المحدد، وبالنسبة لنظم متعددة الأطراف، يجب التحقق من عملية نقل البيانات عن طريق النطاق الترددي للأنباء، والارتقاء بحجم العمل غير النهائي.
التحقق من الأداء: تحديد المعايير والتفصيل
(أ) التحقق من أن نظام HPC يفي بأداء الإعلان عنه هو تخصص متميز عن التصحيح الوظيفي، ويعتمد على المعايير القياسية الموحدة وحجم العمل المعتاد.
ويتطلب التحقق من الأداء أيضاً تحديد أدوات مثل [(FLT:0]TAU]، HPCToolkit ]، و S-Iuts-([FLPEC:5]) هذه الأدوات لقياس وقت التنفيذ، وحسابات الأداء المثلى، وعدم تأكيد أنماط الأداء
(ب) معالجة الطلب المتزايد على أعباء عمل الفيلق العالي جداً، وتتحقق هذه المعايير من أن أداء التدريب والاختبار يلبي التوقعات المتعلقة بمجموعات وحدات التصوير العالمي، وتشمل سيناريوهات تدريب موزعة مع تف.داتا وهوروفود، وينبغي أن تُدرج المراكز على الأقل معياراً واحداً من معايير المحاسبة البيئية في دورة التعلم العادية للأداء، كزيادة فريدة في أنماط الاتصال.
عبء العمل العرفي وفحص القبول
(ج) إن كل مركز من مراكز التلقيح يطور عادة مجموعة اختبارات القبول استناداً إلى تطبيقات المستخدمين الرئيسية، وقد يشمل ذلك عمليات تمثيلية صغيرة من نماذج مثل [مواقع FLT:0] ، أو أي معايير تتعلق بقابلية التلقيم (Wather)، أو
وثمة اتجاه متزايد يتمثل في استخدام golden runs]-reference outputs produced on a validated, stable system version. Any subsequent rerun on the same equipment should produce similar results (within machine epsilon for floating —point).
التحقق المتقدم في مجال عمليات الطرد
إدمان الآلات
(أ) عدم وجود نظام تشخيصي متطور، أو عدم وجود أي نظام تشخيصي متطور، أو أي نوع من أنواع التكرار، أو أي نوع من أنواع التكرار، أو أي نوع من أنواع التكتل، أو أي نوع من أنواع التكتل، أو أي نوع من أنواع التكتل، أو أي نوع من أنواع التكرار، أو أي نوع من أنواع التكرار، أو أي نوع من أنواع التكرار، أو التكرار، أو التراكم أو التراكم أو التراكم أو التراكم أو التراكم أو التراكم.
مواصلة التكامل/التحقق المستمر (CI/CV) من أجل برنامج عمل بيجين
اقتراض من ممارسات أجهزة الحفر، أو إنشاء مواقع حديثة للتشغيل العالي، أو إجراء اختبارات للتشغيل المكثف، أو التحقق من جميع البرمجيات على أساس ليلي أو على أساس الافتراضي، أو إجراء اختبارات للتشغيل السريع، أو إجراء اختبارات للتشغيل المزدوج، أو إجراء اختبارات للتشغيل المكثف (D-FT:1])
وتمتد مراكز عديدة نطاق تطبيقات تكنولوجيا المعلومات/المركبات لتشمل اختبار القبول بعد كل برامجيات رئيسية أو تغيير في برامجيات الحواسيب، وعلى سبيل المثال، وبعد تحديث نظام ملفات لوستري، تجري مجموعة قياسية موازية من طراز I/O تلقائيا؛ وإذا ما توقفت عمليات الخفض الإجمالية في نطاق الترددات بأكثر من 5 في المائة، فإن عملية النشر تتوقف وتبدأ إجراءات الاسترداد.
التوابع الرقمية والتصورات الافتراضية
(أ) قبل تركيب الأجهزة المادية، يبدأ التحقق الآن بتحفيزات رقمية عالية الجودة لنظام HPC نفسه، وتحتوي هذه النماذج الافتراضية على مجهزات، وربطات، وتبريد، وتوريد الطاقة، مما يتيح للمهندسين التحقق من خيارات التصميم، وتقديرات الأداء، وآليات القدرة على التكيف، وعلى سبيل المثال يمكن محاكاة الطبقات المترابطة مع
آليات كشف الأخطاء والإصلاح
A critical subset of verification is the detection and correction of errors that occur during operation. hardware mechanisms like ECC memory, parity —protected caches[-of-LT:3], and CRC/ checksums
وهناك تقنية ناشئة أخرى هي Software defined fault injection] باستخدام أدوات مثل ] FIM] (النموذج التجميعي للصوت الافتراضي - )، عن طريق ضخ بعض الارتباكات على مستوى التطبيق (مثل التحقق من الرسائل اليدوية أو عناصر الارتداد)، يمكن للمشغلين التحقق من نقطة التصحيح.
التحقق من الصنف المتجانس والمزدوج المحتوي على مواد الـ HPC
For[Fcelerated and FPGA —based systems adds complexity: each accelerator has its own memory space, error model, and coincidehronization requirements. Verification now includes GPU memtest variants, CUDA‐aware MPI. and check that data transfers via [FLT cloud verification]
التحقق من حمولات التعلم الآلاتي
(أ) نظراً لأن " مبادرة " (AI) أصبحت تشكل عبئاً رئيسياً من عبء العمل في مجال التركيز الحرفي، يجب أن يتناول التحقق الخصائص الفريدة للتدريب على الشبكات العصبية والاختبارات المرجعية، كما أن الأخطاء العديدة التي يمكن تحملها في الحوسبة العلمية قد تتسبب في تباين النماذج في التعلم العميق، وتشمل تقنيات التحقق [FLT:] التحقق من صحة النتائج
أفضل الممارسات ودراسات الحالات الواقعية في العالم
نظام الحدود الموسع
The deployment of Frontier at Oak Ridge National Laboratory, the first system to break the exascale barrier, involved an extensive verification campaign. Before the system was accepted, thousands of equipment soak tests were performed, and software integration was verified through a tiered approach: single‐node verification tests, then a few hundred nodes, finally the fullFK process included
التحقق التشغيلي في نظام الحاسوب المركزي
(ج) استخدام نظام حاسوبي موزع على نطاق العالم، وهو هيكل موزع شبيه بالهيكل الأساسي للشبكة، للتحقق المستمر من آلاف المواقع التي توجد بها، وتُعدّ الخدمات الآلية HAMMER اختبارات سحابية للتحقق من وحدة العلاج الطبيعي والتخزين وأداء الشبكات، وتُظهر أي موقع لا يفي باتفاقات مستوى الخدمة تلقائياً، وتُعدّل طريقة تحديد مسار العمل تبعاً لذلك.
التحقق في المركز الوطني للحواسيب العليا في سنغافورة
وتطبق لجنة التنسيق الوطنية استراتيجية تحقق متشابكة لنظامها الخاص بمقياس ASPIRE 2A، حيث تخضع كل عقد جديد لحرق لمدة 48 ساعة مع اختبارات الإجهاد، ثم تدمج في المجموعة وتخضع لسلسلة من الاختبارات المضللة للذاكرة عبر جميع وصلات النسيج، وتوضح أي علامة تدل على وجود خطأ واحد في لجنة حقوق الطفل نتائج قابلة للفحص من حيث الوزن.
التغلب على تحديات التحقق المستمر
وعلى الرغم من التقدم المحرز، لا تزال هناك تحديات عديدة، فالمقياس الخفي للنظم الخارجية يعني أن عمليات التحقق من النظام الكامل باهظة الثمن في الوقت والطاقة، كما أن عمليات أخذ العينات الاستراتيجية والاختبار العشوائية لا يمكن أن تحدث ثغرات في التغطية، ويتمثل التحدي الآخر في [التوقيت التراكمي] في اختبارات التصعيد الفعلي : مع تطور الأجهزة، يجب تحديث الرموز المرجعية لممارسة سمات جديدة (مثلاً،).
الاتجاهات المستقبلية والتكامل مع المنظمات غير الحكومية
وفي المستقبل، ستزداد تكامل تقنيات التحقق مع IOps منابر تقوم بتحليل القياسات عن بعد، والسجلات، والبيانات الوصفية الوظيفية في الوقت الحقيقي، ويمكن أن يدير وكلاء التحقق من الجودة أعمالاً تشخيصية على أساس الكبريت، مع وضع خريطة صحية مستمرة للنظام.
وثمة اتجاه واعد آخر يتمثل في استخدام التحقق الرسمي لمكتبات الاتصالات الحرجة وخوارزميات الجدول الزمني، وفي حين أن التحقق الرسمي الكامل من مجموعة كاملة من المواد الكيميائية الخطرة التي لا تزال غير قابلة للتحصيل، فإن الأدلة المستهدفة على وجود خطوط محمولة أو سلامة الذاكرة في عمليات تنفيذ نظام إدارة المحتوى في المؤسسة أصبحت عملية.
فالتحقق الفعال هو هندسة كهربائية متعددة التخصصات، وعلوم الحاسوب، والإحصاءات، وخبرة في المجال، واعتماد استراتيجية تحقق مطبقة من خط أنابيب الحرق المتطور وأجهزة المراقبة المركزية/المركبات إلى أجهزة الكشف عن الشذوذ التي تحركها حركة تحرير الكونغو، والتوائم الرقمية - الفيلق يمكن أن يوفر الموثوقية والأداء اللازمين لاكتشافات الاكتشافات الأرضية، أما بالنسبة لمن يديرون مجموعات أصغر فتظل المبادئ قابلة للتقسيم: