Passage de messages en adresses virtuelles

La couche SCP/V (Secure Channelized Protocol / Virtual addresses) s'appuie sur SCP/P afin de fournir un service d'échange sur des canaux, les zones de mémoire étant cette fois-ci désignées par des adresses virtuelles dans l'espace du noyau ou d'un processus. Aux deux primitives Send et Receive de cette couche, on fait correspondre les deux primitives apparentées de la couche inférieure, en ayant au préalable effectué un découpage en zones physiques contiguës à l'aide de la sous-couche V2P (Virtual To Physical). Dans le cas d'une réception dans une zone de mémoire d'un processus, on vérifie aussi les droits d'accès en écriture de la zone. Dans un souci d'efficacité, les opérations de déréférenciation virtuelle/physique et de vérification des droits d'accès sont mises en uvre directement par consultation des tables de la MMU du processeur, plutôt que par un parcours des tables des pages du système de mémoire virtuelle Mach.

Next: Sécurité et intégrité du Up: Noyau de communication sécurisé Previous: Tolérance aux fautes du