The present disclosure relates generally to a processing device that can be formed as part of an integrated circuit, such as a system on a chip (SoC). More specifically, this disclosure relates to such a system with improved management of write operations.
An SOC is an integrated circuit with multiple functional blocks (such as one or more processor cores, memory, and input and output) on a single die.
Hierarchical memory moves data and instructions between memory blocks with different read/write response times for respective processor cores, such as a central processing unit (CPU) or a digital signal processor (DSP). For example, memories which are more local to respective processor cores will typically have lower response times. Hierarchical memories include cache memory systems with multiple levels (such as L1 and L2), in which different levels describe different degrees of locality or different average response times of the cache memories to respective processor cores. Herein, the more local or lower response time cache memory (such as an L1 cache) is referred to as being a higher level cache memory than a less local or higher response time lower level cache memory (such as an L2 cache or L3 cache). Associativity of a cache refers to the cache storage segregation, where set associativity divides the cache into a number of storage sets and each such set stores a number (the way) of blocks, while a fully associative cache is unconstrained by a set limitation. Accordingly, for an integer N, each location in main memory (system memory) can reside in any one of N possible locations in an N-way associative cache.
A “victim cache” memory caches data (such as a cache line) that was evicted from a cache memory, such as an L1 cache. If an L1 cache read results in a miss (the data corresponding to a portion of main memory is not stored in the L1 cache), then a lookup occurs in the victim cache. If the victim cache lookup results in a hit (the data corresponding to the requested memory address is present in the victim cache), the contents of the victim cache location producing the hit, and the contents of a corresponding location in the respective cache (L1 cache in this example), are swapped. Some example victim caches are fully associative. Data corresponding to any location in main memory can be mapped to (stored in) any location in a fully associative cache.
In described examples, a processor system includes a processor core that generates memory write requests, a cache memory, and a memory controller. The memory controller has a memory pipeline. The memory controller is coupled to control the cache memory and communicatively coupled to the processor core. The memory controller is configured to receive the memory write requests from the processor core; schedule the memory write requests on the memory pipeline; and contemporaneously with scheduling respective ones of the memory write requests on the memory pipeline, send to the processor core a write acknowledgment confirming that writing of a data payload of the respective memory write request to the cache memory has completed.
SoC 10 has a hierarchical memory system. Each cache at each level may be unified or divided into separate data and program caches. For example, the DMC 104 may be coupled to a level 1 data cache 110 (L1D cache) to control data writes to and data reads from the L1D cache 110. Similarly, the PMC 108 may be coupled to a level 1 program cache 112 (L1P cache) to read instructions for execution by processor core 102 from the L1P cache 112. (In this example, processor core 102 does not generate writes to L1P cache 112.) The L1D cache 110 can have an L1D victim cache 113. A unified memory controller 114 (UMC) for a level 2 cache (L2 cache 116, such as L2 SRAM) is communicatively coupled to receive read and write memory access requests from DMC 104 and PMC 108, and to receive read requests from streaming engine 106, PMC 108, and a memory management unit 117 (MMU). (The example L2 controller UMC 114 is called a “unified” memory controller in the example system because UMC 114 can store both instructions and data in L2 cache 116.) UMC 114 is communicatively coupled to pass read data and write acknowledgments (from beyond level 1 caching) to DMC 104, streaming engine 106, and PMC 108, which are then passed on to processor core 102. UMC 114 is also coupled to control writes to, and reads from, L2 cache 116, and to pass memory access requests to a level 3 cache controller 118 (L3 controller). L3 controller 118 is coupled to control writes to, and reads from, L3 cache 119. UMC 114 is coupled to receive write acknowledgments, and data, read from L2 cache 116 and L3 cache 119 (via L3 controller 118). UMC 114 is configured to control pipelining of memory transactions for program content and data content (read and write requests for instructions, data transmissions, and write acknowledgments). L3 controller 118 is coupled to control writes to, and reads from, L3 cache 119, and to mediate transactions with exterior functions 120 that are exterior to processor 100, such as other processor cores, peripheral functions of the SOC 10, and/or other SoCs (and also to control snoop transactions). That is, L3 controller 118 is a shared memory controller of the SoC 10, and L3 cache 119 is a shared cache memory of the SoC 10. Accordingly, memory transactions relating to processor 100 and exterior functions 120 pass through L3 controller 118.
Memory transactions are generated by processor core 102 and are communicated towards lower level cache memory, or are generated by exterior functions 120 and communicated towards higher level cache memory. For example, a victim write transaction may be originated by UMC 114 in response to a read transaction from the processor core 102 that produces a miss in L2 cache 116.
MMU 117 provides address translation and memory attribute information to the processor core 102. It does this by looking up information in tables that are stored in memory (connection between MMU 117 and UMC 114 enables MMU 117 to use read requests to access memory containing the tables).
When a memory controller of processor 100 (such as DMC 104, streaming engine 106, PMC 108, MMU 117, or L3 controller 118) communicates to UMC 114 a request for a read from, or a write to, a memory intermediated by UMC 114 (such as L2 cache 116, L3 cache 119, or a memory in exterior functions 120), initial scheduling block 202 schedules the request to be handled by an appropriate pipeline bank 206 for the particular request. Accordingly, initial scheduling block 202 performs arbitration on read and write requests. Arbitration determines which pipeline bank 206 will receive which of the memory transactions queued at the initial scheduling block 202, and in what order. Typically, a read or write request is scheduled into a corresponding one of pipeline banks 206, depending on, for example, the memory address of the data being written or requested, request load of pipeline banks 206, or a pseudo-random function. Initial scheduling block 202 schedules read and write requests received from DMC 104, streaming engine 106, PMC 108, and L3 controller 118, by selecting among the first stages of pipeline banks 206. Memory transactions requested to be performed on L3 cache 119 (or exterior functions 120) are arbitrated and scheduled into an L3 cache pipeline by an L3 cache scheduling block 404 in L3 controller 118 (see
Request scheduling prevents conflicts between read or write requests that are to be handled by the same pipeline bank 206, and preserves memory coherence (further discussed below). For example, request scheduling maintains order among memory transactions that are placed into a memory transaction queue (memory access request queue) of initial scheduling block 202 by different memory controllers of the processor 100, or by different bus lines of a same memory controller.
Further, a pipeline memory transaction (a read or write request) sent by DMC 104 or PMC 108 is requested because the memory transaction has already passed through a corresponding level 1 cache pipeline (in DMC 104 for L1D cache 110, and in PMC 108 for L1P cache 112), and is targeted to a lower level cache or memory endpoint (or exterior functions 120), or has produced a miss in the respective level 1 cache, or bypassed L1D cache 110 because a corresponding data payload of a write request is non-cacheable by L1D cache 110. Generally, memory transactions directed to DMC 104 or PMC 108 that produce level 1 cache hits result in a write acknowledgment from L1D cache 110 or a response with data or instructions read from L1D cache 110 or L1P cache 112, respectively. Accordingly, memory transactions that produce level 1 cache hits generally do not require access to the pipeline banks 206 shown in
Pipeline banks 206 shown in
Memory coherence is when contents (or at least contents deemed or indicated as valid) of the memory in a system are the same contents expected by the one or more processors in the system based on an ordered stream of read and write requests. Writes affecting a particular data, or a particular memory location, are prevented from bypassing earlier-issued writes or reads affecting the same data or the same memory location. Also, certain types of transactions take priority, such as victim cache transactions and snoop transactions.
Bus snooping is a scheme by which a coherence controller (snooper) in a cache monitors or snoops bus transactions to maintain memory coherence in distributed shared memory systems (such as in SoC 10). If a transaction modifying a shared cache block appears on a bus, the snoopers check whether their respective caches have the same copy of the shared block. If a cache has a copy of the shared block, the corresponding snooper performs an action to ensure memory coherence in the cache. This action can be, for example, flushing, invalidating, or updating the shared block, according to the transaction detected on the bus.
“Write streaming” refers to a device (e.g., processor core 102) issuing a stream of write requests, such as one write request per cycle, without stalls. Write streaming can be interrupted by stalls caused by, for example, a full buffer, or by running out of write request identifier numbers. The ability to cause write requests to be pulled from the memory transaction queue as quickly as possible promotes write streaming.
For processor core 102 to know that a write has completed, it must receive a write acknowledgement. To maintain coherence, processor core 102 may self-limit to a given number of outstanding write requests by throttling write requests that would exceed a limit until a write acknowledgement is received for an outstanding write request. Accordingly, processor core 102 and L1D cache 110 may wait on the write acknowledgment (or “handshake”) to proceed, meanwhile stalling corresponding write streaming processes within the processor core 102. Stalls that interrupt write streaming can also be caused by the processor core 102 or DMC 104 waiting for a write acknowledgment from a previous write request. Processor core 102 can also be configured to stall while waiting for a write acknowledgment with respect to certain operations, such as fence operations. Write completion in a lower level cache, such as L2 cache 116 or L3 cache 119, can be detected by DMC 104 (the level 1 cache 110 controller) using a write acknowledgment (handshake) forwarded by UMC 114 (the level 2 cache 116 controller). However, writes can take many cycles to complete, due to various pipeline requirements including arbitration, ordering, and coherence.
At the first level of arbitration performed by initial scheduling block 202, UMC 114 (the L2 cache 116 controller, which includes initial scheduling block 202) determines whether to allow a memory transaction to proceed in memory pipeline 200, and in which pipeline bank 206 to proceed. Writes to L2 cache 116 typically have few operations between (1) initial arbitration and scheduling and (2) write completion. Remaining operations for a scheduled write request can include, for example, checking for errors (such as firewall, addressing, and out of range errors), a read-modify-write action (updating an error checking code of a write request's data payload), and committing to memory the write request's data payload. Generally, each pipeline bank 206 is independent, such that write transactions on pipeline banks 206 (for example, writes of data from L1D cache 110 to L2 cache 116) do not have ordering or coherence requirements with respect to write transactions on other pipeline banks 206. Within each pipeline bank, writes to L2 cache 116 proceed in the order they are scheduled. In the case of partial writes that spawn a read-modify-write transaction, relative ordering is maintained. If a memory transaction causes an addressing hazard or violates an ordering requirement, the transaction stalls and is not issued to a pipeline bank 206. (Partial writes are write requests with data payloads smaller than a destination cache memory's minimum write length. Partial writes trigger read-modify-write transactions, in which data is read from the destination cache memory to pad the write request's data payload to the destination cache memory's minimum write length, and an updated error correction code (ECC) is generated from and appended to the resulting padded data payload. The padded data payload, with updated ECC, is what is written to the destination cache memory.)
Due to these characteristics of the memory pipeline 200, once a write is scheduled within a pipeline bank 206 (for example, a write of data from L1D cache 110 to L2 cache 116), the write is guaranteed to follow all ordering requirements and not to violate coherence (accordingly, conditions to be satisfied to avoid breaking ordering and coherence are met). Committing the write to memory may take a (variable) number of cycles, but a read issued after this write was issued will “see” the write. Accordingly, if the read is requesting data or a memory location modified by the write, the read will retrieve the version of the data or the contents of the memory location specified by the write, and not a previous version. Write-write ordering is also maintained. L3 cache 119 write requests can also be scheduled by the memory pipeline 200 (by UMC 114) so that ordered completion of the L3 cache 119 write requests is guaranteed. These guarantees mean that write requests scheduled into a pipeline bank 206 by the memory pipeline 200 (the L2 cache pipeline) can be guaranteed to comply with ordering and coherence requirements, and to complete within a finite amount of time. Put differently, this guarantee is an assurance that a write transaction that is to a particular address and that is currently being scheduled onto a pipeline bank 206 will “commit” its value to memory (the write will complete and store a corresponding data payload in memory) after a previously scheduled write transaction to the same address, and before a later scheduled write transaction to the same address. This guarantee can be based on the pipeline being inherently “in-order,” so that once a command enters the pipeline, it will be written to memory (commit) in the order it was scheduled. In other words, there are no bypass paths within the pipeline. (The bypass path described below is handled so that it does not break the ordering guarantee, for example, with respect to older transactions targeting a same memory address.)
“Contemporaneously with” is defined herein as meaning at the same time as, or directly after. Accordingly, a first event occurring “contemporaneously with” a second event can mean that the two events occur on the same cycle of a system clock.
UMC 114 (the L2 controller) sends the write acknowledgment for writes of data to L2 cache 116 or higher level cache (for example, of data from L1D cache 110) to DMC 104 (the L1 controller) contemporaneously with the corresponding write request being scheduled by initial scheduling block 202 (the first level of arbitration). Accordingly, the write acknowledgment indicating write completion is sent contemporaneously with the write request being scheduled, rather than after memory pipeline 200 finishes processing the write request. This accelerated acknowledgment is enabled by the guarantee that the scheduled write request will complete in order and in compliance with coherence requirements. UMC 114 gives the illusion that write requests are being completed on the cycle on which they are scheduled, rather than the cycle on which corresponding data is committed (written) to memory. From a perspective of observability of processor core 102 or DMC 104, it is as if L2 cache 116 instantly completed the write request when the write request was scheduled. This enables DMC 104 to un-stall processor core 102 more quickly (or prevent processor core 102 stalls), and enables write requests to be pulled from queue with lower latency (faster), improving overall performance. The queue is a queue of transactions in UMC 114 that are sent from respective “masters” (functional blocks that can send memory transactions to UMC 114 to be queued), such as DMC 104, streaming engine 106, PMC 108, MMU 117, and L3 controller 118. The queue can be implemented as holding stages where memory transactions reside while waiting to be arbitrated and scheduled into a pipeline bank 206 by initial scheduling block 202.
Processor core 102 generally is configured to read data from memory to work on the data. This is also true for other processor cores 102 of other processors (such as processors 100) of SoC 10, with respect to memory accessible by those other processors. However, other processors of SoC 10 require data generated by processor core 102 to be available outside the data-generating processor 100 to be able to access the generated data. This means the generated data passes through L3 controller 118 to be externally accessible, either within shared memory (L3 cache 119) or by transmission to exterior functions 120.
Memory pipeline 400 as shown in
Memory coherence imposes ordering requirements in order for bypass writes to be allowed to use bypass path 402. For example, writes may not bypass other writes (write-write ordering); writes may not bypass reads (read-write ordering); writes may not bypass victim cache transactions (for example, write requests from L1D victim cache 113 to L1D cache 110, which can be caused to be processed by UMC 114 by a cache miss of the victim cache-related write request at the L1 level); and writes may not bypass snoop responses (for example, snoop responses corresponding to a controller requesting a write from victim cache to L1D cache 110 when the request is not caused by a cache miss). Victim cache transactions and snoop responses are high priority because they constitute memory synchronization events. Also, L1D cache 110 victims go through the full pipeline because, for example, they include updating an internal state in UMC 114. However, a bypass write directly following a victim cache transaction can also be prioritized, ensuring that the bypass write will not be blocked or stalled (analogous to slip-streaming) This prioritized status applies solely to the single bypass write directly following a victim cache transaction, and ends when the bypass write has been sent to the L3 controller 118 for further processing.
Initial scheduling block 202 may have a designated a bypass state (or “bypass mode”) in which bypass writes can be scheduled to bypass path 402, rather than to the full memory pipeline 400 (including to a pipeline bank 206). When initial scheduling block 202 is in bypass mode, bypass writes bypass the entire pipeline of an intermediate level of cache, including associated internal arbitration. When initial scheduling block 202 is not in bypass mode, bypass writes go through the full memory pipeline 400.
Modifications are possible in the described embodiments, and other embodiments are possible, within the scope of the claims.
In some embodiments, the streaming engine passes on and returns responses for both read and write requests.
In some embodiments, the processor can include multiple processor cores (embodiments with multiple processor cores are not shown), with similar and similarly-functioning couplings to DMC, the streaming engine, and PMC to those shown in and described with respect to
In some embodiments, bus lines enabling parallel read or write requests can correspond to different types of read or write requests, such as directed at different blocks of memory or made for different purposes.
In some embodiments, the streaming engine enables the processor core to communicate directly with lower level cache (such as L2 cache), skipping higher level cache (such as L1 cache), to avoid data synchronization issues. This can be used to help maintain memory coherence. In some such embodiments, the streaming engine can be configured to transmit only read requests, rather than both read and write requests.
In some embodiments, L3 cache or other lower level memory can schedule write requests so that a write acknowledgment can be sent to DMC (or the processor core or another lower level memory controller) contemporaneously with the write request being scheduled into a corresponding memory pipeline.
In some embodiments, different memory access pipeline banks can have different numbers of stages.
In some embodiments, processors in exterior functions can access data stored in L2 cache; in some such embodiments, coherence between what is stored in L2 cached and what is cached in other processors in exterior functions is not guaranteed.
In some embodiments, writes can be bypass writes if included data is too large for lower level cache (such as L1D cache or L2 cache).
In some embodiments, a write can be a bypass write if a page attribute marks the write as corresponding to a device type memory region that is not cached by UMC (the L2 cache controller).
In some embodiments, L1D cache (or other lower level cache) can cache a data payload of a bypass write.
In some embodiments, memory coherence rules of a processor forbid bypassing memory transactions (memory read requests or memory write requests) other than or in addition to L1D victim cache writes and L1D writes.
In some embodiments, the bypass path jumps a bypass write to a final arbitration stage prior to being scheduled to enter a memory pipeline bank of the L3 cache (not shown).
In some embodiments, a guarantee that a memory write will never be directed to L2 cache (corresponding to a bypass write) includes a guarantee that this this is a choice will never change, or that such a write to L2 cache is impossible.
In some embodiments, a guarantee that a memory write will never be directed to L2 cache includes that L2 cache does not have a copy of, or a hash of, corresponding data.
In some embodiments, a guarantee that a memory write will never be directed to L2 cache can change (be initiated, where the guarantee was not recently in force). In such embodiments, newly making this guarantee (for example, changing a corresponding mode register to make the guarantee) while a line is being written to L2 cache can require that corresponding L2 cache be flushed. A cache flush in this situation avoids a cached copy of a data payload now guaranteed not to be written to L2 cache remaining in L2 cache after the guarantee is made.
In some embodiments, cache controllers only originate memory transactions in response to transactions originated by processor core 102 or exterior functions 120.
In some embodiments, a read or write request can only be scheduled into a corresponding one of pipeline banks 206, depending on, for example, the memory address of the data being written or requested, request load of pipeline banks 206, or a pseudo-random function.
This application is a continuation of and claim priority to U.S. patent application Ser. No. 16/874,331, filed May 14, 2020, which claims priority to U.S. Provisional Application No. 62/852,480, filed May 24, 2019, all of which are hereby incorporated herein by reference in their entireties.
Number | Date | Country | |
---|---|---|---|
62852480 | May 2019 | US |
Number | Date | Country | |
---|---|---|---|
Parent | 16874331 | May 2020 | US |
Child | 18425165 | US |