public inbox for gentoo-user@lists.gentoo.org
 help / color / mirror / Atom feed
* [gentoo-user] prototype testing: request for test cases
@ 2018-01-13 18:50 Michael Lienhardt
  2018-01-31  2:38 ` Michael Lienhardt
  0 siblings, 1 reply; 2+ messages in thread
From: Michael Lienhardt @ 2018-01-13 18:50 UTC (permalink / raw
  To: gentoo-user

Dear Everyone,

With some friends and colleagues, I implemented an alternative dependency solver for portage (as discussed here: https://forums.gentoo.org/viewtopic-t-1074202.html and https://forums.gentoo.org/viewtopic-t-1075286.html ).
We need your help to test it and possibly improve in the long run the already great portage toolset.

You can help us in two ways:
  - you can send us the zip generated by this bash script: https://raw.githubusercontent.com/HyVar/gentoo_to_mspl/master/benchmarks/get_installation.sh
    This bash script extracts your world file, the USE flags and keywords configuration of your system and the list of installed packages you have (it should not take more than few seconds).
    With this, we will see if our solver is able to recreate your system and how much time it takes.

  - you can propose installation challenges, i.e., sets of packages to install.
    With this, we will compare the answer and the response time between emerge and our solver.

You can send everything to my professional email: mlienhar@di.unito.it

Thank you!
Michael Lienhardt


^ permalink raw reply	[flat|nested] 2+ messages in thread

* Re: [gentoo-user] prototype testing: request for test cases
  2018-01-13 18:50 [gentoo-user] prototype testing: request for test cases Michael Lienhardt
@ 2018-01-31  2:38 ` Michael Lienhardt
  0 siblings, 0 replies; 2+ messages in thread
From: Michael Lienhardt @ 2018-01-31  2:38 UTC (permalink / raw
  To: gentoo-user

Dear everyone,

up until now, I received 8 systems to test with our prototype, many thanks to all participants :).
I hope others will join!

I did 3 tests on these test cases and posted a short report on the forum: https://forums.gentoo.org/viewtopic-p-8177602.html#8177602

The short conclusion is that the prototype seems very promising (it found a solution for all adequate test cases, while emerge had various inconclusive suggestions for all of them), but many details must be improved.
Also some of the solutions found by our tool were not validated by emerge, and I need to check why.
It is probably due to the strange semantics of the compact form + default USE dependencies: emerge says that "sys-fs/eudev-3.1.5" cannot satisfy the following dependency
  ">=sys-fs/eudev-1.5.3-r1:0/0[abi_x86_32(-)?,abi_x86_64(-)?,abi_x86_x32(-)?,abi_mips_n32(-)?,abi_mips_n64(-)?,abi_mips_o32(-)?,abi_ppc_32(-)?,abi_ppc_64(-)?,abi_s390_32(-)?,abi_s390_64(-)?,gudev(-),introspection(-)?,static-libs?]"
Does anyone know why? (I didn't check yet).

I'll continue working on the prototype and test it with the test case you give me.
Thank you!
Michael Lienhardt

Il 13/01/2018 19:50, Michael Lienhardt ha scritto:
> Dear Everyone,
> 
> With some friends and colleagues, I implemented an alternative dependency solver for portage (as discussed here: https://forums.gentoo.org/viewtopic-t-1074202.html and https://forums.gentoo.org/viewtopic-t-1075286.html ).
> We need your help to test it and possibly improve in the long run the already great portage toolset.
> 
> You can help us in two ways:
>   - you can send us the zip generated by this bash script: https://raw.githubusercontent.com/HyVar/gentoo_to_mspl/master/benchmarks/get_installation.sh
>     This bash script extracts your world file, the USE flags and keywords configuration of your system and the list of installed packages you have (it should not take more than few seconds).
>     With this, we will see if our solver is able to recreate your system and how much time it takes.
> 
>   - you can propose installation challenges, i.e., sets of packages to install.
>     With this, we will compare the answer and the response time between emerge and our solver.
> 
> You can send everything to my professional email: mlienhar@di.unito.it
> 
> Thank you!
> Michael Lienhardt
> 


^ permalink raw reply	[flat|nested] 2+ messages in thread

end of thread, other threads:[~2018-01-31  2:38 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2018-01-13 18:50 [gentoo-user] prototype testing: request for test cases Michael Lienhardt
2018-01-31  2:38 ` Michael Lienhardt

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox