Aptitude implementuje SAT solver

9.2.2009 21:12 | Přečteno: 1250× | poslední úprava: 9.2.2009 21:14

Celý flame byl zbytečný. Nakonec jsem se odpovědi nedobral ani od mantainerů Debianu, přesto odpověď existuje a nakonec jsem ji po dlouhém hledání našel sám. I když jste mi tady vynadali do spousty škaredých věcí, přesto vám sem přidám rozřešení našeho sporu. Né proto, že jsem měl skutečně pravdu. Ale čistě proto, kdyby náhodou některého uživatele Debian/Ubuntu zajímalo, jak to stím Aptem, Aptitude a pokročilými Solvery do budoucna vypadá. Nemusíte tento zápisek číst, a nadávky si odpusťte. Není nad čím flamovat. Funkcionalita dependency solveru, který mi v Debianu chybí skutečně bude přidána. Asi to nebude tak růžově úžasné, ani totálně nepotřebné, jak mě zde mnozí s blbouni křikem přesvědčovali... Jako kdybych kritizoval je a né APT.

Experimentání verze Aptitude totiž implementuje prototyp pokročilého dependency solveru na bázi SAT. koho daný problém zajímá, může si přečíst velmi dobře popsaný problém Debianího package managementu, včetně nového řešení zde:

http://people.debian.org/~dburrows/model.pdf

Moje úvaha byla správná. Škoda, že ze mezi jedinými správnými Debianisty TM není nikdo, kdo by měl o těchto snahách potuchy, nebo si byl alespoň ochoten připustit, že APT/Aptitude zastarává a je dobré využít možnosti, které nám moderní metody nabízí. Úsilí vynaložené do nových možností Aptitude jsou toho přesvědčivým důkazem.

PS: škoda že si zdejší osazenstvo plete software s milenkou.

PPS: Teď můžete jít nadávat vývojářům Aptitude.

       

Komentáře

[=^..^= AmigaPower®]

Hele! Koukám, že ty už máš víc loginů než JiK!

[David Jaša]

A to i bez těch, co používal, když toho o linuxu ještě moc nevěděl.

[=^..^= AmigaPower®]

Možná by to chtělo sepsat nějaký seznam...

[vlastikroot]

Blocklist doporucovany adminy serveru

[David Jaša]

Ignore, kde seš?

[unknown_]

No, nenadavalo se ti proto, ze bys upozornil na problem, ale proto, jakym tonems to napsal, a ze sis kuli tomu zalozil dalsi nick a blog. Tecka. Jinej duvod to nadavani na tebe nemelo. Ale je dobre, ze se na apt pracuje.

[wire-64]

Ano. A proto, že místo abych se na vás vysral, jsem se s vámi podělil, budu mít zase "hodnocení" hluboko pod bodem mrazu.

Asi proto, že jsem si změnil nick, tak cokoli napíšu je shit. Gratuluji pánové.

[hruskin]

Kdepak, seš nejlepší...

[xxxs]

zatial mas vyssie hodnotenie ako zvycajne.

[=^..^= AmigaPower®]

budu mít zase "hodnocení" hluboko pod bodem mrazu.

Asi proto, že jsem si změnil nick, tak cokoli napíšu je shit.

To, že jsi zase změnil nick mi přijde sice jako krajně úchylný, ale stejně jsem jako v minulém zápisku hodnotil "dobré", protože to je dobré. Nicméně ta tendence hodnocení podle sympatičnosti pisatele, nehledě na kvalitu příspěvku tady byla, je a bude, s tim nic nenaděláš...

[AltOS]

Nicméně ta tendence hodnocení podle sympatičnosti pisatele, nehledě na kvalitu příspěvku tady byla, je a bude, s tim nic nenaděláš...

Tak jest.

On ten ton a zmena nicku asi namichla lidi natolik, ze se uz nesoustredili na vecnou stranku veci (krom Espinosy a mozna par dalsich).

Anebo jsem asi posledni podivin, co cte blogy primo ze stranky ABC a ne RSS, neb jasne vidim kdo je pisatelem blogu - tudiz si na to dle potreby vyhradim cas, je-li to skutecne nutne (Kde je vubec holoubek Phantom? Otaci ouska? ).

[=^..^= AmigaPower®]

Taky už se mi po jeho "atypickém stylu humoru" začíná stýskat

[AltOS]

Ve Statech byla na jedno jmenovane pivo (Samuel Adams) docela ok reklama - slogan byl prosty: All in due time.

Stejne jako asymetri...atypicky holub jmenem Phantom. Mozna si otocil kridelka nekde, bradac jeden!

[kozzi]

Ja je ctu taky ze stranky AbcLinuxu.cz, ale vetsinou moc nesleduju kdo je pisatel

