التقنية
تبني الأمان الذاكرة والتقسيم الدقيق مع CHERI
يناقش ديفيد تشيسنال كيف تعيد بنية CHERI للأجهزة تعريف سلامة المؤشرات لحل تحديات العزل والمشاركة. تتيح CHERI الأمان المكاني والزماني للذاكرة لـ C/C++، وتتوسع إلى وحدات التحكم الدقيقة مع CHERIoT، وتستبدل آليات RPC على مستوى نظام التشغيل الآلية بإنشاء تقسيم خفيف الوزن وقابل للتدقيق.
اقرأ المزيد ←