تماسك الذاكرة المؤقتة في وحدات المعالجة المركزية متعددة النوى: كيف يتم الحفاظ عليه ومن يتحكم فيه

إنفورماتيك ديجيتال » موارد » تماسك الذاكرة المؤقتة في وحدات المعالجة المركزية متعددة النوى: كيف يتم الحفاظ عليه ومن يتحكم فيه

عند النظر إلى مخطط أي معالج حديث متعدد النوى، يظهر النمط نفسه دائمًا: نوى متعددة، لكل منها ذاكرات تخزين مؤقتة خاصة بها، وذاكرة تخزين مؤقتة مشتركة من المستوى الأخير تعمل كنقطة مشتركة قبل الوصول إلى ذاكرة الوصول العشوائي (RAM). هذا الترتيب ليس عشوائيًا أو نزوة من المصممين، بل هو استجابة مباشرة لمشكلة حاسمة في الأنظمة المتوازية: تماسك ذاكرة التخزين المؤقت.

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

ما هو تماسك الذاكرة المؤقتة: استعارة الطرفية

تخيل عدة أشخاص يجلسون أمام أجهزة طرفية مختلفة، يقومون جميعًا بتحرير نفس المستند المخزن على خادم مركزي . تعرض كل شاشة نسخة من الملف، ومن المتوقع أن تنعكس أي تغييرات يجريها شخص ما على الفور على شاشات جميع الآخرين.

لكي ينجح هذا، لا بد من وجود آلية مزامنة تنقل تغييرات المستند إلى جميع الأجهزة الطرفية، بحيث يرى الجميع النسخة نفسها دائمًا. وطالما أن هذا النظام يعمل، فالوضع على ما يرام: من يُعدّل النص يعلم أن الجميع سيرى النسخة الجديدة فورًا تقريبًا.

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

في مجال الحوسبة، هذا بالضبط ما سيحدث إذا افتقر المعالج المركزي إلى بروتوكول موثوق لضمان اتساق البيانات: يقوم أحد النوى بتعديل البيانات في الذاكرة، بينما تستمر النوى الأخرى في قراءة نسخة أقدم من ذاكرتها المؤقتة الخاصة . وهذا يخلق بيئة خصبة لأخطاء منطقية جسيمة، وبيانات تالفة، وسلوكيات غير مرغوب فيها أثناء تصحيح الأخطاء.

لذا، فإن تماسك الذاكرة المخبئية هو مجموعة الآليات التي تضمن، في نظام متعدد النوى، أن تحافظ جميع نسخ البيانات نفسها الموزعة عبر مختلف الذاكرات المخبئية وذاكرة الوصول العشوائي على حالة متسقة . حتى في حال وجود نسخ متعددة، يجب أن يتصرف النظام كما لو كانت هناك نسخة واحدة فقط.

ذاكرة التخزين المؤقت والتسلسل الهرمي للذاكرة في وحدة المعالجة المركزية متعددة النوى

ذاكرة التخزين المؤقت لوحدة المعالجة المركزية هي ذاكرة صغيرة وسريعة للغاية، تحتوي على نسخ من أجزاء ذاكرة الوصول العشوائي (RAM) المستخدمة بكثرة . عندما ينفذ المعالج التعليمات البرمجية، فبدلاً من الوصول المستمر إلى ذاكرة الوصول العشوائي (البطيئة نسبيًا)، يحاول القراءة من ذاكرة التخزين المؤقت والكتابة إليها، مما يقلل زمن الاستجابة بشكل كبير.

يكمن السر، بالطبع، في أن ذاكرة التخزين المؤقت لا تخزن "النسخة الرسمية" من البيانات، بل نسخة مؤقتة فقط . وباتباع استعارة الطرفية، يمكن تشبيه ذاكرة الوصول العشوائي (RAM) بالمستند الموجود على الخادم، بينما تمثل ذاكرة التخزين المؤقت الشاشات المحلية التي تعرض نسخًا من أجزاء معينة من الملف.

