Agenda of the meeting at Mandriva on July 7th.

Agenda of the meeting at Mandriva on July 7th.

time: start at 10 am, end by 5 pm.

items on the agenda

• informations form the workpackage leader
• report by PPS on the package repository analysis
• report by Eric Sanchis and Florent Laroche (from IUT Rodez, Toulouse) on their package management project, and discussion of the possibilities for cooperation
• discussion of the SmartPm package manager from Conectiva
• report from Tel Aviv
• introduction of the Caixa Magica partner into WP2
• status of WP2
• conclusion

Minutes of the meeting

10h Fabio Mancinelli: report on the WP2 activities at PPS (Slides here)

• Presentation of the EGraph file format, designed to describe packages and package repositories with their dependencies using three kind of entities:
  • node, represent a package
  • edge, materializes AND dependencies
  • hyperedges, materializes OR dependencies

Note: we must investigate better the difference between "obsoletes" in RPM and the combination of "conflict" and "replaces" in the DEB format, please add your comments in Semantics of RPM obsoletes vs DEB conflict and replaces?. Also, we need to take into account probably the other common relationships like Build Dependencies?, Recommends Dependencies? and Suggests Dependencies?.

• Presentation of the EDOSLib API, which provides a model for manipulating the package repositories information using the Egraph? format.
  • there are a few classes that mirror the structure of the EGraph data format
  • the library provides several methods, among which the extract method, which extracts from the repository all the packages that are related (through dependencies)

11h30 Roberto Di Cosmo: some examples of package analysis

14h Gustavo Niemeyer: SmartPm

• short introduction of a constraint solving library in Python that allows to solve standard constraint problems
• overview of the Smart package manager:
  • drop-in replacement for APT, URPMI, controls RPM, DPKG, ...
  • transactions (installation is atomic)
    • even in presence of removable media, it always leaves the system in a consistent state at every stage
  • multi-system (handles packages from different repositories/distributions)
    • package format abstraction compatible with RPM/DEB
    • orders operations according to the requirements of each package system
  • weighting mechanism to choose the "best" solution, where "best" is defined according to a policy, which is not user definable right now
  • the constraint solver is specialised to the domain of package dependencies, and uses a top down search with delay on the larger alternatives

Note: important to compare the internal representation of SmartPm (the Replaces/Provides nodes).

16h Eric Sanchis: presentation of the work done at IUT de Rodez (Laboratoire de Gestion et Cognition)

• goal: maintaining a minimal useful system:
  • define Needed and Removable components
  • auto-install and remove commands (components) dynamically

16h30 Tova Milo: report from Tel Aviv on Package Discovery

Survey of the use cases that motivate the architucture for package distribution.

• Event notification (using standard tools)
• Cooperative distribution (using P2P and cooperative Clustering Subsystem) via some "multicast" algorithm adapted to the framework of package distribution in particular, taking into account dependencies?
• Completion

16h50 Roadmap

17h Meeting ends

{metadata}

Type Meeting

Topics Wp2

{metadata}