Robustness of Double-Word Addition Algorithms under Overlapping Inputs

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

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

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

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

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

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

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