génie logiciel

Guix, optimiser le cycle de vie du logiciel, du développement au déploiement

Comment s’assurer qu’une équipe de développement travaille bien dans le même environnement logiciel ? Comment être capable de redéployer précisément la pile logicielle qui a été testée ? Voici des questions auxquelles répond Guix, un logiciel libre permettant le déploiement reproductible. © Inria / Photo G. Scagnelli

Session:

Aucune session disponible actuellement.

Contactez-nous !

Objectifs

Guix est une boîte à outil qui peut s’utiliser comme un « gestionnaire de paquets » (comme apt, dnf ou pip), comme un gestionnaire d’environnement (similaire à VirtualEnv, mais pas pour tout langage) ou même comme une distribution Linux. Sa particularité est de permettre de déclarer précisément le contenu d’un environnement logiciel et de le reproduire à l’identique sur des machines différentes et à des instants différents.

Cette formation a pour objectif de vous permettre de démarrer avec Guix et de l’intégrer dans votre démarche de développement et de déploiement. Nous verrons en particulier comment partager des environnements au sein d’une équipe de développement et comment déployer de manière robuste des logiciels.

Pré-requis

Familiarité avec GNU/Linux et l’utilisation du terminal et de la ligne de commande.

Programme

Démarrer : l’installation de Guix

Rechercher et installer des paquets

interface de gestion de paquets ;
notion de profil d’utilisation ;
notion de transaction pour les opérations d’installation, mise à jour, etc. ;
possibilité de retour en arrière (rollback) ;
l’entrepôt /gnu/store et les liens symboliques.

Création d’environnements avec « guix shell »

notion d’environnement temporaire ;
interface de « guix shell » ;
exemples de création d’environnements logiciels ;
les variables d’environnement et les pièges à éviter ;
création d’un environnement dans un conteneur ;
personnalisation de l’environnement avec des transformations de paquets ;
déclaration dans l’environnement dans une fichier manifeste

Mise à jour, canaux et épinglage

et les numéros de version ? aperçu du graphe de dépendance des paquets et de ce qu’il représente mise à jour avec « guix pull » ;
obtenir davantage de logiciels via des canaux supplémentaires ;
savoir quelle version de Guix et des canaux est utilisée ;
« voyager dans le temps » avec « guix time-machine » pour reproduire un ensemble figé des cana

Intervenant(s)

Ludovic Courtès

ingénieur de recherche Inria

Ludovic Courtès est ingénieur de recherche au sein du service expérimentation et développement du centre Inria de l’université de Bordeaux. Il consacre son travail à la reproductibilité des logiciels utilisés dans les expériences scientifiques.

©Inria/coll.part.

650 / pers.

Pour aller plus loin

Soutien de l’Europe

Ce module se déploie avec le concours du projet européen EuroCC2 No 951732 et fait partie du catalogue du Centre national de compétence HPC.HPDA.IA

Consulter le site web

À propos des tarifs

Partenariat avec le pôle Systematic et le pôle SCS : les entreprises membres du pôle bénéficient d’un tarif privilégié,
Tarif de lancement Module débutant (1 jour) : 650 € par personne (740 € pour les entreprises membres du pôle Systematic et du pôle SCS),
Module avancé (2 jours) : 1300 € par personne (1040 € pour les entreprises membres du pôle Systematic et du pôle SCS),
Tarifs dégressifs à partir de 5 personnes (-10% de 5 à 9 inscrits, -20% plus de 10 inscrits) et en cas d’achat groupé des modules débutant et avancé (-20%),
Toutes les sessions en dehors de l’intra-entreprise se déroulent en distanciel.

Demander plus d'informations