首页 > 代码库 > Multi-core compute cache coherency with a release consistency memory ordering model
Multi-core compute cache coherency with a release consistency memory ordering model
A method includes storing, with a first programmable processor, shared variable data to cache lines of a first cache of the first processor. The method further includes executing, with the first programmable processor, a store-with-release operation, executing, with a second programmable processor, a load-with-acquire operation, and loading, with the second programmable processor, the value of the shared variable data from a cache of the second programmable processor.
TECHNICAL FIELD
This disclosure is directed to techniques involved in heterogeneous computing, and more particularly, to techniques involved with cache coherency in heterogeneous computing.
BACKGROUND
Recently there has been a move toward so-called heterogeneous computing in which multiple processors are interconnected into one system. In some instances, tasks may be shared amongst the processors. Some of the jobs may be better suited to particular a type of processor, such as a central processing unit (CPU), graphics processing unit (GPU), or digital signal processor (DSP). Each processor involved in performing heterogeneous tasks may have one or more caches. Each cache may contain a copy of variable data that is shared among multiple processors. The caches may allow the processors to speed program execution by making the cached data more quickly accessible to one or more execution units of the processor. When one processor accesses shared variable data that is shared among two or more caches of the processors of the system, a mechanism, referred to as a "cache coherency system," ensures that the copies of the shared variable data stored in the processor caches are consistent among all of the processors of the system, and that changes to the shared variable data are made observable to all processors sharing these variables in a timely and consistent fashion.
SUMMARY
In general, the techniques described in this disclosure are directed to techniques for maintaining cache coherency, i.e., data?consistency?amongst multiple caches and system?memory, in multi-core, e.g., heterogeneous, computing systems which include multiple processor cores, possibly of different types. According to one of the techniques of this disclosure, a central processing unit (CPU), a graphics processing unit (GPU), a digital signal processor (DSP), or another type of processing core may execute instructions when acquiring or writing to a variable shared among all of the processors of a multi-core computing system. When a processor core (referred to as a "processor") attempts to access shared variable data, the processor core may execute synchronization operations, such as load-with-acquire and/or store-with-release operations in order to ensure that the any operations applied to shared variable data occur in an ordered and coherent fashion
Some or all of the processors in the multi-core system may include a cache. The cache may comprise a local working set of frequently used data. In some cases, the cache may include a local copy of shared variable data that is shared among one or more other processors of the multi-core system. In accordance with the techniques of this disclosure, each of the other processors may likewise include a cache that includes a local copy of the shared variable data.
In a multi-core system with multiple processors, e.g., a first processor and a second processor, the first processor may change a value of some shared variable data. The first processor may then flush the value of the shared variable data. Flushing the shared variable data may cause the first processor to write the updated shared variable data value, e.g., to system?memory. To ensure that other processors see the updated value of the shared variable data, responsive to the cache flush, the first or second processor may invalidate a cache entry corresponding to the shared variable data in the cache of the second processor. When the second processor reads the cache line that previously contained a value of the shared variable data, the cache line is marked as invalid. Because the cache line of the second processor is marked invalid, the second processor retrieves the newest value of the shared variable data from system?memory, and updates the cache of the second processor corresponding to the shared variable data, rather than reading an outdated value of the shared variable data from the cache of the second processor. In this manner, the techniques of this disclosure ensure that shared variable data is coherent through the use of cache invalidations and flushes.
In one example, a method includes storing, with a first programmable processor, shared variable data to cache lines of a first cache of the first processor, executing, with the first programmable processor, a store-with-release operation, executing, with a second programmable processor, a load-with-acquire operation-, and loading, with the second programmable processor, the value of the shared variable data from a cache of the second programmable processor.
In another example, the disclosure describes a device that includes a first programmable processor having a first cache, a second programmable processor having a second cache, wherein the device is configured to store, with the first programmable processor, shared variable data to cache lines of the first cache of the first processor, execute, with the first programmable processor, a store-with-release operation, execute, with the second programmable processor, a load-with-acquire operation, and load, with the second programmable processor, the value of the shared variable data from the cache of the second programmable processor.
In another example, the disclosure describes a device that includes means for storing, with a first programmable processor, shared variable data to cache lines of a first cache of the first processor, means for executing, with the first programmable processor, a store-with-release operation, means for executing, with a second programmable processor, a load-with-acquire operation, and means for loading, with the second programmable processor, the value of the shared variable data from a cache of the second programmable processor.
In another example, the disclosure describes a non-transitory computer-readable storage medium having stored thereon instructions that upon execution cause a programmable processor to store, with a first programmable processor, shared variable data to cache lines of the first cache of the first processor, execute, with the first programmable processor, a store-with-release operation, execute, with a second programmable processor, a load-with-acquire operation, and load, with the second programmable processor, the value of the shared variable data from a cache of the second programmable processor.
The details of one or more examples are set forth in the accompanying drawings and the description below. Other features, objects, and advantages will be apparent from the description and drawings, and from the claims.
BRIEF DESCRIPTION OF DRAWINGS
FIG. 1?is a block diagram illustrating an example of a multi-core computing system in accordance with one or more examples described in this disclosure.
FIG. 2?is a block diagram illustrating another example of a graphics processing unit (GPU) that may implement a graphics processing pipeline capable of executing instructions that allow the GPU to support on-demand cache coherence.
FIG. 3A?is a conceptual diagram illustrating a GPU configured to perform synchronizing operations in a GPU kernel, which may include cache invalidate and flush instructions.
FIG. 3B?is a conceptual diagram illustrating a compiler/driver inserting instructions for synchronizing operations into a GPU kernel.
FIG. 4A?is a conceptual diagram illustrating a cache containing a stale shared variable.
FIG. 4B?is a conceptual diagram illustrating updating a cache from mainmemory?due to reading from a cache line marked as invalid.
FIG. 5A?is a conceptual diagram illustrating a main?memory?containing a stale shared variable.
FIG. 5B?is a conceptual diagram illustrating the state of system?memory?after performing a cache flush.
FIG. 6?is a conceptual diagram illustrating cache and?memory?management units of a GPU and a CPU in accordance with the techniques of this disclosure.
FIG. 7?is a conceptual diagram illustrating a cache line that implements attribute bits in accordance with the techniques of this disclosure.
FIG. 8?is a conceptual diagram illustrating a GPU cache in accordance with the techniques of this disclosure.
FIG. 9?is a flowchart illustrating a process for maintaining cache coherency in a multi-core system in accordance with one or more examples described in this disclosure.
DETAILED DESCRIPTION
Recently there has been a move toward so-called heterogeneous computing in which multiple processors or processor cores ("cores") are interconnected into one system. However, there are many challenges associated with heterogeneous computing systems. Certain cores may be suited to particular tasks. As an example, CPUs may be more suited to executing programs with significant amounts of conditional logic (e.g., branches and jumps). Other processors, such as Graphics Processing Units (GPUs) may be more suited to performing massively parallel operations, such as vector processing, and floating point operations. Still other processors, such as Digital Signal Processors (DSPs) may be suited to specific applications, such as digital signal processing, which may include performing specific mathematical operations. Such operations may include fast Fourier transforms (FFTs), and discrete cosine transforms (DCTs).
Increasingly, the capabilities of I/O processing cores, such as GPUs, have been augmented to include functionality similar to that of more general purpose CPUs. Many GPUs include the ability to execute more general purpose applications that include conditional logic, such as branches and jumps. Additionally, general purpose computing languages, such as OpenCL by the Khronos Group or DirectCompute by Microsoft, provide application programming interfaces (APIs), which may allow a programmer to write a single program in one language such that the program is capable of executing on any processing core that is compatible with such general purpose computing languages.
Despite the advances in programming languages and increases in the processing capabilities of processors such as GPUs and DSPs, heterogeneous multi-core computing still poses a number of challenges. One such challenge is to ensure that data, such as shared variable data, which is shared among multiple cores of a heterogeneous computing system, remains coherent among the processors. The techniques of this disclosure are directed to a cache coherency system that ensures that changes to shared variable are propagated among all of the processors of the system in a timely and ordered fashion.
FIG. 1?is a block diagram illustrating an example of a multi-core computing system in accordance with one or more examples described in this disclosure.FIG. 1?illustrates a heterogeneous multi-core system?2?that includes a CPU?16, GPU?20, and DSP?24. Although CPU?16, GPU?20, and DSP illustrated as being indivisible units, each of CPU?16, GPU?20, and DSP?24?may represent multiple processors and/or multiple processor cores. As an example, multi-core system2?may have multiple CPUs, GPUs, DSPs, and/or other types of processors. CPU?16?includes cache?18, GPU?20?includes cache?22, and DSP?24?includes cache?26?(collectively "caches?18,?22, and?26"). Caches?18,?22, and?26?may each store frequently used instructions and/or data for fast retrieval of the instructions data relative to retrieving the instructions and/or data from system memory?14. Although caches?18,?22, and?26?may include instructions and/or data, the techniques of this disclosure are directed toward cache coherency of shared data, and not shared instructions. Accordingly, this disclosure refers only to retrieval and storage of data, such as shared variables, from caches?18,?22, and?26. Each of caches?18,?22, and?26?may include one or more "levels" of cache, such as level 1 ("L1") cache, and level 2 ("L2") cache. An L1 cache may not be able to hold as much data relative to the L2 cache, but a processor may write to and read from the L1 more quickly (i.e., with lower access latency) than the L2 cache.
CPU?16, GPU?20, and DSP?24?are connected to system?memory?14, for example, through a system bus. System?memory?14?may comprise dynamic random access?memory?(DRAM), which may include some shared variable data28. Shared variable data?28?may, for example, comprise shared instruction words, variables, buffers, data structures, jobs, etc. Although CPU?16, GPU?20, and DSP?24?are illustrated as being indivisible units, system?memory?14?may comprise one or more physical integrated circuits (also referred to as "chips"). System?memory?14?may also include another level of cache, such as a level 3 ("L3") cache that is separate from system?memory?14, and which is shared among (i.e., accessible by) each of CPU?16, GPU?20, and DSP?24.
The techniques of this disclosure enable multi-core system?2, which may consist of heterogeneous cores and/or processors (e.g., CPU?16, GPU?20, and DSP?24), to perform cache management in response to synchronizing operations in order to maintain cache coherency across the cores of multi-core system?2. Synchronizing operations may comprise so-called explicit full and partial barriers, fences, as well as combined forms of loads and stores with full and partial barriers. In some examples, the synchronization operations may include store-with-release and load-with-acquire operations.
The techniques of this disclosure enable changes to shared variable data?28, various copies of which may be stored in one or more of cache?18, cache?22, and cache?26, to be propagated to the caches of other processors of multi-core system?2?(i.e., CPU?16, GPU?20, and DSP?24). To enable CPU?16, GPU?20, and DSP?24?to implement a cache coherence mode referred to as an "on-demand cache coherence?model." In an on-demand cache-coherence?model, a processor that reads or writes shared variable data?28, e.g., GPU?20, may perform a synchronizing operation, such as executing a store-with-release operation and/or a load-with-acquire operation associated with shared variable data?28. The other processors of multi-core system?2, CPU?16, and DSP?24, may also execute store-with-release operation and/or a load-with-acquire operations when associated with reading or writing shared variable data?28.
The store-with-release and load-with-acquire operations are atomic operations (also referred to as "synchronization operations") that may be used to define a memory?ordering?model. Atomic operations are operations that appear to the rest of a computing system (e.g., cores, processors,?memory, etc.) as though they occur instantaneously. When executing load-with-acquire and store-with-release synchronization operations, a processor combines loads and stores with partial barriers to express acquire/release?memory?model?semantics. The C++11 standard is one example of a programming language that defines one implementation of an acquire/release?memory?model.
The semantics and constraints associated with load-with-acquire and store-with-release operations may be used to ensure that a read from a shared variable, such as shared variable data?28, in a first thread occurs after a write completes to the same shared variable in a second thread, i.e. to force a dependency or ordering between a read and a write of the shared variable. In particular, the acquire/release mode enforces a read/write dependency such that a read to a shared variable in a first thread using a load-with-acquire operation, occurs after executing store-with-release operation on the same shared variable in a second thread.
The on-demand cache coherency techniques of this disclosure describe cache coherency techniques that may be utilized, e.g. in heterogeneous multi-core system?2, to allow multiple processors to execute synchronization operations, e.g., load-with-acquire and store-with-release operations to implement an acquire/release?memory?ordering?model. The on-demand coherency?model?of this disclosure functions such that whenever a first processor core, e.g., GPU20, reads shared variable data?28?and performs a synchronizing operation, GPU?20?or another processor may invalidate at least the part of a cache (referred to as a "cache line") of a second core, e.g., one or more lines of cache18?of CPU?16, containing a value of shared variable data?28. GPU?20?may automatically invoke the invalidation of the cache line of cache?18?as part of executing the synchronizing operation.
Alternatively, when a program code includes load-with-acquire and store-with release operations, a compiler, such as compiler?30, may automatically invoke the invalidation of cache?22. Compiler?30?may comprise a driver and/or a compiler, and may generate, compile, and/or modify code for one or more of CPU?16, GPU?20, and DSP?24. In some examples, compiler?30?may be an application or process of an operating system that executes one or more of CPU?16, GPU?20, and DSP?24. Compiler?30?may automatically invoke the cache invalidation by inserting a low-level cache invalidation instruction into the program code at compile time or at run-time at locations in the code that include synchronization operations. The second core then executes the modified code that includes the cache invalidation instructions. Once the first core has invalidated the cache lines of cache?18?containing shared variable data?28, CPU16?then obtains a new copy of the shared data from the system (e.g., from system?memory?14, a high level cache, or another processor‘s cache), thereby ensuring that the value of shared variable data?28?that CPU?16?reads are not "stale" or outdated.
When a processor, such as CPU?16, executes a load-with-acquire operation, CPU?16?may invalidate any cache lines, e.g., of cache?18, which contain shared variable data?28. When CPU?16?attempts to read from the invalid cache lines, a cache miss occurs, and CPU?16?then reads new values of the invalidated cache lines into cache?18?and merges any dirty values for shared variable data?28. In this manner, a load-with-acquire operation ensures that any values loaded as part of executing a load-with-acquire operation are the most up-to-date values currently in the?memory?hierarchy, e.g. system?memory?14, cache?18, cache?22, and cache?26.
As described above, a store-with-acquire operation may be paired with a load-with-acquire operation to ensure that a first processor completes executing a store of a shared variable value before a second processor executes the load of the shared variable. In order to ensure that the load executes after the store, CPU?16?or another processor may append a synchronization bit to an instruction subsequent to the store-with-release operation, such as the load-with acquire instruction that GPU?20?executes. Appending the synchronization bit to the subsequent instruction effectively causes CPU?16?to execute a barrier, in which the subsequent instruction does not issue until all previous stores that CPU?16?has begun executing have completed.
A processor need not implement on-demand cache coherence to interoperate with a processor that implements on-demand cache coherence. Rather, any processor that supports I/O coherence, i.e. some form of cache coherence, may interact with processors that implement on-demand cache coherence, which may be implemented using load-with-acquire and store-with release instructions. As an example, Some processors of system?2?may support on-demand cache coherence, while others may support more traditional cache coherency protocols, such as the MESI (Modified, Exclusive, Shared, Invalid), and MOESI (Modified, Owned, Exclusive, Shared, Invalid) protocols. In some examples, processors without any caches may interoperate with on-demand cache coherent processors.
As an example, a processor, such as CPU?16, may not implement on-demand cache coherency in accordance with the techniques of this disclosure, but may implement I/O coherence or cache coherence. CPU?16?may be uncached, i.e. may not include a cache, or may implement another cache coherence protocol, such as MESI, or MOESI. GPU?20?and/or DSP?24?may implement on-demand cache coherence, and may interoperate with CPU?16?so long as CPU?16supports some form of I/O coherence.
In accordance with the techniques of this disclosure, a first processor and a second processor may perform various cache management techniques, referred to as on-demand cache coherency, in order to implement an acquire/release?memory?ordering?model. As an example in accordance with the techniques of this disclosure, a first programmable processor, e.g. CPU?16, may store shared variable data to cache lines of cache?18. CPU?16?may then execute a store-with-release operation. A second processor, e.g. GPU?20, may execute a load-with-acquire operation. The second processor may then load the value of the shared variable data from a cache of GPU?20, e.g. cache?22.
In various other examples, the store-with-release operation may not cause a cache flush. Rather, a compiler or driver may insert a cache flush instruction the execution of a program, which causes CPU?16?to flush the cache line corresponding to the updated value of shared variable data?28. CPU?16?may also flush cache?18?responsive to at least one of cache pressure, a timeout, and an explicit software cache maintenance. In another example, CPU?16?may execute a store-with release operation responsive to at least one of receiving an interrupt, a register read, a register write, and a programmable delay.
In some examples, the store-with-release operation may further cause CPU?16or another processor to invalidate one or more cache lines of another processor, e.g., cache?22?or cache?26, which contain outdated values of shared variable data?28?by snooping into the cache lines of the other processor and updating the cache lines that contain shared variable data?28. A compiler or driver may also insert a cache invalidation instruction that causes CPU?16?or GPU?20?to invalidate the lines of cache?22?corresponding to outdated values of shared variable data?28.
In some examples, some processors in multi-core system?2?may not have caches that are visible to other processors. Nevertheless, these processors may include the capability to read the latest value of a shared variable from the processors that do have visible caches. Also, these processors that do not have visible caches may provide a new value to a shared variable through a write operation. In accordance with the techniques of this disclosure, the writes of a processor with a non-visible cache may be scheduled behind all the writes in the system to shared variable data?28, which have already been observed. The mechanism that enables processors that have no visible caches to read and write in the above mentioned manner is commonly called IO cache coherency.
In an alternative example, the first processor could also choose to temporarily buffer or cache the value from the write operation associated with the store-with-release and write the value to system?memory?(e.g., a higher level of cache, the cache of another processor, or system?memory) at a later time while still maintaining correct semantics.
In accordance with the techniques of this disclosure, CPU?16?may be configured to store shared variable data?28?to cache lines of cache?18. CPU?16?may be further configured to execute a store-with-release operation. A second programmable processor, such as GPU?20?may be configured to execute a load-with-acquire operation. GPU?20?may further load the value of shared variable data?28?from cache?22?of GPU?20.
Responsive to a synchronization operation, e.g., a store-with-release operation, CPU?16?may flush the cache lines of the cache?18?associated with shared variable data?28. A second programmable processor, e.g., GPU?20?having a second cache?22, may then execute a load-with-acquire operation, which ensures that any load instructions occur after the load-with-acquire operation finishes executing. The load-with-acquire operation may also invalidate cache lines of cache?22?corresponding to shared variable data?28?and cause a cache fill from another cache or system?memory?14. Any loads subsequent to the execution of the load-with-acquire operation will read the up-to-date value of shared variable data?28?from cache?22?of GPU?20.
FIG. 2?is a block diagram illustrating another example of a graphics processing unit (GPU) that may implement a graphics processing pipeline capable of executing instructions that allow the GPU to support on-demand cache coherence in accordance with one or more examples described in this disclosure.?FIG. 2?illustrates a multi-core system?2?that includes GPU?12, system?memory?14, and CPU?16, which further includes cache?18. Examples of devices that may include multi-core system?2?include, but are not limited to, mobile wireless telephones, video gaming consoles that include video displays, mobile video conferencing units, laptop computers, desktop computers, tablet computers, television set-top boxes, and the like.
CPU?16?may execute various types of applications. Examples of the applications include web browsers, e-mail applications, spreadsheets, video games, or other applications that generate viewable objects for display, as well as general purpose computing jobs. Instructions for execution of the one or more applications may be stored within system?memory?14. CPU?16?may transmit processing jobs, as well as graphics data of the generated viewable objects to GPU?20?for further processing.
For example, GPU?20?may be specialized hardware that allows for massively parallel processing, which functions well for processing graphics data, as well as for parallelizable tasks, such as various simulations and mathematically intense jobs. In this way, CPU?16?may offload processing that is better handled by GPU?20. CPU?16?may communicate with GPU?20?in accordance with a particular API. Examples of such APIs include the DirectX? API by Microsoft? and the OpenGL? by the Khronos group; however, aspects of this disclosure are not limited to the DirectX and the OpenGL APIs, and may be extended to other types of APIs that have been developed, are currently being developed, or are to be developed in the future.
In addition to defining the manner in which GPU?20?is to receive graphics data from CPU?16, the APIs may define a particular graphics processing pipeline that GPU?20?is to implement. Certain aspects of the pipeline setup may be handled by a GPU driver and shader code compiler, such as compiler?30, executing on CPU?16. The GPU driver may be separate from the application executing on CPU?16. The driver may handle the interaction between an operating system, such as Windows? or Linux, which is typically executed on CPU?16, and GPU20. The shader code compiler may compile code written in a language, such as OpenCL or DirectCompute, into assembly instructions that GPU?20?may interpret and execute. GPU?20, in?FIG. 1, illustrates the graphics processing pipeline defined by the Direct3D?11?API. Although the pipeline of GPU?20?is described with respect to the DirectX pipeline, the GPU?20?may also be implemented according to the OpenGL 4.x pipeline or another graphics pipeline.
Examples of CPU?16?and GPU?20?include, but are not limited to, a digital signal processor (DSP), general purpose microprocessor, application specific integrated circuit (ASIC), field programmable logic array (FPGA), or other equivalent integrated or discrete logic circuitry. In some examples, GPU?20?may be specialized hardware that includes integrated and/or discrete logic circuitry that provides GPU?20?with massive parallel processing capabilities suitable for graphics processing. In some instances, GPU?20?may also include general purpose processing, and may be referred to as a general purpose GPU (GPGPU). The techniques described in this disclosure may also be applicable to examples where GPU?20?is a GPGPU.
System?memory?14?may comprise one or more computer-readable storage media. Examples of system?memory?14?include, but are not limited to, a random access?memory?(RAM), a read only?memory?(ROM), an electrically erasable programmable read-only?memory?(EEPROM), flash?memory, or any other medium that can be used to carry or store desired program code in the form of instructions and/or data structures and that can be accessed by a computer or a processor. As described above, system?memory?14?may also include one or more levels of cache.
In some aspects, system?memory?14?may include instructions that cause CPU16?and/or GPU?20?to perform the functions ascribed to CPU?16?and GPU?20?in this disclosure, such as instructions for performing synchronization operations associated with shared variable data?28. In some examples, the instructions may include load-with-acquire, and store-with-release operations, which may cause a cache, e.g., cache?18?or cache?22?to perform cache invalidation and/or cache flushing. Accordingly, system?memory?14?may be a computer-readable storage medium comprising instructions that cause one or more processors, e.g., CPU?16?and GPU?20, to perform various functions.
System?memory?14?may, in some examples, be considered as a non-transitory storage medium. The term "non-transitory" may indicate that the storage medium is not embodied in a carrier wave or a propagated signal. However, the term "non-transitory" should not be interpreted to mean that system?memory?14is non-movable. As one example, system?memory?14?may be removed from the device of multi-core system?2, and moved to another device. As another example, a system?memory, substantially similar to system?memory?14, may be inserted into the device of multi-core system?2. In certain examples, a non-transitory storage medium may store data that can, over time, change (e.g., in RAM).
The execution of the applications on CPU?16?causes CPU?16?to generate jobs, processes or threads for execution on GPU?20. The job may execute on one or more cores or execution units of GPU?20. In addition, GPU?20?may also render a plurality of primitives that together form the viewable content. Examples of the primitives include points, lines, triangles, squares, or any other type of polygon. CPU?16?may define these primitives by their respective vertices. For example, CPU?16?may define coordinates and color values for the vertices. The coordinate values may be three-dimensional (3D) coordinates or 2D coordinates.
GPU?20?may utilize the functional units, e.g., floating point units, shaders, caches, etc., of GPU?20?in order to execute a GPGPU program or "kernel," rather than to render graphical output. The graphics pipeline shown in?FIG. 2?is a 3D graphics processing pipeline. However, the techniques of this disclosure are applicable for use on any type of pipeline, including a GPGPU pipeline, or application executing on GPU?20. The graphics processing pipeline includes performing functions as defined by software or firmware executing on GPU?20?and performing functions by fixed-function units that are hardwired to perform specific functions. The software or firmware executing on the GPU?20?may be referred to as shaders, and the shaders may execute on one or more shader cores of GPU?20. Shaders provide users with functional flexibility because a user can design the shaders to perform desired tasks in any conceivable manner. The fixed-function units, however, are hardwired for the manner in which the fixed-function units perform tasks. Accordingly, the fixed-function units may not provide much functional flexibility.
The shaders, which may include a vertex shader?38, domain shader?44, and geometry shader stage?46, as well as other shader units not pictured in?FIG. 2, may be programmable units, whereas other stages or units of GPU?20?(not pictured inFIG. 2) may not be programmable. To support on-demand cache coherence in accordance with the techniques of this disclosure, the shaders of GPU?20?may be configured to support additional operations, which may include load-with-acquire and store-with-release operations. In some examples, the load-with-acquire operations and the store-with-release operations may cause GPU?20?to perform cache invalidations and/or flushes. GPU?20?may also support separate, explicit cache management instructions, which may control the behavior of cache?22. The cache management instructions may include a cache flush instruction and a cache invalidation instruction. The cache flush instruction and/or the store-with-release operation may cause GPU?20?to write out values, e.g., of shared variable data?28, stored in cache?22?to system memory?14, to a higher level cache, or to cache?18?of CPU?16. The cache invalidation instruction and/or load-with-acquire operation may cause GPU?20?to read data values from system?memory?14?and store the values in cache?22.
In some examples, the addition of cache management instructions, and load-with-acquire and store-with-release operations, may allow GPU?20?to maintain cache coherency without requiring dedicated cache coherency hardware, which may be expensive from a power and/or area standpoint. A driver, compiler (e.g., compiler?30), or another application may modify the code of a shader program (referred to as a "kernel"). The compiler or driver may automatically insert code at points where a load-with-acquire operation or store-with-release operation occurs to maintain cache coherency with the other processors of multi-core system?2?in accordance with the techniques of this disclosure. The insertion of code by the compiler or driver is shown in greater detail in?FIGS. 3A and 3B.
The kernel compiler may insert synchronizing operations, e.g., load-with-acquire or store-with-release operations if the compiler determines that the kernel will access shared variable data?28. The load-with-acquire operation may cause GPU20?to invalidate shared cache lines (e.g., cache lines associated with shared variable data?28), perform a cache fill, and ensures that no reads can be reordered to execute before the completion of the completion of the load-with-acquire operation. The store-with-release operation may cause GPU?20?to flush any cache lines containing shared variable data28, and ensures that no writes in the current thread can be reordered to execute after the store-with-release operation. When a store-with-release operation executed by one processor is followed by a load-with-acquire operation, changes to shared variable data?28?occur in an ordered and consistent fashion. The load-with-acquire and store-with-release operations may be part of the kernel/shader programming language in some examples. However in some examples, the need for performing a synchronization operation, e.g., a load-with-acquire or store-with-release operation, may not be known at compile time, because the need for these synchronization operations instructions may depend on whether the kernel will be run with any shared data or variables (also referred to as "shared surfaces").
To ensure cache coherency when GPU?20?is reading a shared variable, the compiler or driver may analyze the shader code and may insert instructions for synchronization operations, e.g., load-with-acquire and store-with-release operations into the shader code when reading from and/or writing to shared variable data?28. The synchronization operations may include cache invalidation instructions that cause GPU?20?to read the value of shared variable data?28?from systemmemory?14?and store the value of shared variable data?28?in cache?22?before reading the value of shared variable data?28. To ensure cache coherency when GPU?20?writes a value back to cache?22, the compiler or driver analyzes the shader code and inserts a synchronization operation, e.g., load-with-acquire or store-with-release operations that ensure that changes to shared variable data?28?are propagated in an ordered manner.
In some examples, a synchronization operation such as a store-with-release operation, may cause GPU?20?to invalidate one or more cache lines of cache?18?corresponding to shared variable data?28?and to fetch a new value of shared variable data?28?and store the new value of shared variable data?28?in cache?22. In some examples, GPU?20?may "snoop" or read the cache of another processor, e.g., cache?18?of CPU?16?to obtain the most up-to-date value of shared variable data?28. In other examples, GPU?20?may read the value of shared variable data?28?from system?memory?14?or a higher level cache.
The compiler or driver may insert synchronizing operations, e.g., store-with-release and load-with-acquire operations into the kernel in a number of different ways. In one example, the compiler may insert store-with-release and load-with-acquire operations around load and store instructions to shared variable data?28. In another example, the compiler may insert NOP (No Operation) instructions into the kernel around reads and writes (loads and stores) to shared variable data?28. At bind time of the kernel, the driver may determine whether the kernel is paired with shared variable data?28?(e.g., shared surfaces). Based on whether the kernel is paired with shared variable data?28, the driver may modify the kernel binary and replace the NOP instructions with store-with-release and load-with-acquire operations in accordance with the techniques of this disclosure. And in yet another example, GPU?20?may compile and store-with-release and load-with-acquire operations into the kernel conditionally at execution time based on a constant value stored in a register of GPU?20?that the driver may set before launching the kernel.
To flush or invalidate shared variables of cache?22, the driver may create a list of shared variables in the kernel code at bind time, and before launching the kernel. While executing the kernel, GPU?20?may execute a routine that "walks" or traverses the list of shared variables and flushes or invalidates the area of cache?22?associated with each shared variable in the list wherever a synchronizing operation is executed on a particular variable. If the list of shared variables is empty, then GPU?20?may not execute store-with-release and load-with-acquire operations.
As indicated above, the graphics processing pipeline illustrated in?FIG. 2?is a graphic processing pipeline substantially as defined by Direct3D?11. In this example, GPU?20?may include one or more vertex shader stage?38, hull shader stage?40, domain shader stage?44, and geometry shader stage?46. GPU?20?may include more stages than those illustrated, and in some examples, GPU?20?may not necessarily include all of the illustrated stages. Also, the specific ordering of the stages is provided for purposes of illustration and should not be considered limiting.
Vertex shader stage?38?may process vertices and may perform per-vertex operations such as transformations, skinning, morphing, and per-vertex lighting. Vertex shader stage?38?may be a shader. Hull shader stage?40?receives control points of a patch, as processed by vertex shader stage?38, process the control points, and outputs control points for a processed patch. In other words, hull shader stage?40?receives an input patch, as processed by vertex shader stage?38, processes the input patch, and outputs an output patch. Hull shader stage?40?may perform various functions for processing the input patch. For example, hull shader stage?40?may modify the coordinates of the control points of the patch to change the locations of the control points, or may even add or delete control points of the patch.
In addition, hull shader stage?40?may determine values that indicate how many primitives are to be added to the patch generated by vertex shader stage?38?(i.e., the output patch). Hull shader stage?40?may utilize various criteria to determine how many primitives are to be added to the patch. Described below are two example criteria that hull shader stage?40?may utilize to determine how many primitives are to be added to the patch. However, aspects of this disclosure are not so limited, and hull shader stage?40?may utilize any criteria to determine how many primitives should be added to the patch. Based on a determination of how many primitives should be added, hull shader stage?40?may output a domain type and values that indicate how many primitives are to be added to the patch.
Domain shader stage?44?may receive a set of vertex coordinates from a tessellation stage (not pictured). Domain shader stage?44?may execute for each vertex coordinate outputted by a tessellation stage (not pictured). With the coordinates of the control points of the patch from hull shader stage?40, domain shader stage?44?may determine the location of the vertex, as outputted by the tessellation stage, on the patch. Geometry shader stage?46?receives the vertices of the primitives added to the patch by domain shader stage?44?and may further generate additional vertices for the primitives to add even more resolution.
Multi-core system?2?may implement various techniques to implement cache coherency between CPU?16, and GPU?20. In accordance with the techniques of this disclosure, GPU?20?may be configured to store shared variable data?28?to cache lines of the cache?22?of GPU?20. GPU?20?may be configured to execute a store-with-release operation. CPU?16?may then execute a load-with-acquire operation, and load the value of shared variable data?28?from cache?18?of CPU?16.
FIG. 3A?is a conceptual diagram illustrating a GPU configured to perform synchronizing operations in a GPU kernel, which may include cache invalidate and flush instructions.?FIG. 3A?illustrates CPU?16, GPU?20, and system?memory?14. CPU?16executes an operating system?50, a GPU driver?51, and a GPU compiler?52. Operating system?50?may perform scheduling of tasks, such as threads, and may also manage the execution of GPU driver?51?and GPU compiler?52. GPU driver?51may manage the interaction between CPU?16?and GPU?20, and in some examples, may modify instructions?54A of GPU20?to include cache management instructions in accordance with the techniques of this disclosure. GPU compiler?52?may compile code for a GPGPU program, and in some examples, may modify the code at compile time to include cache management instructions in accordance with the techniques of this disclosure.
In?FIG. 3A, GPU?20?is about to execute instructions?54A. GPU compiler?52?may have previously generated instructions54A, which driver?51?may have loaded into a?memory?of GPU?20. Instructions?54A include a series of reads and writes to shared variable data?28. In these examples, shared variable data?28?may be shared between GPU?20?and another processor, such as CPU?16, and may be stored in both cache?22?of GPU?20?and in cache?18?of CPU?16.
CPU?16?may execute a write that changes the value of shared variable data?28, which GPU?20?reads subsequently, as illustrated in instructions?54A. Compiler?54A may insert a series of no operation (NOP) instructions around the write and read instructions, which, at run-time may be replaced, e.g., by operating system?50?or driver?51, with synchronization operations to ensure that the write by CPU?16?to shared variable data?28?is propagated in a coherent fashion to GPU?20, when GPU?20?executes the read instruction of instructions?54A.
A processor that executes hardware instruction or software routine, such as a load-with-acquire routine or instruction or a store-with-release routine may not be interrupted. One such way that the routine may not be interrupted is by using a programming construct, referred to as a critical section, which only allows one processor to execute the load-with-acquire routine at a particular time. In another example, a processor may ensure that the routine is not interrupted by temporarily disabling interrupts in multi-core system?2.
After GPU compiler?52?has generated instructions?54A, GPU compiler?52?or GPU driver?51?may insert or modify instructions?54A to include synchronizing operations, such as load-with-acquire operations, which may perform cache flushes and/or invalidations in order to maintain cache coherency in accordance with the techniques of this disclosure. The result of modifying instructions?54A to synchronization operations, which may include cache management instructions, is illustrated in?FIG. 3B.
FIG. 3B?is a conceptual diagram illustrating a compiler/driver inserting instructions for synchronizing operations into a GPU kernel. After GPU compiler?52?has generated instructions?54A (FIG. 3A), GPU compiler?52?or GPU driver?51?may modify the instructions to include synchronization operations, such as cache management instructions. GPU compiler?52?or GPU driver?51?may modify instructions?54A based on whether the instructions access a shared variable. In this example, instructions?54A include a write followed by a read of shared variable data, e.g., shared variable data?28. GPU compiler?52or GPU driver?51?may modify instructions?54A by inserting a load-with-acquire operation after the write instruction and by inserting store-with-release operations after the store-with-release operation, but before the read of shared variable data28?by GPU?20. The store-with-release operation may cause a first processor, such as GPU?20?to flush the cache lines associated with shared variable data?28?and ensures that the write does not occur after the store-with-release operation. The load-with-acquire operation may cause GPU?20?to invalidate lines of cache?18?of CPU?16, which hold any copies of shared variable data?28?and to perform a cache fill, e.g., by snooping or reading a value of shared variable data?28?from system?memory?14. The load-with-acquire operation further ensures that the read occurs after the load-with-acquire operation has finished executing, thereby ensuring that the value of shared variable data?28?read by GPU?20?is the most up-to-date value. The effect of cache flushes and invalidation instructions are described below with respect to?FIGS. 4A and 4B.
GPU compiler?52?or GPU driver?51?may modify instructions?54A based on whether shared variables are known at compile time or at bind time. In the case that shared variables are known at compile time, GPU compiler?52?may modify instructions?54A at compile time. If the shared variables are known at bind time, GPU driver?51?may modify instructions54A at bind time. In either case, the modified instructions comprise instructions?54B. Also, in some examples, GPU compiler?52?or GPU driver?51?may not insert instructions into the instructions of a kernel, but rather may replace NOP instructions originally inserted by the compiler as placeholders with the synchronization operations as described above. Once GPU driver?51?or GPU compiler?52?has modified instructions?54A, GPU?20?may execute instructions?54B, which have been modified in such a way as to ensure cache coherency between GPU?20?and the other processors of multi-core system?2.
FIG. 4A?is a conceptual diagram illustrating a cache containing a stale shared variable.?FIG. 4A?illustrates system?memory14?of?FIG. 1, and a cache?22?of GPU?20?(FIG. 1). Although illustrated with respect to GPU?20?and GPU cache?22, any cache of any core or processor may perform the techniques illustrated in?FIG. 4A?and?FIG. 4B.
Cache?22?includes five entries, each of which are represented as vertical rectangles. The number of entries in cache?22has been greatly reduced for the purposes of example. Cache?22?includes two entries that have stale data (indicated by cache entries that have diagonal hashing). Stale data are shared variable values that may have been altered by another processor in multi-core system?2. The arrows in?FIGS. 4A-4B?indicate an association between a location of systemmemory?14?and an entry in cache?22?such that if GPU?20?reads shared data from a location of system?memory?14indicated by the tail of any of the arrows, the value is stored at the location of cache?22?indicated by the head of the arrow.
Before reading from line of cache?22?that includes stale data, GPU?20?may execute a load-with-acquire operation. The load-with-acquire operation causes CPU?16?to invalidate one or more lines of cache?18, causes a cache fill of cache?18, and ensures that no reads are reordered to execute before the execution of the load-with-acquire operation.
As noted above, because cache line?62?is marked as invalid due to the load-with-acquire operation, GPU?20?fetches a new copy of shared variable data?28?from address?64?of system?memory?14. In some examples, GPU?20?may not need to fetch a new copy from system?memory, but rather from a higher level cache e.g., a level 2 or level 3 cache that is shared between CPU?16?and GPU?20. In another example, CPU?16?may modify or "snoop" and update the value of shared variable data?28?stored in cache line?62.
FIG. 4B?is a conceptual diagram illustrating updating a cache from main?memory?due to reading from a cache line marked as invalid, e.g., as a result of executing a load-with-acquire operation.?FIG. 4B?illustrates the results of GPU?20?reading from a cache line?62?that is marked as invalid, and fetching the up-to-date copy of shared variable data?28?stored at location?62?of system?memory?14. Although illustrated as reading from system?memory?14, GPU?20?may also read a new value of shared variable data?28?from another cache, such as cache?18?of CPU?16. After CPU?16?marks cache line?62?as invalid, as described above with respect to?FIG. 4A, GPU?20?may read the value of shared variable data?28?from systemmemory?location?64, and stores the shared variable data?28?from system?memory?location?64?in cache location?62. Although illustrated as invalidating only a single cache entry, the cache invalidation instruction may also invalidate all or multiple entries of cache?22, such as all cache entries which are marked as shared. Shared cache entries are discussed in further detail below.
FIG. 5A?is a conceptual diagram illustrating a system?memory?containing a stale shared variable value. In?FIG. 5A, the value of shared variable data?28, which is stored in line?80?of cache?22?is up-to-date, but has not been written back to location?82?of system?memory?14. This situation may occur, for example, if GPU?20?calculates a new value for shared variable data?28?and writes the value of shared variable data?28?to cache?22, but not to system?memory?14.
To ensure that location?82?of system?memory?14?has the current value of the shared variable, GPU?20?performs a process similar to the process described with respect to?FIG. 4A. Similar to the technique described with respect to?FIG. 4A, GPU20?performs a synchronization operation, such as executing a store-with-release operation. Before executing the store-with-release operation, GPU?20?may perform one or more writes, resulting in an updated value of cache line?80, which has not been propagated to?memory?address?82?of system?memory?14. After performing the writes to cache line?80, GPU?20executes the store-with-release operation, which may cause GPU?20?to flush the value of shared variable data?28, stored in cache line?80, to address?82?of system?memory?14. Flushing, in some examples, the store-with-release operation may also cause GPU?20?or another processor to invalidate one or more cache lines storing stale values of shared variable data28, e.g., in cache?18?of CPU?16?or cache?26?of DSP?24. This?memory?state is illustrated in?FIG. 5A.
The store-with-release operation further ensures that the write to shared variable data?28?is not reordered to execute after the execution of a load-with-acquire operation. The store-with release instruction may ensures this execution ordering by tagging one or more subsequent instructions in the instruction stream with a special bit such that the subsequent instruction does not issue until after the store-with-release operation finishes execution.
The store-with-release instruction also ensures that any writes that occur before the store-with-release instruction in a program code sequence finish before the store-with-release instruction executes. To ensure that any previous writes finish before the store-with-release instruction, a processor, such as GPU?12?may execute a microsequence of instructions that flush all, or a portion of the cache of GPU?12. GPU?12?writes the stored value of the store-with-release instruction only upon completion of the microsequence cache flush.
FIG. 5B?is a conceptual diagram illustrating the state of system?memory?after performing a cache flush. In?FIG. 5B, GPU20?has written back the value of shared variable data?28?stored in cache line?80?of cache?22?to location?82?of systemmemory?14. GPU?20?may have written the value of shared variable data?28?as part of a store-with-release operation, which in some cases, may cause GPU?20?to perform a cache flush on cache lines, e.g., cache line?80, corresponding to a value of shared variable data?28. Although the cache flush is illustrated in?FIG. 5B?as flushing only the value of location?80?back to system?memory?location?82, the flush may flush all or multiple values of cache?80?back to system?memory?14.
FIG. 6?is a conceptual diagram illustrating caches and?memory?management units of a GPU and a CPU in accordance with the techniques of this disclosure.?FIG. 6?illustrates CPU?16, which further includes?memory?management unit (MMU)102, and physical cache?104.?FIG. 6?also illustrates GPU?20, which includes virtual cache?106, and system?memory management unit (SMMU)?108. CPU?16?and GPU?20?are coupled to system?memory?14, which may include shared variable data?28. Although GPU?20?is illustrated as having a virtual cache, and CPU?16?is illustrated as having a physical cache, any combination of virtual and/or physical caches may be possible.
Physical cache?104?may comprise one or more of an L1, L2, or L3 cache in various examples. Physical cache?104?may also comprise an I/O coherent cache which implements the MESI or MOESI cache coherence protocols. For the purposes of example, physical cache?104?includes a plurality of cache lines. Each of the cache lines of physical cache?104?are indexed based on a portion of a physical address, referred to as an index (usually a number of the least significant bits of the virtual address). A cache entry also includes a "tag," which comprises the most significant bits of the address associated with the data stored in the cache. In the case of a physical cache, such as physical cache?104, the tag comprises the most significant bits of the physical address associated with the cached data. To determine whether a particular address is cached, MMU?102?translates a virtual address from a page table, which may be stored in a translation lookaside buffer (TLB), and compares the most significant bits of the translated physical address against the tag of the physical cache to determine whether the two match. If the two match, the data associated with the address is stored in the cache, referred to as a cache "hit." Otherwise, the data is not stored in the cache, referred to as a cache "miss."
Each cache line may also include an offset. Because the size of a page table entry and a cache table entry may be greater (e.g., kilobytes or megabytes) than the word size (i.e. the maximum addressable word of a processor), CPU?16?may index into a particular word of the cache line data based on the value of the offset that specifies the particular word within the cache entry.
Each cache line of physical cache?104?and/or virtual cache?106?may include state, e.g. one or more state bits, associated with individual cache lines of virtual cache?106. The state may indicate whether a particular cache line of virtual cache?106is dirty, valid, or invalid. Additionally, the state may apply to individual bytes of a cache line. The state that physical cache104?and/or virtual cache?106?maintain is described in further detail below with respect to?FIG. 7.
FIG. 6?also illustrates GPU?20, which further includes virtual cache?106?and SMMU?108. Virtual cache?106?may tag cached data based on a virtual address rather than physical addresses, unlike physical cache?104. Whereas physical cache?104may translate a virtual address to a physical address, and store a number of most significant bits as a tag of a cache line, virtual cache?106?may store a number of bits of the virtual address as a cache line tag. Such a cache may be referred to as "virtually tagged." By utilizing a virtually tagged cache, SMMU?108?does not need to translate from a virtual address to a physical address when accessing virtual cache?106, and instead translates the virtual address tag to a physical address after accessing the cache. By contrast, MMU?102?translates from a physical address to a virtual address to access physical cache?104.
Each chunk or page of?memory?is accessible by an address, referred to as a "physical address." However, applications may expect a contiguous address space, whereas available physical address ranges may be non-contiguous. To provide a contiguous?memory?address space for each application, CPU?16?and GPU?20?may implement virtual addressing. In virtual addressing, applications are allocated virtual address spaces, which map to physical addresses. The mappings between a virtual address and a physical address, are stored in page table entries. The page table entries may be stored in one or more page tables. In various examples, CPU?16?and GPU?20?may each have a separate page tables or a single, common page table.
Each page table entry includes a number of most significant bits of the physical address associated with the specified virtual address, and a number of bits comprising attribute data. Based on the physical address, MMU?102?and SMMU may access the data associated with the physical address, which may be stored at a particular address of system?memory?14, or on another storage device, such as a hard disk drive, or solid state drive.
The process of translating between a virtual address and a physical address may incur undesirable amounts of latency. To reduce the latency associated with virtual-to-physical address translation, MMU?102?and SMMU?108?may include a translation lookaside buffer (TLB), such as TLB?106?and TLB?110, respectively. TLB?106?and TLB?110?each cache frequently used page table entries from associated with one or more frequently accessed physical addresses. Each entry of MMU?102?and SMMU?108?is a page table entry (PTE).
Each of MMU?102, physical cache?104, virtual cache?106, and SMMU?108?may also write to, and read from, a page table that is stored in system?memory?14. For example, if a particular page table entry is evicted from the TLB of MMU?102?or SMMU?108, the MMU may write the evicted PTE to system?memory?14. If a TLB does not include the value of a requested PTE (referred to as a TLB miss), MMU?102?or SMMU?108?may retrieve the requested PTE from system?memory?14.
In some examples, MMU?102?and SMMU?108?may also handle cache fills and evictions. In some examples, MMU?102?or SMMU?108?may perform a cache fill by retrieving a value not currently in physical cache?104?from system?memory?14?and storing the value in a line of physical cache?104?or virtual cache?106. If a cache line is evicted, i.e. there is no room for the cache entry, MMU?102?or SMMU?108?may write the evicted cache line of physical cache?104?or virtual cache?106?to system?memory?14.
MMU?102?and SMMU?108?may also perform "snooping" operations. During a snoop, an MMU, such as SMMU?108?may examine cache lines of another processor, e.g. physical cache?104?of CPU?16. In some cases, SMMU?108?may update the values of one or more cache lines of physical cache?104. For instance, GPU?20?may update a value of shared variable data?28?stored in virtual cache?106?by executing a store-with-release operation. During the store-with-release operation, SMMU?108?may snoop physical cache?104?and update the corresponding cache line of physical cache?104. If CPU?16 attempts to access the value of shared variable data?28, the most current value of shared variable data?28?is already stored in physical cache?104. Accordingly, CPU?16?may detect that physical cache?104?has the most current value, and simply reads the cached value stored in physical cache?104, e.g. when CPU?16?executes a load-with-acquire operation.
In this example, CPU?16?does not invalidate cache lines associated with the value of shared variable data?28?nor does CPU?16?fetch a new value of shared variable data?28?from system?memory?14. In this manner, snooping techniques in accordance with this disclosure may improve the performance of a multiprocessor system when writing to shared variable data.
In some examples, GPU?20?may implement a physical cache that supports on-demand coherence, rather than virtual cache?106. If GPU?20?implements a physical cache, such as a cache similar to physical cache?104, GPU?20?tags entries cache lines in the physical cache based on their associated physical addresses, rather than virtual addresses. In the example where GPU?20?includes a physical cache, TLB?110?translates a virtual address to a physical address before writing to the physical cache.
FIG. 7?is a conceptual diagram illustrating a cache line that implements attribute bits in accordance with the techniques of this disclosure. As described above, virtual cache?106?includes a plurality of cache lines.?FIG. 7?illustrates a single cache line?120, which includes a data portion?122, a virtual address tag?124, and may include: an optional shareable bit?126, CleanValid bit?128, DirtyValid bit?130, and ByteEnables bits?132.
Shared bit?126?is an optional bit, which may or not may be included in a cache line. The value of Shared bit?126?indicates whether any bytes of data are shared in that particular cache line, and are therefore visible to other processors, e.g. CPU16, and/or DSP?24. If a cache line is visible to other processors, changes to the value of shared bytes of data may need to be flushed to system?memory?14?because other processors must have current value of shared cache lines. Unshared values do not need to be flushed to system?memory?14. In various examples, an operating system (OS) may set a default value of the shared bit, or a user or program may make an API (Application Programming Interface) call to set the default value of Shared bit?126. Subsequent reads by a processor may change the value of Shared bit?126, in some examples. During a cache miss, when a cache line needs to be brought into virtual cache?106, the value of Shared bit?126?may be set to the shared state by default, and subsequent cache accesses (i.e. cache hits) to the same cache line may not change the state of Shared bit?126.
ByteEnables bits?132?include a bit for each byte of cache data?122. Each bit of ByteEnables bits?132?indicates whether that particular cache byte is dirty, and may need to be written out to another cache or to system?memory?14. DirtyValid bit130?is equal to the logical OR of each of ByteEnables bits?132. If DirtyValid bit?130?is equal to one, and Shared bit?126?is equal to one, then SMMU?108?may write out the values of any dirty bytes to system?memory?14?during a cache flush operation.
CleanValid bit?128?indicates whether there are any non-dirty data bytes in a cache line. If Shared bit?126?indicates that a cache line is shared, and CleanValid bit?128?is equal to one, then SMMU?108?invalidates the cache line, e.g. cache line120?when performing a cache invalidation operation, because there may be at least one byte of data?122?that is not current.
FIG. 8?is a conceptual diagram illustrating a GPU cache in accordance with the techniques of this disclosure. In the example of?FIG. 8, GPU?20?includes virtual cache?106. Virtual cache?106?includes a plurality of cache lines. Each of the lines are associated with attributes, such as Shared bit?126, CleanValid bit?128, DirtyValid bit?130, and ByteEnables bits132, as described in the example of?FIG. 7. The states of each cache line may be a mixture of: "clean," "valid," "invalid," and "dirty." The techniques of this disclosure may enable a?memory?management unit (MMU) of a processor, such as SMMU?108?of GPU?20?to maintain the state bits for each line of a cache that indicate the state of each line of virtual cache106.
SMMU?108?may mark a cache line as dirty if the cache line includes one or more updated values that have not been written to system?memory?14?or another?memory. SMMU?108?may mark a cache line as valid if the contents of the cache line are up-to-date, i.e. no other processor has written a newer value to the physical address associated with that cache entry. By contrast, SMMU?108?may mark a cache line as invalid if the cache line does not contain the most up-to-date copy of a particular?memory?address. When SMMU?108?attempts to access an invalid line, SMMU?108?must retrieve a new copy of the shared data from another cache, or from main?memory.
In the example of?FIG. 8, cache lines without any hashing, such as cache line?140, represent clean and valid cache lines. Cache lines with diagonal hashing, such as cache line?144, represent invalid cache lines, and cache lines with vertical hashing represent dirty cache lines. Cache lines may also be divided into blocks or regions, e.g. byte-sized regions that have the different cache states. As an example, cache line?142?includes cache blocks that are both invalid and dirty, and cache line?146?includes blocks that are both dirty and clean (as well as valid). By definition, any block that is clean or dirty is also valid. However, other blocks within the same cache line may be invalid. By maintaining the state of each block stored in virtual cache?106?in accordance with the techniques of this disclosure, it may be possible to reduce unnecessary cache flushes or invalidations when performing a cache eviction or a cache fill.
As described above, if the cache line containing shared variable data?28?does not have the most up-to-date value of a shared value, such as shared variable data?28, GPU?20?may retrieve the up-to-date value as part of executing a load-with-acquire operation. In various examples, retrieving the up-to-date shared variable value may comprise SMMU?108?filling a cache line or a portion of a cache line with the up-to-date value, e.g. from system?memory?14?(referred to as a "cache fill").
Filling an entire cache line when performing a cache fill may be undesirable in some examples. Accordingly, the techniques of this disclosure mark the cache states of individual blocks of a cache line, as described above. Based on the state of each block, SMMU?108?may only invalidate and update, or flush blocks that do not contain an up-to-date values of shared variable data?28. As an example, if a cache line, such as cache line?144?includes both dirty and invalid blocks, SMMU?108?may only retrieve cache data corresponding to the invalid blocks when performing a cache fill. Blocks marked as dirty are not updated when performing a cache fill because dirty blocks include the most up-to-date values of shared variable data. Filling only non-dirty blocks may reduce the bandwidth consumed and/or the latency associated with performing a cache fill.
As described above, GPU?20?may perform a cache flush operation when executing a store-with-release operation. The cache flush may write values of shared variable data?28?out to system?memory?14. In one technique, MMU?108?may write an entire cache line to system?memory?14?during a cache flush. However, writing out an entire cache line, rather than individual blocks, may be unnecessary in some cases. For example, a cache line may include dirty blocks and invalid blocks (e.g., cache line?142), or dirty blocks and valid blocks (e.g., cache line?146). During a cache flush, only the dirty blocks, which by definition have the most current and up-to-date values of shared data, need to be written to systemmemory?14. Accordingly, SMMU?108?may only write out dirty blocks to system?memory?14?when performing a cache flush operation.
In the case of a cache line of virtual cache?106?that includes both dirty and invalid blocks, SMMU?108?may write the dirty blocks to system?memory?14, and upon completion of the write, may mark each of the dirty blocks of virtual cache?106?as invalid. In the case that a cache line of virtual cache?106, such as cache line?146, includes both dirty and valid blocks, SMMU?108?may write the dirty blocks to system?memory?14, and upon completion of the write, may mark the dirty blocks as valid. In this manner, the data, bandwidth and/or latency associated with SMMU?108?performing a cache fill may be reduced compared to writing out an entire cache line, in some cases.
The SMMU?108?may also perform a line eviction in some cases, in which SMMU?108?replaces a cache line are being replaced, e.g. due to cache pressure. As part of the cache eviction process, SMMU?108?writes the line to be evicted out to system?memory?14. In a line eviction, SMMU?108?may first write out any bytes or words marked as dirty to system?memory14. SMMU?108?may then invalidate the entire cache line to be evicted. By having SMMU?108?writing out only blocks marked as dirty, the techniques of this disclosure may reduce the data, bandwidth, and/or time associated with performing a cache eviction.
FIG. 9?is a flowchart illustrating a process for maintaining cache coherency in a multi-core system in accordance with one or more examples described in this disclosure. For purposes of illustration only, reference is made to GPU?20?of FIG.?1, however any processor of multi-core system?2?may perform the techniques of this disclosure.
In?FIG. 9, a firs processor, e.g. GPU?20, may be configured to write shared variable data?28?to cache lines of a first cache of a first processor (300). GPU?20?may then execute a store-with-release operation or release a fence (302). In some examples, executing the store-with-release operation may cause GPU?20?to flush cache lines of cache?22?of GPU?20associated with shared variable data?28. The method may further include a second processor, e.g. CPU?16, executing a load-with-acquire operation or acquiring a fence (306). In some examples, executing the load-with-acquire operation may cause CPU?16?to invalidate cache lines of cache?18?associated with shared variable data?28?(308). CPU?16?may then read load shared the value of shared variable data?28?from cache?18?(310).
In some examples, executing the store-with-release operation further may further include flushing, with the first programmable processor, cache lines of the first cache associated with to the shared variable data, and waiting, with the first programmable processor, for any previous stores to complete.
In an example, executing the load-with-acquire operation further comprises invalidating, with a second programmable processor, cache lines of the second programmable processor associated with the shared variable data, filling, with the second programmable processor, cache lines of the second cache associated with to the shared variable data, and preventing, with the second programmable processor, subsequent instructions from issuing until the load-with-acquire operation finishes executing.
In some examples, the method of?FIG. 9?further comprises snooping, with the second processor, the cache of the first programmable processor, detecting, with the second programmable processor, a cache hit associated with an updated value of the shared variable data, and writing, with the second programmable processor, the updated value of the shared variable data to the cache of the second programmable processor responsive to detecting the cache hit associated with the shared variable data.
In some examples, executing the store-with-release operation further comprises writing the shared variable data to one of a higher level cache having a higher level than the first cache, a system?memory, and the second cache of the second processor.
In another example, the first processor may comprise a central processing unit, e.g., CPU?16, and the second processor comprises a graphical processing unit (GPU), e.g., GPU?20. To invalidate the cache lines of the second cache, GPU?20may insert, with a compiler, an invalidation instruction into shader code operable by the GPU.
In another example, all of the cache lines of the first processor and all of the cache lines of the second processor are shared. Executing the store-with-release operation may further all of the cache lines of the first processor. Executing the load-with-acquire operation comprises invalidating all of the cache second of the first processor.
In some instances, at least one shared line of the shared subset of the cache lines of the first processor is indicated by a first shareability attribute, and each shared line of the shared subset of the cache lines of the second processor is indicated by a second shareability attribute.
In another instance, the method of?FIG. 9?further comprises performing a cache fill operation, and responsive to performing the cache fill operation, reading one of the first shareability attribute or the second shareability attribute from a page table.
In yet another instance, the method of?FIG. 9?further comprises issuing, by a compiler, at least one load instruction or store instruction, wherein the at least one load instruction or store instruction indicates at least one of the first shareability attribute or the second shareability attribute.
In another example, the load instruction comprises a shared load instruction, and the store instruction comprises a shared store instruction.
In yet another example, the method further comprises reading one or more bits of a plurality of address pointers that indicate at least one of the first shareability attribute and the second shareability attribute.
In yet another example, at least one of the first shareability attribute and the second shareability attribute indicates that at least one of the first cache and the second cache is in an unshared state, and the method further comprises performing a cache operation on at least one of the first cache and the second cache, and responsive to performing the cache operation, changing the at least one of the first shareability attribute and the second shareability attribute to indicate that at least one of the first cache and the second cache is in a shared state.
In yet another example, at least one of the first shareability attribute and the second shareability attribute indicates that, at least one of the first cache and the second cache is in a shared state, and the method further comprises performing a cache operation on at least one of the first cache and the second cache, and responsive to performing the cache operation, changing the at least one of the first shareability attribute and the second shareability attribute to indicate that at least one of the first cache and the second cache is in an unshared shared state.
In yet another example, the method further comprises comparing an address stored one or more register with an address of at least one of the first cache and the second cache to determine an address region of the at least one of the first cache and the second cache, and determining whether the address region is shared or unshared.
In yet another example, the method further comprises determining dirty bytes of at least one of the first cache and the second cache, performing at least one of a cache eviction and a cache flush, and writing to a cache or system?memoryonly the dirty bytes during the at least one of the cache eviction and the cache flush.
In yet another example, to execute the store-with-release operation, the first processor flushes the cache of the first processor responsive to at least one of receiving an interrupt, a register read, a register write, and a programmable delay.
In yet another example, to execute the store-with-release operation, the first processor flushes the first cache responsive to at least one of cache pressure, a timeout, and an explicit software cache maintenance.
In yet another example, to execute the store-with-release operation, the first processor flushes the first cache responsive to at least one of cache pressure, a timeout, and an explicit software cache maintenance.
In yet another example, at least one of the first cache and the second cache are virtually tagged. In some examples, executing the store-with-release operation comprises translating a virtual address stored in the first cache to a physical address, and flushing the cache lines of the first cache after translating the virtual address to the physical address based on the physical address.
In yet another example, executing the load-with-acquire operation comprises translating a virtual address stored in the second cache to a physical address, and invalidating the cache lines of the second cache after translating the virtual address to the physical address based on the physical address.
It is to be recognized that depending on the example, certain acts or events of any of the techniques described herein can be performed in a different sequence, may be added, merged, or left out altogether (e.g., not all described acts or events are necessary for the practice of the techniques). Moreover, in certain examples, acts or events may be performed concurrently, e.g., through multi-threaded processing, interrupt processing, or multiple processors, rather than sequentially.
In one or more examples, the functions described may be implemented in hardware, software, firmware, or any combination thereof. If implemented in software, the functions may be stored as one or more instructions or code on a computer-readable medium. Computer-readable media may include computer data storage media. Data storage media may be any available media that can be accessed by one or more computers or one or more processors to retrieve instructions, code and/or data structures for implementation of the techniques described in this disclosure. By way of example, and not limitation, such computer-readable media can comprise random access?memory?(RAM), read-onlymemory?(ROM), EEPROM, CD-ROM or other optical disk storage, magnetic disk storage or other magnetic storage devices, or any other medium that can be used to store desired program code in the form of instructions or data structures and that can be accessed by a computer. Disk and disc, as used herein, includes compact disc (CD), laser disc, optical disc, digital versatile disc (DVD), floppy disk and Blu-ray disc where disks usually reproduce data magnetically, while discs reproduce data optically with lasers. Combinations of the above should also be included within the scope of computer-readable media.
The code may be executed by one or more processors, such as one or more digital signal processors (DSPs), general purpose microprocessors, application specific integrated circuits (ASICs), field programmable logic arrays (FPGAs), or other equivalent integrated or discrete logic circuitry. Accordingly, the term "processor," as used herein may refer to any of the foregoing structure or any other structure suitable for implementation of the techniques described herein. Also, the techniques could be fully implemented in one or more circuits or logic elements.
The techniques of implementing on-demand cache coherency, e.g., with a release?consistency?memory?ordering?model, in accordance with this disclosure are described above. An Appendix also accompanies this disclosure. The techniques described in the Appendix may be implemented on one or more of the units illustrated in?FIG. 1, e.g., CPU?16, GPU?20, and/or DSP?24. The accompanying Appendix is incorporated by reference in its entirety in this disclosure, and may be considered as an attachment to this disclosure.
The techniques of this disclosure may be implemented in a wide variety of devices or apparatuses, including a wireless handset, an integrated circuit (IC) or a set of ICs (i.e., a chip set). Various components, modules or units are described in this disclosure to emphasize functional aspects of devices configured to perform the disclosed techniques, but do not necessarily require realization by different hardware units. Rather, as described above, various units may be combined in a hardware unit or provided by a collection of interoperative hardware units, including one or more processors as described above, in conjunction with suitable software and/or firmware.
Various examples have been described. These and other examples are within the scope of the following claims.
SRC=https://www.google.com.hk/patents/US20140040552
Multi-core compute cache coherency with a release consistency memory ordering model