زايب

دمج حلال مسألة قابلية الإرضاء المنطقية

• انظر كذلك
• أوبن سوزي
• ياست
• المراجع

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

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

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

ومن جهة أخرى، أحد المجالات التي احتاجت فيها مكتبة لبزايب إلى تحسينات كانت سرعة حلّال التبعيات. يجري تطوير libsolv وإصداره تحت رخصة بي إس دي المعدلة (ثلاثية البند).

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

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

البدايات

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

الغرض

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