PROCEDE ET DISPOSITIF DE GESTION D'ESPACE MEMOIRE

Une mémoire virtuelle (MV) est partitionnée en partitions virtuelles (PVI), chaque partition (PVi) étant subdivisée en sous-partitions virtuelles (SPVj), chaque sous-partition (SPVj) correspondant à une combinaison de plusieurs secteurs (SMPk) de tailles identiques ou différentes d'une mémoire physiques (MP). Lors d'une demande d'allocation (DA) d'un espace mémoire virtuel ayant une taille mémoire donnée, on effectue une sélection d'une partition (PVi) libre, une sélection d'une sous-partition virtuelle (SPVj) correspondant à une combinaison de secteurs (SMPk) ayant une taille totale minimale couvrant ladite taille mémoire donnée de l'espace mémoire virtuel à allouer, une sélection de secteurs (SMPk) libres de la mémoire physique (MP) correspondant à ladite combinaison sélectionnée, une détermination d'une table de correspondance (TC) entre la partition virtuelle (PVi) sélectionnée et les adresses physiques initiales (API) desdits secteurs (SMPk) libres sélectionnés, et une génération d'une adresse virtuelle (AV) comportant une première partie (P1) permettant d'identifier ladite sous-partition virtuelle (SPVj) sélectionnée et une deuxième partie (P2) destinée à contenir les différentes adresses dudit espace mémoire virtuel alloué au sein de ladite sous-partition virtuelle (SPVj). A virtual memory is partitioned into virtual partitions, each partition being subdivided into virtual sub-partitions and each sub-partition corresponding to a combination of multiple sectors of identical or different sizes of a physical memory. When an allocation request is made for a virtual memory space having a given memory size, a free partition is selected, a virtual sub-partition is selected corresponding to a combination of sectors having a minimum total size covering the given memory size of the virtual memory to be allocated, and free sectors of the physical memory are selected corresponding to the selected combination. A determination is made of a correspondence table between the selected virtual partition and the initial physical addresses of the selected free sectors, and a virtual address is generated.