في وحدة المعالجة المركزية متعددة النوى، يصبح التصميم أكثر تعقيدًا لأن كل نواة عادةً ما تمتلك ذاكرة تخزين مؤقت خاصة بها من المستوى الأول (L1) وحتى المستوى الثاني (L2) . وفوق ذلك، تُضاف ذاكرة تخزين مؤقت مشتركة من المستوى الثالث (على سبيل المثال)، تقع بين النوى ووحدة التحكم بالذاكرة التي توفر الوصول إلى ذاكرة الوصول العشوائي (RAM).

تم إدخال هذه الذاكرة المؤقتة المشتركة لأن السماح لجميع النوى بالوصول المباشر والمكثف إلى ذاكرة الوصول العشوائي (RAM) سيؤدي إلى تعارضات في الوصول، وازدحام على ناقل الذاكرة، وانخفاض ملحوظ في الأداء . تعمل الذاكرة المؤقتة من المستوى الأخير كـ"مخزن مؤقت" مشترك يقلل من عمليات الوصول إلى ذاكرة الوصول العشوائي (RAM) ويركز جزءًا كبيرًا من حركة البيانات.

علاوة على ذلك، تُنظّم العديد من البنى ذاكرة التخزين المؤقت بشكل شامل: فالبيانات المخزنة في المستويات القريبة من المعالج موجودة أيضًا في المستويات الأعلى من التسلسل الهرمي . أي أن البيانات التي تظهر في المستوى L1 موجودة أيضًا في المستوى L2، وبالتالي في المستوى L3. وهذا يُحقق فائدة كبيرة في ضمان اتساق البيانات: فمجرد تحديث ذاكرة التخزين المؤقت في أدنى مستوى بشكل صحيح يكفي للتحكم في حالة المستويات الأخرى دون الحاجة إلى الوصول المستمر إلى ذاكرة الوصول العشوائي (RAM).

لماذا يُعد التخزين المؤقت المشترك من المستوى الأخير أساسيًا لتحقيق الاتساق؟

بدون هذه الذاكرة المؤقتة العالمية من المستوى الأخير، سيتعين على كل نواة التحقق من الاتساق مباشرةً مع الذاكرة الرئيسية . في كل مرة يتم فيها تعديل سطر ذاكرة في ذاكرة مؤقتة خاصة، سيكون من الضروري التحقق مما إذا كانت النوى الأخرى تحتفظ بنسخة من نفس السطر، وإذا كان الأمر كذلك، تحديثها أو إبطالها في كل مكان.

في نظام متعدد النوى، سيؤدي هذا الكم الهائل من عمليات التحقق إلى عدد كبير من عمليات نقل البيانات إلى ذاكرة الوصول العشوائي (RAM) ، مما يُفقد الكثير من فوائد وجود ذاكرة تخزين مؤقتة سريعة. من خلال وضع ذاكرة تخزين مؤقتة مشتركة بين النوى وذاكرة الوصول العشوائي، يمكن لوحدة المعالجة المركزية تركيز التحكم في التناسق في موقع وسيط واحد.

في العديد من التطبيقات، تحتوي ذاكرات التخزين المؤقت في المستويات العليا (الأبعد عن المعالج) على نسخ من الأسطر الموجودة في المستويات الأقرب إلى النواة . مع هذا التنظيم، لا يحتاج بروتوكول التماسك إلا إلى ضمان مزامنة المستوى الأخير مع الذاكرة الرئيسية، ومزامنة المستويات الخاصة لكل نواة مع المستوى الذي يعلوه مباشرةً.

يمكن تصور ذلك كنوع من دمى ماتريوشكا الروسية: يحتوي المخزن المؤقت من المستوى الثالث على محتوى المستويين الثاني والأول ، ويحتوي المستوى الثاني على محتواه الخاص ومحتوى المستوى الأول، بينما لا يعرف المستوى الأول سوى محتوياته الخاصة. وبالتالي، من خلال التحكم في "الدمية الكبيرة" (المستوى الأخير)، يستطيع النظام تنسيق باقي البيانات بكفاءة أكبر.