[AltOS]

No budiz, ale ty budes urcite jeden z tech mistnich nacelniku mistniho kmene Kalicu, tudiz i konfrontace zvladas lepe, nez-li parta dotcenych muziku, khery sere, ze se nekdo "nabubruje" jak to jenom jde (zmena nicku, atd.).

Btw. Chybi ti tecka a tudiz vlastne tvuj argument postrada smysl, ha!

[kozzi]

LOL

[AltOS]

No ty woe, a pak vsude poslouchej, jak jsou alkaci desny agresori a bijou kolemjdouci babicky a nevim co jeste... pche!

Jsem pro zalozeni noveho statu uprostred makoveho pole (jen pro to terno) s nazvem Alkoholistan!

[=^..^= AmigaPower®]

Kde se mam stavit pro občanku?

[kozzi]

Občanky tam nebudou stejne by jsme se opili a ztratili je

[kozzi]

Ale mě nevadí že si člověk změní nick

[kotyz]

Asi pro to ze sis tu vybudoval povest tezkyho provokatera a ta uz ti nejspis zustane naporad.

[AltOS]

To jiste, ale co takhle jinak - aspon to reseni/odpoved sem flaknul. Kolik provokateru to vlastne dela? Jen se ptam...

[wire-64]

Přece jenom někdo pochopil pointu

[CET]

Heeeej, konecne skvelej zapisek!!:) Ano, cely flame byl zbytecny. Misto predchoziho zbytecneho nadavani jsi mohl zahledat, najit to, co jsi ted nasel a napsat tenhle blog. Tenhle je IMHO skvelej.

V tech predchozich jsi jenom nadaval, protoze zrovna tobe se nejaka funkce nelibila nebo chybela, nebo protoze sis rozhasil system, az jsi apt/aptitude tak zblbnul, ze si nevedelo rady.

Osobne pouzivam debian pres dva roky na asi 104 serverech a dvou stanicich a nikdy jsem s aptem/aptitude problem nemel, takze me namichlo, kdyz jsi nadaval na apt/aptitude a pritom ja jsem s nim zadne problemy nemel. Negeneralizuj - to je dost riskantni, pokud to nemas podlozeny opravdu dostatecnym mnozstvim pokusu a dukazu.

Tady jsi ale napsal, ze ani deb vyvojari ti neodpovedeli, ze TOBE chybi nejaka funkctionalita, ale ze bude pridana a uvadis i zdroj na dokumentaci. Zastaravani aptu je zrejme jenom tvuj nazor a podavas to relativne neutralne (zadne ostre urazky), me osobne nic opravdu nechybi.

Mimochodem, docela by me opravdu zajimalo, co presne ti v tom debianu nebezelo. Muzes sem hodit verzi ubuntu, ty repository, ktery jsi pouzival a jak jsi co instaloval? Docela bych si to chtel zkusit u sebe, abych videl, co je za problem.

[wire-64]

1) Ubuntu 8.10.

2)  Nainstaluj KDE 4.1.3.

3) Následně přidej repozitář KDE 4.2 (viz - ) http://www.kubuntu.org/news/kde-4.2

4) upgraduj na KDE 4.2

5) vyber si nějaký balík z KDE 4.2 a klidně násilím jej smaž (nejlépe jen ten jeden)

6) zakaž KDE 4.2 repository.

7) Zkus opavit poškozeé závislosti APTem a Aptitude.

=> Jediné existující řešení je v tomto případě downgrade KDE na 4.1.3. APT ani Aptitude to nejajdou. Podle vysvětlení vývojářů je to prý proto, že APT považuje donwgrade za něco, co se nikdy nesmí udělat.

Zypper to vyřeší okamižtě.

[Michal Čihař]

Celou dobu jsem říkal, že aptitude má jiný solver. Jestliže ho v roce 2005 mělo aptitude v experimentalu, tak jednoduchým nahlédnutím do changelogu zjistíme, že od prosince 2005 je v unstablu, takže nejspíš i ve všech distribucích na které tu nadáváš .

[wire-64]

V roce 2005 tam byl prototyp. Podle mě zatím nikde nebyl implementován, což potvrzuje i mail, který jsem dnes dostal od D. Burrowse.

[Michal Čihař]

Jestli myslíš ten samý mail co šel na debian-devel, tak netuším, kde si to tam vyčetl. Jediné co říká, že solver v aptitude s tím teoretickým problémem na který si odkazoval nemá problémy a že je pořád co vylepšovat (což je ostatně vždy a všude).

[wire-64]

Díval jsem se na ten mailing list a je tam totéž co mém mailu:

