Depuis l’arrivée du Raspberry Pi, j’ai eu envie d’installer Xenomai dessus pour me faire une idée de ses capacités dans le domaine temps réel. J’ai trouvé enfin le temps de m’en occuper ; voici un petit compte-rendu de l’installation.
Archives de la catégorie ‘Linux’
J’ai remarqué, au cours de plusieurs sessions de formations, que de nombreux développeurs pensent que certains opérateurs du C (ou de ses descendants) sont naturellement atomiques vis-à-vis de l’ordonnancement. Pour vérifier ou réfuter ceci, j’ai fait récemment quelques essais avec les participants d’un de mes cours.
Finalement, la petite seconde intercalaire du week-end dernier n’est pas passée si inaperçue que cela, elle a même provoqué le crash de plusieurs serveurs Linux…
Vous le savez peut-être, l’IERS (International Earth Rotation and Reference Systems Service) a décidé d’ajouter une seconde intercalaire (leap second) à la fin de la dernière minute du mois de juin. Ces secondes, que l’on insère tous les deux ou trois ans à la fin du mois de décembre ou de juin (la dernière date du 31/12/2008) servent à ajuster l’heure officielle avec la rotation de la terre. Cela à commencé il y a quarante ans, le 30 juin 1972.
Avec Bash, la complétion des commandes, noms de fichiers, etc. grâce à la touche « tabulation » est très pratique et je l’utilise en permanence. En pratique mon auriculaire gauche y trouve presque sa position de repos naturel lorsque je travaille en ligne de commande. C’est aussi un moyen très efficace de perdre des fichiers involontairement. Voici ce qui vient de m’arriver.




