Trident: Efficient Load Verification for Yoked Surface Codes using a Three-Level Memory Hierarchy

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

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

اختبر الباحثون طريقتين مختلفتين لإدارة هذا النظام ثلاثي المستويات الجديد. الطريقة الأولى، والتي يسمونها "الموجهة بالطلب" (demand-driven)، تعمل مثل ذاكرة التخزين المؤقت القياسية في الحواسيب؛ فهي تراقب البيانات التي يستخدمها البرنامج وتحتفظ بالعناصر الأكثر احتياجاً في الطبقة الوسطى السريعة. أما الطريقة الثانية، المسماة "الموجهة بالاستباق" (prefetch-driven)، فهي أكثر استباقية؛ إذ تتنبأ بالبيانات التي ستكون مطلوبة لاحقاً وتنقلها إلى الطبقة السريعة قبل أن يطلبها الحاسوب حتى. وفي عمليات المحاكاة، جعل النهج الموجه بالطلب الحاسوب الكمومي يعمل أسرع بنحو 2.8 مرة من المعيار الحالي. وكان النهج الموجه بالاستباق أكثر فعالية، حيث رفع السرعة بمقدار 4.2 مرة. وتعد هذه المكاسب كبيرة لأن المعيار الحالي محدود بتأخير في التحقق يستغرق 178 دورة لاكتماله، بينما يقلل النظام الجديد وقت الانتظار هذا إلى جزء ضئيل من ذلك. وأشار الباحثون إلى أنه لو تمكنوا من القضاء على هذا التأخير تماماً، فسيعمل الحاسوب أسرع بـ 5.7 مرة، وتصميمهم الجديد يحقق لهم معظم ذلك.

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

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

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

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