ZYpp

Tras las adquisiciones sucesivas de Ximian y SuSE GmbH en 2003, Novell decidió fusionar ambos sistemas de gestión de paquetes, el gestor de paquetes YaST y Red Carpet , mediante un enfoque de selección de las mejores soluciones, ya que ambas se utilizaban en Novell hasta entonces. Al analizar las herramientas de código abierto existentes y su nivel de madurez en 2005, ninguna cumplía los requisitos ni era compatible con el software de infraestructura de gestión de Linux desarrollado por Ximian y SUSE. Por ello, se decidió aprovechar las mejores ideas de las herramientas existentes y desarrollar una nueva implementación. La biblioteca resultante, Libzypp, se concibió como el motor de gestión de software de las distribuciones de SUSE y el componente de gestión de Linux de la suite de gestión Novell ZENworks .

El solucionador de Libzypp era una adaptación del solucionador Red Carpet, que se escribió para actualizar paquetes en sistemas instalados. Usarlo para el proceso de instalación completo lo llevó al límite, y agregar extensiones como soporte para dependencias débiles y parches lo hizo frágil e impredecible. ^{[ 9 ]} Aunque esta primera versión del solucionador de ZYpp funcionó satisfactoriamente, en los productos empresariales de la compañía con el demonio ZMD acoplado, dio lugar a una versión de openSUSE 10.1 que salió en mayo de 2006 con un paquete del sistema que no funcionaba como se esperaba. En diciembre de 2006, la versión de openSUSE 10.2 corrigió algunos defectos de la versión anterior, utilizando la versión revisada de ZYpp v2. ZMD se eliminó posteriormente de la versión 10.3 y se reservó solo para los productos empresariales de la compañía. Si bien ZYpp v3 proporcionó a openSUSE un gestor de paquetes relativamente bueno, equivalente a otros gestores de paquetes existentes, sufrió algunos fallos en su implementación que limitaron en gran medida su rendimiento de velocidad.

Un área donde libzypp necesitaba mejoras era la velocidad del solucionador de dependencias. libsolv se está escribiendo y publicando bajo la licencia BSD revisada . ^{[ 10 ]}

Proyectos como Optimal Package Install/Uninstall Manager (OPIUM) ^{[ 11 ] [ 12 ]} y MANCOOSI ^{[ 13 ]} intentaban solucionar problemas de resolución de dependencias con un solucionador SAT . Los solucionadores tradicionales como Advanced Packaging Tool (APT) a veces muestran deficiencias inaceptables. Se decidió integrar algoritmos SAT en la pila ZYpp; los algoritmos de solución utilizados se basaron en el popular solucionador minisat. ^{[ 14 ]}

La implementación del solucionador SAT, tal como aparece en openSUSE 11.0, se basa en dos bloques principales, pero independientes:

• Se utiliza un diccionario de datos para almacenar y recuperar información sobre paquetes y dependencias. Se creó un nuevo formato solv que almacena un repositorio como un diccionario de cadenas, un diccionario de relaciones y, posteriormente, todas las dependencias de los paquetes. La lectura y fusión de múltiples repositorios solv se realiza en cuestión de milisegundos.
• Uso de la satisfacibilidad para calcular dependencias de paquetes. El problema de la satisfacibilidad booleana es un problema ampliamente estudiado con numerosos solucionadores disponibles. Es muy rápido, ya que la complejidad de la resolución de paquetes es muy baja en comparación con otras áreas donde se utilizan solucionadores SAT. Además, no requiere algoritmos complejos y puede proporcionar sugerencias comprensibles calculando pruebas de por qué un problema es irresoluble.

Después de varios meses de trabajo, los resultados de referencia de esta cuarta versión de ZYpp integrada con el solucionador SAT fueron más que alentadores, lo que situó a YaST y Zypper por delante de otros gestores de paquetes basados ​​en RPM en velocidad y tamaño. ^{[ 15 ] [ 16 ]}