Information
-
Patent Application
-
20020169933
-
Publication Number
20020169933
-
Date Filed
May 11, 200123 years ago
-
Date Published
November 14, 200222 years ago
-
CPC
-
US Classifications
-
International Classifications
Abstract
A memory structure and method for handling memory requests from a processor and for returning correspondence responses to the processor from various levels of the memory structure. The memory levels of the memory structure are interconnected by a forward and return path with the return path having twice the bandwidth of the forward path. An algorithm is used to determine how many responses are sent from each memory level on the return path to the processor. This algorithm is designed to guarantee a constant bound on the rate of responses sent to the processor. More specifically, if a write request is at the same level to which it is targeted, or if a request at a memory level is targeted to a higher memory level, then two responses are forwarded from a controller at the memory level on the return path to the processor. Otherwise, only one response is forwarded from the memory level on the return path.
Description
DESCRIPTION
[0001] 1. Technical Field
[0002] This invention relates to a scalable memory system that supports unbounded pipeline depth under constant bandwidth constraints, where the access time increases only linearly with pipeline depth.
[0003] 2. Background of the Invention
[0004] It is well-known that memory technology does not scale with processor technology, and mismatch of their speeds continues to exist. One of the popular means employed to bridge this gap is to design the memory as a hierarchical pipeline. Memory is organized as a layer of stages or caches. Layers closer to the processor are faster but smaller in size while layers farther from the processor are slower and have larger sizes. The hope is that the latency of transfer of data from remote stages can be hidden by feeding the processor from the closer levels. However, the current designs do not scale well as the memory size grows. Each stage of the memory has a different design and hence the latencies are non-linear and hard to predict. The transfer of data from higher to lower levels is implicitly managed by the memory subsystem, and the processor is unaware of the transfers. The transfers are triggered directly by demand for the data or by hardware speculation of spatial locality. Hence, effective reduction in latency does not take place without substantial increase in bandwidth from different components of the memory.
[0005] In view of the above observations, it is desirable to have a scalable memory with the following features:
[0006] 1. The memory should be composable (to any size) uniformly by adding instances of the same building block
[0007] 2. The characteristics of the building block (memory level) must be independent of technology, subject only to the laws of physics—i.e., the memory within a block has finite size and speed dictated by the specific technology that is employed; a block is physically separated from another block and communication between two blocks takes finite time based on their distance and on permissible topologies of their layout.
[0008] 3. The latency of access to a location in memory should be linearly proportional to its distance from the processor.
[0009] 4. The communication bandwidth required between blocks should be constant regardless of the size of the memory.
[0010] 5. The memory should be able to accept requests at a constant rate and supply the results at a proportional rate, regardless of the size of the memory.
SUMMARY OF THE INVENTION
[0011] It is an object of this invention to provide a memory system wherein the access time to a location in memory is linearly proportional to the memory location's distance from the processor. It is a further object of this invention to provide a linear cost memory where the bandwidth required between different levels of the memory is constant regardless of the number of levels in the memory.
[0012] It is another object of this invention to accept requests at a constant input rate and to supply the responses of these requests at a rate which is constant multiple of the input rate. It is a more general object of this invention to provide a scalable memory which is composable to any size by adding additional memory levels.
[0013] Accordingly, this invention provides for a memory structure for processing memory requests. This structure has a number of memory levels, where each level has a memory unit and a first and second memory controller.
[0014] A memory request contains an opcode (read or write), a target level and optionally some data. The request carries data only if the operation is a write. A memory response is generated in response to a request for a read operation. There is no response to a write operation. A response has a similar format. It always carries data in the data field.
[0015] The memory structure also has a forward path for carrying each memory request to the memory levels, and a return path having at least twice the bandwidth of the forward path. The return path is used for carrying responses, to the memory requests. The first controller makes a copy of each memory request and sends one copy to the memory unit and another copy to a higher level first controller. For a read operation, a memory unit copies data from memory into the memory request. For a write operation, the data from the memory request is copied into the memory. In either case, a copy of the resulting memory request is sent to the second controller at that level. The second controller either discards the memory request or converts it into a memory response and sends the response on the return path to a second controller at a lower level as described below:
[0016] a. If a read request is received from a memory unit and it is at the same level as the target level of the request, then the request is converted to a response and is sent to a lower level along with one response, if any, from the internal buffers of the second controller at that level.
[0017] b. If a write request is received from a memory unit and it is at the same level as the target level of the request, then the request is discarded and two responses, if any, from the internal buffers of the second controller at that level are forwarded to the second controller at a lower level.
[0018] c. If a request is received from a memory unit and it is at a level lower level than the target level of the request, then the request is discarded and two responses, if any, are forwarded to the second controller at a lower level.
[0019] d. If a request is received from a memory unit and it is at a level higher level than the target level of the request, then the request is discarded and one response, if any, is forwarded to the second controller at a lower level.
BRIEF DESCRIPTION OF THE DRAWINGS
[0020]
FIG. 1 illustrates the memory system in accordance with this invention.
[0021]
FIG. 2 graphically illustrates a state machine, where the states are defined by the buffer size of a controller which forwards responses along a downward path to the processor.
[0022]
FIG. 3 is a flow chart illustrating the algorithm for the operation of the controller in forwarding responses to memory requests on the downward path of the memory system.
[0023]
FIG. 4 graphically illustrates a processor that could be used with with the linear memory.
[0024]
FIG. 5 graphically illustrates the read-write hazard.
[0025]
FIG. 6 includes flow charts for the operation of the issue and execution units of the processor.
DETAILED DESCRIPTION OF THE INVENTION
[0026] The structure of the proposed memory system 10 is shown in FIG. 1. For ease of illustration, the system is shown to have a sequence of building blocks Ll through Ln laid out in one dimension. The blocks are numbered starting from Ll at the processor and increasing as we go away from the processor. Each i-th building block Lt has unit memory, denoted by ml, and two controllers, ui and di. All the controllers ul are connected by single links 5 forming the “upward path” carrying requests from the processor to the memory cells. The controllers dl are connected by pairs of links 7 forming the “return path” and carry responses from memory cells to the processor. The design can sustain one request per unit time from the processor on the upward path, but the processor is required to be able to receive up to 2 responses in one unit time along the return path. Thus, this design requires an output bandwidth that is twice that of the input bandwidth. Also shown is a single processor 9 connected to this memory system. A processor such as that described in a related application, which is being filed concurrently with and by the assignee of the instant application, could be used with the memory system of this invention. The related application is IBM Docket YOR920010438US1, entitled: Scalable Processor, and is hereby incorporated herein by reference. A memory request specifies a target memory cell address, the operation (read/write) and data if it is a write operation. For a memory of size n, the target address is any integer between 1 and n. Any number greater than n can be used to simulate a no-operation (i.e. the processor did not submit any real request).
[0027] Requests and responses also carry additional information that is not interpreted by memory. For instance, if the processor executes an instruction of the form op(x,z) where x,z, are addresses of memory locations, the semantics is to perform the operation (op) on the data from location x of memory and to store the result into location z of memory. For this instruction, the memory request submitted is of the form [read, x, no-data, <op,z>]. The response to this request is of the form [read, x, data, <op,z>] where data is the information that was retrieved from location x. This response is forwarded on the return path through a series of second controllers to the processor. In the sample shown, when the response is received by the processor, the operation is performed on data to obtain a result, say w. Another request is then forwarded from processor through the first controllers on the upward path to store the result w at memory location z. The format of this request may look something like [write, z, w, no-info], which means store the value w at location z.
[0028] Each request with target address i travels on the upward path and a copy of it reaches the memory unit at every level. The memory unit ml reads or stores the data depending upon the operation and forwards it to the controller dl. A write operation terminates here without generating any response, whereas a read operation causes the request to be converted into a response which travels along the return path until it reaches the processor. If we assume unit times to travel the communication links and unit time for reading the memory, a read request for target address i takes 2i+1 units of time in the absence of any congestion during its travel. The controllers are designed to deal with congestion and ensure the flow of requests or responses subject to the requirements stated in the preceding section. Referring to FIG. 3, the detailed logic for ui, mi and di are specified below:
[0029] Operation in Each Cycle:
[0030] See FIG. 1.
[0031] For each request received by ui, one copy is sent to ml and another copy is sent to ul+1. At the top (when i is n) the second copy is simply discarded.
[0032] mi always forwards the request to di, after copying data from memory into request for a read operation, or copying data from request into memory for a write operation.
[0033] As shown in FIG. 1, di has three internal buffers 6 which are organized as a FIFO queue.
[0034] At the beginning of each cycle, dl transfers any responses to requests present on the 2 links from di+1 into its internal buffers. Then, the following algorithm (See flow chart in FIG. 3) is used to put responses on the two outgoing links to dl−1:.
[0035] 1 If request from ml is a read to location i, then it is converted to a response and is placed on the outgoing link. In addition, one response from the internal buffers of di (if any) is removed and placed on the outgoing links. (See 31 of FIG. 3.)
[0036] 2 If request from mi is a write to location i(32), or the request is targeted to a higher location, then up to two responses from the internal buffers of di (if any) are removed and placed on the outgoing links (34).
[0037] 3 If request from ml is to a lower location (35), then 1 response from the internal buffers of di (if any) is removed and placed on the outgoing links (36).
[0038] Properties of the Model:
[0039] We now show the two properties required for scalability: constant buffer size in each unit and linear access latency:
[0040] The size of the internal buffer of any di will never exceed 3. FIG. 2 shows the possible transitions for xi, which is the number of filled buffers in dl after each cycle. The invariant for the state xi=3 asserts that in that state at most one response can come in through the incoming links and this ensures that xl will never exceed 3. To show the invariant, we examine the 2 possible transitions into the state xl=3: Consider the first transition to state xi=3. This transition occurs when initially xl=2 and both the two incoming arcs on the link from di+1 (See 7 of FIG. 1.) carry responses and the request to mi is to location i or lower. This ensures that in the next cycle, there can be at most one response over the incoming arcs from di+1. This is because mi+1 will process in the next cycle, a copy of the same response that mi processed in this cycle and hence dl+1 will do case 3 of the above algorithm, outputting only one response. (See 35 and 36 of FIG. 3.) Now consider the second transition to state xi=3. This transition occurs when initially xl=3, there was one incoming request from di+1, and the request to m, is to location i or lower. This again ensures that in the next cycle, there can be at most one response over the incoming arcs from di+1.
[0041] A read request to location i will return a corresponding response to the processor within 4i+1 cycles. The response to the read request reaches dl after i+1 cycles since its path length is i+1 and there are no delays on these paths. The controller di immediately puts it on the outgoing arc as it executes case 1 of the algorithm. According to the algorithm, all buffers are emptied in FIFO order and at least one response from a buffer is removed in every cycle. Consequently, the response from d, can experience a maximum delay of 3i units before it reaches the processor. Hence the total delay is at most 4i+1 for forwarding a request on the upward path and the corresponding response on the return path to the processor.
[0042] We observe that the design preserves the order of memory operations at each location while the order of completion of operations on different locations is unspecified. The proposed memory system can be implemented using standard memory logic which is incorporated into memory chips.
[0043]
FIG. 4 illustrates the general scheme of the scalable processor system 100. It uses the linear memory 16. For convenience, we have extended the memory to have one port 3 for read requests and two ports 4 for write requests. This is done purely to match the linear memory 10 which can deliver two results in each cycle. Two execution units 17 consume these results 14 and submit write requests independently. The organization ensures that requests on these lines 12 do not interfere with each other.
[0044] The read request carries two target addresses x and y. It first travels to the earlier location, collects the data and travels further up on the upward path to the second location and collects the second piece of data. The result travels on the downward path 13 carrying the pair of data items requested.
[0045] Instruction Format:
[0046] The processor, will have no registers and uses a linear memory hierarchy for all its data—the lowest level representing registers. The general form of an instruction is op(x,y,z) where x,y,z are addresses of memory locations, and the semantics is to perform the operation (op) on the data from locations x and y and store the result into location z. The second operand may be omitted for unary operations. A unary instruction frequently used is the move(x,z) instruction, which copies the data from location x to location z.
[0047] Instruction Issue and Execution:
[0048] Referring to FIG. 4, a processor 9 consists of a single issue unit 19 that issues instructions 5 and two execution units 17, each of which can perform any operation when the data is available. Several issue and execution units can be implemented in hardware on a single hardware chip. An instruction goes through two phases: Issue phase and Execution phase. In the Issue phase, a dual-operand fetch is submitted to the linear memory 10. The op code and destination information are attached to the request and returned with the data. The execution phase starts when the memory returns the dual-operand data. Each execution unit receives operand data 14, performs an operation and submits a write request to the memory 10 to store the result. Instructions are issued in the same order in which they are listed in the program. Since the memory does not do any data movement other than what is specified by the instructions, the programs have full control of the memory and do the memory management explicitly by issuing move instructions to bring data closer to the processor as and when they are needed. The pipe lined nature of the memory facilitates concurrent movement of data while executing other instructions. Typically, using this invention, a programmer would use move instructions to bring data closer to the processor by the time the data is needed by the processor.
[0049] Read-after-write Hazards:
[0050] Since the Issue unit and the Execution units operate concurrently, one must ensure that a write operation to a location is submitted to the memory before a corresponding read operation to that location is submitted. See FIG. 2 for an illustration. For an instruction op(x,y,z), the write request to z is said to be outstanding during the time interval between issuing and executing that instruction. Hazards are avoided by keeping track of outstanding writes to regions of memory as described below. In FIG. 5, the path of solid lines illustrates how the move instruction 21 is executed. When it is issued, location y is read and the data flows into the execution unit 17. When it executes, the result is sent to be stored in location x. However, the issue unit proceeds concurrently and issues other instructions following it. The add instruction 22 is an example of a subsequent instruction that uses x and its path is illustrated by the dashed line 11a. If this add instruction is issued before the previous store to x takes place, we have a hazard.
[0051] Fence Counter:
[0052] The processor is equipped with a finite set of fence counters. Each fence counter is associated with a region of memory. By choosing the sizes of the regions as powers of 2, we need log N, and, thus, maintaining log N counters is not a serious limitation in practice. Referring to FIG. 6, each time an instruction such as op(x,y,z) is issued 31, the fence counter associated, with the range containing z is incremental 36, and a request is sent to memory to read the data at locations, for example, x and y. See 37 of FIG. 6. The data retrieved (data 1, data 2), for example, is then forwarded to the execution unit as shown in 38 of FIG. 6. When the execution unit completes that operation 33, i.e.. op (data 1, data 2, z), and submits a write request to location z, 33, the corresponding fence counter (See 18 of FIG. 4) is decremented 34. Thus, the fence counter contains the number of outstanding writes to locations in its associated range. Fencing is accomplished explicitly by the program (a la release consistency model) by inserting a special instruction, in the form of: fence (region of memory), where appropriate. See 23 of FIG. 5. When a fence instruction is encountered by the issue unit 32, the issue unit stalls 35 until the corresponding fence counter becomes zero. This mechanism can be used by programs to avoid read-write hazards and can be made efficient by choosing the ranges and placement for the fence operations in a judicious manner. Typically, a counter is implemental in hardware.
[0053] The extreme case is to have every operation succeeded by a fence on its target location. While this works correctly, the execution is nearly sequential. A program can be organized to accumulate as many instructions as possible that write into a region and then a fence instruction is posted before accessing any location from that region. Compiler technology can be developed to judiciously choose the positions
Claims
- 1. In a memory structure having a plurality of memory levels, a forward and return path for interconnecting said memory levels and a processor, a method of transferring requests from said processor on said forward paths and responses to said requests on said return path to said processor, said method comprising:
transmitting each request from said processor to each of said levels; if a request from a memory level of said levels is a read to the memory of latter said memory level, then transmitting a response to latter said read request on said return path along with another response from internal buffers of latter said memory level; if a request from a memory level of said memory levels is a write request to the memory of latter said memory level, then transmitting two responses from internal buffers of latter said memory level on said return path; if a request from a memory level of said memory levels is targeted to a higher memory level of said memory level, then transmitting two responses from internal buffers of latter said memory level on said return path; and if a request from a memory level of said memory levels is targeted to a lower memory level of said memory level, then transmitting one response from internal buffers of latter said memory level on said return path.
- 2. A method as recited in claim 1, wherein at most three responses are stored in said internal buffer of any of said memory levels.
- 3. A memory structure for receiving requests to and transmitting responses from a memory in said structure, respectively, said structure comprising:
an ordered set of memory levels, each memory level having a controller and memory unit, which unit is a portion of said memory; a forward path for transmitting said requests to said memory levels, starting from lower of said levels and proceeding to a higher of said levels; and a return path for transmitting responses to said requests from higher of said levels to lower of said levels, wherein each controller at each memory level transmits responses to said requests on said return path from each level to a buffer in said controller at a lower level in accordance with the following algorithm:
a. if a request at any one of said levels is a read to said one level, then transmitting a first response to latter said request on said return path, along with a second response from internal buffers of said controller of said one level, to buffers in a controller of a memory level which is lower than said one level, b. if a request at any one of said levels is a write to said one level, then transmitting two responses from internal buffers of said controller of said one level on said return path to buffers in a controller of a memory level which is lower than said one level, c. if a request at any one of said levels is targeted to a higher of said levels, then transmitting two responses from internal buffers of said controller of said one level on said return path to buffers in a controller of a memory level which is lower than said one level, and d. if a request at any one of said levels is targeted to a lower of said levels, then transmitting one response to a request from internal buffers of said controller of said one level on said return path to buffers in a controller of a memory level which is lower than said one level.
- 4. A memory structure as recited in claim 3, wherein each of said controllers on said return path has buffers for storing at most three of said responses.
- 5. A memory structure as recited in claim 3, wherein said return path has twice the bandwidth of said forward path.
- 6. A memory structure as recited in claim 3, wherein each of said memory units has internal logic for copying data between one of said memory units and a request as specified therein, and forwarding said one modified request to controllers on said return path.