• [^] # Re: SAT, une artillerie lourde ?

    Posté par . En réponse au journal Résolution des dépendances par système de branches. Évalué à 5.

    C'est vraiment de l'enculage de mouche que tu nous fais.

    En l'occurence, avec un solveur sat, le "bottleneck" n'est pas la résolution des dépendances ni la lecture des métadonnées mais le téléchargement et l'installation des paquets.

    D'autre part, ces 2.0 - 2.5 secondes ne sont pas linéairement dédiées à la résolution :

    zypper dup
    Loading repository data... -> 1 sec
    Reading installed packages... -> 1 sec
    Computing distribution upgrade... -> 0.5 sec


    Pour finir, je ne vois strictement pas l'intérêt de créer une solution pour un scénario viable dans 10 ou 20 ans alors que tu ne connais strictement rien aux conditions du futur environment (capacité de bande passante, performance disque dur et CPU, calcul quantique ?).

    Quitte à créer un solution, autant qu'elle réponde à un besoin d'aujourd'hui, ou elle aura toute les chance d'être obsolète avant même d'être utile.