Mancoosi : un projet européen dédié aux mises à jour de logiciels libres

Posté par . Édité par Benoît Sibaud. Modéré par Mouns.
Tags : aucun
18
6
sept.
2008
Communauté

NdM : (réédition le 4 mars 2013) conformément aux règles de modération du site, le contenu de cette dépêche a été supprimé car il s'agissait d'une recopie des deux articles de presse mentionnés en liens.

  • # Trouvez l'intrus

    Posté par (page perso) . Évalué à 2.

    Il rassemble dix partenaires :

    * Université Paris Diderot, France ;
    * Caixa Mágica, Portugal ;
    * Mandriva, France ;
    * INESC-ID, Portugal ;
    * ILOG, France ;
    * 8< 8< 8<


    Qu'est-ce qu'ILOG fait là ?
    • [^] # Re: Trouvez l'intrus

      Posté par . Évalué à 5.

      Une idée comme ça, ils développent un solver de contraintes [1], truc qui peut être éminemment utile dans la gestion des dépendances logicielles ... cf. ce journal pour un peu plus de détails : http://linuxfr.org/~fmorel/27137.html

      Je crois qu'il y a un solver SAT (probleme_SAT) aussi dans la gestion des plugins eclipse, par exemple.



      Ils ont donc de l'expertise dans le domaine, et puis ça met leur nom sur un projet Européen, et ça doit pas être le seul.

      [1] http://www.ilog.com/products/cp/
      • [^] # Re: Trouvez l'intrus

        Posté par (page perso) . Évalué à 2.

        ça me rappelle le labo ça : méthode de résolution SAT (résoudre une "bête" équation en algèbre de bool ):

        mouliner pendant des heures avec des méthodes d'informaticiens de parcours d'arbre pour voir s'il y en une bonne

        refaire un n+unième démonstrateur de théorème ou autre programme équivalent cherchant à redéterminer à partir de l'équation la solution de manière symbolique

        ou trouver une solution satisfaisante en faisant appel à des méthodes inspirées de la physique (réseau de spin + monte carlo et d'autres que j'ai oubliées).

        Bien que je sois plus à la page les méthodes que j'ai vu en oeuvre ne sont pas dans l'article wikipedia. :/ (et ma mémoire et trop floue pour que je complète de manière pertinente)

        Il y a quoi de fun dans ce domaine en ce moment ?
    • [^] # Re: Trouvez l'intrus

      Posté par . Évalué à 3.

      Il semble qu'ILOG va bientôt changer de nom pour IBM.
      "IBM Annonce le Projet d'Acquisition d’ILOG" http://www.ilog.fr/corporate/releases/fr/080728_ibm.cfm

      L'Europe va donner des sous à IBM ?
  • # Zypper ?

    Posté par (page perso) . Évalué à 3.

    Zypper (le nouveau système de dépendances d'OpenSUSE) n'est-il pas une bonne base pour travailler ?
  • # GlobalGCC

    Posté par (page perso) . Évalué à 7.

    Un projet européen lié au logiciel libre et dans lequel on retrouve Mandriva ?
    ça me fait penser à la news sur GlobalGCC datant de novembre 2006 : https://linuxfr.org//2006/11/02/21565.html

    Est-ce que quelqu'un sait ce qu'il en est de ce projet ? Est-ce que du code a été écrit et contribué ou est-ce que ça c'est perdu dans les méandres de la bureaucratie ?

    J'aimerai bien savoir ce que deviennent ces projets financés par l'Europe est qui sont annoncés à grands sons de trompes.
  • # Ça répond vraiment à un besoin ?

    Posté par (page perso) . Évalué à 5.

    Je n'ai jamais trouvé horriblement compliqué mes mises à jour, est-il vraiment nécessaire d'y injecter des millions ?

    Par ailleurs, c'est plus qu'européen, comme projet, vu les participants.
    • [^] # Re: Ça répond vraiment à un besoin ?

      Posté par . Évalué à 3.

      J'ai un peu la même impression que toi, au premier abord, il y a déja des choses qui tournent pas mal de ce côté.

      Mais bon, j'ai récemment mis à jour une Debian testing avec aptitude, et le "solver" à quand même mis plusieurs minutes à me trouver une solution (par ailleurs parfaitement valable,)
      sachant que j'avais dû la mettre à jour quelques mois avant au plus ...

      C'est certainement pas dramatique et parfaitement supportable, mais ça indique qu'il y sans doute des cas plus complexe que le miens et donc qu'il reste sûrement des trucs à faire dans le domaine. Peut être intégrer avec des technos existantes, au moins.


      Il y a peut être d'autres problématiques à traîter que je ne vois pas ... Je vais fouiller et je referai un post ici si je trouve des trucs intéressants et si j'ai le courage.
  • # Windows

    Posté par . Évalué à 6.

    Franchement c'est plus windows qui à besoin de ce genre de chose, entre les écrasements de librairies, les incompatibilités, et les mises à jour manuelles à faire ...
    • [^] # Re: Windows

      Posté par . Évalué à 3.

      ... l'absence de la notion même de paquet (qui est la base de tout).
      • [^] # Re: Windows

        Posté par . Évalué à 6.

        Pourtant il m'arrive de l'utiliser, et quand c'est le cas j'ai un paquet d'emmerdes...
    • [^] # Re: Windows

      Posté par (page perso) . Évalué à 5.

      Indirectement c'est peut être Microsoft qui paye le développement du projet libre ... grâce à son amende record.

      Oui je sais je suis un utopiste, mais que voulez vous je suis trop vieux pour changer :)
  • # et smart package manager de labix

    Posté par . Évalué à 1.

    c'est un remplaçant d'apt-get et urpmi
    ce que ce gestionaire de package a de bien c'est surtout sa gestion des téléchargements, mais il possede aussis des algorithmes gerant l'ordre de mise a jour des paquets.
    apparemment le truc dans le cas de mancosi c'est de gerer la mise a jour au niveau fichier.
    c'est vrai que je n'ai jamias reussi a upgrader proprement mandriva, je dois toujour tout reinstaller, bon je bidouille un peu les config.....
    ces algorithmes ont sensés gérer les mises a jour sans risquer de conflits de package. c'est sensé devenir plus avancé que smart

    on comprend le truc en regardant la presentation
    http://www.mancoosi.org/context.html
    http://labix.org/smart

Suivre le flux des commentaires

Note : les commentaires appartiennent à ceux qui les ont postés. Nous n'en sommes pas responsables.