Profils temps réel POSIX PSE52 : threads déterministes et verrouillage mlockall

Mise en œuvre des runtimes POSIX PSE51 et PSE52 : élimination des défauts de page, pré-allocation des piles et horloges monotones.

Éliminer les défauts de page via le pré-remplissage des piles de threads

Même avec `mlockall()`, le noyau alloue la pile de manière paresseuse. Lors d'un coup de volant d'urgence, une imbrication d'appels déclenche un défaut de page retardant le thread de 30 µs. Les runtimes POSIX parcourent la pile de 4096 octets en 4096 octets dès l'instanciation.

Mesure du temps déterministe : pourquoi CLOCK_MONOTONIC_RAW est impératif

Les algorithmes de stabilité calculent des intervalles dt pour évaluer le dérapage. Avec `CLOCK_REALTIME`, une synchro NTP peut faire reculer l'horloge de quelques millisecondes, créant une division par zéro dans l'ABS. `CLOCK_MONOTONIC_RAW` lit le cristal matériel, garantissant une progression strictement croissante.

Profil normalisé POSIX IEEE 1003.13 PSE52 pour les logiciels multithreads critiques.
Appel mlockall() empêchant le swapping dynamique et la pagination intempestive du noyau.
Piles de threads pré-allouées à l'amorçage pour exclure tout défaut de page en virage.
Horloges CLOCK_MONOTONIC_RAW insensibles aux sauts NTP pour des boucles de contrôle parfaites.

Explorer le portefeuille de domaines