أطلس السيليكونمرجع العتاد
English
المراجع/النظام كاملًا
الأنظمة والإدخال والإخراج

الامتياز والعزل والقنوات الجانبية

فرض قواعد الوصول وفهم ما قد يكشفه التوقيت.

فحص الصلاحيات المعماري ورصد البنية الدقيقة طبقتان مختلفتان.
الامتياز

يقيد العمليات الحساسة.

تجربة تفاعلية

اصنع إخفاقًا في المخبأ

تعمل على جهازك
عنوان البايت٠الكتلة ٠ → المجموعة ٠إخفاق
مجموعة ٠وسم ٠
مجموعة ١·
مجموعة ٢·
مجموعة ٣·
مجموعة ٤·
مجموعة ٥·
مجموعة ٦·
مجموعة ٧·
مرات الوصول١
نسبة الإصابة٠%
البايتات المجلوبة٦٤
اختر وصولًا من السجل، أو تتبّعه خطوة بخطوة.

يجلب المخبأ خطًا كاملًا. تعيد المحلية استخدامه؛ وقد تطرد العناوين المتعارضة بيانات مفيدة قبل امتلاء السعة الكلية.

حدود هذا النموذج

مخبأ للقراءة فقط: خط ٦٤ بايت، ثمانية خطوط، عناصر ٨ بايت، واستبدال LRU، مع ٣٢ وصولًا. دون جلب مسبق أو مستويات أخرى.

تتبّع الآلية

ما الذي يحدث في الداخل

١

إنشاء حدود الحماية

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

٢

مراعاة السلوك القابل للرصد

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

استخدم ما فهمته

ما أثر ذلك في برنامجك

مهندس الأنظمة والعتاد

حدد نموذج تهديد واتبع إرشادات المنصة. صحة الصلاحيات وحدها لا تعالج كل قناة جانبية.

مطوّر البرمجيات

استخدم مكتبات تشفير مصانة وتحديثات المنصة. تجنب منطق الأسرار المبني على حيل دون فروع لم تتحقق منها.

ارجع إلى المصدر

اقرأ المواصفات الأصلية

توضح هذه المراجع العقود الأساسية وتفاصيل التنفيذ. الرسومات هنا نماذج تعليمية مبسطة.

Linux · Spectre side channelsLinux kernel documentation
Linux · Page tablesLinux kernel documentation
Linux · DMA API guideLinux kernel documentation

واصل تتبّع الفكرة

فهمت الفكرة؟ سجّل تقدّمك.