A method for maintaining virtual memory consistency in a multi-processor
environment comprises allocating a subset of virtual memory to a process,
and mapping the subset of virtual memory to a first subset of physical
memory. A translator lookaside buffer (TLB) is maintained in each
processor, each TLB comprising a plurality of TLB entries. Each TLB entry
represents a mapping between a virtual address in the subset of virtual
memory and a physical address in the first subset of physical memory. When
the subset of virtual memory is to be unmapped, a reference to the first
subset of physical memory is placed into a free list, and marked as dirty.
When the number of dirty references exceeds a predetermined threshold, the
corresponding entries in each processor's TLB are invalidated.
Alternatively, all TLB entries can be invalidated. The free list comprises
a plurality of free list entries, where each entry comprises a reference
to virtual memory which is either unmapped or whose mapping is dirty.
Метод для поддержания последовательности виртуальной памяти в окружающей среде мультипроцессора состоит из размещать подсовокупность виртуальной памяти к процессу, и составлять карту подсовокупность виртуальной памяти к первой подсовокупности физической памяти. Буфер lookaside переводчика (TLB) поддержан в каждом обработчике, каждом TLB состоя из множественности входов TLB. Каждый вход TLB представляет составлять карту между фактически адресом в подсовокупности виртуальной памяти и физическим адресом в первой подсовокупности физической памяти. Когда подсовокупность виртуальной памяти должна быть unmapped, справка к первой подсовокупности физической памяти помещена в свободный список, и маркирована как пакостно. Когда число пакостных справок превышает предопределенный порог, invalidated соответствуя входы в TLB каждого обработчика. Друг, все входы TLB можно invalidated. Свободный список состоит из множественности входов свободного списка, где каждый вход состоит из справки к виртуальной памяти которая или unmapped или которой составлять карту пакостн.
