Le projet edix
edix est un système d'exploitation dédié à l'organisation de travaux pratiques en lien direct avec les activités de recherche de la plateforme EDStar. Il s'agit donc de
- physique,
- calcul scientifique,
- informatique,
depuis la reformulation d’un modèle physique sous la forme d’une intégrale de chemins, jusqu'à l'implémentation d’algorithmes d’échantillonnage (tels que ceux issus des méthodes de Monte Carlo), en passant par une approche directe des fondements conceptuels sous-jacents en termes de rapport aux composants matériels du calculateur, de système d'exploitation et de langage de programmation.
Installation
La procédure d'installation d'edix peut-être très rapide et simple ou bien longue et difficile en fonction du matériel dont vous disposez et de votre niveau de formation en informatique système. Même si vous êtes entièrement débutant, n'hésitez pas à nous contacter à l'occasion de nos permanences.
Documentation
L'essentiel de la
documentation d'edix prend la forme des
pages de manuel
des systèmes d'exploitation de la famille Unix. Quand edix est installé,
on accède à ces pages avec la commande man 7f. Par exemple, pour
consulter la page principale :
etudiant:~ $ man 7f edix
Vous pouvez aussi y accéder sur le web, à partir de la liste alphabétique de notre page de documentation.
Des travaux pratiqués en autonomie
L'ambition est que les concepts et les outils qui sont le quotidien des acteurs de la plateforme soient non seulement enseignés, mais aussi pratiqués en autonomie, dans toute leur complexité, en vue d'une compréhension fine :
- des modèles physiques et des abstractions mathématiques associées,
- des structures algorithmiques et de leurs performances,
- des mécanismes bas niveau de l’infrastructure logicielle.
Accueil et travail à distance
Puisqu'il reflète strictement la pratique de la plateforme, edix est aussi un outil dans notre organisation de l'accueil des visiteurs. Il intègre notamment l'ensemble des logiciels que nous utilisons pour nos séances de travail à distance entre les différentes antennes de la plateforme. L'accueil peut donc être distant :
- un visiteur télécharge edix ;
- installe edix sur sa machine personnelle ;
- peut ensuite rejoindre les séances de travail collectif que nous ouvrons au public.
Sur la page décrivant la procédure d'installation, nous renvoyons également vers des solutions intermédiaires permettant de suivre/participer aux séances de travail collectif de façon plus directe, sans passer par l'installation complète du système d'exploitation edix.
Mettre en place une salle de travaux pratiques
Pour un informaticien en charge de l'administration des ordinateurs d'une salle de travaux pratiques numériques, qui souhaiterait déployer edix sur l'ensemble de sa salle, les éléments structuraux essentiels sont les suivants :
- edix est dérivé de gentoo, une distribution de linux en édition permanente ;
- l'organisation du système se résume à un ensemble de scripts regoupés dans un projet git (mettre à jour le système revient donc à appliquer les scripts) ;
- les choix d'optimisation matérielle sont minimum de sorte à permettre la gestion d'un parc hétérogène (y compris des machines anciennes de faibles puissance si le bios est de type EFI) ;
- dans la pratique des TP, les postes peuvent fonctionner de façon indépendantes, ou bien dialoguer avec un serveur via une connexion ssh, le serveur étant alors déployé à l'aide d'une version modifiée des scripts d'edix ;
- autant que possible, nous essayons de mettre à disposition des images permettant d'installer edix de façon virtuelle sur un système d'exploitation déjà en place (via chroot ou virtualbox).
Vous êtes invités à nous contacter à l'occasion des permanences avant tout projet de déploiement sur une salle existante.
