Syndiquer le contenu
Mis à jour : il y a 8 heures 4 min

GCompris sort en version 0.80

15 août, 2017 - 09:23

Nous sommes heureux d’annoncer la publication de la nouvelle version de GCompris, le logiciel éducatif pour les enfants de deux à dix ans.

Cette nouvelle version contient entre autres six nouvelles activités, listées dans la suite de la dépêche. GCompris propose plus de 100 activités, dont des jeux, toujours avec un objectif pédagogique. Lecture, mathématiques, sciences, géographie et découverte de l’ordinateur sont les thèmes abordés par ces activités.

Nouvelles activités
  • Une activité de catégorisation d’images :

  • Une activité où il faut, à partir des nombres et des différentes opérations proposées, trouver un nombre donné :

  • Un jeu où l’on doit faire en sorte que l’adversaire place la dernière boule sur une ligne, qui se joue contre l’ordinateur ou un ami :

  • Le jeu de dames en version avec l’ordinateur ou avec un ami :

Plates‐formes prises en charge

Comme pour la précédente version, nous prenons en charge bien évidemment GNU/Linux, pour lequel nous avons des paquets dans plusieurs distributions :

  • Arch Linux ;
  • KaOS ;
  • KDE Neon ;
  • Mageia Cauldron ;
  • OpenSUSE.