والنتيجة هي أن الحفاظ على الاتساق يصبح أكثر اقتصادية من حيث التصميم وحركة البيانات في الذاكرة . فبدلاً من إجبار كل نواة على التعامل باستمرار مع ذاكرة الوصول العشوائي (RAM)، يعمل البروتوكول على ذاكرة التخزين المؤقت المشتركة، ومن ثم يدير الأسطر التي يجب تحديثها أو إبطالها في ذاكرات التخزين المؤقت الخاصة.

طرق التحديث: إبطال وتحديث النسخ

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

تعتمد الطريقة الأولى على الإبطال. فعندما يحتاج نظام التشغيل إلى الكتابة إلى سطر ذاكرة تخزين مؤقت محدد، يقوم البروتوكول بإبطال أي نسخ من نفس السطر قد تكون موجودة في ذاكرات التخزين المؤقت الأخرى . ويحتفظ نظام التشغيل الذي سيقوم بالكتابة فقط بالسطر في حالة قابلة للقراءة والكتابة؛ أما الأنظمة الأخرى، إذا أرادت استخدام تلك البيانات مرة أخرى، فسيتعين عليها إعادة تحميل السطر من المستوى الأعلى (أو من الذاكرة) بالنسخة المحدثة.

تتضمن الاستراتيجية الثانية التحديث. في هذه الحالة، عندما تُعدّل النواة سطرًا، يحاول النظام نشر المحتوى الجديد تلقائيًا إلى النسخ الموجودة في ذاكرات التخزين المؤقت الأخرى . وبهذه الطريقة، تتلقى جميع ذاكرات التخزين المؤقت التي خزّنت ذلك السطر النسخة المُحدّثة دون الحاجة إلى إبطالها وإعادة تحميلها لاحقًا.

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

في كلتا الحالتين، تستخدم الطريقتان حالات إضافية وبتات تحكم في خطوط التخزين المؤقت. يتضمن كل خط عادةً معلومات حول ما إذا كانت محتوياته مطابقة لتلك الموجودة في ذاكرة الوصول العشوائي (RAM )، وما إذا كان مشتركًا أو مُعدَّلًا أو حصريًا أو محجوزًا، وما إلى ذلك، وذلك اعتمادًا على البروتوكول المحدد (MESI، MOESI، MSI، إلخ). يُمكِّن هذا الجهاز من اتخاذ قرارات سريعة بشأن ما يجب فعله عند حدوث عملية قراءة أو كتابة على خط مُكرَّر مسبقًا.

التحقق من التناسق بين الذاكرة المؤقتة والذاكرة الرئيسية

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

لا ترتبط ذاكرات التخزين المؤقت الأقرب إلى المعالج (L1، L2) عادةً بذاكرة الوصول العشوائي (RAM) مباشرةً، بل بمستوى التخزين المؤقت التالي. هذا يعني أن التحقق من اتساق البيانات لا يتم بمقارنته بالذاكرة الرئيسية في كل مستوى، بل بمقارنته بالمستوى الأعلى مباشرةً . يقلل هذا من عدد عمليات الوصول إلى ذاكرة الوصول العشوائي (RAM) ويبسط المنطق المطلوب في المستويات الأدنى.

في النهاية، تتم المقارنة بين محتويات ذاكرة التخزين المؤقت ومحتويات ذاكرة الوصول العشوائي (RAM) بين ذاكرة التخزين المؤقت من المستوى الأخير والذاكرة الرئيسية . إذا حافظ هذا المستوى الأخير على حالة صحيحة ومتسقة، وحافظ كل مستوى أدنى منه على اتساقه مع المستوى الذي يعلوه، فإن التسلسل الهرمي بأكمله يظل متسقًا دون الحاجة إلى فحص كل سطر مقابل ذاكرة الوصول العشوائي بشكل متكرر.

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

يُتيح هذا التنظيم المتتالي انتشار التغييرات تدريجيًا من النواة، التي تُحدّث البيانات، إلى الذاكرة الرئيسية، مرورًا بكل مستوى من مستويات التخزين المؤقت بطريقة مُتحكّم بها. وبهذه الطريقة، لا يُصبح الحفاظ على الاتساق عائقًا لا يُمكن تجاوزه بالنسبة للمعالج.

التماسك المادي مقابل التماسك البرمجي

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

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

