摘要 |
<p>A data processing system comprises a number of processing elements, each with its own local memory. The data in the memory is organised into pages, each page being divided into a number of sectors. Each sector has a tag to indicate whether it is valid in the local memory. Pages in the local memory are allocated a demand. When a page is allocated, all the tags for that page are set to indicate that none of the sectors of that page is available yet in the local memory. Individual sectors are copied on demand from remote processing elements into the local memory, and the tag for each copied sector is set to indicate that the sector is now valid in the local memory. The system thus removes the need for page copying, by allowing sector copying which is much quicker, while still retaining the benefits of a paged memory management scheme.</p> |