Android est aussi pris en charge via le Play Store. Suite à l’ajout du SDK Qt dans F-Droid (https://gitlab.com/fdroid/fdroidserver/issues/202), nous espérons sortir aussi une version dessus.

Windows est toujours pris en charge en version 32 bits et 64 bits. Nous proposons une construction expérimentale pour la version 64 bits utilisant la suite d’outils MinGW.

Pour macOS et iOS, nous sommes en discussion avec deux contributeurs, mais nous n’avons toujours pas de paquet fonctionnel à distribuer.

Autres changements

Pour cette nouvelle version, on voit également arriver :

  • pour l’activité de vocabulaire, l’ajout des données pour le polonais, le suédois et l’ukrainien ;
  • de nouveaux graphismes pour plusieurs activités ;
  • la traduction du site est maintenant gérée dans l’infrastructure KDE :
    • cette version est complètement traduite en 17 langues,
    • elle est aussi traduite à plus de 85 % en 11 langues supplémentaires.

Télécharger ce contenu au format Epub

Lire les commentaires

Le programme de la LDAPCon 2017 est sorti !

13 août, 2017 - 19:22

Nous sommes heureux de vous annoncer la sortie du programme des conférences de la LDAPCon 2017 qui aura lieu à Bruxelles les 19 et 20 octobre prochain.

Cette conférence internationale sur LDAP et plus largement sur les questions de gestion des identités, d’authentification et d’habilitation, est l’occasion de rencontrer les acteurs les plus importants du domaine.

Pour en savoir plus : https://ldapcon.org/2017/conference-program/ (mots‐clés : ReOpenLDAP, Sparrow, OpenLDAP, Apache Mavibot, PHP-LDAP, load balancing, replication, SSO, FusionDirectory, ForgeRock, etc.).

De plus, la date de vente des tickets au tarif « inscription anticipée » de la LDAPCon 2017 a été étendue au 25 août ; vous pouvez encore acheter votre ticket Early Bird.

Télécharger ce contenu au format Epub

Lire les commentaires

Arkiv : Sauvegarde de fichiers et bases MySQL + archivage sur Amazon S3 et Amazon Glacier

13 août, 2017 - 09:30

Pour mes besoins personnels et professionnels, j’ai développé un script pour sauvegarder mes données (fichiers présents sur le disque local et bases de données MySQL) et les archiver sur Amazon S3 et Amazon Glacier.

Il est possible de choisir la fréquence de sauvegarde (jusque toutes les heures si nécessaire) et de définir une politique précise pour la purge des données. Il est ainsi possible d’avoir un comportement du type :

  • sauvegarde toutes les heures : les données sont enregistrées en local et envoyées sur Amazon S3 et Amazon Glacier ;
  • toutes les sauvegardes sont gardées en local pendant deux jours, puis on garde quatre sauvegardes par jour (une toutes les six heures) pendant cinq jours, puis une par jour pendant deux semaines, puis elles sont effacées ;
  • toutes les sauvegardes sont gardées sur Amazon S3 pendant deux semaines, puis on garde six sauvegardes par jour (une toutes les quatre heures) pendant deux semaines, puis deux par jour pendant un mois, puis elles sont effacées ;
  • toutes les données sont gardées sans limite de temps sur Amazon Glacier.

Le choix des services cloud d’Amazon se veut pragmatique. Amazon S3 est très utilisé pour stocker des données auxquelles on veut pouvoir accéder rapidement. Amazon Glacier est très pratique pour enregistrer des données sur le long terme pour un coût très bas.

Ce script propose une interface de configuration en ligne de commande qui se veut facile à utiliser. Les fichiers journaux se veulent aussi les plus lisibles possibles.

Exemple de configuration :

Exemple de fichier journal :

Le code a été placé sous la licence MIT (licence libre permissive).

Télécharger ce contenu au format Epub

Lire les commentaires

Agenda du Libre pour la semaine 33 de l’année 2017

13 août, 2017 - 09:30

Calendrier Web, regroupant des événements liés au Libre (logiciel, salon, atelier, install party, conférence), annoncés par leurs organisateurs. Voici un récapitulatif de la semaine à venir. Le détail de chacun de ces 9 événements (0 en Belgique, 6 en France, 0 au Luxembourg, 3 au Québec, 0 en Suisse et 0 en Tunisie) est en seconde partie de dépêche.

Sommaire [FR Chartres] OpenAtelier - Le mercredi 16 août 2017 de 20h00 à 23h59.

L'OpenAtelier est un moment de rencontre et de partage ou les membres et curieux sont invités à échanger sur leurs idées et leurs projets.

Les espaces techniques sont également ouverts aux réalisations (électronique, informatique, menuiserie, impression 3D, découpe vinyle…).

Pour les curieux, c'est le bon moment pour venir découvrir l'association et ses membres.

[FR Toulouse] Rencontre Tetalab - Le mercredi 16 août 2017 de 21h00 à 23h00.

Rencontre hebdomadaire des hackers et artistes libristes Toulousains.

Ouvert au public tous les mercredi soir.

Venez nombreux.

[QC Coteau du Lac] Émission #137 de bloguelinux - Le jeudi 17 août 2017 de 02h00 à 22h00.

bloguelinux.ca est un blogue québécois offrant la diffusion d'un podcast qui traite des logiciels libres, du système d'exploitation Linux et de la technologie en général ; il y a un processeur, il y a un système d'exploitation, c'est certain que ça nous intéresse!
bloguelinux.ca est enregistré le jeudi à 20 heures toutes les deux semaines.
Vous pouvez nous écouter en direct lors des enregistrements à l'adresse http://live.bloguelinux.ca ou directement sur notre site à http://www.bloguelinux.ca en cliquant sur la radio dans le panneau de gauche du site.

[QC Montréal] Atelier du Libre du Club Linux Atomic - Le jeudi 17 août 2017 de 18h00 à 21h30.

Le Club Linux Atomic
Le Club Linux Atomic (CLA) regroupe des utilisateurs, novices comme aguerris, de systèmes d’exploitation GNU/Linux et de logiciels libres. Il a pour principal objet de mieux faire connaître l’informatique libre et d’en favoriser l’utilisation par le plus grand nombre.
Atelier du Libre

[QC Montréal] UP des NCS - Atelier «Libérer l'informatique» - Le vendredi 18 août 2017 de 14h00 à 15h30.

Lors de cet atelier qui s'intitule «Libérer l'informatique», il sera question des nouvelles formes de résistance au numérique dominant, celui qui sert les intérêts du 1%.
Mathieu Gauthier-Pilote présentera principalement les initiatives de FACiL pour promouvoir l'appropriation collective de l'informatique libre (notamment le projet Services FACiLes, la Clé FACiL, la campagne Pacte du logiciel libre, etc.) tandis que Luc Levebvre présentera les initiatives de Crypto.Québec (le podcast «Les Chiens de garde», un livre en préparation, etc.) .
Cet atelier se déroule dans le cadre de l'Université populaire des Nouveaux Cahiers du socialisme (NCS), dont l'un des deux axes principaux cette année est «La révolution « numérique » : les enjeux pour le 99%».

[FR Villeneuve d'Ascq] Libre à Vous - Le samedi 19 août 2017 de 09h00 à 12h00.

Vous souhaitez tester GNU/Linux sur votre ordinateur, vous recherchez un logiciel pour une fonction précise, des conseils ou de l'aide sur les logiciels libres?

Libre à Vous est une permanence destinée à vous faciliter l'utilisation de l'informatique. Vous repartirez avec « le plein » de logiciels libres, fiables, évolutifs, performants et gratuits.

C'est chaque samedi matin au Centre d'Infos Jeunes à la ferme Dupire, 80 rue Yves Decugis à Villeneuve d'Ascq (métro Triolo) de 9h00 à 12h00.

Entrée Libre. Tout Public.

[FR Valenciennes] Permanence ValLibre - Le samedi 19 août 2017 de 09h30 à 12h00.

Permanence assistance informatique.

Dépannage petits bobos informatiques.

Initiation à l'informatique libre.

Tous les samedis ouvrables sauf les derniers samedis du mois et les samedis en période de vacances scolaires.

Si besoin particulier, la prise de rendez-vous est fortement conseillée.

Téléphone accueil MQCV : 03 27 22 43 90

[FR La Couronne] Permanence - accueil public - Le samedi 19 août 2017 de 10h00 à 13h00.

Notre permanence d'accueil avec le sourire, le café et les gâteaux !

Lieu de rencontre et d'échange convivial pour discuter informatique et outils numériques.

Cette association permet à chacun de découvrir également l'univers de Linux et par extension de tous les **logiciels* et matériels libres*.

Entrée Libre. Tout Public.

[FR Nanterre] Lightning talks de l'Electrolab - Le samedi 19 août 2017 de 16h00 à 18h00.

Les Lightning-Talks consistent en de courtes présentation (5 mn max + 3 mn de questions) de projets terminés, en cours, ou toujours en réflexion.

Toutes les personnes qui sont prêtes à partager leurs idées les plus folles devant une foule en délire sont invitées

Vous bénéficierez de retours des membres sur vos choix techniques et probablement de conseils bienvenus.

Télécharger ce contenu au format Epub

Lire les commentaires

Firefox 55 est prêt pour la rentrée 2017

10 août, 2017 - 13:47

Le 8 août dernier, Mozilla a annoncé la sortie de Firefox 55.

Les profils utilisateurs reçoivent des mises à jour incompatibles avec les anciennes versions de Firefox, ne vous précipitez donc pas sur la mise à jour et faites d’abord une sauvegarde de votre dossier .mozilla.

Mozilla indique que cette nouvelle version apporte des améliorations de performance, des technologies innovantes, telles que la réalité augmentée pour le Web (WebVR), de nouvelles options d’optimisation de gestion du matériel et des processus, plus de confidentialité et des améliorations de l’expérience utilisateur. Tous les détails sont disponibles dans la suite de la dépêche.

Sommaire Nouveautés générales

Tout d’abord, des modifications sont apportées dans les profils Firefox, ce qui rend les profils à partir de Firefox 55 incompatibles avec les anciennes versions de Firefox. Avant de mettre à jour votre navigateur, faites une sauvegarde de votre profil actuel afin de pouvoir revenir sur les anciennes versions si nécessaire.

Avec ces dernières versions (Firefox pour bureau et pour Android), Firefox améliore la confidentialité de votre vie privée par le refus d’utilisation des interfaces de géolocalisation pour les sites qui fournissent une connexion non sécurisée à leurs services.

Une nouveauté intéressante pour les développeurs est que Firefox pour GNU/Linux peut être utilisé sans interface graphique (mode headless à activer avec le paramètre de commande éponyme). Ceci permettra par exemple d’utiliser le moteur de Firefox pour exécuter des tests d’intégration continue, même si la machine d’intégration n’a pas de serveur graphique à disposition.

Firefox pour bureau

La nouveauté la plus mise en avant par Mozilla est que Firefox peut utiliser les périphériques de réalité virtuelle depuis le Web grâce à l’introduction de l’API WebVR. Un site dédié est à disposition pour découvrir cela. Mozilla insiste sur cette nouveauté dans son annonce pour bien afficher son intention de continuer à être un navigateur au cœur des innovations technologiques.

À côté de cette nouveauté, Firefox pour le bureau connaît plusieurs améliorations de son interface graphique dans cette version :

  • la barre de navigation principale a été retravaillée :
    • les suggestions de recherche sont activées par défaut pour les utilisateurs qui ne les ont pas désactivées explicitement (passage de opt-in à opt-out),
    • la recherche peut enfin y être effectuée avec un des différents moteurs configurés au lieu de l’unique moteur par défaut ;
  • les barres latérales (marque‐pages, historique, onglets synchronisés) peuvent être déplacées vers le côté droit de la fenêtre :
  • la capture d’écran des pages est possible directement depuis le navigateur avec l’outil Firefox Screenshots. Cet outil permet de créer des captures d’écran de pages entières ou d’une partie seulement et de les enregistrer localement ou sur le cloud de Firefox. Ce nouvel outil sera activé uniquement pour une partie des utilisateurs afin de continuer les tests du service :
  • l’impression depuis le mode lecture a été simplifiée ;
  • sur Mac OS X et macOS, Firefox permet d’assigner des raccourcis personnalisés aux menus via le menu Préférences systèmeClavierRaccourcis.

Firefox pour bureau continue de développer ses performances :

  • les sessions comportant un grand nombre d’onglets sont dorénavant restaurées instantanément ;
  • les performances peuvent être optimisées :
    • par l’activation de l’accélération matérielle, quand elle est disponible. Pour le format vidéo VP9, par exemple, il est nécessaire d’utiliser Windows 10 Anniversary Edition. L’option est désactivée si aucune accélération matérielle n’est disponible pour la configuration matérielle et logicielle de la machine,
    • par l’ajustement de la limite maximale du nombre de processus utilisés pour effectuer le rendu des pages Web (un maximum de 4 processus est recommandé, mais il peut être poussé jusqu’à 7).

Mozilla simplifie l’installation de Firefox sur Windows :

  • l’installateur par défaut est simplifié : son exécution télécharge et installe automatiquement Firefox sans action supplémentaire par l’utilisateur ;
  • Firefox 64 bits est automatiquement installé pour les ordinateurs disposant de Windows 64 bits et d’au moins 2 Gio de mémoire vive ;
  • Les installateurs complets sont toujours disponibles pour les utilisateurs avancés.

Quelques modifications permettent de protéger un peu mieux la confidentialité des données utilisateurs :

  • lors de la saisie d’un nom de domaine sans indication du protocole (http://, https://) dans la barre de navigation, Firefox tente d’abord la connexion avec le protocole sécurisé HTTPS au lieu de HTTP ;
  • le greffon Flash est par défaut en « cliquer pour activer » et uniquement autorisé en HTTP et HTTPS, ce changement va être lancé progressivement et ne sera pas visible par tous les utilisateurs immédiatement. Plus d’informations sur la feuille de route des greffons dans Firefox (en anglais).

En vrac, les autres modifications apportées pour cette version :

  • Firefox pour bureau est traduit en biélorusse (be) ;
  • l’implémentation WebRTC gère maintenant les microphones stéréos ;
  • l’interface utilisateur pour les mises à jour a été modernisée pour être moins intrusive et plus alignée avec le reste du navigateur. Seuls les utilisateurs qui n’ont pas redémarré leur navigateur huit jours après le téléchargement d’une mise à jour ou ceux qui ont désactivé les mises à jour automatiques verront ce changement.

Les développeurs ne sont pas en reste et les outils disponibles reçoivent aussi des mises à jour :

  • le moniteur réseau permet de sélectionner les colonnes à afficher ; de nouvelles colonnes apparaissent également : l’adresse IP distante, le protocole, le schéma, les cookies, les cookies créés ;
  • ce dernier fournit en plus une interface de filtre des connexions à afficher (par des filtres sur les valeurs des colonnes ou par expressions régulières) ;
  • l’en‐tête HTTP SourceMap est pris en compte pour aider le débogage des codes JavaScript « minifiés » ou générés automatiquement depuis d’autres sources].

Comme d’habitude, pour connaître tous les changements sur les technologies invisibles de Firefox (moteur de rendu HTML, DOM, JavaScript, API, WebExtensions…), vous pouvez vous référer aux notes de versions pour développeur (en anglais).

Firefox pour Android

La version 55 de Firefox pour Android est la dernière qui sera installable sur Android 4.0 (sorti en 2011). Ainsi, les dernières mises à jour apportées pour Android 4.0 contiennent :

  • de nouvelles actions qui ont été ajoutées pour gérer les onglets : il est maintenant possible d’ordonner les onglets par le maintien et le déplacement d’un onglet dans la boîte à onglets ;
  • une option d’accessibilité a été ajoutée pour respecter la configuration système des polices lors de l’affichage des pages Web ;
  • pour les vidéos non visibles sur une page Web, le rendu des images ne sera plus effectué pour économiser l’énergie de la batterie. L’audio de ces vidéos, quant à lui, continuera d’être joué ;
  • Firefox pour Android est traduit en grec (el) et en lao (lo)
Prochaines versions

La version 56 de Firefox est prévue pour le 26 septembre, une aide dans l’espace de rédaction est bienvenue pour sortir la prochaine dépêche à temps.

Les prochaines versions verront l’arrivée de :

  • la recherche dans l’écran Préférences, pour trouver rapidement les options de n’importe quelle catégorie ;
  • une restructuration de l’interface de Firefox en version 57. Le projet nommé Photon est déjà activé pour les utilisateurs de Firefox Nightly (la version de test de Firefox). Un débat a été lancé dans le journal de Jiehong : est‐ce que le nouveau projet Photon est un retour en arrière par rapport à l’ancien projet Australis ?
Autour de Firefox Campagne de financement réussie pour Grammalecte

Le développeur de Grammalecte pourra mettre à jour son extension Firefox grâce au succès de sa seconde campagne de financement participatif.

Comme Mozilla a changé son fusil d’épaule pour les recommandations des technologies à utiliser pour les développeurs d’extensions (WebExtensions à la place du SDK qui remplaçait déjà XUL), Olivier devra reprendre le code de l’extension Grammalecte créée suite à son premier financement participatif pour rester compatible avec les futures versions de Mozilla Firefox.

Pour plus d’informations, référez‐vous à la dépêche dédiée à la seconde campagne de financement de Grammalecte.

Polémique d’utilisation de Google Analytics dans Firefox via les pages Web de Mozilla intégrées dans l’interface

Le recours à Google Analytics dans Firefox même, sur la page des modules (about:addons), dans l’onglet Catalogue, fait polémique auprès des utilisateurs attachés au respect de leur vie privée.

Techniquement, cette page interne à Firefox n’utilise pas directement Google Analytics, elle contient uniquement un objet XUL browser qui est l’équivalent du conteneur iframe de HTML. Cependant, le contenu de la page pointée par le conteneur pointe sur une page du site Web https://discovery.addons.mozilla.org qui, lui, recourt à Google Analytics.

À noter, d’une part, que ce recueil de données ne semble pas pouvoir être bloqué avec la version WebExtension de uBlock Origin, d’autre part, que le navigateur Tor Browser (une version spécialisée de Firefox pour mieux protéger la vie privée) est aussi concerné.

Un correctif conçu le 13 juillet par Mozilla pour ses sites consiste à bloquer l’envoi de données à Google lorsque le visiteur de https://addons.mozilla.org a activé la fonction « Ne pas me pister » du navigateur. Ainsi, l’activation cette fonction empêche le recueil de données, que ce soit directement sur la page Web addons.mozilla.org ou indirectement par la page about:addons de Firefox.

Confronté à cette polémique, Mozilla a donc finalement décidé d’offrir le choix à l’utilisateur, mais selon la technique de l’opt‐out. Comme il s’agit de collecte de données à l’intérieur du navigateur, le choix de la technique de l’opt‐in aurait sans doute été plus éthique.

De leur côté, les utilisateurs de Tor Browser ont évidemment réagi et ouvert un rapport. La solution appliquée sera la suppression de cet onglet Catalogue dans l’interface de Tor Browser, comme c’était déjà prévu pour d’autres raisons dans ce projet.

Vous pouvez lire le journal d’antistress pour plus de détails et de débats à ce sujet.

Télécharger ce contenu au format Epub

Lire les commentaires

Loi Finances 2016 : un soulagement pour les logiciels de compta

9 août, 2017 - 08:43

Pour petit rappel la loi finances 2016, mise en application pour le 1er janvier 2018 introduit des contraintes pour les logiciels de caisse et de comptabilité (en gros, ne pas pouvoir supprimer des données) et un système d’attestation et de certification pour engager la responsabilité de quelqu’un en cas de fraude constatée avec le logiciel. Elle concerne tous les assujettis à la TVA.

Le 15 juin dernier (oui, ça date un peu), le gouvernement a indiqué que le champ d’application de cette loi ne concernerait plus les logiciels de comptabilité, et donc uniquement les logiciels d’encaissement. Le communiqué indique également une volonté de simplifier les contraintes.

LinuxFr.org a publié plusieurs dépêches sur le sujet grâce à la mobilisation de l’April et de la société Scil, éditrice du logiciel (libre) de caisse Pastèque.

C’est une très bonne nouvelle pour les logiciels de comptabilité qui évite ainsi l’obligation d’être certifiés ou attestés. Ouf !

En revanche, pas encore de détails du périmètre précis. Les nouveaux textes seront disponibles « d’ici la fin de l’année ». On espère juste que ce ne sera pas le 20 décembre.

Le texte indique qu’il reste six mois pour se mettre en conformité. C’est donc un flou par rapport à d’autres informations qui circulent indiquant que la mise en application serait repoussée de six mois. Information pour laquelle je n’ai pas trouvé de référence officielle. Le communiqué indique bien la mise en application de la loi au 1er janvier 2018.

Télécharger ce contenu au format Epub

Lire les commentaires

Sortie de GHC 8.2.1

7 août, 2017 - 10:52

Une nouvelle version majeure du compilateur GHC pour Haskell est sortie.

Cette dépêche présente rapidement le langage Haskell, puis les nouveautés de la version 8.2.1 qui vient de sortir. En fin de dépêche, un exemple plus complet d’un code Haskell est présenté afin de motiver à l’usage de ce langage.

Sommaire Présentation d’Haskell et de GHC

Haskell est un langage de programmation fonctionnelle. Je vous invite à lire la dépêche de la sortie de GHC 8.0.1 qui réalise une présentation plus complète du langage.

Une reformulation de la page de présentation du langage pourrait être la suivante :

  • Haskell est un langage statiquement typé. Chaque expression a un type qui est déterminé à la compilation et le compilateur s'assure que l'assemblage d'expressions a un sens. Ceci permet de fournir quelques garanties sur le programme, mais cela permet aussi beaucoup d'expressivité.
  • Haskell est un langage au typage inféré. Cela signifie que tous les avantages du typage statique viennent gratuitement, sans devoir écrire de déclaration complexe de type.
  • Haskell est purement fonctionnel. C'est un des langages (sans parler des langages dérivés d'Haskell ou d'un de ses ancêtres, Miranda, purement fonctionnel et à évaluation paresseuse) qui a cette propriété où, de façon simplifiée, les effets de bords apparaissent explicitement.
  • Haskell est concurrent. GHC, son compilateur le plus connu propose des primitives efficaces pour la concurrence et est capable d'exploiter tous les cœurs de calcul d'une machine.
  • Haskell est rapide : dans certains cas, on peut approcher les performances de langages comme C++
  • Haskell est paresseux, c'est un des rares langages à ma connaissance ayant cette caractéristique.
  • Haskell vient avec de nombreux paquets pour de nombreuses applications.

À mon avis, Haskell / GHC est un outil intéressant à regarder, car il est un des rares langages « grand public » à proposer certaines fonctionnalités, comme la séparation explicite des effets de bords ou l'évaluation paresseuse. En outre, Haskell propose un système de type très puissant permettant de modéliser son domaine de travail de façon élégante. Il s'agit d'un outil capable dans beaucoup de domaines, allant du web au HPC, proposant de très bonnes performances et une sécurité accrue.

Changements

Comme d'habitude, de nombreux bugs et autres subtilités ont été réglés. J'ai essayé de résumer dans cette section les points que je trouve intéressants dans les notes de mise à jour.

Mon changement préféré est que le compilateur affiche maintenant ses messages d'erreur avec de la couleur et un petit symbole montrant la zone de l'erreur.

Performance

Un des gros apports de cette 8.2.1 concerne la performance du compilateur qui est annoncé comme plus rapide, mais les notes de versions sont pauvres d'informations à ce sujet.

De nombreux points visant les performances du code exécuté ont été traités, certains sont discutés dans les points suivants.

Join points

Les « join points » sont décrits sur le wiki et dans cette vidéo de Simon Peyton Jones : Compiling without continuations.

Il s'agit d'une optimisation permettant de détecter plus de code sujet à être transformé en appel récursif terminal, ceci permettant une réduction non négligeable des allocations, puisqu'un appel récursif terminal se résume à peu de choses près à un saut dans le programme.

Compact regions

Un des gros reproches faits à la gestion de mémoire par Ramasse-miettes_(informatique) est le temps que peuvent prendre les phases de collection de mémoire. Dans le cas d'Haskell, l’implémentation choisie est en mode « Stop the world », dit autrement, tout s’arrête pendant la phase de récupération de la mémoire. Cette phase peut être longue car toute la mémoire utilisée par le processus doit être scannée pour mettre à jour la liste des objets vivants ou morts, et ceci peut introduire des pauses peu acceptables dans certains contextes temps réel.

GHC 8.2 propose les compact regions qui sont des espaces de stockage d'objets qui ne font pas référence à d'autres objets en dehors de cet espace. Ainsi le ramasse-miettes peut ignorer cet espace pendant sa phase de parcours de la mémoire pour un gain de temps proportionnel à la quantité de mémoire qui n'a pas été parcourue.

Point intéressant, une région compacte peut être sérialisée sur le disque de façon efficace.

Types somme dépackés

La représentation en mémoire d'un objet hiérarchique en Haskell dans GHC est composée de nombreuses indirections de pointeurs qui consomment de la mémoire et coûtent cher en performance du fait de l'absence de localité et d'un stress supplémentaire sur le ramasse-miettes.

Le travail sur l'extension UnpackedSumTypes permet de représenter plus efficacement les types somme (i.e. les enums).

Numa

Des optimisations pour les architectures Numa (Non_Uniform_memory_Access) sont en place. Pour rappel, les architectures Numa ont des zones de la mémoire qui sont privilégiées par certains cœurs de calcul. Ainsi, il est plus efficace d'allouer la mémoire nécessaire pour un cœur dans une zone proche de celui-ci.

Meilleure gestion du format DWARF

Le format DWARF est utilisé par de nombreux outils de debug ou d'analyse de performance comme gdb, valgrind, perf. L'amélioration de sa gestion permet, entre autres, une meilleure prise en charge de ces outils.

Pour information, perf est un outil qui permet de faire du profiling statistique de tout programme. Au lieu d'instrumenter le code pour compter très précisément les appels de fonctions, ce que pourrait faire un compilateur, perf se contente de regarder l'état du programme à différent instants.

Cette méthode de profiling a de nombreux avantages. Elle ne nécessite pas de recompiler le code source pour ajouter l'instrumentation et ainsi elle ne modifie pas l'exécution du programme. Les résultats sont plus pertinents qu'une méthode avec instrumentation car celle-ci peut avoir un coût qui biaise les résultats. Elle permet aussi de lancer le profiling sur un programme qui s'exécute déjà.

Malheureusement, GHC génère des programmes avec un modèle d’exécution bien différent de ceux des langages plus traditionnels, d'où la difficulté d'utiliser ces outils. La page du wiki GHC sur DWARF détaille ces problématiques et les améliorations réalisées dans GHC 8.2.

BackPack

BackPack vise à proposer un système de module plus puissant.

On rappelle qu'en Haskell il existe une quantité impressionnante de types pouvant représenter une chaîne de caractères :

  • String, qui n'est autre qu'une liste chaînée de caractères Unicode. ([Char]). Celle-ci est déconseillée pour la gestion de vraie chaîne de caractères, du fait du coût en mémoire et des performances associées aux listes chaînées.
  • Text, qui est une représentation compacte de chaînes Unicode. Performante, elle est cependant critiquée par son choix de l'encodage interne — utf-16 — du fait du surcoût en mémoire comparé à de l'utf-8. Ce type vient en version stricte et paresseuse.
  • ByteString, qui est une représentation compacte de suite d'octets. Utilisée principalement pour les interactions binaires, elle vient en version stricte et paresseuse.
  • les Foundation String qui se veulent une alternative au Text en utilisant le codage interne en utf-8.

Il en existe sûrement d'autres.

Bref, c'est la jungle, car chaque type a son utilité en fonction de ses besoins en traitement correct des caractères, en traitement binaire, en évaluation paresseuse ou stricte.

Avant BackPack, faire un module gérant les différents types de chaîne de caractères disponibles dans Haskell revenait à devoir faire autant de modules que d’implémentations à gérer… bonjour la duplication de code.

Grâce à BackPack, les modules peuvent être paramétrés par une interface de type, permettant une implémentation générique du module. C'est très similaire aux modules paramétrés de OCaml.

Stratégie de dérivation

Haskell propose un mécanisme de dérivation de comportement automatique. Par exemple :

data Vector = Vector { x :: Float, y :: Float, z :: Float } deriving (Show, Eq)

Crée une classe Vector, représentant un triplet de flottant. La clause deriving permet au compilateur d'écrire automatiquement les fonctions d'affichage des égalités, par exemple :

>>> v = Vector 1 2 3 >>> v Vector {x = 1.0, y = 2.0, z = 3.0} >>> v2 = Vector 4 5 6 >>> v == v2 False >>> v == v True

On peut aussi imaginer dériver automatiquement les comportements de séralisation, hash, conversion avec JSON, …

Ce mécanisme a évolué au cours de la vie de Haskell, au départ il permettait de ne dériver que certains comportements fixes proposés par le compilateur. Puis de nouveaux comportements ont été ajoutés. Puis il est devenu possible pour un utilisateur de proposer son propre système pour dériver automatiquement des comportements. Du fait de la profusion de mécanismes de dérivation, certains cas sont devenus ambigus.

GHC 8.2 fait un peu le ménage en proposant DerivingStrategies qui permet de choisir explicitement la stratégie à utiliser. Cet article résume le problème et démontre la solution.

Amélioration du typage dynamique

Haskell est un langage au typage statique, à ce titre il prend en charge bien évidemment la notion de typage dynamique par le biais du module Data.Dynamic.

On peut encapsuler n’importe quel type dans un type Dynamic, mais pour le récupérer il faudra explicitement fournir le bon type :

Prelude Data.Dynamic> a = toDyn "Hello" Prelude Data.Dynamic> b = toDyn True Prelude Data.Dynamic> :type a a :: Dynamic Prelude Data.Dynamic> :type b b :: Dynamic Prelude Data.Dynamic> (fromDynamic a) :: Maybe String Just "Hello" Prelude Data.Dynamic> (fromDynamic a) :: Maybe Bool Nothing Prelude Data.Dynamic> (fromDynamic b) :: Maybe String Nothing Prelude Data.Dynamic> (fromDynamic b) :: Maybe Bool Just True

GHC 8.2 apporte l'implémentation du papier A reflection on types de Simon Peyton Jones, Stephanie Weirich, Richard A. Eisenberg et Dimitrios Vytiniotis, détaillé dans cette vidéo de SPJ. Ces changements ne seront pas forcément visibles pour un utilisateur final, mais ils simplifient et sécurisent l'implémentation de bibliothèques comme Dynamic en remplaçant un hack (un cast) par une opération garantie par le compilateur.

Overloaded record fields

La situation des record, i.e. des structures avec des champs nommés, n'est pas parfaite en Haskell.

Depuis GHC 8.0, beaucoup de travail est fait à ce sujet, notamment avec l'arrivée des extensions :

  • DuplicateRecordField qui permet de définir dans le même module deux types avec des noms de champs égaux.
  • OverloadedLabels qui permet de définir des labels, syntaxiquement #foo qui seront surchargés en fonction du type.

GHC 8.2 va un peu plus loin et propose la classe HasField qui permet d'extraire un champ de record de façon polymorphique, par exemple getField @"x" v permet d'extraire le champ x de v quel que soit le type de v.

Notez que GHC 8.2 est incompatible avec le code de OverloadedLabels de GHC 8.2 et qu'il faudra adapter son code.

Un meilleur support du polymorphisme "levity"

Richard A. Eisenberg - Levity Polymorphism (en anglais).

En Haskell (et dans de nombreux autres langages), il existe des objets « boxés » et des objets non « boxés ». Par exemple, un Int# est représenté par un entier machine sur 64 bits, alors qu'un Int est représenté par un pointeur de constructeur, que l'on pourrait assimiler à un tag de type, et par un Int#, tout cela pour deux fois plus de mémoire.

Généralement, on n'utilise pas les types "non boxés" et le compilateur optimise cela comme il peut. Cependant quand les performances sont attendues, il peut être intéressant d'écrire du code sur des types non "boxés" et à un moment, il devient important de pouvoir écrire des fonctions polymorphiques travaillant aussi bien sur des types "boxés" que "non boxés".

Exhaustivité des patterns

Le nouveau pragma COMPLETE permet de forcer l'exhaustivité des patterns.

Par défaut, chaque type crée aussi un pattern utilisable pour construire / déconstruire le type :

data Point = Point Float Float deriving (Show) isOrigin (Point 0 0) = True isOrigin _ = False getX (Point x _) = x translate (Point x y) (dx,dy) = Point (x + dx) (y + dy)

Il est cependant possible de créer ses propres patterns pour créer de nouvelles façons de construire / déconstruire ses types :

{-# LANGUAGE ViewPatterns #-} {-# LANGUAGE PatternSynonyms #-} pattern PolarPoint r phi <- (\ (Point x y) -> (sqrt (x*x+y*y), atan2 y x)) -> (r, phi) where PolarPoint r phi = Point (r * cos phi) (r * sin phi

Ici, je crée un pattern PolarPoint r phi qui représente un point en coordonnées polaires. On peut s'en servir autant pour créer que pour déconstruire :

> PolarPoint 10 0 Point 10.0 0.0 > PolarPoint 10 (pi / 2) Point (-4.371139e-7) 10.0 > PolarPoint r angle = Point 2 2 > r 2.8284271247461903 > angle 0.7853981633974483

Cependant, avant GHC 8.2, le compilateur râlait sur les fonctions utilisant ce pattern :

-- | Retourne `True` si le point est plus loin qu'un rayon de 10 isFar :: Point -> Bool isFar (PolarPoint r _) = r > 10 Polar.hs:18:1: warning: [-Wincomplete-patterns] Pattern match(es) are non-exhaustive In an equation for ‘isFar’: Patterns not matched: _ | 18 | isFar (PolarPoint r _) = r > 10 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

En effet, le compilateur ne peut pas prouver tous les cas de figure des patterns, ce qui se traduit par beaucoup de faux positifs dans lesquels les vrais positifs sont cachés, rendant cette fonctionnalité peu utilisable.

Depuis GHC 8.2, l'utilisateur peut fournir une directive de compilation {-# COMPLETE PolarPoint #-} permettant de spécifier que le pattern PolarPoint couvre tous les cas de figure.

L'écosystème

Stack est un outil de gestion de dépendance pour Haskell. Il peut sous-traiter à Nix pour les dépendances non Haskell, permettant ainsi la compilation dans un environnement contrôlé. Pour faire simple, un programme Haskell peut être compilé en une seule ligne de commande stack build sans devoir se préoccuper de l'installation de dépendances.

L'utilisation de Stackage qui fournit des snapshots de packages versionnés garantit qu'un programme compilé il y a quelques mois le sera dans les mêmes conditions.

Stack a gagné dernièrement une nouvelle commande script qui permet d’exécuter un programme Haskell comme un script en installant les dépendances listées dans le script lui-même. Nous verrons un cas d'usage dans la section d'exemples plus loin.

Le futur

Haskell (et GHC) évolue constamment. Cette section liste quelques projets excitants pour l'avenir.

Typage dépendant

Cet article de blog détaille le travail sur les types dépendants en Haskell qui devrait arriver plus ou moins rapidement, l'auteur parlant de GHC 8.6.

Les Types dépendants permettent d'enrichir le système de type afin de garantir plus de choses.

Pour expliciter cela, nous allons traiter un petit problème de multiplication de matrices.

Soit un type Matrice qui pourrait être représenté comme suit en Haskell :

data Matrice = Matrice { nLignes :: Int, nColonnes :: Int, donnée :: (... structure non détaillée ...) }

Le produit matriciel est une opération classique d’algèbre qui s'effectue entre deux matrices et renvoie une nouvelle matrice. Cependant il y a une contrainte entre la taille des matrices d'entrées et le résultat de la matrice de sortie. Une matrice de taille (m, n) ne peut être multipliée que par une matrice de taille (n, p) pour obtenir une matrice de taille (m, p).

Bien souvent cette contrainte est assurée par une vérification à l’exécution :

produitMatrice :: Matrice -> Matrice -> Matrice produitMatrice (Matrice m n dataA) (Matrice n' p dataB) | n == n' = (Matrice m p (... calcul non détaillé ...)) | otherwise = error "Pas les bonnes tailles"

Il est à l'heure actuelle possible en Haskell de spécifier ces tailles directement dans le type, tel que :

data Matrice nLignes nColonnes = Matrice { donnée :: (... structure non détaillée ...) }

Donnant ainsi le produit suivant :

produitMatrice :: Matrice m n -> Matrice n p -> Matrice m p produitMatrice (Matrice dataA) (Matrice dataB) = Matrice (... calcul non détaillé ...)

Cette approche force le compilateur à vérifier que les tailles de nos matrices sont correctes pendant la compilation, ce qui supprime totalement toute une classe d'erreur à l’exécution.

Justin Le a rédigé une très bonne série d'articles qui traite de l'état actuel du typage dépendant en Haskell en implémentant un réseau de neurone multi couches.

Une des limitations de cette approche est que les tailles, des réseaux de neurone ou des matrices de notre exemple, doivent être connue intégralement à la compilation, empêchant l'écriture d'un outil pouvant charger depuis le disque une matrice de taille quelconque.

Dans la seconde partie de son article, Justin Le parle de ce problème et montre les solutions existantes pour réaliser ce type d'opérations. On peut donc écrire une fonction de chargement de matrice depuis le disque avec des tailles statiques :

chargerMatrice :: Filename -> IO (Matrice n m)

Je ne détaillerais pas la solution, c'est, à mon avis, lourd et rébarbatif. Le travaille sur le typage dépendant qui est en cours dans GHC vise à simplifier cela.

Typage linéaire

Le typage linéaire devrait arriver sous peu dans GHC. Ce travail est en grande partie réalisé par une société française, tweag.io, donc cocorico ;) On note leur publication sur les types linéaires et leur premier article de Blog expliquant le projet.

Les types linéaires apportent à la fois un potentiel de performance et de sécurité / modélisation.

Pour simplifier, c'est une façon de dire qu'une valeur ne sera utilisée qu'une et une seule fois. Je ne rentrerai pas dans les détails de son implémentation en Haskell puisque c'est tout nouveau et que les choses peuvent beaucoup bouger, je me contenterai de donner deux exemples de problématiques que les types linéaires peuvent résoudre.

Sécurité et modélisation

Cet article de Blog détaille ce point, l'exemple qui suit est similaire.

Quand on utilise des sockets, on peut faire de nombreuses actions en fonction de l'état de la socket, qui sont résumées dans le graphe suivant:

Non initialisée ---bind()---> En attente ----listen()---> En écoute \ / \ accept() \-----connect()----> Envoyer/Recevoir <==========/

Ici, une flèche simple représente un changement d'état de la socket. Et la flèche === représente le fait que la fonction accept retourne une nouvelle socket directement dans l'état d'envoi et de réception de message.

À chaque état est associé une liste d'opérations possibles, par exemple recv et send ne sont possibles que dans l'état de transfert.

On pourrait modéliser ces états par des types différents :

data NonInitSocket = NonInitSocket Int data AttenteSocket = AttenteSocket Int data EcouteSocket = EcouteSocket Int data TransfertSocket = TransfertSocket Int

L'Int représentant le descripteur de fichier bas niveau de la socket.

Et à cela s'ajoute des fonctions :

create :: IO NonInitSocket bind :: NonInitSocket -> Addr -> IO AttenteSocket listen :: AttenteSocket -> Int -> IO EcouteSocket connect :: NonInitSocket -> Addr -> IO TransfertSocket accept :: EcouteSocket -> IO TransfertSocket send :: TransfertSocket -> String -> IO () recv :: TransfertSocket -> Int -> IO String closeEcoute :: EcouteSocket -> IO () closeTransfert :: TransfertSocket -> IO ()

Les IO matérialisant que chacune de ces fonctions réalise des effets de bord.

Et là tout est beau dans le meilleur des mondes, on ne peut pas exécuter une fonction qui n'a pas de sens sur une socket qui n'est pas dans le bon état.

Sauf que si… Observons le code suivant :

fonctionBugée = do s <- create attenteSocket <- bind s anAddr ecouteSocket <- listen attenteSocket 3 ... transfertSocket <- connect s anotherAddr

Ici on voit qu’on se sert deux fois de s ce qui est faux puisque à ce moment le descripteur de socket qui est stocké dans s correspond à une socket en état d'écoute.

On remarque aussi qu'on ne ferme jamais nos sockets.

Les types linéaires peuvent ici nous sauver en refusant à la compilation le second usage de s. De même, la compilation pourrait refuser ce code qui n'utilise pas ecouteSocket ni transfertSocket, la seule façon de les utiliser étant de les fermer. Ainsi les types linéaires permettent de détecter à la compilation des mauvais usages de ressources.

Performance

Haskell est un langage où on maximise la non mutabilité. Ainsi on va préférer créer une nouvelle structure de données plutôt que d'en modifier une. Haskell tire profit de cette non mutabilité pour partager au maximum les parties communes entre plusieurs données.

S'il existe des structures non mutables performantes (à lire, c'est très instructif), ce n'est pas le cas de toutes les structures. Ainsi, un vecteur n'est pas du tout adapté à la non mutabilité, car il faut recopier intégralement celui-ci en cas de modification d'une unique case.

Une des premières choses qui vient à l'esprit c'est que si personne d'autre n'utilise la donnée, on pourrait la modifier sans scrupule. Cette information n'est cependant pas connue à la compilation et serait trop coûteuse à calculer lors de l’exécution.

Les types linéaires permettent de garantir que notre valeur ne sera utilisée qu'une seule fois, sous peine de refuser de compiler. Cette information en main, une bibliothèque pourra proposer des fonctions optimisées avec mutation pour remplacer les fonctions qui copient. Et cela sans faire apparaître de mutation dans le code utilisateur.

Exemple d'Haskell : le dîner des philosophes

La fin de cette dépêche est consacrée à un exemple de résolution d'un problème en Haskell. Merci à jiehong de m'avoir soufflé l'idée de présenter la mémoire transactionnelle.

Introduction

Nous allons nous intéresser au problème des philosophes. Il s'agit d'un problème classique de programmation concurrente qui brille autant par son énoncé trivial que par le nombre de problématiques d’implémentation qu'il soulève.

À une table ronde d'un restaurant italien, des philosophes discutent en mangeant. Chaque philosophe a à sa droite et sa gauche une fourchette, qu'il partage avec son voisin de droite et de gauche.

Pour manger, un philosophe doit prendre les deux fourchettes, il pourra ensuite manger pendant un laps de temps variable, puis reposera les fourchettes. Cependant, en prenant les fourchettes, il empêche son voisin de droite et de gauche de manger.

Le problème est donc d'ordonnancer le repas des philosophes en évitant des situations d'interblocage courantes tel que :

  • des « dead lock », où un philosophe sera en attente d'une fourchette prise par une autre philosophe lui-même en attente d'une autre fourchette. On peut imaginer une situation ou tous les philosophes sont bloqués de cette manière.
  • des « live lock », où les fourchettes changent de main en permanence, mais sans que personne ne puisse manger.

Une solution simple à ce problème consiste en l'usage d'un verrou global. Chaque philosophe désirant manger va tenter de prendre le verrou global et une fois celui-ci verrouillé, il prendra ses deux fourchettes si et seulement si les deux sont disponibles. Cette solution est triviale à implémenter, mais ne passe pas à l'échelle, car elle séquence toutes les opérations de prise ou de dépose des fourchettes. Il faut donc employer une stratégie plus fine.

Il existe de nombreuses solutions à ce problème, nombreuses sont complexes à implémenter, et impose une grande rigueur. Par exemple en s'assurant de ne prendre et rendre les verrous toujours dans le même ordre, on s'assure théoriquement qu'il n'y a pas d'interblocage, par exemple si un philosophe s'assure de prendre la fourchette gauche avant la droite. Mais il y a le cas du dernier philosophe de la table qui doit prendre sa fourchette droite avant la gauche, la fourchette droite étant en fait la première de la table. Bref, vous l'aurez compris, ce n'est pas trivial.

Dans cet exemple de code Haskell, nous présenterons une solution utilisant les primitives de STM, "Software Transactional Memory", Mémoire transactionnelle logicielle. Cette technique offre de nombreux avantages, en termes de facilité de programmation et de composition du code.

STM et Haskell

En Haskell, nous pouvons créer une zone de mémoire modifiable par STM grâce à la fonction newTMVarIO. Cette zone contiendra ou pas une valeur. Grâce à putTMVar, nous pouvons mettre une valeur dans la zone. takeTMVar vide la zone et renvoie la valeur. Cette opération est bloquante.

Nous pouvons représenter une fourchette par une TMVar () contenant simplement un (). On aurait pu mettre n'importe quoi dedans, la seule chose nous intéressant étant de savoir si la valeur est dedans ou pas.

On peut composer ensemble un certain nombre d'opérations sur des TMVar et exécuter atomiquement le bloc grâce à atomically.

Les STM divergent d'une stratégie plus classique à base de mutex par :

  • des opérations sont composables. On peut créer une action plus complexe à partir d'une ensemble de petits actions. Bien évidemment, plus l'action est complexe, plus la transaction a des chances d'échouer et de devoir recommencer.
  • les opérations atomiques ont une granularité très fine, car elles ne « verrouillent » que les variables impliquées dans la transaction. Ainsi on peut facilement imaginer modifier une structure de données en plusieurs points par plusieurs threads sans qu'il n'y ait de conflit.
Exemple d’exécution

Pour exécuter le programme, nous ferons appel à stack qui après installation des bibliothèques nécessaires va utiliser GHC en mode interprété, ce programme ne demandant pas de performance particulière.

Le programme prend en paramètre le nombre de philosophes autour de la table. Chaque philosophe est nommé par une lettre. Quand celui-ci commence à manger, la console affiche une lettre majuscule, quand celui-ci s’arrête, elle affichera une lettre minuscule. Les philosophes essayent de manger pendant 30 secondes.

Avec deux philosophes, on est en situation où seulement l'un peut manger :

$ ./Philosopher.hs 2 AaBbAaBbAaBbAaBbA

Avec trois philosophes, seulement un peut manger

$ ./Philosopher.hs 3 AaBbCcAaBbCcA

Avec quatre, c'est plus intéressant. Les philosophes ne peuvent manger ensemble que par groupes de 2, c’est-à-dire soit A et C, soit B et D. Ainsi, pour changer de groupe, il faut que les deux philosophes du même groupe arrêtent de manger en même temps. L’implémentation fait manger les philosophes pendant un temps aléatoire compris entre 0 et 2 secondes, et ils se reposent pendant 100 ms avant de recommencer à essayer de prendre les fourchettes. Ainsi, le moment ou les deux philosophes d'un groupe viennent de s’arrêter de manger ensemble est assez rare :

$ ./Philosopher.hs 4 ACcCaAcCaAcCaAcCcaBDdDdDbBdDbdACcaBDdDbB # ----------------| ICI

Avec plusieurs philosophes, c'est bien plus drôle :

$ ./Philosopher.hs 10 ACEGIcgCGcCgGcaBiJjIeDgFbAiHdChIfGEgGeiEcICaAcCaAeiEIicICgGiIaAeEeEcCgGiIaAeEicICcCigH Implémentation

Cette section détaille une solution en Haskell de ce problème. Des paragraphes d'explications s’intercalent entre les blocs de code qui peuvent être copiés collés en tant que tels dans un fichier Philosopher.hs.

Prélude

On commence par le Shebang décrivant interpréteur à utiliser. Ici stack. La ligne suivante liste les packages nécessaires pour ce fichier, à savoir stm pour l'usage de la mémoire transactionnelle, random pour générer des nombres aléatoires et optparse-generic pour lire la ligne de commande.

#!/usr/bin/env stack -- stack script --resolver lts-9.0 --package "stm random optparse-generic" {-# LANGUAGE OverloadedStrings #-}

Viennent l'import des modules nécessaires pour notre code. J'ai choisi d'importer de façon qualifier chaque fonction afin que le lecteur puisse connaitre sa provenance.

module Main where import Control.Monad (replicateM, forever) import Control.Concurrent.STM (TMVar, putTMVar, takeTMVar, newTMVarIO, STM, atomically) import Control.Concurrent (forkIO, killThread, threadDelay, ThreadId) import System.Random (randomRIO) import Data.Char (toLower) import Options.Generic (getRecord) Fourchettes

La gestion des fourchettes. En premier lieu, le type Fork qui représente une fourchette. Celui-ci contient un TMVar (), c’est-à-dire un conteneur STM qui peut contenir un (), c’est-à-dire « rien ». Mais on peut connaitre la présence ou l'absence de ce rien et c'est ce qui nous intéressera.

data Fork = Fork (TMVar ())

takeFork et releaseFork respectivement prennent et reposent une fourchette. takeFork sera bloquant. On note au type des fonctions que ces opérations s'effectuent sous le contrôle de la STM.

-- | Prend une fourchette. Bloquant. takeFork :: Fork -> STM () takeFork (Fork var) = takeTMVar var -- | Repose une fourchette. Non Bloquant. releaseFork :: Fork -> STM () releaseFork (Fork var) = putTMVar var ()

La création d'une fourchette avec mkFork implique la création d'une TMVar avec newTMVarIO :

-- | Crée une fourchette mkFork :: IO Fork mkFork = do var <- newTMVarIO () pure (Fork var)

Ce morceau de code implique énormément de choses sur Haskell, nous allons nous y attarder un moment. Le type de la fonction est IO Fork, c'est une action d'entrée / sortie qui renvoie une fourchette. La première ligne réalise une action newTMVarIO () qui crée une nouvelle TMVar contenant un (). Celle-ci est stockée dans var. Il ne s'agit pas d'une égalité, mais d'une affectation, ici var est bien le résultat de l’exécution d'une action et non pas une égalité qui serait représentée avec le signe =.

La valeur de retour de la fonction est Fork var c’est-à-dire la TMVar encapsulée dans le type Fork. Cette expression Fork var, de type Fork ne représente pas une action à effet de bord, ainsi elle ne peut pas être la valeur finale de la fonction (qui est de type IO Fork). Il faut donc encapsuler de nouveau le Fork dans une IO, est cela est fait grâce à la fonction pure.

Ne vous en formaliser pas trop, c'est surprenant au début, mais on s'y fait vite.

La création de n fourchettes se fait grace à la fonction replicateM qui réplique l'action mkFork et donc renvoie une liste de Fork. le M ici signifie que on réplique une action. Sinon on pourrait écrire replicate 3 True == [True, True, True] sans le M car True n'est pas une action.

-- | `mkForks n` crée une liste de `n` `Fork` disponibles mkForks :: Int -> IO [Fork] mkForks n = replicateM n mkFork Philosophes

Un philosophe est simplement une structure qui comprend un nom, sous la forme d'un Char, et deux Fork.

-- | Un `Philosopher` est représenté par son nom et deux fourchettes data Philosopher = Philosopher Char Fork Fork

La création de plusieurs philosophes, en se servant de fourchettes est la suivante :

-- | Crée le nombre de philosophes associés aux fourchettes mkPhilosophers :: [Fork] -> [Philosopher] mkPhilosophers forks = zipWith3 Philosopher ['A'..] forks (last forks : forks)

Cette fonction est très concise mais complexe. Nous avons une liste de fourchettes (pour simplifier [fork0, fork1, fork2]) et nous voulons crée une liste de Philosophes chacun associé à une lettre et à deux fourchettes.

On aimerait la liste suivante : [Philosopher 'A' fork0 fork2, Philosopher 'B' fork1 fork0, Philosopher 'C' fork2 fork1].

Un motif apparaît, on voit qu'il s'agit de la fonction Philosopher appliquée à 3 arguments pris respectivement dans 3 listes distinctes grace à la fonction zipWith3 :

  • ['A', 'B', 'C'], que nous représentons ici avec la liste infinie ['A' .. ]
  • [fork0, fork1, fork2], c'est tout simplement forks
  • [fork2, fork0, fork1], qui est ici (last forks : forks)

Cela fonctionne car zipWith3 ne consomme qu'en fonction de la longueur de la liste la plus courte.

Vie d'un philosophe

Une étape de la vie d'un philosophe est une fonction assez longue, mais peu complexe. La prise et la relâche des fourchettes est réalisée dans un bloc atomically, le reste n’étant que des attentes et un peu d'affichage.

-- | Un `Philosopher` essaye de manger. runPhilosopher :: Philosopher -> IO () runPhilosopher (Philosopher name forkA forkB) = do -- Prends les fourchettes de façon atomique, garantie par STM atomically $ do takeFork forkA takeFork forkB -- Affiche son nom en majuscules putChar name -- Mange pendant un temps aléatoire compris entre 0 et 2 secondes time <- randomRIO (0, 2 * 1000 * 1000) threadDelay time -- Affiche la fin du repas (nom en minuscule) putChar (toLower name) -- Repose les fourchettes de façon atomique atomically $ do releaseFork forkA releaseFork forkB -- Attend avant de recommencer pendant 100 ms threadDelay (1000 * 100) forkPhilosopher

Cette fonction, pour un philosophe donné p, crée un green thread qui exécute en boucle infinie grâce à forever une étape de la vie de notre philosophe.

forkPhilosopher :: Philosopher -> IO ThreadId forkPhilosopher p = forkIO (forever (runPhilosopher p)) main

Le main contient un peu de logique pour lire la ligne de commande et crée les philosophes.

main :: IO () main = do -- Lit le nombre de philosophe sur la ligne de commande nPhilosopher <- getRecord "Philosopher" -- Crée les fourchettes et les philosophes forks <- mkForks nPhilosopher let philosophers = mkPhilosophers forks -- Crée les threads par philosophe tIds <- mapM forkPhilosopher philosophers -- Attend 10 secondes et tue les threads threadDelay (1000 * 1000 * 10) mapM_ killThread tIds

Quelques points à discuter dans cette fonction main. En premier lieu j'utilise getRecord pour lire la ligne de commande. Cette fonction, du module optparse-generic, est capable de créer toute seule une interface ligne de commande en fonction du type de retour demandé, ici un Int, en gérant automatiquement la lecture de la ligne de commande, la validation des arguments et l'affichage de l'aide si nécessaire. Cela m'a économisé 3 lignes de logique pour lire les arguments, vérifier qu'il y en avait au moins un, et le convertir en Int et afficher une erreur le cas échéant. Ce n'était pas forcement nécessaire dans ce contexte, mais cela devient extraordinaire avec une interface plus complexe impliquant des arguments optionnels, des drapeaux booléens, ou autres.

La création des fourchettes est une opération avec effets de bord, d'où l'affectation du résultat avec <-. La création des philosophes elle ne réalise pas d'effet de bord, c'est une fonction pure, d'où l’égalité = qui signifie réellement que philosophers est sémantiquement équivalent à mkPhilosopher forks dans les lignes qui suivent. C'est un outil de compréhension de code que je trouve plaisant.

Pour finir, la création des threads se fait avec mapM qui va applique la fonction forkPhilosopher à chaque philosophe et renvoyer l'identifiant du thread crée.

Conclusion

GHC 8.2 c'est sympa, il y a pleins de nouvelles fonctionnalités qui rendent heureux un développeur Haskell régulier. Mais soyons réaliste, ce n'est pas ces nouvelles fonctionnalités qui vont vous motiver à utiliser Haskell, c'est pourquoi j'ai essayé de présenter un cas concret d'utilisation du langage sur un problème assez classique d'algorithmie.

Télécharger ce contenu au format Epub

Lire les commentaires

Agenda du Libre pour la semaine 32 de l’année 2017

6 août, 2017 - 00:17

Calendrier Web, regroupant des événements liés au Libre (logiciel, salon, atelier, install party, conférence), annoncés par leurs organisateurs. Voici un récapitulatif de la semaine à venir. Le détail de chacun de ces 13 événements (0 en Belgique, 7 en France, 0 au Luxembourg, 6 au Québec, 0 en Suisse et 0 en Tunisie) est en seconde partie de dépêche.

Sommaire [QC Montréal] DebConf17 - la conférence annuelle de Debian - Du dimanche 6 août 2017 à 09h00 au samedi 12 août 2017 à 17h00.

DebConf est la conférence annuelle où les gens qui développent Debian et autres personnes intéressées se réunissent dans le but d'améliorer Debian.  Les DebConf précédentes ont accueilli des présentateurs et participants de partout dans le monde pour parler de Debian.  Par exemple, l'année passée, à Cape Town en Afrique du Sud, DebConf16 a vu venir du monde de 30 pays différents.
Étant donné que le travail qui est fait sur Debian par ce monde divers est effectué en anglais, les événements DebConf ont lieu en anglais, aussi.  Cependant, pour l'Open Day, la journée portes-ouvertes qui précède DebConf17, nous encourageons les gens qui le veulent de présenter en français.
Pour plus de renseignements par rapport à DebConf17, voir le site web à https://debconf17.debconf.org/

[QC Montréal] Ring on! Célébrez et échangez avec l’équipe Ring! - Le mardi 8 août 2017 de 18h30 à 21h30.

Vous êtes amicalement invité à la soirée "Ring on! Célébrez et échangez avec l’équipe Ring", ce mardi 8 août de 18 h 30 à 21 h 30 dans les locaux de Savoir-faire Linux.
Célébrons ensemble la sortie de la première version stable de Ring "Ring 1.0 - Liberté, Égalité, Fraternité ", un logiciel de communication libre et universel, paquet GNU, soutenu par la Free Software Foundation.
Rencontrez l’équipe Ring! Échangez, essayez et commentez cette version autour d’un cocktail dînatoire convivial. L’équipe sera ravie de recueillir vos avis et impressions sur cette nouvelle version!

  • Savoir-faire Linux, 7275, rue Saint-Urbain, Montréal
  • URL: https://framadate.org/FMX77NhhRVqW86JE
  • Mots-clés: linux, ring [FR Chartres] OpenAtelier - Le mercredi 9 août 2017 de 20h00 à 23h59. ----- L'OpenAtelier est un moment de rencontre et de partage ou les membres et curieux sont invités à échanger sur leurs idées et leurs projets.

Les espaces techniques sont également ouverts aux réalisations (électronique, informatique, menuiserie, impression 3D, découpe vinyle…).

Pour les curieux, c'est le bon moment pour venir découvrir l'association et ses membres.

[QC Montréal] Wikimania 2017 - Du mercredi 9 août 2017 à 08h00 au dimanche 13 août 2017 à 21h00.

Wikimania est la conférence annuelle célébrant Wikipédia et ses projets frères ; trois jours de conférences, de discussions, de formations et d'ateliers. Des centaines de bénévoles et les sommités du savoir libre du monde entier se réunissent pour débattre, s’informer sur les nouvelles idées et approches, échanger et mettre en commun leurs idées.
Les thèmes de la conférence incluent l’avancement du savoir libre, le rôle des institutions académiques et culturelles au sein du mouvement, la vie privée, les droits de l'être humain et le rôle de la technologie pour faire avancer ces objectifs. Wikimania 2017 portera également un regard plus approfondi sur le rôle du Mouvement au sein de la Francophonie, et la programmation d’événements axés sur la promotion du français et des cultures francophones au sein des projets.
Au-delà de l'événement principal, il y a les événements connexes : le « Hackathon » où la communauté technique qui entoure les projets Wikimedia s’unit pour travailler et contribuer, et le « Sourcethon » où les vétérans et les nouveaux arrivants mettent leurs efforts en commun pour préserver et rendre disponibles des documents écrits historiques.

[FR Toulouse] Rencontre Tetalab - Le mercredi 9 août 2017 de 21h00 à 23h00.

Rencontre hebdomadaire des hackers et artistes libristes Toulousains.

Ouvert au public tous les mercredi soir.

Venez nombreux.

[QC Coteau du Lac] Émission #137 de bloguelinux - Le jeudi 10 août 2017 de 20h00 à 22h00.

bloguelinux.ca est un blogue québécois offrant la diffusion d'un podcast qui traite des logiciels libres, du système d'exploitation Linux et de la technologie en général ; il y a un processeur, il y a un système d'exploitation, c'est certain que ça nous intéresse!
bloguelinux.ca est enregistré le jeudi à 20 heures toutes les deux semaines.
Vous pouvez nous écouter en direct lors des enregistrements à l'adresse http://live.bloguelinux.ca ou directement sur notre site à http://www.bloguelinux.ca en cliquant sur la radio dans le panneau de gauche du site.

[FR Strasbourg] Réunion mensuelle ouverte d'ARN - Le vendredi 11 août 2017 de 18h00 à 22h00.

ARN vous accueil un vendredi par moi pendant le Stammtisch du Hackstub !

Dans ces réunions :
• nous accueillons des visiteur-se-s qui veulent en savoir plus sur notre démarche ou apprendre à nous connaître ;
• nous évoquons les sujets actuels relatifs à l'association et au numérique autour de Strasbourg ;
• nous faisons le point tous-toutes ensemble sur l'avancée des projets de l'association et des projets associatifs environnants ;
• nous profitons de ces instants pour faire avancer les projets de l'association sous forme de groupes de travail ouverts.

Ces réunions se concluent par un repas convivial à l'extérieur.
Ces réunions sont ouvertes à tout le monde, membre d'ARN ou non. Pas d'inscription préalable.

N'hésitez pas à venir échanger avec nous !

[QC Montréal] WordCamp Montréal - Du samedi 12 août 2017 à 08h00 au dimanche 13 août 2017 à 17h00.

WordCamp Montréal est une conférence de deux jours à propos de WordPress, la plateforme de blogue et le système de gestion de contenu le plus populaire au monde. Développeurs, designers, professionnels du Web et blogueurs se rassembleront pour assister à des présentations et des ateliers au sujet de WordPress, et à réseauter.

Cette année, l’événement aura lieu à l’école de gestion John Molson School of Business au centre-ville de Montréal les 12 et 13 août, 2017.

[FR Villeneuve d'Ascq] Libre à Vous - Le samedi 12 août 2017 de 09h00 à 12h00.

Vous souhaitez tester GNU/Linux sur votre ordinateur, vous recherchez un logiciel pour une fonction précise, des conseils ou de l'aide sur les logiciels libres?

Libre à Vous est une permanence destinée à vous faciliter l'utilisation de l'informatique. Vous repartirez avec « le plein » de logiciels libres, fiables, évolutifs, performants et gratuits.

C'est chaque samedi matin au Centre d'Infos Jeunes à la ferme Dupire, 80 rue Yves Decugis à Villeneuve d'Ascq (métro Triolo) de 9h00 à 12h00.

Entrée Libre. Tout Public.

[FR Valenciennes] Permanence ValLibre - Le samedi 12 août 2017 de 09h30 à 12h00.

Permanence assistance informatique.

Dépannage petits bobos informatiques.

Initiation à l'informatique libre.

Tous les samedis ouvrables sauf les derniers samedis du mois et les samedis en période de vacances scolaires.

Si besoin particulier, la prise de rendez-vous est fortement conseillée.

Téléphone accueil MQCV : 03 27 22 43 90

[FR Morogues] Atelier libre - Le samedi 12 août 2017 de 10h00 à 12h00.

Ateliers d'entraide informatique & bricolages divers

Vous souhaitez apprendre à réparer votre ordinateur De l'aide pour installer votre premier linux 

Vous souhaitez aller plus loin avec un ordinateur et héberger vos outils Un coup de main pour finir un montage électronique

[FR La Couronne] Permanence - accueil public - Le samedi 12 août 2017 de 10h00 à 13h00.

Notre permanence d'accueil avec le sourire, le café et les gâteaux !

Lieu de rencontre et d'échange convivial pour discuter informatique et outils numériques.

Cette association permet à chacun de découvrir également l'univers de Linux et par extension de tous les **logiciels* et matériels libres*.

Entrée Libre. Tout Public.

[QC Montréal] Réparothon INSERTECH à la Foire Écosphère - Le samedi 12 août 2017 de 13h00 à 16h00.

La Foire Écosphère, Éco2Fest et Insertech co-organisent un Réparothon ! Apportez vos appareils défectueux à nos bénévoles. Ils vous montreront comment s’y prendre pour les réparer et les optimiser, afin de prolonger leur durée de vie et de réduire leur empreinte écologique.
Événement gratuit, le nombre de places est limité : premier arrivé, premier servi.
Appareils acceptés :

Télécharger ce contenu au format Epub

Lire les commentaires

tsrc — un gestionnaire de dépôts git

5 août, 2017 - 19:20

Gérer du code dans plusieurs dépôts différents est toujours un peu compliqué. Chez tanker.io nous avons une petite équipe de développeurs, et chacun des membres peut être amené à coder dans plusieurs langages (C++, Go et JavaScript, principalement). Comme une grande partie du code est encore propriétaire, nous utilisons une instance GitLab hébergée dans nos locaux.

Il existe plusieurs façons de gérer la synchronisation entre dépôts : la manière qui nous convient le mieux est d’avoir la même branche (ou le même tag) sur les dépôts concernés. Ceci nous a amené à développer notre propre outil, tsrc, qui est désormais disponible sur GitHub, sous licence BSD.

Pourquoi GitHub et pas GitLab ? Simplement parce que GitHub, bien que propriétaire, assure une meilleure visibilité au projet.

Nos contraintes :
  • bonne prise en charge de Windows (ce qui exclut repo ou gws) ;
  • un seul fichier central permettant de connaître la liste précise des dépôts à cloner et leur localisation (ce qui exclut les outils comme mu-repo, ou scm.py) ;
  • d’un autre côté, nous n’avons pas vraiment besoin de gestion des dépendances entre dépôts (ce que mu-repo gère bien), parce que nous préférons avoir un dépôt par langage ;
  • pas de dépôt « maître » contenant plusieurs sous‐dépôts (ce qui exclut git-submodule et git-subrepo).
Démonstration

Vous pouvez vous faire une idée précise de comment fonctionne tsrc en regardant la démonstration que nous avons publiée sur asciinema.

Installation

tsrc est codé en Python et naturellement disponible sur Pypi.

Il est utilisé par tous les membres de notre équipe, que ce soit sous GNU/Linux, macOS ou Windows. La version minimale requise pour tsrc est Python3.3. Notez que le support de Python 2.7 est exclu (simplement parce que Python3 est, de notre point de vue, un bien meilleur langage que Python2.7). Sur une distribution pas trop vieille (Python 3.3 étant sorti en 2012), un simple pip3 install tsrc --user fera donc l'affaire, après avoir rajouté ~/.local/bin dans votre PATH au besoin.

Utilisation Clone initial

tsrc fonctionne en utilisant un fichier « manifest » en YAML :

repos: - src: foo url: git@gitlab.local:acme/foo - src: bar url: git@gitlab.local:acme/bar

Le « manifest » en question doit être présent dans un dépôt Git. Cela fait, vous pouvez récupérer les dépôts en utilisant :

$ tsrc init git@gitlab.local:acme/manifest Mise à jour des dépôts

Vous pouvez mettre à jour tous les dépôts en utilisant :

$ tsrc sync

Un exemple de la sortie console :

Contrairement à repo, tsrc essaie par tous les moyens d’éviter la perte de données ou les effets inattendus. Par exemple, si votre branche a divergé ou que votre dépôt n’est pas « propre », tsrc préférera afficher un avertissement et vous laisser résoudre la situation par vous‐même.

Notez que si vous n’aimez pas le fait que tsrc « cache » les commandes git, vous pouvez utiliser l’option --verbose.

Gestion des « fusiodemandes » GitLab

Vous pouvez créer et accepter des « fusiodemandes » (merge requests) avec tsrc push après un peu de configuration. Pour l’instant, cela ne fonctionne qu’avec GitLab (puisque c’est ce que nous utilisons en interne), mais la prise en charge de Gerrit ou GitHub n’est pas exclue.

# Travail en cours sur ma-belle-branche $ tsrc push --assignee david # Crée une merge request assignée à David # La revue est terminée, on prévient GitLab que la branche # doit être fusionnée dès que l’intégration continue est passée : $ tsrc push --accept Bonus

tsrc contient aussi quelques commandes pratiques comme tsrc log ou tsrc foreach, mais cette dépêche est déjà assez longue. ;-)

Appel à contributions

Les retours sous toute forme sont les bienvenus, dans les commentaires ou directement sur GitHub.

Télécharger ce contenu au format Epub

Lire les commentaires

Le développeur libriste Bassel Khartabil exécuté dans une prison syrienne fin 2015

4 août, 2017 - 17:20

Bassel Khartabil Safadi était un informaticien libriste, emprisonné depuis 2012 par la sécurité syrienne en répression de ses activités en ligne. Une dépêche précédente avait fait état de son arrestation, sa torture, sa condamnation secrète à mort, son transfert vers un lieu inconnu et les craintes pour sa vie. Sa femme a annoncé son décès le 1er août 2017 (elle était sans nouvelles depuis deux ans, il a été exécuté en novembre 2015 et le gouvernement syrien vient juste d’indiquer son décès).

EFF (traduction par mes soins) : « La seule consolation est que Bassel, avant et après sa détention, en a inspiré beaucoup à rejoindre la cause qu’il appréciait autant. Jusqu’à ses tous derniers instants, sa femme et ses amis s’assurèrent qu’il le savait, partageant cette précieuse connaissance avec Bassel, comme lui avait partagé sa connaissance avec le monde. Il a toujours su qu’il était aimé et n’était pas oublié : et ainsi, rempli de cette certitude, même dans ces derniers jours, Bassel savait en effet que son esprit était libre. »

Amnesty International : « Bassel Khartabil restera dans nos mémoires comme un exemple de courage, lui qui a pacifiquement combattu pour la liberté jusqu’à la fin. »

Cette dépêche est aussi l’occasion de mentionner divers appels pour la libération de détenus politiques lancés par diverses structures comme l’EFF, Amnesty International ou RSF.

Télécharger ce contenu au format Epub

Lire les commentaires

Les journaux LinuxFr.org les mieux notés du mois de juillet 2017

4 août, 2017 - 13:59

LinuxFr.org propose des dépêches et articles, soumis par tout un chacun, puis revus et corrigés par l’équipe de modération avant publication. C’est la partie la plus visible de LinuxFr.org, ce sont les dépêches qui sont les plus lues et suivies, sur le site, via Atom/RSS, ou bien via partage par messagerie instantanée, par courriel, ou encore via médias sociaux.

Ce que l’on sait moins, c’est que LinuxFr.org vous propose également à tous de tenir vos propres articles directement publiables, sans validation a priori des modérateurs. Ceux‐ci s’appellent des journaux. Voici un florilège d’une dizaine de ces journaux parmi les mieux notés par les utilisateurs… qui notent. Lumière sur ceux du mois de juillet passé.

Télécharger ce contenu au format Epub

Lire les commentaires

Toulouse, le Capitole du Libre 2017, l’appel à participation est lancé !

4 août, 2017 - 13:59

L’édition 2017 du Capitole du Libre se tiendra cette année les samedi 18 et dimanche 19 novembre à l’ENSEEIHT de Toulouse. Le Capitole du Libre est un événement gratuit et libre d’accès consacré aux logiciels libres et à la culture libre. Organisé par l’association Toulibre avec l’aide des clubs étudiants de l’ENSEEIHT (Net7, TVn7 et CAn7), il est orienté à la fois vers le grand public et le public spécialisé.

Des conférences et des ateliers auront lieu tout au long du week‐end ; des stands et des animations seront proposés au public pour leur faire découvrir le monde du Libre.

L’appel à participation est ouvert à tous et à toutes jusqu’au 24 septembre 2017 23 h 59 (heure de Toulouse), vous pouvez proposer une conférence ou un atelier (ou les deux) sur https://participez-2017.capitoledulibre.org. Jusqu’au 31 octobre, il est également possible de demander un espace pour un stand associatif/communautaire. Libristes d’Occitanie et d'ailleurs, n’hésitez pas à faire circuler l’information et éventuellement à proposer une intervention.

Votre participation pourra s'inscrire dans une des thématiques suivantes:

  • Enjeu du Libre ;
  • Découverte du Libre ;
  • Communauté du Libre ;
  • Vie privée ;
  • Culture libre ;
  • Big Data ;
  • Machine Learning ;
  • Graphisme/3D ;
  • DevOps ;
  • Développement mobile ;
  • Développement embarqué ;
  • Python ;
  • C++/Qt ;
  • Web et JavaScript ;
  • tout autre sujet que nous n'aurions pas envisagé !

L’après‐midi du vendredi 17 novembre, une intervention à la médiathèque José Cabanis est organisée. Les Libristes investiront l’@telier numérique et les tables rondes devant cet espace pour échanger et partager leur passion commune avec le public. L’April et Framasoft y seront représentés.

Télécharger ce contenu au format Epub

Lire les commentaires