ZYpp
ZYpp （或稱libzypp） 是一個軟體套件管理引擎，通常在openSUSE/SUSE Linux Enterprise以YaST、Zypper或PackageKit為前端使用[1]。它提供一個強力的可滿足性求解器來計算軟體包相依性，也提供了一組方便的軟體包管理API[2]。它是一個由Novell所贊助的開放原始碼且為自由軟體的專案，採用GNU通用公眾授權條款第二版或更新授權。
 | |
| 目前版本 | 17.25.8（2021年2月24日） |
|---|---|
| 原始碼庫 | |
| 程式語言 | C++ |
| 作業系統 | Linux |
| 類型 | 軟體套件管理系統 |
| 授權條款 | GNU通用公眾授權條款 |
| 網站 | The LibZYpp Portal |
Zypper為ZYpp軟體套件管理器原生的命令列介面前端，可用以安裝、移除、升級及查詢本機或遠端（通常為網路）媒體的軟體包。它的圖形等價介面為YaST軟體套件管理器模組。它在openSUSE上於版本10.2 beta1開始使用。在openSUSE 11.1上，Zypper釋出了1.0版。2009年6月2日，Ark Linux宣佈其已經完成對其相依性求解器的審閱，並選擇ZYpp及其前端介面來取代老化的apt-rpm[3]，並且是第一個這麼做的Linux發行版。Zypper也被MeeGo，Sailfish OS及Tizen等行動作業系統採用。
openSUSE的開放構建服務亦提供一些openSUSE官方所沒有的軟體。
歷史
目的
在2003年連續收購了Ximian公司[4]及SUSE公司[5]後，Novell決定要合併YaST及Red Carpet兩個軟體包管理器。在2005年，觀察了其他的開源工具在當時的成熟度後，Novell公司覺得都不足以符合他們想要可以與已有的由Ximian公司及SUSE公司開發的Linux管理系統一起運作的要求，所以他們決定開發一個新的軟體包管理器。Libzypp就是最後開發出來的函式庫，目標是成為SUSE發行版的軟體管理引擎，以及Novell ZENworks套裝的Linux管理組件。
早期
Libzypp的求解器是Red Carpet求解器的移植，其被編寫用來在安裝好的系統中升級軟體包[6]。雖然第一版ZYpp的求解器與ZMD守護行程在企業產品上運行的很好，但它導致了2006年5月釋出的openSUSE 10.1有系統軟體包無法運作。2006年12月釋出的openSUSE 10.2修正了先前版本的一些問題，並將ZYpp升級至第二版。ZMD則於10.3版中移除，只在企業版產品中保留。雖然在openSUSE中的ZYpp第三版是相對比較好的軟體包管理器，但與其他軟體包管理系統而言，它存在一些缺陷，從而限制了它的速度表現。
SAT求解器整合
libzypp其中一個需要改進的地方是相依性求解器的速度。
像OPIUM專案[7][8]及MANCOOSI[9]這些嘗試修復SAT求解器的一個相依性求解問題的專案。像是APT有時可能會出現一些無法接受的缺陷。基於計算複雜性理論的SAT求解器，與傳統求解器，如APT的運作方式不同[10]。它決定將SAT演算法整合到ZYpp堆疊中；其求解器是基於minisat求解器[11]。 在openSUSE 11.0中的SAT求解器是基於兩個主要且獨立的區塊：
- 使用資料字典來儲存及檢查軟體包的相依性資訊。新的求解格式被建立，用來儲存套件庫作為字串字典，關係字典以及所有軟體包的相依性。讀取及合併多個求解庫只需要很短的時間。
- 使用可滿足性來計算軟體包相依性。布林可滿足性問題提供許多範例求解器，並已經過長久研究；它相當快，因為相較其他使用SAT求解器的領域來說，軟體包相依性的複雜度較低。此外，它不需要複雜的演算法，且在計算無法解決的問題時可以提供可理解的建議。
經過幾個月的工作，整合了SAT求解器的第四版ZYpp在基準測試上取得了不錯的成績，讓YaST及Zypper比其他基於RPM的軟體包管理器相比起來有較佳的速度及佔用空間[12][13]。
參見
參考資料
- ^ Libzypp documentation. [2014-01-29]. （原始內容存檔於2021-10-11）.
- ^ Libzypp project homepage. [2014-01-29]. （原始內容存檔於2022-03-30）.
- ^ Another look at Linux packaging systems. [2014-01-29]. （原始內容存檔於2011-10-07）.
- ^ Novell Acquires Ximian to Expand Linux Solutions and Open Source Commitment. 2003-08-14 [2014-01-30]. （原始內容存檔於2016-03-03）.
- ^ Novell Announces Agreement to Acquire Leading Enterprise Linux Technology Company SUSE LINUX. 2003-11-04 [2014-01-30]. （原始內容存檔於2016-03-04）.
- ^ Michael Schroeder, History of satsolver.
- ^ Tucker, Chris; Shuffelton, David; Jhala, Ranjit; Lerner, Sorin, OPIUM: OPtimal Package Install/Uninstall Manager (PDF), 29th International Conference on Software Engineering (ICSE'07), 2007 [2014-01-29], （原始內容存檔 (PDF)於2009-02-19）.
- ^ EDOS Project Workpackage 2 Team, Report on formal management of software dependencies, EDOS Project Deliverable Work Package 2 (Deliverable 2), March 2006 [2014-01-29], （原始內容存檔於2006-06-19）.
- ^ Le Berre, Daniel; Parrain, Anne, On SAT Technologies for dependency management and beyond (PDF), ASPL 2008 (Limerick), 2008, Mancoosi.org [2014-01-29], （原始內容存檔 (PDF)於2021-04-01）.
- ^ Burrows, Daniel, Modelling and Resolving Software Dependencies (PDF), June 2005 [2014-01-29], （原始內容存檔 (PDF)於2016-04-16）.
- ^ Minisat.se. [2014-01-29]. （原始內容存檔於2012-04-20）.
- ^ yum and ZYpp speed / memory usage. 16 May 2008 [23 October 2008]. （原始內容存檔於2011年8月15日）.
- ^ Sneak Peeks at openSUSE 11.0: Package Management, with Duncan Mac-Vicar. 6 June 2008 [23 October 2008]. （原始內容存檔於2022-03-21）.