أطلس السيليكونمرجع العتاد
English
المراجع/الذاكرة والتخزين
الذاكرة والتخزين

اتساق المخابئ والملكية

حفظ توافق نسخ موقع ذاكرة بين المعالجات.

قد تحتاج كتابة واحدة ملكية خط مخبأ كامل.
حالة الخط

تتبع الإذن والتعديل.

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

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

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

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

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

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

تتبّع الآلية

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

١

تتبّع النسخ المشتركة

يتتبع النظام المتسق مواقع الخطوط وتعديل نسخها. تستخدم بروتوكولات شبيهة بـ MESI حالات معدّل وحصري ومشترك وغير صالح، مع تفاصيل إضافية في الواقع. يحصل الكاتب على الإذن وقد يبطل نسخًا أخرى. قد يزود المالك المعدّل البيانات دون DRAM.

٢

تمييز الترتيب عن التوافق

يحكم الاتساق نسخ الموقع؛ ويحدد نموذج الذاكرة الترتيب المسموح بين العمليات والمواقع. قد تؤخر مخازن الكتابة والترتيب المرن ظهور الكتابات عما يوحي به المصدر. تحتاج المزامنة الصحيحة نموذجَي اللغة والعتاد معًا.

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

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

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

استخدم الذريات والحواجز بالنطاق المطلوب. اتساق المخابئ وحده لا ينشئ علاقة happens-before في اللغة.

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

قلل البيانات المكتوبة المشتركة بين الخيوط. قد تولد الذريات الصحيحة نقل اتساق مكلفًا عند التنافس.

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

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

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

Linux · Memory barriersLinux kernel documentation
Intel · Optimization reference manualsIntel

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

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