يتميز هذا النهج بميزة واضحة: إذ ينتقل جزء من عبء العمل من وقت التشغيل إلى وقت الترجمة . فبدلاً من أن يكتشف الجهاز جميع التعارضات ويتعامل معها أثناء التنفيذ، يحاول المترجم توقعها وتوليد شيفرة تتجنب المواقف الخطيرة.

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

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

دور المُترجم في اتساق ذاكرة التخزين المؤقت

يُعد دور المُصرّف عنصرًا أساسيًا في مناهج الاتساق البرمجية. إذ يُمكنه إجراء تحليل مُعمّق للشيفرة البرمجية وتحديد هياكل البيانات المشتركة التي قد تكون غير آمنة للتخزين المؤقت . وبناءً على ذلك، يُعلّم هذه العناصر بطريقة خاصة أو يُعدّل عملية توليد الشيفرة.

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

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

تسعى استراتيجيات الترجمة البرمجية الأكثر تطورًا إلى تحديد الفترات "الآمنة" التي يمكن خلالها اعتبار المتغير المشترك غير متعارض . ولتحقيق ذلك، يحلل المترجم مسارات التنفيذ، وعمليات الوصول المتزامنة المحتملة، وأنماط التزامن (الأقفال، والأقسام الحرجة، وما إلى ذلك). وبناءً على هذا التحليل، يقسم المترجم دورة حياة المتغير إلى مراحل: بعضها مناسب للتخزين المؤقت، والبعض الآخر يتطلب معالجة خاصة.

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

العلاقة بين المترجم ونظام التشغيل والأجهزة

قد يوحي مصطلح "يقوم المترجم بإدراج تعليمات في الكود المُولّد لضمان اتساق الذاكرة المؤقتة" بأن نظام التشغيل يقرأ هذه التعليمات كما لو كانت تلميحات عالية المستوى ، وبناءً عليها يقرر كيفية تنفيذ البرنامج. لكن في الواقع، الآلية مختلفة بعض الشيء.

عندما يُضيف المُصرّف هذه الأنواع من التعليمات، فإنه يُدخل في الملف الثنائي عمليات مُحددة تدعمها بنية النظام أو بيئة التشغيل . على سبيل المثال، يُمكنه إدراج تعليمات مسح ذاكرة التخزين المؤقت، وحواجز الذاكرة، وتعليمات خاصة لتمييز مناطق على أنها غير قابلة للتخزين المؤقت، أو استدعاءات لخدمات نظام التشغيل التي تُهيئ خصائص الذاكرة.

لا يُفسّر نظام التشغيل هذه التعليمات على أنها "تعليقات" أو "تلميحات" عالية المستوى كتبها المُصرّف؛ بل يُنفّذ ببساطة شيفرة الآلة كأي شيفرة أخرى . مع ذلك، صُمّمت بعض هذه التعليمات للتفاعل مع نظام الذاكرة وإدارة ذاكرة التخزين المؤقت، مما يُغيّر طريقة وصول وحدة المعالجة المركزية إلى بيانات مُحدّدة.

بمعنى آخر، يقوم المترجم بإجراء تحليل أولي ويُنشئ شيفرةً، عند تنفيذها، تُنتج سلوك التخزين المؤقت المطلوب . ويتعاون نظام التشغيل من خلال تحديد خصائص الذاكرة (مناطق قابلة للتخزين المؤقت أو غير قابلة للتخزين المؤقت، وسياسات الكتابة، وما إلى ذلك) وتوفير أدوات التزامن، ولكنه لا "يقرأ" التعليمات الخاصة بمعنى تفسيرها دلاليًا كما يفعل المترجم.

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

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

إن فهم كيفية دمج التسلسل الهرمي لذاكرة التخزين المؤقت وبروتوكولات تماسك الأجهزة وتقنيات دعم البرامج يجعل من الواضح لماذا تشترك تصميمات وحدة المعالجة المركزية الحديثة في مثل هذه البنية المتشابهة، ولماذا يمكن أن يؤدي فشل بسيط في أي من هذه الآليات إلى سلوك فوضوي في التطبيقات المتزامنة التي تعتمد كليًا على رؤية جميع النوى لنفس البيانات في الوقت المناسب.