• [^] # mmap n'a pas pas de RMID

    Posté par . En réponse à la dépêche PTT : un outil de trace pour la NPTL. Évalué à 2.

    Il n'y a pas de RMID pour mmap. Il n'y en a d'ailleurs pas besoin. La page table permet de savoir quels process ont le droit d'utiliser quelle page. Et au moment de swapper une zone inutilisée depuis longtemps, il est facile de vérifier si un process utilise encore cette zone. Si il n'y en a aucun, on peut alors libérer cette page sans l'écrire sur le disque.

    Et je ne vois pas ce que les mutex viennent faire là dedans.