System-Level Isolation for Mixed-Criticality RISC-V SoCs: A "World" Reality Check
تقدم هذه الورقة تحليلاً مقارناً وتنفيذاً عملياً لأساليب عزل الأجهزة من نوع RISC-V للأنظمة على شرائح (SoCs) ذات الأهمية المختلطة، مما يثبت أن فاحصاً معدلاً قائماً على نظام "العالم" (World-based checker) يوفر زمن انتقال أسوأ حالة أفضل، وقابلية توسع يمكن التنبؤ بها، وخفضاً في المساحة يصل إلى 5% مقارنة بالبدائل، مما يساهم في توجيه عملية المصادقة على المواصفات المستقبلية وتصميم الأنظمة على شرائح.
البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل
في عالم الإلكترونيات الحديث، غالبًا ما تعمل شريحة واحدة كدماغ لكل شيء، بدءًا من السيارة التي تقودها وصولًا إلى الروبوت في المصنع الذي يصنعها. هذه الشرائح، المعروفة باسم "الأنظمة على شريحة" (systems-on-chip)، مزدحمة بأجزاء مختلفة تعمل معًا: بعضها يتعامل مع مهام بسيطة، بينما يدير البعض الآخر وظائف سلامة حيوية للحياة. وللحفاظ على سلامة هذه الأنظمة، يجب على المهندسين ضمان أن خطأً أو هجومًا خبيثًا على جزء منخفض الأولوية لا يمكن أن ينتشر إلى الأجزاء عالية الأولوية. تخيل مبنى مكاتب مزدحمًا حيث تشترك غرف البريد، والأجنحة التنفيذية، وغرفة الخوادم في نفس الممر؛ إذا تم اختراق غرفة البريد، يجب على النظام الأمني منع المتسلل من الوصول إلى غرفة الخوادم. لعقود من الزمن، اعتمدت شرائح الكمبيوتر على طرق محددة، وغالبًا ما تكون مملوكة لجهات معينة، لإنشاء هذه الجدران غير المرئية، ولكن مع نمو شعبية بنية RISC-V مفتوحة المصدر لهذه الأدوار الحرجة، يتساءل المهندسون عما إذا كانت الأدوات الحالية لبناء هذه الجدران قوية بما يكفي، وسريعة بما يكفي، ومرنة بما يكفي للمستقبل.
لقد وضع فريق من الباحثين من جامعات وشركاء صناعيين في البرتغال وألمانيا هدفًا لفحص أحدث المقترحات لهذه الجدران الأمنية ضمن منظومة RISC-V. وقد ركزوا على ثلاث طرق محددة مصممة لمنع الوصول غير المصرح به بين أجزاء الشريحة المختلفة. الطريقة الأولى، المسماة IOPMP، تعمل مثل قائمة مفصلة من القواعد التي تتحقق من كل طلب مقابل قاعدة بيانات لترى ما إذا كان مسموحًا به. أما الطريقة الثانية، المعروفة باسم "فاحص العالم" (World Checker)، فتستخدم نهجًا أبسط وأسرع حيث يتم تخصيص "وسم عالم" لكل طلب، ويتحقق النظام مما إذا كان هذا الوسم مسموحًا له بدخول منطقة معينة. أما الطريقة الثالثة، SmMTT، فهي مقترح أحدث يعزل نطاقات البرمجيات ولكنه يعتمد على أسلوب إدارة مختلف. قام الباحثون ببناء نسخ عتادية عاملة لهذه الأنظمة الثلاثة واختبرتها داخل شريحة كمبيوتر محاكية ليروا كيف سيكون أداؤها تحت المتطلبات الصارمة للأنظمة ذات الوقت الفعلي، حيث يمكن أن يتسبب حتى التأخير الضئيل في فشل السلامة.
اكتشف الفريق أن سرعة وقابلية التنبؤ بعمليات التحقق الأمنية تختلف بشكل كبير. فقد أثبت "فاحص العالم"، في شكله القياسي، أنه الأداء الأكثر اتساقًا؛ حيث أضاف تأخيرًا ثابتًا وضئيلًا لكل معاملة، مما يعني أن النظام يمكنه دائمًا التنبؤ بالوقت الذي سيستغرقه التحقق الأمني بالضبط، بغضًا عن عدد القواعد الموجودة. وهذا التنبؤ أمر حيوي للتطبيقات المتعلقة بالسلامة مثل أنظمة كبح السيارات، حيث يجب أن يكون التوقيت دقيقًا. وفي المقابل، فإن طريقة IOPMP، رغم مرونتها، تسببت في تأخير متغير؛ إذ اعتمدت سرعتها على مكان وجود القاعدة الصحيحة في قائمتها؛ فإذا كانت القاعدة في مكان عميق في القائمة، كان على النظام الانتظار لفترة أطول للعثور عليها. وهذا النوع من عدم القدرة على التنبؤ يجعل من الصعب ضمان استجابة نظام السلامة في الوقت المناسب أثناء حالات الطوارئ. كما وجد الباحثون أن "فاحص العالم" استخدم موارد مادية أقل على الشريحة عندما كان عدد القواعد الأمنية صغيرًا، مما يجعله خيارًا فعالًا للتصميمات الأبسط.
ومع ذلك، أدرك الباحثون أن "فاحص العالم" القياسي لديه قصور عند التعامل مع الشرائح الحديثة المعقدة التي تحتوي على العديد من المناطق الأمنية المختلفة. فقد عانى التصميم الأصلي من صعوبة في التوسع بكفاءة عندما يزداد عدد الهويات الأمنية المختلفة، مما يتطلب مساحة أكبر على الشريحة مما هو ضروري. ولحل هذه المشكلة، أعاد الفريق تصميم "فاحص العالم". لقد أنشأوا نسخة جديدة يمكنها التعامل مع عدد أكبر من الهويات الأمنية دون تضخيم حجم الشريحة. قدم هذا الفاحص المعدل طريقة أكثر مرونة لتحديد مناطق الذاكرة، مما سمح للمهندسين بحماية مناطق الذاكرة المتناثرة أو غير منتظمة الشكل دون إهدار المساحة. كما قاموا بتغيير كيفية تخزين الأذونات، مستبدلين كتلة واحدة كبيرة من البيانات بمدخلات أصغر ومحددة. هذا التغيير يعني أنه مع زيادة عدد الهويات الأمنية، ظل الفاحص المعدل فعالاً، بينما كان النسخة القياسية ستنمو بشكل كبير لدرجة تجعلها غير عملية.
عندما اختبر الباحثون هذه التصميمات الجديدة، أظهرت النتائج مسارًا واضحًا لمستقبل تطوير الشرائح. حافظ "فاحص العالم" المعدل على نفس السرعة السريعة والقابلة للتنبؤ مثل النسخة الأصلية، ولكنه توسع بشكل أفضل بكثير مع زيادة تعقيد النظام. وفي عمليات محاكاة لشريحة كمبيوتر كاملة، قدر الباحثون أن استخدام تصميمهم المحسن يمكن أن يقلل المساحة الفيزيائية الإجمالية المطلوبة لنظام الأمن بنسبة تصل إلى خمسة بالمائة مقارنة بالتصميم الأساسي. ورغم أن خمسة بالمائة قد تبدو ضئيلة، إلا أن هذا التوفير في عالم تصنيع الشرائح، حيث المساحة ثمينة وتُنتج ملايين الشرائح، يترجم إلى تخفيضات كبيرة في التكاليف والقدرة على وضع المزيد من الميزات في نفس الحجم. أما طريقة IOPMP، فرغم قدرتها على دعم عدد هائل من الهويات، فقد تطلبت باستمرار مساحة أكبر وتسببت في تأخيرات متغيرة أكثر، مما جعلها أقل ملاءمة للاحتياجات الزمنية الصارمة للأنظمة المتعلقة بالسلامة.
تخلص الدراسة إلى أنه بالنسبة للجيل القادم من شرائح RISC-V، وخاصة تلك المستخدمة في السيارات والآلات الصناعية، فإن نهج "فاحص العالم" يقدم الأساس الأكثر موثوقية. إن تعديلات الباحثين تعالج نقاط الضعف المحددة في التصميم الأصلي، مما يضمن أنه مع ازدياد قوة هذه الشرائح وتوليها مهام أكثر تعقيدًا، يمكن لأنظمتها الأمنية أن تنمو معها دون التضحية بالسرعة أو السلامة. ومن خلال جعل تصاميمهم العتادية ونتائج اختباراتهم متاحة للجمهور، يأمل الفريق في التأثير على المعاياي الرسمية لـ RISC-V، لضمان أن المواصفات النهائية تدعم هذه الآليات الأمنية الفعالة والقابلة للتنبؤ والتوسع. ويشير عملهم إلى أن مستقبل الحوسبة المفتوحة والآمنة يكمن في الأنظمة التي يمكنها عزل المهام المختلفة بكل سرعة ويقين، مما يمنع فوضى المكونات المخترقة من إسقاط الآلة بأكملها.
غارق في أبحاث مجالك؟
تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.