US 6,021,479 AGrant
Method, System and Computer Program Product for Managing Memory in a Non-Uniform Memory Access System
Issue Date:2000-02-01
•39 Claims
•16 Drawing Sheets
Abstract
A memory management and control system that is selectable at the application level by an application programmer is provided. The memory management and control system is based on the use of policy modules. Policy modules are used to specify and control different aspects of memory operations in NUMA computer systems, including how memory is managed for processes running in NUMA computer systems. Preferably, each policy module comprises a plurality of methods that are used to control a variety of memory operations. Such memory operations typically include initial memory placement, memory page size, a migration policy, a replication policy and a paging policy. One method typically contained in policy modules is an initial placement policy. Placement policies may be based on two abstractions of physical memory nodes. These two abstractions are referred to herein as "Memory Locality Domains" (MLDs) and "Memory Locality Domain Sets" (MLDSETs). By specifying MLDs and MLDSETs, rather than physical memory nodes, application programs can be executed on different computer systems regardless of the particular node configuration and physical node topology employed by the system. Further, such application programs can be run on different machines without the need for code modification and/or re-compiling.
Metadata
Assignee
- Silicon Graphics, Inc.
Inventor
- Luis F. Stevens
Application Information
Application Number:US 9338330
Filing Date:1997-09-19
Priority Date:1997-09-19
Art Unit:271
Classifications
IPC:
G06F 1202
Field of Search:
711395170-173;148;153652;672;200.55;147
Patent Drawings (16 sheets)
Drawing sheets are not available for this patent.
Description
Background of the Invention
1. Field of the Invention
The present invention relates generally to allocation of memory in a computer system with distributed memory, and more particularly to a method for representing the locality of memory for a multi-processor non-uniform memory access (NUMA) computer system.
2. Related Art
A distributed memory computer system typically includes a plurality of physically distinct and separated processing nodes. Each node has one or more processors, input output (I/O) devices and main memory that can be accessed by any of the processors. The main memory is physically distributed among the processing nodes. In other words, each processing node includes a portion of the main memory. Thus, each processor has access to "local" main memory (i.e., the portion of main memory that resides in the same processing node as the processor) and "remote" main memory (i.e., the portion of main memory that resides in other processing nodes).
For each processor, the latency associated with accessing local main memory is significantly less than the latency associated with accessing remote main memory. Further, for many NUMA systems, the latency associated with accessing remote memory increases as the topological distance between the node making a memory request (requesting node) and the node servicing the memory request (servicing node) increases. Accordingly, distributed memory computer systems as just described are said to represent non-uniform memory access (NUMA) computer systems.
In NUMA computer systems, it is desirable to store data in the portion of main memory that exists in the same processing node as the processor that most frequently accesses the data (or as close as possible to the processor that most frequently accesses the data). Accordingly, it is desirable to allocate memory as close as possible to the processing node that will be accessing the memory. By doing this, memory access latency is reduced and overall system performance is increased.
Therefore, controlling memory management is an essential feature in multi-processor systems employing NUMA architectures. In conventional systems, the operating system typically controls memory management functions on behalf of application programs. This is typically accomplished through the use of predetermined memory management procedures designed to produce a certain level of locality. For example, such procedures include program code to accomplish page migration and page replication. In this fashion, data is dynamically moved and/or replicated to different nodes depending on the current system state. However, such predetermined operating system procedures may not be optimal for all types of program applications.
Thus, what is needed is a system and method for producing a high degree of locality in a NUMA system that works well with a variety of different types of application programs.
Summary of the Invention
Accordingly, the present invention is directed toward a memory management and control system that is selectable at the application level by an application programmer (also referred to herein as "user"). The memory management and control system is based on the use of policy modules (PMs). PMs are used to specify and control different aspects of memory operations in NUMA computer systems. Policy modules are used to specify how memory is managed for processes (or "threads") running in NUMA computer systems.
Preferably, each PM comprises a plurality of methods that are used to control a variety of memory operations. Such memory operations typically include initial memory placement, memory page size, a migration policy, a replication policy and a paging policy. In one example of an implementation of the present invention, different PMs are specified for particular sections of an application's virtual address space.
In this manner, when a NUMA system needs to execute an operation to manage a particular section of an application's virtual address space, it uses the methods provided by the policies specified by the PM that is currently connected (or attached) to the particular section of virtual address space.
In a preferred embodiment, the memory management and control system of the present invention provides application programmers with the ability to select different policies for different sections of the virtual address space down to the granularity of a single memory page. In one implementation, default policies are used each time a thread begins execution. The application programmer has the option to continue using the default policies or to specify different PMs comprising different methods.
One method typically contained in PMs is an initial placement policy ("placement policy"). The placement policy defines algorithms used by a physical memory allocator ("memory scheduler"), to determine what memory source is to be used for allocating memory pages. The goal of the placement policy is to place memory is such a way that local accesses are maximized.
In a preferred embodiment of the present invention, placement policies are based on two abstractions of physical memory nodes. These two abstractions are referred to herein as "Memory Locality Domains" (MLDs) and "Memory Locality Domain Sets" (MLDSETs). One advantage to using MLDs and MLDSETs is that they facilitate the portability of application programs. That is, by specifying MLDs and MLDSETs, rather than physical memory nodes, application programs can be executed on different computer systems regardless of the particular node configuration and physical node topology employed by the system. Further, such application programs can be run on different machines without the need for code modification and/or re-compiling.
MLDs are specified as having a center node and a particular radius. Thus, a particular MLD with a center C and a radius R is a source of physical memory comprising all memory nodes within a "hop distance" (described below) of R from a center node located at C. Generally, an application programmer defining MLDs specifies the MLD radius and lets the operating system determine the center node. The center node is typically based on a number of factors and includes additional parameters that are specified by the application programmer. Such additional parameters include configuration topology and input/output (I/O) device affinity.
For example, MLDSETs allow an application programmer to specify a device affinity for one or more MLDs. Thus, if an application program is associated with a particular I/O device, such device is specified when creating an MLDSET that will be associated with that section of a thread's virtual address space comprising code that interacts with the particular I/O device. In this fashion the operating system automatically places the application code associated with the I/O device as close as possible to the node containing the I/O device.
In addition, MLDSETs allow an application programmer to specify a specific topology for MLDs. For example, an application programmer can specify that the MLDs comprising a particular MLDSET should be arranged in a cube or a cluster topology. In addition, application programmers also have the option to specify physical nodes for the placement of MLDSETs.
Further features and advantages of the present invention, as well as the structure and operation of various embodiments of the present invention, are described in detail below with reference to the accompanying drawings. In the drawings, like reference numbers indicate identical or functionally similar elements.
Brief Description of the Figures
The present invention is described with reference to the accompanying drawings, wherein:
FIG. 1A is a block diagram of a non-uniform memory access (NUMA) computer system;
FIG. 1B is a block diagram of a portion of main memory;
FIG. 2A is a block diagram depicting examples of common interconnection networks according to a preferred embodiment of the present invention;
FIG. 2B depicts examples of multi processor systems, according to a =preferred embodiment of the present invention;
FIG. 3 is a block diagram depicting an example of a NUMA computer system and an application program comprising a number of threads, according to a preferred embodiment of the present invention;
FIG. 4 is a block diagram depicting memory access patterns for an application program;
FIGS. 5 and 6 are block diagrams depicting two examples of non-optimal memory placement;
FIG. 7 is a block diagram depicting a desired location for memory allocation for an application program within a multi-node NUMA computer system, according to a preferred embodiment of the present invention;
FIG. 8 is a block diagram depicting two MLDs according to a preferred embodiment of the present invention;
FIG. 9 is a block diagram depicting two MLDs and their association with virtual memory segments;
FIG. 10 is a block diagram depicting an MLDSET and an associated topology and device affinity, according to a preferred embodiment of the present invention;
FIG. 11 depicts three examples of MLDSETs and their associated physical placements, according to a preferred embodiment of the present invention;
FIG. 12 is a block diagram depicting the relationships between virtual memory, policy modules, MLDs, MLDSETs and physical memory nodes, according to a preferred embodiment of the present invention;
FIG. 13 is a flowchart depicting a process that can be used to specify initial memory placement using MLDs and MLDSETs according to a preferred embodiment of the present invention; and
FIG. 14 is a block diagram of a computer that can be used to implement components of the present invention.
Detailed Description of the Preferred Embodiments
The present invention is directed toward a memory management and control system that is selectable at the application level by an application programmer for increasing locality to reduce latency and increase overall system performance. In an example embodiment, the present invention can be implemented as software in an IRIX.TM. or Cellular IRIX.TM. operating system executed by an Origin.TM. scalable, distributed shared-memory multi-processor platform, manufactured by Silicon Graphics, Inc., Mountain View, Calif.
The present invention shall now be discussed in greater detail. As such, it is helpful to first discuss examples of a NUMA system, interconnection networks and locality management. These examples are provided to assist in the description of the memory management and control techniques according to a preferred embodiment of the present invention. The examples below refer to an implementation of the present invention that is embodied as specific software within an operating system. The use of the term operating system is for exemplary purposes only. Thus, the term operating system and the other examples used herein should not be construed to limit the scope and breadth of the present invention.
Example NUMA System
FIG. 1A is a block diagram of a non-uniform memory access (NUMA) computer system 102. The computer system 102 includes a plurality of processing nodes 104A-104C, which are physically distinct and physically separated from one another. The processing nodes 104A-104C communicate with each other over a communication network 120, representing any well known data communication means, such as a bus, multistage interconnection network, local area network, wide area network, etc., or any combination thereof. Examples of common interconnection networks are depicted in FIG. 2A, and described below.
Each processing node 104 includes one or more computing nodes 106. Preferably, each processing node 104 includes two computing nodes 106, although each processing node 104 may alternatively include other numbers of computing nodes 106. Each computing node 106 includes a processor 108 and a cache 110. Each processing node 104 also includes a memory controller and network interface 112. The processors 108 in any particular processing node 104 communicate with other devices connected to the communication network 120 via the memory controller and network interface 112 contained in that processing node 104.
Each processing node 104 can also include a portion of main memory 114. The portions of main memory 114 in all of the processing nodes 104 collectively represent the main memory of the computer system 104. Generally, any processor 108 in any processing node 104, can access data stored in the, portion of main memory 114 contained in any of the processing nodes 104. Access to data contained in the portion of main memory 114 of any particular processing node 104 is controlled by the memory controller and network interface 112 contained in that same processing node 104.
FIG. 1B is a more detailed block diagram of a portion of main memory 114. Each portion of main memory 114 includes N memory pages 116a-116n (individually labeled page 0, page 1, . . . , page N). Preferably, each memory page 116 is 16 Kbytes in size, although the present invention operates equally well with other memory page sizes and with varying memory page sizes. The value of N is implementation dependent. In some implementations the value of N is user selectable.
Example Interconnection Networks
FIG. 2A is a block diagram depicting examples of interconnection networks that can be used as the communication network 120, according to an embodiment of the present invention. FIG. 2A shows a bus system 208, a ring system 210, a 2D mesh system 212 and a 3D mesh system 214. The bus system 208 is used in many conventional computer systems. Using the bus system 208, the processor memory nodes 104A-E communicate to each other by broadcasting messages over the single shared bus. A disadvantage of using the bus system 208, is that the system is not scalable because the bus bandwidth does not increase as additional process or memory nodes 104 are added. In fact, adding processing nodes 104 to the bus system 208 causes a decrease in the overall system bandwidth.
In contrast, the ring system 210, the 2D mesh system 212 and the 3D mesh system 214, all provide interconnections that are scalable. That is, adding process or memory nodes 104 to these systems causes an increase to the overall communication bandwidth of the network 120. It is important to note that the mesh networks 210, 212 and 214 have an additional characteristic in common. Specifically, the time it takes to communicate from one node 104 to another node 104, depends upon the topological distance between the nodes 104. That is, the further away one node is from another node, the longer it takes to communicate between the two. This is the reason such systems are referred to an non-uniform memory access systems.
To illustrate this characteristic, the following example is presented. In the following example, it is assumed that the communication time between adjacent nodes 104 is 100 nanoseconds (.eta.s.) in each of the networks depicted in FIG. 2A. Thus, for the ring topology network 210, a message from node 104A to node 104B takes 100 .eta.s. However, a message from 104A to 104E takes 400 .eta.s. because it must first travel through the nodes 104B, 104C, and 104D.
Referring now to the 2D mesh 212, it can be seen that a message between the nodes 104A and 1040 takes 600 .eta.s. It should be noted that alternate paths are available using this topology. In general, path redundancy is one of the advantages of using mesh network technology, such as the 2D 212 and the 3D 214 mesh networks. For example, communications between the nodes 104A and 104O can take the path--104A-104B-104C-104D-104E-104J-104O. Likewise, the alternate path--104A-104F-104K-104L-104M-104N-104O can also be used. As can be seen, there are many other possible paths that can be taken. In this fashion, alternate paths can be taken with other paths are blocked, out of service, congested, or otherwise unavailable.
Likewise, path redundancy exists in the 3D mesh technology, such as the 3D mesh 214. For example, the path 104A-104C-104D-104B can be used to send a message between nodes 104A and 104B. Note that using this path, the communication takes 300 .theta.s to complete. In contrast, by using a shorter path, (e.g. the path 104A-104B), it takes only 100 .theta.s. to complete the same communication.
In a preferred embodiment of the present invention, 3D mesh topology 214 is used for the communication network 120. An example of a 32 and 64 processor system using 3D mesh topology is shown in FIG. 2B. In this example, a 32 processor system 202 comprises 16 nodes 104, each comprising 2 processors, such as the processor 106 (not shown in FIG. 2B). Note that in this example, additional links 206 are shown as dotted diagonal lines. These additional links serve to increase the node bandwidth and decrease system access latency by creating shorter paths between the nodes 104. An example of a 64 processor system 204 is also depicted in FIG. 2B.
As stated, the present invention operates in combination with a computer system having memory access times dependent upon the topological distance between a requestor node (or "local node") and a server node (or "remote mode"). In the examples used herein, the topological distance is described in terms of the number of "hops" between the nodes. For example, referring back to FIG. 2A, the shortest topological distance between the nodes 104A and 104K, in the 2D mesh topology 212, is 2 hops (i.e. the path--104A-104F-104K). Likewise the topological distance between the nodes 104A and 104F is 1 hop. When memory is being accessed locally, within a single node, the topological distance is referred to herein as being 0 hops.
Note that the present invention can be implemented using a variety of network topologies including those discussed herein, and others not specifically mentioned. However, the definition of the topological distance between nodes in any NUMA system will be apparent to those skilled in the relevant art(s). The topologies of a bus system, ring system, and 2D and 3D meshes are used herein for exemplary purposes only and should not be construed to limit the scope and breadth of the present invention.
Example of Locality Management
As previously stated, an important goal of memory management in NUMA systems is the maximization of locality. FIGS. 3-7 are block diagrams depicting examples useful for describing the management of memory locality in NUMA systems, according to a preferred embodiment of the present invention.
In the example shown in FIG. 3, an application program 306 is to be executed on a NUMA system 310. The application program 306 comprises 4 processes (also referred to as threads) 302a-302d (generally 302). The application program 306 further comprises a virtual address space 304. An example of a NUMA machine 310 that can be used in a preferred embodiment of the present invention, is an Origin 2000.RTM. system manufactured by Silicon Graphics Incorporated.
The NUMA system 310 comprises a plurality of nodes, wherein each node is represented by a rectangle, such as the rectangle 104. Each node further comprises one or more processors, (also referred to as CPUs), such as the CPUs 307a-307d (generally 307). Each node 104 is connected to a router, such as the router 308a and 308b (generally 308). The routers 308 are the gateways to the communication network 120 as previously described.
The application programmer or user in this example, determines the memory access patterns used by each thread 302 in the application 306. This is shown graphically in FIG. 4.
In this example, the address space 304 is broken down into a number of sections 402-416. Each section of virtual address space represents a virtual address range used by one or more of the threads 302a-302d to access memory. Each section of the virtual address space 304 is shaded to indicate whether it is being shared with another process or whether it is private. In this example, the dark shaded sections of the virtual address space, namely sections 404, 408, 412 and 416 are private. This indicates that they are not shared by two or more threads. The light shaded sections, 402, 406, 410, and 414 indicate that these areas of the virtual address space are shared by at least two threads. Note that in this example, the virtual address space 304 is represented in a wrap-around fashion so that the shared section 402 appears both the top and at the bottom of the virtual address space 304.
Further, each thread 302a-302d is depicted as having three arrows, each pointing to a particular section of memory. For example, the thread 302a is depicted as having an arrow 418 pointing to the memory section 402, an arrow 420 pointing to the memory section 404, and an arrow 422 pointing to the memory section 406. This indicates that during execution, the thread 302a accesses the memory sections 402, 404 and 406.
In addition, each arrow is depicted with a number associated with it. For example, the arrows 418, 420 and 422 are depicted with associated numbers 5, 90 and 5, respectively. These numbers indicate the relative percentage of memory accesses associated with the particular section of memory pointed to by the arrow. For example, the number 5 associated with the arrow 418, indicates that the memory accesses to the section 402 accounts for 5% of the total memory access for the thread 302a.
Accordingly, the memory accesses to the private section of address space 404 accounts for 90% of the memory accesses for the thread 302a. The remaining 10% of memory accesses for the thread 302a are split between the shared memory segments 402 and 404. That is, 5% of memory accesses (arrow 422) are directed toward a section of shared virtual memory 406. In this example, the section of virtual memory 406 is also being accessed by the thread 302b. Thus, section 406 is designated as a shared section of virtual address space. Likewise, 5% of the memory accesses (arrow 418) for the thread 302a, are directed toward a section of virtual memory 402, which is shared with the thread 302d.
In a similar fashion, 90% of the memory accesses for the threads 302b, 302c and 302d are directed toward a private section memory, 408, 412, and 416, respectively. In addition, each of the threads 302b-302d access memory that is shared with two adjacent threads.
Specifically, 5% of the memory accesses for the thread 302b are directed toward a section of virtual memory 404 that is shared with the thread 302a. Likewise, another 5% of the memory accesses for the thread 302b are directed toward a section of virtual memory 410 that is shared with thread 302c. In addition, 5% of the memory accesses for the thread 302c are directed toward a section of virtual memory 410 that is shared with the thread 302b, and another 5% of the memory accesses for the thread 302c are directed toward a section of virtual memory 414 that is shared with thread 302d.
Finally, 5% of the memory accesses for the thread 302d are directed toward a section of virtual memory 414 that is shared with the thread 302c, and another 5% of the memory accesses for the thread 302d are directed toward a section of virtual memory 402 that is shared with thread 302a.
FIG. 5 depicts an example of memory placement that could occur, if the known memory access patterns, as described above with reference to FIG. 4, are not taken into account for the purpose of maximizing memory placement locality. Accordingly, in this example, the threads 302a and 302b are randomly mapped to the node 502, in one comer of the system 316, while the threads 302c and 302d are randomly mapped to the node 504, in the opposite corner of the system 316.
Thus, in this example, the application program 306 is not optimally mapped to the hardware 316 because of the memory sharing that occurs between the threads, as described above. Accordingly, long latencies are expected when such shared memory sections are accessed by threads running in distant CPUs.
For example, suppose the memory represented by the section 410 is mapped to the node 502. In this case, the memory mapping is optimal for the thread 302b, which is being executed in the same node 502 , and therefore has local access to the shared memory section 410. However, this mapping is worst case for the thread 302c, which is being executed in the distant node 504, due to the large topological distance between the nodes 504 and 502.
Likewise, suppose the memory represented by the section 402 is, mapped to node 504. In this case, the mapping is optimal for the thread 302d but is worst case for the thread 302a.
Another example of poor mapping can be seen in FIG. 6. In this example each process 302 is running on different distant nodes (as depicted by the arrows 602a-602d), and the memory is mapped to another set of different and distant nodes (as depicted by the arrows 604a-604d). This is an example of chaotic mapping.
The present invention uses several mechanisms to manage locality and avoid the long latencies associated with the scenarios depicted above. For example, the present invention provides for topology-aware initial memory placement. Further, the present invention allows and encourages application programmers to provide initial placement information or hints to the operating system, using high level tools, compiler directives, and/or direct system calls. Still further, the present invention allows application programmers to select different policies for the most important memory management operations, and/or provide new ad-hoc policies.
The Placement Policy
As stated, the placement policy employed by an embodiment of the present invention, defines the algorithm used by a physical memory allocator to determine what memory source is used for allocating each page of memory in a multi-node machine. The goal of a placement policy is to place memory in such a way that local accesses are maximized.
Ideally, an optimal placement algorithm has perfect pre-knowledge of the exact number of cache misses triggered by each thread sharing the page it is about to place. Using this pre-knowledge, the algorithm would place the page on a node where the thread generating the most cache misses is running. In this example, for simplicity, it is assumed that the thread always runs on the same node. This assumption, may or may not be the case in a specific implementation of the present invention.
The present invention provides a means for optimal initial memory placement by accepting inputs provided by application programmers ("users") related to the desired initial placement of memory. For example, suppose a user desires to allocate memory for the application 306 shown in the previous examples. The desired mapping is depicted graphically in FIG. 7. Accordingly, the two threads 302a and 302b are to be mapped to the 2 CPUs in the node 706. Similarly, the remaining 2 threads 302c and 302b are to be mapped to the 2 CPUs in the adjacent node 708. Further, the memory associated with the first pair of threads 302a and 302b is to be allocated from the first node 706, and the memory associated with the second pair of processes 302c and 302d, is to be allocated from the second node 708.
Note that the shared memory sections 402 and 410 can be allocated from either node 708 or 706. For exemplary purposes, it is assumed that the shared memory section 402 is mapped to the node 706, and the shared memory section 410 is mapped to the node 708.
Thus, this example shows an optimal mapping of the threads 302a-302d, and the associated memory. The mapping is optimal because most memory accesses are local. For example, because the memory section 404 is to be mapped to the same node as the thread 302a, 90% of the memory accesses for the thread 302a is local. The same can be said for the threads 302b, 303c and 302d, with respect to the memory sections 408, 410 and 416, respectively.
Further, with the mapping shown in FIG. 7, the memory sharing that occurs between the threads are either local, or at most, one hop away. For example, access to the memory section 406 is local for both threads 302a and 302b. In contrast, access to the memory section 410 is local for the thread 302b, but is remote for thread 302c. However, the remote access to the shared memory 410 is only one hop away from the thread 302c.
Accordingly, the present invention provides a means to implement the desired mapping as described above, by providing for placement policies that are based on two abstractions of physical memory nodes. The abstractions are referred to herein as Memory Locality Domains (MLDs) and Memory Locality Domain Sets (MLDSETs).
Memory Locality Domains
As stated, a Memory Locality Domain (MLD) with a center C and a radius R, is a source of physical memory comprising all memory nodes within a hop distance R of a center node C.
FIG. 8 depicts two MLDs according to a preferred embodiment of the present invention. The first MLD 802 has a radius of 0. This indicates that no network hops are required to access memory from a thread attached to its center node. The second MLD 804 has a radius of 1, indicating that at most, 1 network hop is needed to access memory from a thread attached to its center node.
MLDs may be conceptualized as virtual memory nodes. Generally, the application writer defining MLDs specifies the MLD radius R, and lets the operating system decide where it will be centered. Typically, the operating system attempts to select a center node according to current memory availability and other placement parameters that the users specify. Such placement parameters include device affinity and node topology.
The following is an example of an operating system call that can be used in an implementation of the present invention. An example of an operating system that can be used in a preferred embodiment of the present invention is the Cellular IRIX.RTM. 6.4 operating system, manufactured by Silicon Graphics Incorporated.
In this example of a preferred embodiment, users can create MLDs using the following operating system call: ##EQU1##
In this example, the argument radius is used to define the MLD radius R. The argument size is used to specify the approximate amount of physical memory required for the newly created MLD.
Upon a successful execution of the operating system call, a handle (pmo.sub.-- handle.sub.-- t) is returned for the newly created MLD.
Referring now to FIG. 9, 2 MLDs 902 and 904 are created. In this example, the virtual address space 304 is divided into two sections. The first section 906 is associated with the MLD 902, and the second section 908 is associated with the MLD 904.
The association of the virtual address sections 906 and 908 with the corresponding MLDs 902 and 904, respectively, are accomplished through the creation and attachment of policy modules (PMs) that include placement policies therein. This concept as well as several examples of methods that can be used to create and attach PMs are fully described below.
It is important to note that in a preferred embodiment, the MLDs 902 and 904 are not physically placed when they are created. As described below, the MLDs 902 and 904 are placed only after they are made part of an MLDSET.
Memory Locality Domain Sets
In a preferred embodiment, Memory Locality Domain Sets or MLDSETs are used to define topology and resource affinity for one or more MLDs. For example, in the example described above, 2 MLDs 902 and 904 are created. In this example, if no topological information is specified, the operating system is free to place them anywhere. However, because of the memory sharing as described above with reference to FIG. 4, it is desired to place the 2 MLDs 902 and 904 as close as possible.
Accordingly, as shown in FIG. 10, an MLDSET 1002 is created. In a preferred embodiment, an MLDSET, such as the MLDSET 1002, is a group of MLDs (such as the MLDs 902 and 904) having one or more characteristics in common. In this example, the MLDs 902 and 904 have a common characteristic in that they both share the same sections of memory, namely sections 410 and 402. Thus, as described below, the MLDs 902 and 904 are defined as the MLDSET 1002, so that local accesses are maximized.
In this example of a preferred embodiment, users can create MLDSETs using the following operating system call: ##EQU2##
The argument mldlist is an array of MLD handles containing all the MLDs the user wants to make part of the new MLDSET. The argument mldlist.sub.-- len is the number of MLD handles in the array. On success, this call returns an MLDSET handle.
It should be noted that in a preferred embodiment, this call only creates a basic MLDSET without any placement information. In order to have the operating system place this MLDSET, and therefore place all the MLDs that are members of this MLDSET, users typically specify the desired MLDSET topology and device affinity. Accordingly, in a preferred embodiment, topology and device affinity can be specified when placing MLDSETs. This concept is graphically depicted in FIG. 10.
In FIG. 10, the MLDSET 1002 is depicted as having an associated topology 1004 and a device affinity 1006. The associated topology 1004 is a 1-D cube topology and the device affinity 1006 is a graphics subsystem.
The 1-D cube topology 1004, associated with the MLDSET 1002, tells the operating system to physically place the individual MLDs 902 and 904 in nodes that form a one dimensional cube topology. Preferably, other types of topologies can also be specified. Example of such other types are described below.
The graphics subsystem device affinity 1006, associated with the MLDSET 1002, tells the operating system to place the MLDSET 1002 as close as possible to the node within the multi-node system that contains the specified graphics subsystem.
In this example of a preferred embodiment, users can place MLDSETs using the following operating system call:
The argument mldset.sub.-- handle is the MLDSET handle returned by mldset.sub.-- create (above), and identifies the MLDSET the user is placing. The argument topology.sub.-- type specifies the topology the operating system should consider in order to place this MLDSET. Examples of topology.sub.-- types used in a preferred embodiment of the present invention include:
1. TOPOLOGY.sub.-- FREE
This topology specification lets the operating system decide what shape to use to allocate the MLDSET. In a preferred implementation, the Operating system tries to place this MLDSET on a cluster of physical nodes as compact as possible, depending on the current system load.
2. TOPOLOGY.sub.-- CUBE
This topology specification is used to request a cube-like shape.
3. TOPOLOGY.sub.-- CUBE.sub.-- FIXED
This topology specification is used to request a perfect cube.
4. TOPOLOGY.sub.-- PHYSNODES
This topology specification is used to request that the MLD's in an MLDSET be placed in the exact physical nodes enumerated in the device affinity list, described below.
The topology.sub.-- type.sub.-- t shown below is typically defined in a header file as follows:
Referring back now to the mldset.sub.-- place system call above, the argument rafflist is used to specify resource affinity. Typically, this is an array of resource specifications using a structure such as the raff structure shown below:
In this example of a raff structure, the fields resource, reslen, and restype, define the resource. The field resource is used to specify the name of the resource, the field reslen is set to the actual number of bytes the resource pointer points to, and the field restype specifies the kind of resource identification being used. Preferably, values for the restype field can be as follows:
1. RAFFIDT.sub.-- NAME
This resource identification type should be used for the cases where a hardware graph path name is used to identify the device.
2. RAFFIDT.sub.-- FD
This resource identification type should be used for the cases where a file descriptor is being used to identify the device.
Referring back to the raff structure above, the radius field defines the maximum distance from the actual resource the user would like the MLDSET to be placed. The attr field specifies whether the user wants the MLDSET to be placed close to or far from the resource. Values for the attr field are as follows:
1. RAFFATTR.sub.-- ATTRACTION
This value indicates to the operating system that the MLDSET should be placed as close as possible to the specified device
2. RAFFATTR.sub.-- REPULSION
This value indicates to the operating system that the MLDSET should be placed as far as possible from the specified device.
Referring back now to the mldset.sub.-- place system call above, the next argument, rafflist.sub.-- len, specifies to the operating system, the number of raff structures (described above) the user is passing via rafflist. Finally, the rqmode argument is used to specify whether the placement request is ADVISORY or MANDATORY as follows:
Preferably, the mldset.sub.-- place call returns a non-negative integer on success. On error, it returns a negative integer.
The operating system places the MLDSET by finding a section of the machine that meets the requirements of topology, device affinity, and expected physical memory used, as illustrated in FIG. 11.
For example, the MLDSET 1102 is an example of an MLDSET having a specified topology of TOPOLOGY.sub.-- FREE and a specified device affinity that associates it with a particular graphics system. Accordingly, as described above, the operating system places the MLDSET 1102 in a compact group as close as possible to the node containing the specified graphics system. This is; depicted by the nodes within the circle 1108 in FIG. 11. It is assumed the specified graphics system is coupled with one of the nodes within the circle 1108.
In a similar fashion, the MLDSET I 104 is an example of an MLDSET having a specified topology of TOPOLOGY.sub.-- CUBE.sub.-- FIXED and a specified device affinity associating the MLDSET with a disk I/O system. Accordingly, as described above, the operating system places the MLDSET 1104 in a 3D cube topology, as close as possible to the node containing the specified disk system. This is depicted by the nodes within the circle 1110 in FIG. 11.
Likewise, the MLDSET 1106 is an example of an MLDSET having a specified topology of TOPOLOGY.sub.-- CUBE.sub.-- FIXED and no specified device affinity. Accordingly, the operating system places the MLDSET 1104 in a cube topology as indicated by the nodes within the circle 1112.
In a preferred embodiment of the present invention, users can also destroy MLDSETS. For example, the following operating system call can be used to delete a MLDSET: ##EQU3##
In this example, the argument mldset.sub.-- handle identifies the MLDSET to be destroyed. On success, this call returns a non-negative integer. On error it returns a negative integer.
Policy Modules
As stated, the memory management and control system of the present invention is based on the use of policy modules (PMs). PMs are used to specify and control different aspects of memory operations in the computer system including the placement policy, as described above. PMs are also used to associate sections of a threads virtual address space with particular MLDs when allocating memory from the created MLDs and MLDSETs, according to a preferred embodiment of the present invention. In general, PMs are used to specify how memory is managed for threads running in the multi-node system.
In a preferred embodiment, different PMs are specified for particular sections of the virtual address space. For example, referring now to FI(G. 12, the PM 1206 is associated with the virtual address space section 702, as depicted by the arrow 1202. Similarly, the PM 1208 is associated with the virtual address space section 704, as depicted by the arrow 1204.
Each specified PM 1206 and 1208 comprises a plurality of methods that are used to control a variety of memory operations. Such memory operations typically include initial memory placement 1210a (i.e. the placement policy, as described above), memory page size 1210b, a fall back policy 1210c, migration policy 1210d, replication policy 1210e and a paging policy 1210f.
In this manner, when the multi-node system 316 needs to execute an operation to manage a particular section of a thread's address space, the methods provided by the policies within the currently connected PM 1206 are used. For example, the methods 1210a-1210f are used by the operating system for managing memory operations associated with the memory section 702.
In a preferred embodiment, the present invention provides application programmers with the ability to select different policies for different sections of the virtual address space down to the granularity of a single memory page. In one implementation, default policies are used each time a thread begins execution. The application programmer has the option to continue using the default policies or to specify different PMs comprising different methods.
Examples of operations that are handled by the methods contained in PMs according to a preferred embodiment of the present invention are shown in Table 1 below.
As stated, when the operating system needs to execute an operation to manage a section of a thread's address space, it uses the methods provided by the policies specified by the PM that is connected or attached (described below) to that virtual address space section.
For example, to allocate a physical page, a physical memory allocator calls the method provided by the placement policy, which determines where the page should be allocated from. Preferably, this method returns a pointer to the physical memory page where the memory is allocated. Some examples of selectable placement policies are as follows:
1. First Touch Policy: the page comes from the node where the allocation is taking place;
2. Fixed Policy: the page comes from a predetermined node or set of nodes;
3. RoundRobin Policy: the source node is selected from a predetermined set of nodes following a round-robin algorithm.
Of particular importance is the Fixed Policy (item number 2 above). Using this type of placement policy, a user can specify particular nodes in which a page of memory is to be allocated from. In this example, users specify a previously created MLD, so that the physical node associated with the specified MLD is used to allocate memory from whenever this policy module is referenced.
The physical memory allocator preferably determines the page size to be used for the current allocation. This page size is acquired using a method provided by the pagesize policy. Once this is determined, the physical memory allocator calls a per-node memory allocator specifying both the source node and the page size. If the memory allocator finds memory on this node that meets the page size requirement, the allocation operation finishes successfully. If not, the operation fails and a fallback method from the fallback policy is preferably called. The fallback method provided by this policy decides whether to try the same page on a different node, a smaller page size on the same source node, sleep, or just fail.
Typically, the selection of a fallback policy depends on the kind of memory access patterns an application exhibits. If the application tends to generate a lot of cache misses, giving locality precedence over the page size may make sense otherwise, specially if the application's working set is large, but has reasonable cache behavior, giving the page size higher precedence, may be preferable.
Preferably, once a page is placed, it stays on its source node until it is either migrated to a different node, or paged out and faulted back in. Migratability of a page is determined by the migration policy. For some applications, for example, those that present a very uniform memory access pattern, initial placement may be sufficient and migration can be turned off. On the other hand, applications with phase changes can benefit from some level of dynamic migration, which has the effect of attracting memory to the nodes where it is being used.
Some types of data, for example, read-only text, can also be replicated. The degree of replication of text is determined by the replication policy. Text shared by multiple threads running on different nodes may benefit substantially from several replicas which both provide high locality and minimize interconnect contention. For example, frequently used programs such as "/bin/sh", may be a good candidate to replicate on several nodes, whereas less used programs such as "/bin/bc" may not need much replication at all.
Finally, all paging activity is preferably controlled by the paging policy. When a page is about to be evicted, the pager uses the paging policy methods in the corresponding PM to determine whether the page can really be stolen or not.
In this example of a preferred embodiment, users create policy modules by using the following operating system call:
In this example, the policy.sub.-- set.sub.-- t structure contains all the data required to create a Policy Module. For each selectable policy listed in Table 1 above, this structure contains a field to specify the name of the selected policy and the list of possible arguments that the selected policy may require. The page size policy is the exception, for which the specification of the wanted page size suffices. The policy.sub.-- flags field allows users to specify special behaviors that apply to all the policies that define a Policy Module. For example, the policy.sub.-- flags field can be used to specify that the Policy Module should always pay more attention to the cache coloring rather than locality.
An example of values that can be used to define the policy.sub.-- set structure is as follows:
Note that in this example, a user defines the policy.sub.-- set.sub.-- t structure to create a PM with a placement policy called "PlacementFixed". As described above, the PlacementFixed policy in this example, takes a particular MLD as an argument. Thus, whenever the application allocates memory using the policy module, it is allocated from the physical node associated with the specified MLD.
As can be seen by the above example, all other policies are set to the default policies, including the page size. In addition, in this example, the user has specified (by the policy.sub.-- flags field) that cache coloring should be given precedence over locality.
Because it is typical to define the policy.sub.-- set structure with many default values as shown above, a typical implementation of the present invention provides the user with a shorthand call that pre-fill the structure with default values. An example of such a call is as follows: ##EQU4##
The pm.sub.-- create call returns a handle to the Policy Module just created, or a negative long integer in case of error, in which case error is set to the corresponding error code.
The handle returned by pm.sub.-- create is of type pmo.sub.-- handle.sub.-- t. The acronym PMO standards for Policy Management Object. This type is common for all handles returned by all the Memory Management Control Interface calls. These handles are used to identify the different memory control objects created for an address space, much in the same way as file descriptions are used to identify open files or devices. Every address space contains one independent PMO table. A new table is created only when a process execs.
In a preferred embodiment, a simpler way to create a Policy Module should be provided. For example, a restricted Policy Module creation call can be provided as follows:
In this example, the call to pm.sub.-- create.sub.-- simple allows for the specification of only the Placement Policy, the Replication Policy and the Page Size. Defaults are automatically chosen for the Fallback Policy, the Migration Policy, and the Paging Policy.
Typical List of Available Policies for a Preferred Embodiment
In a preferred embodiment of the present invention, The current list of available policies is shown in Table 1--1.
Note that in this example, there are five placement policies that a user may select. As stated the placement policy determines how memory is allocated for a given process. For example, the PlacementFixed policy allows a user to specify a previously created MLD. In this fashion, memory pages that are allocated using this placement policy will be allocated from the physical node corresponding to the specified MLD.
The PlacementRoundRobin policy in this example accepts an MLDSET as an argument. In this fashion, memory pages allocated using this placement policy will be allocated from the physical nodes corresponding with the MLDs comprising the specified MLDSET. In this example, memory is placed in each MLD in a round robin fashion.
The PlacementThreadLocal policy in this example, also accepts an MLDSET as an argument. However, in this example, the operating system allocates memory from a physical node that is local (or as close as possible) to the thread making the allocation request. In this fashion, a user can assure that local accesses are maximized even if the memory access patterns for a particular application is not precisely known.
For example, referring back to FIG. 7, because the user has advanced knowledge of the memory access patterns for the application 306, two policy modules 1206 and 1208 are created. In this example, the placement policy for each policy module is the PlacementFixed 1210a and 1212, as described above. Thus, the first PM 1206 is associated with MLD 902 and the second PM is associated with the MLD 904.
However, in a typical example, a user may not have advanced knowledge of the memory access patterns, such as shown in FIG. 7. In this case, the user can create a single PM comprising a PlacementThreadLocal placement policy. The single PM can be attached (described below) to the entire range of the virtual address space 304. Accordingly, because of the PlacementThreadLocal placement policy, when each thread allocates a page of memory, it will be allocated from the same node that the thread is running. In this fashion, local accesses are maximized automatically by the operating system.
Association of Virtual Address Space Sections to Policy Modules
As stated, preferably, the present invention provides a means to allow users to select different policies for different sections of a virtual address space, down to the granularity of a page. To associate a virtual address space section with a set of policies, users create a Policy Module as described above. After a PM is created, users specify an operating system call to attach the PM to a particular virtual address space. An example of such an operating system call that can be used in a preferred embodiment is as follows: ##EQU5##
The pm.sub.-- handle identifies the Policy Module the user has previously created, base.sub.-- addr is the base virtual address of the virtual address space section the user wants to associate to the set of policies, and length is the length of the section.
For example, referring back to FIG. 12, the base.sub.-- addr and length parameters define the section of virtual address space 702, and the pin.sub.-- handle identifies the PM 1206. Thus, by using the above call, the PM 1206 is attached or connected to the section of virtual address space 702.
Linking Execution Threads to MLDs
Preferably, users need to make sure that the application threads, such as the thread 302a, will be executed on or near the node where the associated memory is to be allocated, according to the MLD and MLDSET definitions as described above. For example, referring to FIG. 12, the threads 302a and 302b are linked to MLD 902. Likewise, the threads 302c and 302d are linked to the MLD 904.
An example of an operating system call that can be used to perform this function is as follows: ##EQU6##
In this example, the argument pid is the process identification of the process, such as the thread 302a, and the mld.sub.-- handle identifies the MLD, such as MLD 902 to be linked. In the above example shown in FIG. 12, this function is preferably called 4 times to perform the functions as follows: (1) link the thread 302a to the MLD 902; (2) link the thread 302b to the MLD 904; (3) link the thread 302c to the MLD 904; and (4) link the thread 302d to the MLD 906. On success this call return a non-negative integer. On error it returns a negative integer.
FIG. 13 is a flowchart depicting a process that can be used to specify initial memory placement using MLDs and MLDSETs according to a preferred embodiment of the present invention. The example used in the flowchart in FIG. 13 applies to the memory access pattern for the application 306 shown in FIG. 3.
The process begins with step 1302, where control immediately passes to step 1304. In step 1304 the user or application programmer determines the memory access pattern for each of the threads 302a-302d in the application 306, as shown in FIG. 3. Once the memory access patterns are determined, control passes to step 1306.
In step 1306, the user creates 2 MLDs 902 and 904. This can be accomplished for example, by using the example operating system call mld.sub.-- create, as described above. Alternatively, other methods may be used to create the two MLDs 902 and 904, as described below.
Next, in step 1308, an MLDSET 1002 is created. This can be accomplished for example, by using the example operating system call mldset.sub.-- create, as described above. Alternatively, other methods may be used to create the MLDSET 1002, as described below. Once the MLDSET is created, control passes to step 1310.
In step 1310, the MLDSET 1002 created in step 1308 is placed. This can be accomplished for example, by using the example operating system call mldset.sub.-- place, as described above. It should be recalled that when placing MLDSETs, such as the MLDSET 1002, a desired topology for the MLDs and a desired device affinity can be specified. Alternatively, other methods may be used to place the MLDSET 1002, as described below. Once the MLDSET is placed created, control passes to step 1312.
In step 1312, two policy modules are created. This can be accomplished for example, by using the example operating system call pm.sub.-- create. In this example, two policy modules are created. The first one associated with the first MLD 902 and the second one is associated with the MLD 904. In this example a fixed placement policy is used, but as noted above, other placement policy types can be specified. Two examples of other types of placement policies that can be used are round robin placement policy and thread local placement policy, as described above.
In addition, alternative methods may be used to create policy modules. Further, methods other than using policy modules can be used to associate MLDs with a thread's virtual address space. Such methods, other than those described in the present disclosure would be apparent to those persons skilled in the relevant art(s). Once 2 PMs are created, control passes to step 1314.
In step 1314, the two policy modules that were created in step 1312 are attached or connected to a particular section of the application's virtual address space 304. This can be accomplished for example, by using the example operating system call pm.sub.-- attach. Other methods can also be used to accomplish this function. Once the policy modules are attached, control passes to step 1316.
In step 1316, each of the 4 threads 302a-302d comprising the application 306 are reconnected to the center node C of their associated MLD. The term "reconnected" is used in this instance because in a typical implementation, the threads 302a-302d are already running on particular nodes within the multi-node computer system. Once steps 1302-1314 are performed, these running threads are now be relocated to different nodes in order to maximize local accesses.
Typically, the ideal node is the center node defined for the associated MLD. Thus, the threads 302a and 302b are reconnected to the center node of the MLD 902. Similarly, the center node of the MLD 302c and 302d are reconnected to the threads 904. This can be accomplished, for example, by using the example operating system call process.sub.-- mldlink, as described above. Other methods can also be used to accomplish this task. Once the threads are reconnected to their optimal nodes, control passes to step 1318.
In step 1318, the user specifies that the virtual node MLD 902, which is now mapped to a physical node according to the specified criteria as described above, is to be used for allocating memory pages associated with the virtual address in section 702. Likewise, the user specifies that the virtual node MLD 904, which is now mapped to a physical node according to the specified criteria as described above, is to be used for allocating memory pages associated with the virtual address in section 704. The process ends as indicated by step 1320.
Methods other than the example operating system calls can be used to control the memory placement parameters according to a preferred embodiment of the present invention. For example, as stated above, the present invention can be implemented not only with direct operating system calls, but with high level programming tools, compiler directives, and the like. For example, in one embodiment, placement specifications are described in placement files or invoked from the command language library. For example, a placement specification may contain descriptions from memory and thread placement according to the principles described in the present disclosure. Memory topologies. as well as affinities to devices may also be specified. In this fashion, shared virtual address ranges can be mapped to a specified memory. In addition page size and page migration thresholds can also be controlled in this fashion.
An example of a high level tool that can be used to provide users with a means to specify placement information according to a preferred embodiment of the present invention is referred to as `dplace`. As stated, this type of high level tool is an alternative to using the operating system calls as described above to specify placement information. The following description relates to an exemplary tool referred to as dplace, which is shipped with the Cellular IRIX.TM. operating system manufactured by Silicon Graphics Incorporated. The following description is in the form of manual pages or Man Pages, which are used to provide information about system calls and library functions and the like for
Dplace(5) UNIX operating systems. The following descriptions are self explanatory and would be apparent to persons skilled in the relevant art(s).
Name
dplace--NUMA placement specification
Description
Placement specifications are described in placement files or invoked from the command language library. A valid placement specification contains descriptions for memory and thread placement. Memory topologies as well as affinities to devices may also be specified. Shared virtual address ranges can be mapped to a specified memory. Page size and page migration thresholds can also be controlled.
Example
An example placement file describing two memories and two threads might look like:
# placement specification file
# set up 2 memories which are close memories 2 In topology cube
# set up 2 threads threads 2
# run the first thread on the second memory run thread 0 on memory 1
# run the second thread on the first memory run thread 1 on memory 0
This specification, when used for initial placement, would request two nearby memories from the operating system. At creation, the threads are requested to run on an available CPU which is local to the specified memory. As data and stack space is "touched" or faulted in, physical memory is allocated from the, memory that is local to the thread that initiates fault.
Dplace(5)
Summary
The example commands above are newline terminated.
Characters following the comment delimiter `#` are ignored.
Tokens are separated by optional white space which is ignored.
Line continuation is a.backslash., and must occur between tokens.
In what follows k,l,m,n,tO,tl,dt,mO,m and ml are arithmetic expressions that can contain environment variables preceded by a `$`.
A legal statement could be:
memories ($MP-SET-NUMTHREADS+1)/2 in cube
The first example can be written in a scalable fashion as follows:
# scalable placement specification file
# set up memories which are close memories $MP-SET-NUMTHREADS in topology cube
# set up threads threads $MP-SET-NUMTHREADS
# run reversed threads across the memories distribute threads $MP-SET-NUMTHREADS-1:0:-l across memories
Static specifications may occur in a placement file or be called later from dplace(3) library routines. Dynamic specifications may only be called from dplace(3) library routines. Here is a summary of the grammar.
Static specifications:
memories m [[in] [topology] cube.vertline.none.vertline.physical][near [/hw/*]+]
threads n
run thread n on memory m [using cpu k]
distribute threads [tO:tl[:dt] across memories [m0:ml[:dm]][block [m].vertline.[cyclic [n]]
place range k to l on memory m [[with] pagesize n [k.vertline.K]]
policy stack.vertline.data.vertline.text pagesize n [k.vertline.K]
policy migration n [%]
mode verbose [on.vertline.off.vertline.toggle]
Dplace(5)
Dynamic specifications:
migrate range k to l to memory m
move thread.vertline.pid n to memory m
In the above, the specification: threads t0:tl[:dt] means to use threads numbered t0 through t1 with an optional stride of dt. The default stride value is 1.
Similarly, the specification: memories [m0:ml[:dm]] means to use memories m0 through ml with an optional stride of dm. The default stride value is 1.
The qualifier block m implies a block distribution of the threads with at most m threads per memory. If m is omitted, its default value is: the integer floor of the number of threads being distributed divided by the number of memories being distributed across.
The qualifier cyclic n implies a cyclic distribution of the selected threads across the selected memories. The threads are chosen in groups of n and dealt out to the appropriate memory until all threads are used. If n is omitted, its default value is one and the threads are dealt out to the memories like a deck of cards.
Common Placement File Errors
The most common placement file error is the use of either the run or distribute directive without previously declaring both the number of threads, and the number of memories using the memories and threads directives.
Terminology
In the above, a thread is an IRIX process or any of it's descendants which were created using sproc(2) or fork(2). Thread numbers are ordered (from 0 to the number of threads minus 1) in the same way as the pid's for each process.
A memory is an instantiation of a physical memory.
A range is a virtual address range such as OxIO0000 to Ox2OOOOO.
See Also
dplace(l), dplace(3)
Dplace(3)
Name
C Synopsis
Fortran Synopsis
Description
These library routines provide high level access to a subset of the memory management and control mechanisms of IRIX. Dynamic dplace(l) functionality is provided from within a user's program. The first form takes a filename as an argument and all commands within the file are processed. The second form operates on a single command. Errors are handled in the same way as dplace(l); the program exits and a diagnostic message is printed to standard error. The library can be used with or without using dplace(l).
Example Code
The following is a fragment of FORTRAN code
Dplace(1)
The following is a C language code fragment:
When linking C or FORTRAN programs, the flag -idplace will automatically invokes the correct lib.sub.-- dplace library,
Files
Dependencies
These procedures are only available on NUMA systems. In order to avoid conflicts with Fortran's libmp, it is advisable to set the environment variable .sub.-- DSM.sub.-- OFF to disable libmp's NUMA functionality before running programs that are linked with lib.sub.-- dplace.
See Also
dplace(l), dplace(5)
Dplace(1)
Name
dplace--a NUMA memory placement tool
Synopsis
Description
The given program is executed after placement policies are set up according to command line arguments and the specifications described in placement file.
Options
.sub.-- place placement-file
Placement information is read from placement-file. If this argument is omitted, no input file is read. See dplace(5) for correct placement file format.
-data-pagesize n-bytes
Data and heap page sizes will be of size n-bytes. Valid page sizes are 16 k multiplied by a non-negative integer powers of 4 up to a maximum size of 16 m. Valid page sizes are 16k, 64k, 256k, I m, 4 m, and 16 m.
-stack-Pagesize n-bytes
Stack page sizes will be of size n-bytes. Valid page sizes are 16 k multiplied by a non-negative integer powers of 4 up to a maximum size of 16 m. Valid page sizes are 16 k, 64k, 256 k, I m, 4 m, and 16 m.
-text.sub.-- pagesize n-bytes
Text page sizes will be of size n-bytes. Valid page sizes are 16k multiplied by a non-negative integer powers of 4 up to a maximum size of 16 m. Valid page sizes are 16 k, 64 k, 256 k, I m, 4 m, and 16 m.
-migration threshold
Page migration threshold is set to threshold. This value specifies the maximum percentage difference between the number of remote memory accesses and local memory accesses (relative to maximum counter values ) for a given page, before a migration request event occurs. A special argument of 0 will turn page migration off.
Dplace(1)
-propagate
Migration and page size information will be inherited by descendants which are exec'ed.
-mustrun
When threads are attached to memories or CPUs they are run mandatorily.
-verbose or -v
Detailed diagnostic information is written to standard error.
Example
To place data according to the file placement.sub.-- file for the executable .alpha.. out that would normally be run by:
a user would write:
The following is an example placement file placement-file when a.out is two threaded:
This specification, would request 2 nearby memories from the operating system. At creation, the threads are requested to run on an available CPU which is local to the specified memory. As data and stack space is touched or faulted in, physical memory is allocated from the memory which is local to the thread which initiated the fault.
Dplace(1)
This can be written in a scalable way for a variable number of threads using the environment variable NP as follows:
Using MPI
Since most MPI implementations use $MPI.sub.-- NP+1 threads; where the first thread is mainly inactive. One might use the placement file:
When using MPI with dplace, users should set MPI.sub.-- NP to the appropriate number of threads and run their dynamic executable directly from dplace; do not use mpirun.
Large Pages
Some applications run more efficiently using large pages, To run a program a.out utilizing 64 k pages for both stack and data, a placement file is not necessary. One need only invoke the command:
from the shell.
Physical Placement
Physical placement can also be accomplished using dplace. The Following placement file:
specifies three physical nodes using the proper /hw path. To find out the names of the memory nodes on the machine you are using, type "find /hw -name node -print" at the shell command prompt.
Defaults
If command line arguments are omitted, dplace chooses the following set of defaults:
Restrictions
Programs must be dynamic executables; non shared executables behavior are unaffected by dplace. Placement files will only affect direct descendants of dplace. Parallel applications must be based on the sproc(2) or fork(2) mechanism.
Environment
Dplace recognizes and uses the environment variables PAGESIZE.sub.-- DATA, PAGESIZE.sub.-- STACK and PAGESIZE.sub.-- TEXT. When using these variables it is important to note that the units are in kilobytes. The command line option will override environment variable setting.
Errors
If errors are encountered in the placement file, dplace will print a diagnostic message to standard error specifying where the error occurred in the placement file and abort execution.
See Also
dplace(5), dplace(3)
In another embodiment, compiler directives can be used to specify placement information according to a preferred embodiment of the present invention. For an example of compiler directives that can be used to specify memory placement information, please refer to "A MIPSpro Power Fortran 90 Programmer's Guide" (007-2760-001). This publication is included with the Cellular IRIX.RTM. 6.4 operating system, manufactured by Silicon Graphics Incorporated. This publication can also be found on Silicon Graphic's Web site, www.SGI.com.
The present invention may be implemented using hardware, firmware, software or a combination thereof and may be implemented in a computer system or other processing system. In fact, in one embodiment, the invention is directed toward a computer system capable of carrying out the functionality described herein. An example computer system 1401 is shown in FIG. 14. The computer system 1401 includes one or more processors, such as processor 1404. The processor 1404 is connected to a communication bus 1402. Various software embodiments are described in terms of this example computer system. After reading this description, it will become apparent to a person skilled in the relevant art how to implement the invention using other computer systems and/or computer architectures.
Computer system 1402 also includes a main memory 1406, preferably random access memory (RAM), and can also include a secondary memory 1408. The secondary memory 1408 can include, for example, a hard disk drive 1410 and/or a removable storage drive 1412, representing a floppy disk drive, a magnetic tape drive, an optical disk drive, etc. The removable storage drive 1412 reads from and/or writes to a removable storage unit 1414 in a well known manner. Removable storage unit 1414, represents a floppy disk, magnetic tape, optical disk, etc. which is read by and written to by removable storage drive 1412. As will be appreciated, the removable storage unit 1414 includes a computer usable storage medium having stored therein computer software and/or data.
In alternative embodiments, secondary memory 1408 may include other similar means for allowing computer programs or other instructions to be loaded into computer system 1401. Such means can include, for example, a removable storage unit 1422 and an interface 1420. Examples of such can include a program cartridge and cartridge interface (such as that found in video game devices), a removable memory chip (such as an EPROM, or PROM) and associated socket, and other removable storage units 1422 and interfaces 1420 which allow software and data to be transferred from the removable storage unit 1422 to computer system 1401.
Computer system 1401 can also include a communications interface 1424. Communications interface 1424 allows software and data to be transferred between computer system 1401 and external devices. Examples of communications interface 1424 can include a modem, a network interface (such as an Ethernet card), a communications port, a PCMCIA slot and card, etc. Software and data transferred via communications interface 1424 are in the form of signals which can be electronic, electromagnetic, optical or other signals capable of being received by communications interface 1424. These signals 1426 are provided to communications interface via a channel 1428. This channel 1428 carries signals 1426 and can be implemented using wire or cable, fiber optics, a phone line, a cellular phone link, an RF link and other communications channels.
In this document, the terms "computer program medium" and "computer usable medium" are used to generally refer to media such as removable storage device 1412, a hard disk installed in hard disk drive 1410, and signals 1426. These computer program products are means for providing software to computer system 1401.
Computer programs (also called computer control logic) are stored in main memory and/or secondary memory 1408. Computer programs can also be received via communications interface 1424. Such computer programs, when executed, enable the computer system 1401 to perform the features of the present invention as discussed herein. In particular, the computer programs, when executed, enable the processor 1404 to perform the features of the present invention. Accordingly, such computer programs represent controllers of the computer system 1401.
In an embodiment where the invention is implemented using software, the software may be stored in a computer program product and loaded into computer system 1401 using removable storage drive 1412, hard drive 1410 or communications interface 1424. The control logic (software), when executed by the processor 1404, causes the processor 1404 to perform the functions of the invention as described herein.
In another embodiment, the invention is implemented primarily in hardware using, for example, hardware components such as application specific integrated circuits (ASICs). Implementation of the hardware state machine so as to perform the functions described herein will be apparent to persons skilled in the relevant art(s).
In yet another embodiment, the invention is implemented using a combination of both hardware and software.
While various embodiments of the present invention have been described above, it should be understood that they have been presented by way of example only, and not limitation. Thus, the breadth and scope of the present invention should not be limited by any of the above-described exemplary embodiments, but should be defined only in accordance with the following claims and their equivalents.
Claims
What is claimed is:
1. A method for allocating memory for one or more threads within an application program running on a distributed shared memory multi-node computer system, the application program having a virtual address space comprising one or more sections, the method comprising the steps of: creating a memory locality domain (MLD), which is a source of physical memory, comprising nodes within a predefined area of memory; creating a memory locality domain set (MLDSET), which is used to define at least one of topology and resource affinity for one or more MLDs, comprising at least one MLD; placing the MLDSET relative to one or more nodes in the distributed shared memory multi-node computer system; associating the MLD with a particular section of the application program's virtual address space; and linking the MLD to at least one of the threads.
2. The method of claim 1, wherein said step of creating a memory locality domain includes specifying a center node and a radius.
3. The method of claim 1, wherein said step of placing the MLDSET includes the step of: specifying a specific node topology for the MLDSET.
4. The method of claim 1, wherein said step of placing the MLDSET includes the step of: specifying a specific resource affinity for the MLDSET.
5. The method of claim 1, wherein said step of associating the MLD includes the steps of: creating a placement policy associated with the MLD or the MLDSET; and attaching the placement policy to the particular section of the application program's virtual address space.
6. The method of claim 5, wherein the placement policy comprises a round robin policy, wherein memory allocated via the round robin policy is allocated from physical nodes associated with the associated MLDSET in a round robin fashion.
7. The method of claim 5, wherein said placement policy comprises a thread local policy, wherein memory allocated via the thread local policy is allocated from a physical node that is local to the associated MLD.
8. The method of claim 5, wherein said placement policy comprises a fixed placement policy, wherein memory allocated via the fixed placement policy is allocated from a physical node within the associated MLD.
9. The method of claim 5, wherein: said step of creating a placement policy includes creating a policy module, wherein the policy module includes the placement policy; and said step of attaching the placement policy includes attaching the policy module to the particular section of the application program's virtual address space.
10. The method of claim 9, wherein said step of creating a policy module includes the step of: specifying a plurality of methods related to memory management operations.
11. The method of claim 10, wherein said step of specifying a plurality of methods includes one or more of the following steps: selecting the placement policy; selecting a replication policy; selecting a migration policy; selecting a paging policy; selecting a recovery policy; and selecting a policy flag.
12. A system for allocating memory for one or more threads within an application program running on a distributed shared memory multi-node computer system, the application program having a virtual address space comprising one or more sections, the system comprising: means for creating a memory locality domain (MLD), which is a source of physical memory, comprising nodes within a predefined area of memory; means for creating a memory locality domain set (MLDSET), which is used to define at least one of topology and resource affinity for one or more MLDs, comprising at least one said MLD; means for placing said MLDSET relative to one or more node in the distributed shared memory multi-node computer system; means for associating said MLD with a particular section of the application program's virtual address space; and means for linking said MLD to at least one of said threads.
13. The system of claim 12, wherein said means for creating a memory locality domain includes means for specifying a center node and a radius.
14. The system of claim 13, wherein said means for associating said MLD includes: means for creating a placement policy associated with said MLD or said MLDSET; and means for attaching said placement policy to said particular section of the application program's virtual address space.
15. The system of claim 14, wherein said placement policy comprises a round robin policy, wherein memory allocated via said round robin policy is allocated from physical nodes associated with said associated MLDSET in a round robin fashion.
16. The system of claim 14, wherein said placement policy comprises a thread local policy, wherein memory allocated via said thread local policy is allocated from a physical node that is local to said associated MLD.
17. The system of claim 14, wherein said placement policy comprises a fixed placement policy, wherein memory allocated via said fixed placement policy is allocated from a physical node within said associated MLD.
18. The system of claim 14, wherein: said means for creating a placement policy includes means for creating a policy module, wherein said policy module includes said placement policy; and said means for attaching said placement policy includes means for attaching said policy module to said particular section of the application program's virtual address space.
19. The system of claim 18, wherein said means for creating a policy module includes: means for specifying a plurality of methods related to memory management operations.
20. The system of claim 19, wherein said means for specifying a plurality of methods includes means for selecting said placement policy and any combination of: means for selecting a replication policy; means for selecting a migration policy; means for selecting a paging policy; means for selecting a recovery policy; means for specifying a page size; and means for specifying a policy flag.
21. The system of claim 12, wherein said means for placing said MLDSET includes: means for specifying a specific node topology for said MLDSET.
22. The system of claim 21, wherein said specific node topology includes free, cluster, cube and fixed cube topologies.
23. The system of claim 12, wherein said means for placing said MLDSET includes: means for specifying a specific resource affinity for said MLDSET.
24. A computer program product comprising a computer useable medium having computer program logic stored therein, the computer program logic enables at least one processor to allocate memory for one or more threads within an application program running on a distributed shared memory multi-node computer system, the application program having a virtual address space comprising one or more sections, wherein said computer program logic comprises: means for enabling at least one processor to create a memory locality domain (MLD), which is a source of physical memory, comprising nodes within a predefined area of memory; means for enabling at least one processor to create a memory locality domain set (MLDSET), which is used to define at least one of topology and resource affinity for one or more MLDs, comprising at least one said MLD; means for enabling at least one processor to place said MLDSET relative to one or more nodes in the distributed shared memory multi-node computer system; means for enabling at least one processor to create an association between said MLD and a particular section of the application program's virtual address space; and means for enabling at least one processor to link said MLD to at least one of said threads.
25. The computer program product of claim 24, wherein said means for enabling the computer to create a memory locality domain includes means for enabling the computer to accept a specification for a center node and a radius associated with said MLD.
26. The computer program product of claim 25, wherein said means for enabling the computer to create an association between said MLD and a particular section of the application program's virtual address space includes: means for enabling the computer to create a placement policy associated with said MLD or said MLDSET; and means for enabling the computer to attach said placement policy to said particular section of the application program's virtual address space.
27. The computer program product of claim 26, wherein said placement policy comprises a round robin policy, wherein memory allocated via said round robin policy is allocated from physical nodes associated with said associated MLDSET in a round robin fashion.
28. The computer program product of claim 26, wherein said placement policy comprises a thread local policy, wherein memory allocated via said thread local policy is allocated from a physical node that is local to said associated MLD.
29. The computer program product of claim 26, wherein said placement policy comprises a fixed placement policy, wherein memory allocated via said fixed placement policy is allocated from a physical node within said associated MLD.
30. The computer program product of claim 29, wherein said means for enabling the computer to create a policy module includes: means for enabling the computer to accept a specification for a plurality of methods related to memory management operations.
31. The computer program product of claim 30, wherein said means for enabling the computer to accept a specification for a plurality of methods includes means for enabling the computer to select said placement policy and any combination of: means for enabling the computer to accept a selection for a placement policy; means for enabling the computer to accept a selection for a replication policy; means for enabling the computer to accept a selection for a migration policy; means for enabling the computer to accept a selection for a page size; and means for enabling the computer to accept a selection for a policy flag.
32. The computer program product of claim 26, wherein: said means for enabling the computer to create a placement policy includes means for enabling the computer to create a policy module, wherein said policy module includes said placement policy; and said means for enabling the computer to attach said placement policy includes means for enabling the computer to attach said policy module to said particular section of the application program's virtual address space.
33. The computer program product of claim 24, wherein said means for enabling the computer to place said MLDSET includes: means for enabling the computer to accept a specific node topology for said MLDSET.
34. The computer program product of claim 33, wherein said specific node topology includes free, cluster, cube and fixed cube topologies.
35. The computer program product of claim 24, wherein said means for enabling the computer to place said MLDSET includes: means for enabling the computer to accept a specification for a specific resource affinity for said MLDSET.
36. A method for allocating memory for one or more threads within an application program running on a distributed shared memory multi-node computer system, the application program having a virtual address space comprising one or more sections, the method comprising the steps of: creating a memory locality domain (MLD), which is a source of physical memory, including specifying a center node and a radius; creating a memory locality domain set (MLDSET), which is used to define at least one of topology and resource affinity for one or more MLDs, comprising at least one MLD; placing the MLDSET relative to one or more nodes in the distributed shared memory multi-node computer system; associating the MLD with a particular section of the application program's virtual address space; and linking the MLD to at least one of the threads.
37. A system for allocating memory for one or more threads within an application program running on a distributed shared memory multi-node computer system, the application program having a virtual address space comprising one or more sections, the system comprising: means for creating a memory locality domain (MLD), which is a source of physical memory, including means for specifying a center node and a radius; means for creating a memory locality domain set (MLDSET), which is used to define at least one of topology and resource affinity for one or more MLDs, comprising at least one said MLD; means for placing said MLDSET relative to one or more nodes in the distributed shared memory multi-node computer system; means for associating said MLD with a particular section of the application program's virtual address space; and means for linking said MLD to at least one of said threads.
38. A computer program product comprising a computer useable medium having computer program logic stored therein, the computer program logic enables at least one processor to allocate memory for one or more threads within an application program running on a distributed shared memory multi-node computer system, the application program having a virtual address space comprising one or more sections, wherein said computer program logic comprises: means for enabling at least one processor to create a memory locality domain (MLD), which is a source of physical memory, in response to a specified center node and radius associated with said MLD; means for enabling at least one processor to create a memory locality domain set (MLDSET), which is used to define at least one of topology and resource affinity for one or more MLDs, comprising at least one said MLD; means for enabling at least one processor to place said MLDSET relative to one or more nodes in the distributed shared memory multi-node computer system; means for enabling at least one processor to create an association between said MLD and a particular section of the application program's virtual address space; and means for enabling at least one processor to link said MLD to at least one of said threads.
39. An operating system comprising: a memory manager that creates a memory locality domain (MLD), which is a source of physical memory, comprising nodes within a predefined area of memory, creates a memory locality domain set (MLDSET), which is used to define at least one of topology and resource affinity for one or more MLDs, comprising at least one MLD, places the MLDSET relative to one or more nodes in a distributed shared memory multi-node computer system, associates the MLD with a particular section of an application program's virtual address space, and links the MLD to at least one of the threads within the application program.
Patent Citations (29)
| Patent | Date | Inventor | Cited By |
|---|---|---|---|
| US4823111 | 1989-04-01 | Tsuchiya et al. | |
| US5093913 | 1992-03-01 | Bishop et al. | |
| US5161156 | 1992-11-01 | Baum et al. | |
| US5228127 | 1993-07-01 | Ikeda et al. | |
| US5237673 | 1993-08-01 | Orbits et al. | |
| US5247673 | 1993-09-01 | Costa et al. | |
| US5247676 | 1993-09-01 | Ozur et al. | |
| US5261097 | 1993-11-01 | Saxon | |
| US5269013 | 1993-12-01 | Abramson et al. | |
| US5325526 | 1994-06-01 | Cameron et al. | |
| US5345588 | 1994-09-01 | Greenwood et al. | |
| US5349664 | 1994-09-01 | Ikeda et al. | |
| US5430850 | 1995-07-01 | Papadopoulos et al. | |
| US5490274 | 1996-02-01 | Zbikowski et al. | |
| US5555404 | 1996-09-01 | Torbjornsen et al. | |
| US5560029 | 1996-09-01 | Papadopoulos et al. | |
| US5590326 | 1996-12-01 | Manabe | |
| US5592625 | 1997-01-01 | Sandberg | |
| US5692193 | 1997-11-01 | Jagannathan et al. | |
| US5713002 | 1998-01-01 | Zbikowski et al. | |
| US5717926 | 1998-02-01 | Browning et al. | |
| US5727150 | 1998-03-01 | Laudon et al. | |
| US5745703 | 1998-04-01 | Cejtin et al. | |
| US5752031 | 1998-05-01 | Cutler et al. | |
| US5771383 | 1998-06-01 | Magee et al. | |
| US5784697 | 1998-07-01 | Funk et al. | |
| US5805593 | 1998-09-01 | Busche | |
| US5862338 | 1999-01-01 | Walker et al. | |
| US5864851 | 1999-01-01 | Breitbart et al. |
Non-Patent Literature (11)
- Chandra et al "Data Distribution Support on Distributed Shared Memory Multiprocessors" SIGPLAN 97, Jun. 1997.
- "A Smaby Group Strategic Analysis: SGI/CRAY Link Up For The Next Challenge", Smaby Group, Inc., 1996, pp. 1-6, printed from http://www.smaby.com/sgicray.html on Apr. 16, 1997.
- Coulouris et al., Distributed Systems: Concepts and Design, Second Edition, Addison-Wesley Publishing, 1994 (entire book provided).
- Goodheart, B. and Cox, J., The Magic Garden Explained: The Internals of UNIX System V Release 4, An Open Systems Design, Prentice-Hall, 1994 (entire book provided).
- Hwang, K., Advanced Computer Architecture: Parallelism, Scalability, Programmability, McGraw-Hill, 1993 (entire book provided).
- Kumar et al., Introduction to Parallel Computing, Benjamin Cummings Publ., 1994, pp. v-xii and 29-48.
- Coxeter, H.S.M., Regular Polytopes, 3.sup.rd Edition, Dover, 1973 (entire book provided).
- Catanzaro, Multiprocessor System Architectures: A Technical Survey of Multiprocessor/Multithreaded Systems Using SPARC.RTM., Multilevel Bus Architectures, and Solaris.RTM. (SunOS.TM.), Sun Microsystems, Inc., 1994.
- Lenoski, D. and Weber, W.D., Scalable Shared-Memory Multiprocessing, Morgan Kaufmann Publishers, 1995, pp. xi-xv, 1-40, 87-95, 143-203 and 311-316.
- Hennessy and Patterson, Computer Architecture: A Quantitative Approach, Second Edition, pp. ix-xii and 634-760, Morgan and Kaufman Publishing, 1996.
- Chandra, R. et al., "Data Distribution Support on Distributed Shared Memory Multiprocessors", to appear in Proceedings of the SIGPLAN 97 Conference on Programming Language Design and Implementation, Las Vegas, NV, Jun. 1997.