On 08/01/2009 06:39 PM, yersinia wrote:
>
> Sure. It is impressive. I already know because have already tried some
> time ago on fedora e suse. The principal problem remain : wants sat
> solver become a project cross distribution or not? The project rpm is
> already - with some local difference b
On Fri, Jul 31, 2009 at 4:26 PM, Jussi
Lehtola wrote:
> On Mon, 2009-07-27 at 13:01 +0200, Michael Schroeder wrote:
>> Hi folks,
>>
>> I'm the author of the "libsatsolver" library, a library solves
>> package dependencies with a SAT algorithm.
>> This library is currently used in SUSE by YaST/zypp.
On 07/31/2009 03:46 PM, James Antill wrote:
> We also don't make progress by posting "yum is 50x slower than solv for
> update", and yet _predictably_ that is what this thread degenerated into
> within hours of your post.
I seem to be reading a different thread. A few people were trying out
the
On Fri, 2009-07-31 at 19:55 +0200, Michael Schroeder wrote:
> On Fri, Jul 31, 2009 at 05:36:14PM +0200, Florian Festi wrote:
> > Not a big surprise as solv does not have coloring (== multilib) support.
>
> Actually it has some multilib support, but it's pretty much untested
> as I don't know exac
On Fri, 2009-07-31 at 20:30 +0200, Miroslav Lichvar wrote:
>
> Yes, but that's not what I'm talking about. I mean the explicit
> conflicts between current versions of packages. I.e. the thing that
> makes the complexity exponential.
>
> For example:
> package A: depends on X
> package B: conflict
On Fri, 2009-07-31 at 14:21 -0400, Bill McGonigle wrote:
> On 07/31/2009 01:12 AM, James Antill wrote:
> > *sigh*, if you want to do some benchmarking of different package
> > managers available in Fedora (zypp makes the 4th, if apt is working
> > again) then feel free to actually do _a bunch of w
On Fri, 31 Jul 2009, Miroslav Lichvar wrote:
On Fri, Jul 31, 2009 at 02:40:26PM -0400, Seth Vidal wrote:
That might be a nice createrepo feature to add such conflicts.
That would only help you if you only have a single repository - which we
NEVER do b/c of fedora + updates + updates-testing
On Fri, Jul 31, 2009 at 02:40:26PM -0400, Seth Vidal wrote:
>> That might be a nice createrepo feature to add such conflicts.
>
> That would only help you if you only have a single repository - which we
> NEVER do b/c of fedora + updates + updates-testing.
It could take a list of repos that the
On Fri, 31 Jul 2009, Miroslav Lichvar wrote:
That might be a nice createrepo feature to add such conflicts.
That would only help you if you only have a single repository - which we
NEVER do b/c of fedora + updates + updates-testing.
Yes, but that's not what I'm talking about. I mean t
On Fri, Jul 31, 2009 at 01:19:19PM -0400, Seth Vidal wrote:
> We have a policy that forbids non-explicit file conflicts, yes.
I thought it applied to regular conflicts, now I see in the document
there are some exceptions allowed.
> If you have two pkgs and you know foo owns a file that bar also o
On 07/31/2009 01:12 AM, James Antill wrote:
> *sigh*, if you want to do some benchmarking of different package
> managers available in Fedora (zypp makes the 4th, if apt is working
> again) then feel free to actually do _a bunch of work_ comparing apples
> to apples. You'll almost certainly be spe
On Fri, Jul 31, 2009 at 04:23:27PM +0200, Florian Festi wrote:
> On 07/27/2009 01:01 PM, Michael Schroeder wrote:
> >http://software.opensuse.org/search?baseproject=Fedora:11&q=libsatsolver-demo
>
> Hmm, where's the source?
You can get the source rpm by searching for "libsatsolver" instead
of "li
On Fri, Jul 31, 2009 at 05:36:14PM +0200, Florian Festi wrote:
> Not a big surprise as solv does not have coloring (== multilib) support.
Actually it has some multilib support, but it's pretty much untested
as I don't know exactly how multilib is implemented in Fedora.
(SUSE does it very differen
On Fri, Jul 31, 2009 at 05:26:31PM +0300, Jussi Lehtola wrote:
> Please release this as a separate project to help cross-distro
> development.
Libsatsolver is already a separate project. It also has some
suport for debian (it can parse the "Packages" files and knows
how debian dependencies work).
On Fri, Jul 31, 2009 at 12:41:15AM +0200, yersinia wrote:
> Ok. But these tests, or other, are something you could do done this
> alone already , I am sure. I would not want to repeat myself, but IF
> YOU WOULD REALLY have a larger user base larger ypu have to publish
> your work as a independen
On Thu, Jul 30, 2009 at 09:42:08PM -0400, Bill McGonigle wrote:
> A cursory glance at the output shows similar solutions (the differing
> reporting formats make it quite the back and forth to analyze). To be
> fair, I have a few yum plugins loaded, so it may be doing more work.
>
> solv's kernel
On Fri, Jul 31, 2009 at 01:12:10AM -0400, James Antill wrote:
> On Thu, 2009-07-30 at 21:42 -0400, Bill McGonigle wrote:
> > On 07/30/2009 08:49 AM, Michael Schroeder wrote:
> > > Version 0.14.4 should have all fixes.
> >
> > OK, my reported bugs are fixed.
>
> It would have been more useful to
On Fri, 31 Jul 2009, Miroslav Lichvar wrote:
On Fri, Jul 31, 2009 at 09:12:23AM -0700, Jesse Keating wrote:
On Fri, 2009-07-31 at 17:41 +0200, Miroslav Lichvar wrote:
Right, I meant conflicts between latest versions of packages in
all repositories.
We have that too, for the packages that e
On Fri, 2009-07-31 at 18:24 +0200, Miroslav Lichvar wrote:
>
> Ok, I thought we have a policy that forbids it. So there is actually a
> good reason why it should be supported by yum.
We kind of do. But existence of policy isn't a reason for absence of
support. We can make policy until the sun g
On Fri, Jul 31, 2009 at 09:12:23AM -0700, Jesse Keating wrote:
> On Fri, 2009-07-31 at 17:41 +0200, Miroslav Lichvar wrote:
> > Right, I meant conflicts between latest versions of packages in
> > all repositories.
>
> We have that too, for the packages that explicitly mark themselves as
> conflict
On Fri, 2009-07-31 at 17:41 +0200, Miroslav Lichvar wrote:
> Right, I meant conflicts between latest versions of packages in
> all repositories.
We have that too, for the packages that explicitly mark themselves as
conflicting. We don't catch unmarked file conflicts until we've
downloaded and att
On Fri, Jul 31, 2009 at 11:14:56AM -0400, Seth Vidal wrote:
> On Fri, 31 Jul 2009, Miroslav Lichvar wrote:
>> If I'm not mistaken yum is developed to work only with Fedora
>> repositories which are conflict free, while the other depsolvers try
>> to handle more general repositories with conflicts.
On 07/31/2009 05:15 PM, Jussi Lehtola wrote:
Actually, there's something quite wrong with these results:
yum:
Install172 Package(s)
Update2388 Package(s)
Remove 1 Package(s)
solv:
1564 upgraded packages
76 installed packages
31 erased packages
1 arch changes from i386 to noarch
5
On Fri, 31 Jul 2009, Miroslav Lichvar wrote:
On Fri, Jul 31, 2009 at 06:42:44PM +0530, Rahul Sundaram wrote:
If others are doing it wrong, then there *is* a clear and direct way to
demonstrate performance. Yum developers can do the performance
benchmarking between different dep resolves (yum
On Fri, 2009-07-31 at 18:06 +0300, Jussi Lehtola wrote:
> On Fri, 2009-07-31 at 17:26 +0300, Jussi Lehtola wrote:
> > > To test things I've written a small application called "solv" that
> > > works like a very tiny package manager. It's available via:
> > >
> > > http://software.opensuse.org/sear
On 07/31/2009 05:06 PM, Jussi Lehtola wrote:
so there is a 50x speed difference in favor of solv.
More interesting than the difference in time would be the difference (if
any) in the result...
Florian
--
fedora-devel-list mailing list
fedora-devel-list@redhat.com
https://www.redhat.com/ma
Jussi Lehtola on 07/31/2009 10:06 AM wrote:
>
> so there is a 50x speed difference in favor of solv.
F13 feature?
--
fedora-devel-list mailing list
fedora-devel-list@redhat.com
https://www.redhat.com/mailman/listinfo/fedora-devel-list
On Fri, Jul 31, 2009 at 06:42:44PM +0530, Rahul Sundaram wrote:
> If others are doing it wrong, then there *is* a clear and direct way to
> demonstrate performance. Yum developers can do the performance
> benchmarking between different dep resolves (yum, apt-rpm, smart and now
> solv) and publish
On Fri, 2009-07-31 at 17:26 +0300, Jussi Lehtola wrote:
> > To test things I've written a small application called "solv" that
> > works like a very tiny package manager. It's available via:
> >
> > http://software.opensuse.org/search?baseproject=Fedora:11&q=libsatsolver-demo
>
> Impressive: afte
On Mon, 2009-07-27 at 13:01 +0200, Michael Schroeder wrote:
> Hi folks,
>
> I'm the author of the "libsatsolver" library, a library solves
> package dependencies with a SAT algorithm.
> This library is currently used in SUSE by YaST/zypp. I'm currently
> trying to make it less SUSE specific like a
On 07/27/2009 01:01 PM, Michael Schroeder wrote:
http://software.opensuse.org/search?baseproject=Fedora:11&q=libsatsolver-demo
Hmm, where's the source?
Anonymous access to the VCS preferred.
Florian
--
fedora-devel-list mailing list
fedora-devel-list@redhat.com
https://www.redhat.com/mailman/
On 07/27/2009 01:01 PM, Michael Schroeder wrote:
I'm currently
trying to make it less SUSE specific like adding support for package
coloring
Feel free to join #rpm.org @ freenode or the rpm-maint list if you have
questions about file/package coloring. There are quite some tricky
problems ro
On 07/31/2009 06:29 PM, Paul W. Frields wrote:
> James has written about these before:
>
> http://illiterat.livejournal.com/5043.html
> http://illiterat.livejournal.com/5218.html
Yes, I have read through them before but doesn't quite answer the
question on why comparing two commands that do the
On Fri, Jul 31, 2009 at 10:50:22AM +0530, Rahul Sundaram wrote:
> On 07/31/2009 10:42 AM, James Antill wrote:
>
> >
> > *sigh*, if you want to do some benchmarking of different package
> > managers available in Fedora (zypp makes the 4th, if apt is working
> > again) then feel free to actually d
On 07/31/2009 10:42 AM, James Antill wrote:
>
> *sigh*, if you want to do some benchmarking of different package
> managers available in Fedora (zypp makes the 4th, if apt is working
> again) then feel free to actually do _a bunch of work_ comparing apples
> to apples. You'll almost certainly be
On Thu, 2009-07-30 at 21:42 -0400, Bill McGonigle wrote:
> On 07/30/2009 08:49 AM, Michael Schroeder wrote:
> > Version 0.14.4 should have all fixes.
>
> OK, my reported bugs are fixed.
It would have been more useful to end the message here, as from what I
read Michael just wanted to know how co
On Thu, 30 Jul 2009, Bill McGonigle wrote:
A cursory glance at the output shows similar solutions (the differing
reporting formats make it quite the back and forth to analyze). To be
fair, I have a few yum plugins loaded, so it may be doing more work.
Disable all the yum plugins - prioritie
On 07/30/2009 08:49 AM, Michael Schroeder wrote:
> Version 0.14.4 should have all fixes.
OK, my reported bugs are fixed.
On first run of 'update' (me saying 'n' ASAP), solv ran at about twice
the real time of yum (both mostly downloading information).
But that's not what I was interested in meas
On Thu, Jul 30, 2009 at 2:49 PM, Michael Schroeder wrote:
> On Wed, Jul 29, 2009 at 01:57:56PM -0400, Bill McGonigle wrote:
>> On 07/29/2009 06:37 AM, Michael Schroeder wrote:
>> > seems like it doesn't
>> > have write access to /var/cache/solv. Please chown the directory
>> > to your uid.
>>
>
On Thu, 2009-07-30 at 14:49 +0200, Michael Schroeder wrote:
> I also fixed the "no repomd.xml file" bug, it didn't occur to
> me that the mirrorlist/metalink responses can also contain yum's
> $releasever/$basearch macros. Solv now supports this.
What URL was doing this? I mean I'm pretty sure i
On Wed, Jul 29, 2009 at 01:57:56PM -0400, Bill McGonigle wrote:
> On 07/29/2009 06:37 AM, Michael Schroeder wrote:
> > seems like it doesn't
> > have write access to /var/cache/solv. Please chown the directory
> > to your uid.
>
> When I do that (or run under sudo) solv segfaults on me. f11,
On 07/29/2009 06:37 AM, Michael Schroeder wrote:
> seems like it doesn't
> have write access to /var/cache/solv. Please chown the directory
> to your uid.
When I do that (or run under sudo) solv segfaults on me. f11, x86_64.
http://fpaste.org/paste/20289
The RPM depends on gpg2 - which I
On Wed, Jul 29, 2009 at 02:44:02PM +0530, Rahul Sundaram wrote:
> On 07/28/2009 03:04 PM, Michael Schroeder wrote:
>
> >
> > Ok, solv now supports mirrorlists. Updated packages should be
> > available in an hour or two (depending on the build service load).
>
> Tested. Works with mirror lists at
On Wed, 29 Jul 2009 09:27:00 +0200
yersinia wrote:
>
> BTW, if you want a wider audience for your project, outside the narrow
> circle of people involved in rpm development :=) for example, so that it
> can be considered for inclusion in different distributions from OpenSUSE,
> [cut]
I complet
On Tue, 28 Jul 2009 14:38:06 +0530
Debarshi Ray wrote:
>
> Sometime ago there were some packages submitted for the Zypper stack
> but the review could not be completed because it did not support 4.6
> at that time.
That is me. And note that I'm submitting patches to the zypp-devel mailing list
a
On 07/28/2009 03:04 PM, Michael Schroeder wrote:
>
> Ok, solv now supports mirrorlists. Updated packages should be
> available in an hour or two (depending on the build service load).
Tested. Works with mirror lists atleast partially but still too slow. I
have compared it with yum
http://fpaste
On Tue, Jul 28, 2009 at 11:00:17PM -0700, Adam Williamson wrote:
> Of course, that depends on whether what we have in yum is as slow as
> whatever SUSE had before this. :)
I doubt that. It's not an easy task to create software as slow
as the 10.x update stack ;-)
> ISTR that SUSE was rather infam
On Mon, Jul 27, 2009 at 1:01 PM, Michael Schroeder wrote:
>
> Hi folks,
>
> I'm the author of the "libsatsolver" library, a library solves
> package dependencies with a SAT algorithm.
> This library is currently used in SUSE by YaST/zypp. I'm currently
> trying to make it less SUSE specific like
On Mon, 2009-07-27 at 17:50 -0400, Bill McGonigle wrote:
> in part:
>
>"Conclusion
>
>Using SAT solver algorithms solve many of the problems the old solver had
>
> * speed: magnitudes faster
> * reliable results
> * extendibility[sic]: implementation of complex dependenci
On Mon, Jul 27, 2009 at 01:01:52PM +0200, Michael Schroeder wrote:
> The package contains just a single file, "/usr/bin/solv". It can
> be run as normal user, but then the transaction can't be commited.
> Also, the repository metadata caching mechanism needs write access
> to /var/cache/solv. If it
On Tue, Jul 28, 2009 at 02:38:06PM +0530, Debarshi Ray wrote:
> > I'm the author of the "libsatsolver" library, a library solves
> > package dependencies with a SAT algorithm.
> > This library is currently used in SUSE by YaST/zypp. I'm currently
> > trying to make it less SUSE specific like adding
On Tue, Jul 28, 2009 at 11:11:52AM +0200, Adrian Reber wrote:
> On Tue, Jul 28, 2009 at 10:32:56AM +0200, Michael Schroeder wrote:
> > > Also claims
> > > some of the repos don't have repomd.xml file while they do
> > >
> > > http://fpaste.org/paste/20055
> >
> > "download error 6" means that curl
On Tue, Jul 28, 2009 at 10:32:56AM +0200, Michael Schroeder wrote:
> > Also claims
> > some of the repos don't have repomd.xml file while they do
> >
> > http://fpaste.org/paste/20055
>
> "download error 6" means that curl exited with exit code 6, which
> means "Couldn't resolve host" according to
> I'm the author of the "libsatsolver" library, a library solves
> package dependencies with a SAT algorithm.
> This library is currently used in SUSE by YaST/zypp. I'm currently
> trying to make it less SUSE specific like adding support for package
> coloring and different repo handling, but I'm p
On Tue, Jul 28, 2009 at 02:15:49AM +0530, Rahul Sundaram wrote:
> On 07/27/2009 04:31 PM, Michael Schroeder wrote:
> > I'm the author of the "libsatsolver" library, a library solves
> > package dependencies with a SAT algorithm.
> > This library is currently used in SUSE by YaST/zypp. I'm currently
On 07/27/2009 04:45 PM, Rahul Sundaram wrote:
> What's the eventual goal?
Not to speak for Michael or his ambitions, but I was curious and found
this on the openSUSE site:
http://en.opensuse.org/Package_Management/Sat_Solver
-especially-
http://en.opensuse.org/Package_Management/Sat_S
On 07/27/2009 04:31 PM, Michael Schroeder wrote:
>
> Hi folks,
>
> I'm the author of the "libsatsolver" library, a library solves
> package dependencies with a SAT algorithm.
> This library is currently used in SUSE by YaST/zypp. I'm currently
> trying to make it less SUSE specific like adding su
On Mon, Jul 27, 2009 at 09:04:13AM -0400, Seth Vidal wrote:
> is libsatsolver supporting file deps as well?
Yes, it downloads filelists.xml.gz if a file dep is not matching the
standard filter regexps.
Btw, there are surprisingly many of such deps in fedora, like:
/lib/lsb/init-functions
/us
On Mon, 27 Jul 2009, Michael Schroeder wrote:
Hi folks,
I'm the author of the "libsatsolver" library, a library solves
package dependencies with a SAT algorithm.
This library is currently used in SUSE by YaST/zypp. I'm currently
trying to make it less SUSE specific like adding support for pa
Hi folks,
I'm the author of the "libsatsolver" library, a library solves
package dependencies with a SAT algorithm.
This library is currently used in SUSE by YaST/zypp. I'm currently
trying to make it less SUSE specific like adding support for package
coloring and different repo handling, but I'm
60 matches
Mail list logo
