Suivre

L'an dernier au travers d'un stage d'été à la fac j'ai contribué à un multi-kernel de recherche pour architecture avec vraiment beaucoup de processeurs :

www-soc.lip6.fr/trac/almos-mkh

En bref: Il y a une instance du Kernel par ensemble de processeurs (cluster), ça limite la contention mémoire.

Et un ami vient de me montrer ce papier:

penberg.org/parakernel-hotos19

Qui expose une autre façon de faire et j'en viens à me demander: «et si on mixait les deux approches? Mais pas en C». x)

Pour information l'architecture de référence pour cet OS c'est TSAR-mips32 :
www-soc.lip6.fr/trac/tsar

Et il y a des plans pour supporter X86_64.

Le kernel est codé en C, ce qui est un choix douloureux, car les bugs de synchronisation en Multi-Kernel c'est pas glorieux.

Mais c'était très intéressant ça m'a bien aidé à comprendre beaucoup de détails bas niveau Kernels et de contention mémoire.

Je crois qu'ils cherchent une ou un stagiaire pour cet été:
www-soc.lip6.fr/equipe-alsoc/j

Inscrivez-vous pour prendre part à la conversation
Framapiaf

Framapiaf est un service de microblog similaire à Twitter. Il est libre, décentralisé et fédéré. Il permet de courts messages (max. 500 caractères), de définir leur degré de confidentialité et de suivre les membres du réseau sans publicité ni pistage.