A system, method, and computer program product are disclosed for invalidating
specified
pretranslations maintained in a data processing system which maintains decentralized
copies of pretranslations. A centralized mapping of virtual addresses to their
associated physical addresses is established. The centralized mapping includes
a listing of pretranslations of the virtual addresses to their associated physical
addresses. Multiple lists of pretranslations are generated. Control of the lists
may be passed from one entity to another, such that the lists are not owned by
any particular entity. Each one of the lists includes a copy of pretranslations
for virtual addresses. A particular one of the physical addresses is specified.
Each list that includes a pretranslation of a virtual address to the specified
physical addresses is located. The pretranslation of the virtual address to the
specified physical address is then invalidated within each one of the lists.