The one case I know of where aptitude can totally fail is when you have a large, complicated set of packages with interrelated dependencies and you're trying to make all the packages consistent with a single downgrade (it generally behaves OK if you have most of the packages at the right version to start). I doubt it would be hard too track this problem down, but it's an unusual edge case IMO, and I prefer to spend my scarce free time on parts of the program that are more deficient.

[Michal Čihař]

A kde tam je napsáno, že ten solver nebyl implementován?

[wire-64]

Nejřív mě naženete, abych něco prostudoval, a pak kladete vašimi slovy řečeno pitomé otázky.  Nemám tě já teď poslat něco nastudovat?

Kdyby totiž ten solver využíval SAT, tento problém by neměl. Kromě teorie na to existuje přesvědčivý důkaz. Reálný funkční a existující SAT solve Libzypp s tím problém nemá.

[Käyttäjä 11133]

Tobě se zdá SAT jako všespasitelná věc, že?

[wire-64]

ne. Ale aspoň něco. Rozhodně se mi zdá, že APT, na který se pořádně nešáhlo už 10 let by mohl někam pohnout.

[Käyttäjä 11133]

Na RPM se taky už pořádnou dobu pořádně nešáhlo Nepočítáme li slepou evoluční větev RPM5 :D

[wire-64]

Na něj se šáhlo, ale zatuchliny typu RedHat a v návaznosti pak Novell jej odmítají. No třeba by možná novell chtěl, ale když nechce RedHat, tak nehce ani Novell, což ve výsledku nutí RPM4 použvat i Mandrivu. Přitom RPM5 by tochtělo jako sůl. Bohužel, tuhle nechuť jsem niky nepochopil a nevím jestli se pochopení dočkám. Bohužel Novell následuje příklad RedHatu a z Opensuse si dělá plaground, čímž hodí frantu instalatéra přes palubu Shuttleworthovi. Na tomhle pánovi je dobré, že když se mu něco v Debianu zdá zatuchlé, tak se to nebojí v Ubuntu změnit.

[Käyttäjä 11133]

A co tak skvělého RPM5 nabízí oproti Novellímu RPM?

# support for the old RPMv3 LSB package format was removed to cleanup and simplify the code base. RPM 5, with respect to RPM format packages, now supports RPMv4 format only.

Zrovna tohle určitě všechny Enterprise distributory potěší :D

RPM5 vyšlo před malou chviličkou a už teď je horší, než Novellí opatcvhované RPM4.

[wire-64]

Například to, že vyházelo ten obrovský milionkrát opatchovaný bordel, který se v tom vašem RPM nahromadil. úplně mi uchází smysl RPM v3 v LSB. Je to snad ta najkonrtoverznější věc v LSB. Je tam vůbec DEB? Ono se taky může stát, že celý ten Hype kolem ubuntu, který už dostal i podstatné bussines rozměry rozšíří DEB do takové míry, že nějaký RPM v3 v LSB, který ani vy nepoužíváte bude směšný.

[Käyttäjä 11133]

Jenže my jsem s RPMv3 kompatibilní... A ne, deb není součástí LSB.

[wire-64]

to je pravda že jste. Ale skutečně to nějaký venor využívá? A co když bude mít ubuntu s Debianem 30% podíl na trhu? Vendora nebude zajímat nějaké LSB. Prostě vydá svůj produkt s DEB balíkem a hotovo. Pak přidá balík se SLES a RHEL a šmytec. A skutečně si musím ťukat na čelo, jak se komerční hráči používající RPM nedokáží domluvit.

[Käyttäjä 11133]

Vendor který chce být v pohodě (např. Sun) si na čelo něťuká

[wire-64]

co mu taky zbývá, že?

[AHAHA]

Minus jsem ti dal ne za blogspot, ale za dalsi zmenu nicku.

To mas fakt tak velkou potrebu byt cteny, ze se musis vnucovat ostatnim? Kdyby sis nechal stary nick a zustal tak na blocklistech lidi, kteri tve vyplody nemaji zrovna v lasce, mozna bys nemel tolik flamu u svych prispevku (pokud ovsem toto neni to, co chces).

[miso]

Ale teraz nick nezmenil: v zozname vpravo hore ma tento a minuly blog

[kkaarreell]

asi jen neni ve forme

[Kvakor]

PS: škoda že si zdejší osazenstvo plete software s milenkou.

Porad lespi, nez si plest milenku se softwarem

[sheeryjay]

Dnešní zápisek více-méně ok (až na opětovné napadání), nicméně všiml jste si že jste se často rozčiloval jak je APT hloupý a beznadějně zastaralý .. a nevšímal jste si příliš upozornění na to že by se měl používat aptitude či jiné backendy ... a nyní vpodstatě píšete že aptitude skutečně je lepší než apt .. tedy to co vám bylo říkáno již několikrát?

 

[wire-64]

Verze, která je venku takto upravená není.