C'est marrant, comme j'ai l'impression que ce sont toujours des millisecondes qui sont donnés aux processus, le temps de scheduling est du coup important en comparaison. De plus, il faut modifier le proc, au niveau des registres et du pipeline (à moins que certaines instructions modernes permettent de faire un backup/restore très rapide de l'état du CPU j'imagine ?), je pense aussi qu'il doit y avoir des changements dans la MMU, les ports etc... Bon bref, je constate que ça marche très bien, mais je sais pas du tout comment