| 摘要 |
PROBLEM TO BE SOLVED: To enable a microkernel to appear to simultaneously share physical address space "on the fly, "without need for temporary storage or wasted processor time, and in a cache coherent environment. SOLUTION: A microkernel memory reference is traditionally required to refer to memory by exact physical address on a common base node. In this method, identification is made by recognizing the reference to a memory node (00), address spaces 101-1, 102-1, 103-1 reserved for a microkernel reference, or the like on the memory node (01) or the like. Such identification is performed "on the fly" by analysis of the condition of bits (301, 302, 303) in the physical address to which the access is directed. An identified node ID of the microkernel memory reference is translated to the node ID of a local node (310, 311). Then the microkernel reference can be treated like any other normal globally shared memory reference 309. Maintenance of cache coherency is facilitated by reverse-mapping (401-407) performed in accordance with a coherency request. COPYRIGHT: (C)2004,JPO
|
