أصدرت ميتا مكتبة Rebalancer بترخيص Apache 2.0، لتتيح الحلّال الذي تستخدمه منذ أكثر من تسع سنوات، مع التوثيق وحزمة Python وواجهة لتصحيح سلوك الحلّال، وتقول إنه يحل نحو 40 مليون مسألة يوميًا.

ميتا تفتح مصدر Rebalancer

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

يتضمن الإصدار مستودع facebook/rebalancer على GitHub، والتوثيق، وحزمة Python على PyPI، وأداة Rebalancer Explorer، وهي واجهة ويب تعمل داخل Docker لتصحيح سلوك الحلّال.

مكتبة واحدة لمسائل إسناد كثيرة

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

تعالج Rebalancer العقبتين اللتين تعوقان عادةً أطر التحسين القابلة لإعادة الاستخدام: سهولة الاستخدام وقابلية التوسع. فبدلًا من ترجمة السياسات إلى صيغ رياضية يدويًا، يصف المهندسون المسألة بالكائنات والصناديق والقيود والأهداف، ثم تُحوَّل إلى رسم بياني موجّه لا دوري يُسمى رسم التعبيرات (expression graph). وتحوّل المواصفات الجاهزة مثل CapacitySpec وGroupCountSpec وBalanceSpec الأهداف الشائعة إلى وصفات قابلة لإعادة الاستخدام.

الحلّال الأمثل والبحث المحلي

يحوّل الحلّال الأمثل الرسم البياني إلى نموذج برمجة صحيحة مختلطة لبرامج FICO Xpress أو Gurobi أو HiGHS، مستخدمًا تجميع المتغيرات وكسر التماثل لتصغير النموذج. وفي أسوأ الحالات ينمو حجم النموذج كحاصل ضرب عدد الكائنات في عدد الصناديق، لذا تخرج أكبر المسائل عن قدرة أي حلّال MIP.

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

الحجم داخل ميتا وخارجها

تقول ميتا إن Rebalancer يحل اليوم نحو 40 مليون مسألة إسناد يوميًا بأكثر من 30 صياغة. ويبلغ زمن الحل عند المئين 99 اثنتي عشرة ثانية لمسألة تضم 265 ألف كائن و3200 صندوق؛ أما المسائل التي تتجاوز مليون كائن و5000 صندوق فيبلغ متوسط زمن حلها 171 ثانية.

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

ميتا تفتح مصدر Rebalancer لحل مسائل الإسناد