All links of one day
in a single page.
<Previous day - Next day>

rss_feedDaily RSS Feed
floral_left The Daily Shaarli floral_right
——————————— August 5, 2016 - Friday 05, August 2016 ———————————

On regarde le titre (il est en une de la version papier) :

Les étrangers payent-ils leurs PV ?

Booooouuuuuuh les méchants étrangers qui payent pas leurs PV ! SCANDALE ! Qu'on les expulse du territoire ! Qu'on les fichent S, ils nuisent à l'intérêt économique de la Nation ! Ça commence par un PV impayé et ça finit terroriste, c'est bien connu !

Ensuite, on lit l'article :

66 % des étrangers verbalisés paient

Ha bah ça va, en fait ! On notera que l'article n'évoque pas le taux de recouvrement des PV qui verbalisent un français de France. ;) Y'a quelques comparaisons de chiffres mais pas celle-là. Comme c'est étrange.

Dans un journal à 200 000+ tirages. En France. En 2016. Normal. Sans savoir l'exprimer, je trouve qu'on est au-delà du titre aguicheur (le contenu de l'article est plus posé). On est clairement sur une pente glissante.

The Linux® system call interface permits user-space applications to invoke functionality in the kernel, but what about invoking user-space applications from the kernel? Explore the usermode-helper API, and learn how to invoke user-space applications and manipulate their output.

[...]

The usermode-helper API is a simple API with a well-known set of options. For example, to create a process from user space, you commonly provide the name of the executable, the options for the executable, and a set of environment variables (refer to the man page for execve). The same applies for creating a process from the kernel.

[...]

One of the most straightforward applications of the usermode-helper API is loading kernel modules from kernel space. The function request_module encapsulates the functionality of the usermode-helper API and provides a simple interface. In a common usage model, the kernel identifies a device or needed service and makes a call to request_module to have the module loaded. Through the usermode-helper API, the module is loaded into the kernel via modprobe (the application invoked in user space via request_module).

A similar application to module loading is device hot-plugging (to add or remove devices at run time). This feature is implemented with the usermode-helper API, invoking the /sbin/hotplug utility in user space.

Bon, avec udev et tout, ces deux exemples sont carrément démodés. Mais c'est toujours utilisé par les cgroups ou DRBD, par exemple.

Dans le cas de DRBD, par exemple, le module noyau exécute drbdadm pour gérer les split-brain et autres événements désastreux : drbdadm split-brain, drbdadm initial-split-brain, drbdadm fence-peer (outdated peer), drbdadm local-io-error, etc. Notons que, pour cette même liste d'événements, DRBD permet de lancer des exécutables de notre choix pour les traiter. Voir https://www.drbd.org/en/doc/users-guide-84/re-drbdconf, section handlers.

Et c'est probablement pour cela que Ganeti demande à ce que l'on change le usermode_helper program de DRBD en /bin/true : les devs Ganeti ont posé comme postulat de ne jamais traiter automatiquement les cas de split-brain car il n'existe pas d'algorithme qui convienne à tout le monde ni qui permette d'identifier vraiment laquelle des copies est en moins piteux état. Quoi de mieux que /bin/true pour annihiler tout ça ?

-