USPatent applicationPatented

Access control of a resource shared between components

Granted 9 Dec 2003 · 4 office actions

Assignee: Intel Corporation

Law firm: Law firm · Log in to unlock

Attorney: Attorney · Log in to unlock

Inventors: Per Hammarlund, Robert Greiner · Examiner: Safet Metjahic · AU 2171 · TC 2100

Application· this page
9224377
filed 31 Dec 1998
Publication
Not published
not published
Patent
US 6,662,173
granted 9 Dec 2003

Life of the application

15 dated events
⤢ drag to zoom2000200220042006200820102012201420162018ProsecutionOwnershipTerm & fees
ProsecutionOwnershipTerm & feeshover for detail · click to open

Abstract

A resource including a plurality of elements, such as a cache memory having a plurality of addressable blocks or ways, is shared between two or more components based on the operation of an access controller. The access controller, controls which of the elements are accessed exclusively by a component and which are shared by two or more components. In one embodiment, the components include the execution of instructions in first and second threads in a multi-threaded processor environment. To prevent one thread from dominating the cache memory, a first mask value is provided for each thread. The access of the components to the cache memory is controlled by the first mask values. For example, the mask values can be selected so as to prevent a thread from accessing one or more of the ways in the cache (e.g., to evict, erase, delete, etc. a particular way in the cache). Also, the mask values can be set to allow certain of the ways in the cache to be shared between threads.

Description

6 parts
›BACKGROUND OF THE INVENTION

The present invention pertains to the control of access to a resource by two or more components. More particularly, the present invention pertains to selectively partitioning a resource (such as a cache resource) between two or more components that share the resource.

In a computer system or the like, main memory is provided (e.g., Dynamic Random Access Memory) for the storage of command information to be executed by a processor. The main memory can also store other forms of information besides command information including address information and data information that is manipulated through the execution of command information by the processor. Write and read operations to/from the main memory by the processor or any other device coupled to the main memory tend to be slow and time consuming. Accordingly, it is known in the art to provide an additional memory resource, such as a cache resource, coupled between the processor, for example, and the main memory. The cache resource stores information (e.g., command, address, and/or data information) that should be a copy of what is stored in the main memory or a more updated version of information stored in the main memory. A design feature of the cache resource is that it is typically faster to read/write information from/to the cache resource as compared to the main memory. For example, the cache memory can be Static Random Access Memory, which tends to be more expensive than DRAM but provides faster read/write transactions.

As stated above, the cache memory stores information that should be a copy of the same information as stored in the main memory or a more updated version. For example, the cache memory stores blocks (or “ways”) of information that have addresses equivalent to addresses for the same information stored in main memory. A processor that seeks to perform a read or write operation from/to the main memory will provide an address to the cache memory, which includes control circuitry for determining if the addressed block resides in the cache memory (and in the main memory) or in the main memory alone. If the addressed block is in the cache memory (sometimes referred to as a “cache hit”), then the read or write operation continues with the block of information in the cache memory. If the addressed block is not in the cache memory (sometimes referred to as a “cache miss”), then the addressed block is retrieved from main memory and placed into the cache memory so that the read or write operation can continue.

When it becomes necessary to retrieve information from the main memory for the cache memory, it is usually necessary to “evict” an addressed block of information from the cache memory to make room. In doing so, one or more addressed blocks are erased (or overwritten by the new information from main memory). If the information from the cache is more up-to-date than the same addressed block in main memory, then during the eviction process, the addressed block is written to the main memory before being erased.

Several algorithms exist to determine which addressable block in the cache memory should be evicted when an addressable block of information needs to be written to the cache memory from the main memory. The Least Recently Used (LRU) algorithm is a common one that attempts to evict the addressable block that is the stalest block in the cache memory (i.e., the one block that has not been read from or written to the longest amount of time).

A problem can arise when the cache memory is shared by two or more components utilizing the cache memory. It is possible that one component can so dominate the cache memory resource that addressable blocks used by the other component will be evicted. Thus, read and/or write operations to the cache memory by the other component will often result in a cache miss. Cache misses lower the performance benefits of the cache because two operations may need to be performed. First, an eviction process may take place, where data in the cache is written back to the main memory. Second, a read operation from the main memory takes place for the addressed block of information. These two steps will typically take longer than a simple read/write operation at the cache memory. As used herein, a “component” is defined as any device or functional mechanism that uses the cache. For example, a component can include two or more threads executed by a processor, where a thread is a series of instructions whose execution achieves a given task (e.g., a subroutine). Components can also include data and instruction operations with the cache memory, the execution of specific types of instructions (e.g., a pre-fetch instruction), and speculative and non-speculative operations to the cache memory.

In view of the above, there is a need for an improved method and apparatus for controlling access to a resource by two or more components.

›SUMMARY OF THE INVENTION

According to an embodiment of the present invention, an apparatus for sharing a resource between at least two components is provided. A resource having a plurality of elements is coupled to an access controller. First and second components are coupled to the access controller and adapted to access the elements of the resource. The access controller is adapted to control which of the components are able to access which elements of the resource.

›BRIEF DESCRIPTION OF THE DRAWINGS

FIG. 1 is a block diagram of a resource system constructed according to an embodiment of the present invention.

FIG. 2 is a block diagram of a memory system incorporating an embodiment of the present invention.

FIG. 3 is a more detailed block diagram of the cache memory of FIG. 1 .

FIGS. 4 a and b are flow diagrams of methods according to embodiments of the present invention.

›DETAILED DESCRIPTION · 1 of 3

Referring to FIG. 1, a resource system constructed according to an embodiment of the present invention is shown. A plurality of components (e.g. a first component 1 , a second component 2 , . . . , an nth component 3 ) are coupled to a resource 6 via an access controller 4 . Resource 6 is a device such as a memory or any other device that is accessed based on a LRU algorithm or the like includes a plurality of subparts or elements 7 . For example, resource 6 may be a translate lookaside buffer (TLB) that stores recently used addresses for pages of memory in a main storage device; a cache memory; a structure of write-combining buffers, etc. Access controller 4 controls access of the components to the individual elements of the resource. For example, the access controller may allow any number of the elements to be evicted, deleted, erased, etc. exclusively by one or more components (i.e., a “destructive access” to the elements of the resource) and allow each component to perform read or write operations from/to all elements of the resource. The access controller may also allow any number of the elements to be shared by two or more components (e.g., elements can be evicted, deleted, erased, etc. only by the components sharing these elements). In one embodiment, access controller 4 includes at least one register 5 for storing one or more mask values. In this embodiment of the present invention, the components 1 - 3 are granted access to the elements of the resource based on the mask value(s) stored in the access controller. For example, the mask value(s) in register 5 can be set as desired to dynamically control how the elements of the resource are shared between selected components.

Referring to FIG. 2, a block diagram of a system incorporating an embodiment of the present invention is shown. In this embodiment, the resource is a cache memory including a plurality of addressable blocks or ways. A processor 10 is provided (e.g., a Pentium® II processor manufactured by Intel Corporation, Santa Clara, Calif.). Processor 10 reads and writes data from/to a main memory 30 (e.g., DRAM) and a resource such as cache memory 20 . Cache memory 20 includes eight addressable blocks or ways in this example. One skilled in the art will appreciate that cache memory 20 may include more than one set of ways as shown in FIG. 3 .

A more detailed block diagram of the cache memory 20 is shown in FIG. 3 . Address information (e.g., from processor 10 in FIG. 2) is supplied to a cache controller 21 in cache memory 20 . In this example, cache controller performs an address comparison operation to determine if the address of the block that is sought to be read from or written to is present in a cache storage array 23 (e.g., having eight ways, such as way 23 a ). If the address is found then data from processor 10 is written to the appropriate way of cache storage array 23 (during a write operation) or data from the selected way is sent back to the processor (during a read operation).

If there is no match between the address sent by processor 10 and those addresses that are currently residing in cache 20 , an access must be made to main memory 30 (potentially resulting in one of the ways in cache storage array 23 being evicted). In this embodiment, cache controller 21 performs an LRU eviction procedure to determine which of the ways in cache storage array 23 is to be evicted as described below.

As set forth above, the cache memory could be shared between two or more components (e.g., first component 11 a , second component 11 b , . . . , nth component 11 n ). In this example, it is assumed that first component 11 a includes the execution of instructions from a first thread (thread 0 ) and second component 11 b includes the execution of instructions from a second thread (thread 1 ). In a conventional cache system, the cache memory is shared equally between each thread (i.e., each thread can cause an eviction of any way in the cache memory). Accordingly, when processor 10 accesses cache memory 20 , there is an indication as to which thread is being executed during this cache access. This can be achieved in a variety of ways. In FIGS. 2-3, the indication is provided by processor 10 by providing an appropriate signal on a component “Select” line. An indication of which thread is being executed during the cache access can also be provided through the operating system (e.g., the Window® 95 operating system from Microsoft Corporation, Redmond, Wash.).

According to an embodiment of the present invention, one or more registers 34 are provided in cache controller 21 so as to selectively partition the cache resource among two or more components. In this example, each way of cache storage array 23 can be assigned solely to any individual component or can be assigned to be shared by two or more components. Two methods for providing the allocation of the cache memory are described below with respect to a LRU replacement algorithm.

In the first method, a seven-bit array L[ 0 . . . 6 ] can be used to indicate which of the eight ways ( 0 through 7 ) in cache stored array 23 has been least recently used as shown in Table I.

Array L[ 0 . . . 6 ] is a known manner for identifying an LRU way in a cache storage array and is typically updated prior to or after each read/write operation to the cache storage array. For example, a value for L[ 0 . . . 6 ] of { 1111110 } indicates that way 6 is the LRU way because L[ 0 ]=1 indicates that the LRU way is in the upper quad, L[ 2 ]=1 indicates that the LRU way is in the second pair of the upper quad, and L[ 6 ]=0 indicates that way 6 is the LRU way. As each way is updated (i.e., after a write or read operation to the way), the L[ 0 . . . 6 ] array is modified as shown in Table II.

By way of example, when way 1 is updated, bits 0 and 1 of the L[ 0 . . . 6 ] array are set to “1” and bit 3 of the array is set to “0” (entries marked with “x” are not modified). Thus, after the L[ 0 . . . 6 ] array is initially set to all “0's,” the array can be used to indicate which way is the LRU way. Accordingly, at any particular time, a way is a candidate for eviction if the boolean equation for that way is true as shown in Table III.

›DETAILED DESCRIPTION · 2 of 3

Partitioning of the cache, for example for two components, is then achieved using four mask values (e.g., stored in a register 34 in the cache controller). In this example, the execution of two threads shares the cache memory and each thread has assigned to it first and second mask values. The first of these mask values are eight bit arrays (V 0 [ 0 . . . 7 ] and V 1 [ 0 . . . 7 ]) of the eviction outputs that should be used (i.e., which addressable blocks of the cache are available for eviction). The second of these mask values are seven bit arrays (E 0 [ 0 . . . 6 ] and E 1 [ 0 . . . 6 ]) which control which LRU bits from the L[ 0 . . . 6 ] array should be used to make an eviction decision.

It is assumed that two control signals are present, t 0 and t 1 , which indicate which component is accessing the cache memory when an eviction needs to be made (e.g., when thread 0 is accessing the cache when an eviction is needed, t 0 is set to “1” and t 1 is set to “0”). Using the values for t 0 and t 1 , the second mask array is used to determine which ways can be evicted according to the boolean equations shown in Table IV.

In the equations of Table IV, the t 0 and t 1 values select either the E 0 [ 0 . . . 6 ] or E 1 [ 0 . . . 6 ] masks, and the E 0 [ 0 . . . 6 ] and E 1 [ 0 . . . 6 ] masks are used to mask which of the L[ 0 . . . 6 ] bits are to be used to assign values to Evict( 0 ) to Evict( 7 ). The Evict( 0 ) to Evict( 7 ) values can then be used in the partition eviction (Pevict) equations of Table V.

The operation of the equations in Tables IV and V is described below with two examples. In a first example the cache resource is shared such that ways 0 - 3 are dedicated to execution of thread 0 (t 0 ) and ways 4 - 7 are dedicated to execution of thread 1 (t 1 ). Accordingly, the second masks would be E 0 [ 0 . . . 6 ]=0101100 and E 1 [ 0 . . . 6 ]=0010011 and the first masks would be V 0 [ 0 . . . 7 ]=11110000 and V 1 [ 0 . . . 7 ]=00001111. In this example, the execution of thread 0 seeks to access the cache resource and an eviction of one of the ways is necessary (t 0 =1 and t 1 =0). In the second mask, E 0 [ 0 . . . 6 ], bits 1 , 3 , and 4 are set. Looking at the equations in Table IV, only L[ 1 ], L[ 3 ], and L[ 4 ] are used to set the values for Evict( 0 ) to Evict( 3 ) (Evict( 4 ) to Evict( 7 ) are each set to 1 and are not used due to the partition of the cache resource). Since, the value for L[ 0 ] indicates whether ways 0 - 3 or ways 4 - 7 contain the LRU way, this value is not needed since in this partitioning example only ways 0 - 3 would be used for the first component (thread 0 ). Since, the values for L[ 2 ], L[ 5 ], and L[ 6 ] refer to which of ways 4 - 7 are the LRU way, these values are also not needed for this partitioning example. Once the values for at least Evict( 0 ) to Evict( 3 ) have been set, the first mask V 0 [ 0 . . . 7 ] masks out Evict values which are not available in this partitioning example. Accordingly, referring to the equations of Tables IV and V, values for Pevict( 0 ) to Pevict( 3 ) will depend on the values of L[ 1 ], L[ 3 ], and L[ 4 ] while the values for Pevict( 4 ) to Pevict( 7 ) are set to 0 . Thus, the LRU way of ways 0 - 3 will be selected for eviction even if the LRU way of ways 0 - 7 resides in ways 4 - 7 .

In the second example, ways 0 - 1 are dedicated to the execution of thread 0 , ways 2 - 3 are dedicated to the execution of thread 1 and ways 4 - 7 are shared between the two threads. Accordingly, the second masks would be E 0 [ 0 . . . 6 ]=1011011 and E 1 [ 0 . . . 6 ]=1010111 and the first masks would be V 0 [ 0 . . . 7 ]=11001111 and V 1 [ 0 . . . 7 ]=00111111. During an access by thread 0 that requires an eviction in ways 0 - 7 , the value for L[ 1 ] is not needed because L[ 1 ] indicates whether ways 0 - 1 or ways 2 - 3 include the LRU way, and in this partitioning scheme, ways 2 - 3 are unavailable for eviction. The value for L[ 4 ] is also not needed for much of the same reason (i.e., L[ 4 ] indicates whether way 2 or way 3 is the LRU way and neither are used in this partitioning example). The second mask V 0 [ 0 . . . 7 ] works to make sure that Pevict( 2 ) and Pevict( 3 ) are set to 0 so that ways 2 - 3 are unavailable for eviction.

The first embodiment described above can be described as a “pseudo” LRU scheme because the determination of the available LRU way may not be precise in each eviction operation. The second embodiment described below can be referred to as a “true” LRU scheme because it is more accurate in determining which of the available ways for eviction is the least recently used.

In this example of the second embodiment, a twenty-eight bit array is used where each bit indicates a relationship between two ways in an eight way cache resource. For example, and referring to Table VI, the binary value for L[ 15 ] indicates whether way 2 (as indicated in the column heading) is more recently used than way 5 (as indicated in the row heading).

Given this array, each time that a way is updated, several of the bits in the L[ 0 . . . 27 ] array are updated so as to give an accurate indication of the LRU way. In this embodiment, all bits in the L[ 0 . . . 27 ] array are initialized to 0 and when way n (where n=0 to 7) is updated, elements in row n should be set to 0 and all elements in column n should be set to 1 (see Table VI). The updating for the values in the L[ 0 . . . 27 ] array for each type of update is shown in Table VII.

As in the Pseudo LRU method above, those entries marked with an “x” are unchanged during the updating process. Victim selection for each way ( 0 to 7 ), using the L[ 0 . . . 27 ] array, is the complement of the Update entries in Table VII. This is shown for Evict( 0 ) to Evict ( 7 ) in Table VIII, where an apostrophe (“′”) indicates a boolean NOT function.

For example, to evict way 1 , L[ 0 ] should be 1 (indicating that way 0 is more recently used than way 1 ) and L[ 7 . . . 12 ] should all be set to 0 (indicating that each of ways 2 - 7 are more recently used than way 1 ).

›DETAILED DESCRIPTION · 3 of 3

According to an embodiment of the present invention where the execution of two threads shares a cache resource, a first mask value is selected for each thread to partition the cache resource as described in further detail below. In this embodiment, three control signals are provided (e.g., in a manner similar to the first method described above)—ST (single thread), t 0 (thread 0 ), and t 1 (thread 1 ). When ST is set to “1” (i.e., indicating that a single thread, rather than multiple threads, are accessing the cache memory), t 0 and t 1 are set to “1” as well. In a multi-threaded environment, ST is set to “0” and one of t 0 and t 1 is set to “1” while the other is set to “0.” The operation of the first mask value is shown by way of an example, below.

In this example, ways 0 and 1 are dedicated to the execution of thread 0 , ways 6 and 7 are dedicated to the execution of thread 1 , and ways 2 - 5 are shared between threads 0 and 1 . The first mask for thread 0 would be M 0 [ 0 . . . 7 ]=11111100 and for thread 1 would be M 1 [ 0 . . . 7 ]=00111111. Using the control signals, a first or auxiliary mask value can be created depending on the environment (e.g., single thread or multi-thread environment) as shown in Table IX.

As seen from Table IX, the individual bits of the auxiliary mask value are set to 1 if ST is set to 1 or to the appropriate bits of the M 0 [ 0 . . . 7 ] and M 1 [ 0 . . . 7 ] arrays if only one of the t 0 and t 1 values are set (if neither are set, then a way remains unaccessible). The auxiliary mask is then used to mask the L[ 0 . . . 27 ] array so as to set the appropriate bit in an eviction array W[ 0 . . . 7 ] as shown in Table X.

Accordingly, the auxiliary mask value in this embodiment serves at least two purposes. First, it sets particular eviction bits in array W[ 0 . . . 7 ] if the corresponding way is dedicated to the other thread. For example, if thread 0 is being executed, then bits W[ 6 ] and W[ 7 ] will be set to 0 in this example making ways 6 and 7 unavailable for eviction. Second, the auxiliary mask value selects which bits from the L[ 0 . . . 27 ] array will be used to set the particular eviction bits in W[ 0 . . . 7 ]. For example, if thread 0 is being executed, then certain values of the L[ 0 . . . 27 ] array are not needed to find the LRU way of ways 0 to 5 (the only available ways in this example). Thus, referring back to Table VI, bits of the L[ 0 . . . 27 ] array in rows 6 and 7 and column 6 are not needed to set values in W[ 0 ] to W[ 5 ] and thus are masked out by the auxiliary mask.

Referring to FIG. 4 a , a flow diagram of a method according to a first embodiment of the present invention is shown. Though this method can be implemented using the systems shown in FIGS. 1-3, one skilled in the art will appreciate that this method can also be implemented as a set of instructions or code residing in a storage medium and executed by a processor or the like. In step 41 component access to the resource is initialized and set up. For example, it is determined which, if any, of the components will have sole access to one or more of the elements of the resource (e.g., which component will be able to cause an eviction, erasure, etc. of one or more of the elements to the exclusion of the other components). It is also determined which, if any, of the components will share access to one or more of the elements of the resource. As described above this determination could result in the generation of the first and/or second mask values.

In step 42 , it is determined whether a component is accessing the resource (e.g., where an eviction of one of the elements needs to take place). If a component is seeking to access the resource, control passes to step 43 to determine which component (e.g., execution of a particular thread) seeks access to the resource. With this information, the first mask value is used to determine which of the elements of the resource are available for access for the component (step 44 ). In step 45 , a second mask value may be used to determine which bits of an eviction array are used in controlling which of the elements are available for eviction, etc. In step 46 it is determined which element of the resource can be accessed by the component (e.g., the least recently used of the available elements), and the access (e.g., the eviction of the element) is completed. Control passes to decision block 42 for the next attempted access to the resource.

Referring to FIG. 4 b , a flow diagram for a second embodiment of the present invention is shown. In FIG. 4 a , steps 44 and 45 are performed for the “pseudo” LRU embodiment described above. The method shown in FIG. 4 b is similar to that of FIG. 4 a but is for the “true” LRU embodiment described above, and the auxiliary mask value is used instead of the first and second mask values. To that end, in step 44 a , the auxiliary mask value is used to determine which of the elements of the resource are available for access by the component and which bits of an eviction array are used in controlling which of the elements are available for eviction, etc. as described above.

Although embodiments are specifically illustrated and described herein, it will be appreciated that modifications and variations of the present invention are covered by the above teachings and within the purview of the appended claims without departing from the spirit and intended scope of the invention. For example, though in the embodiments described above, one or more registers are provided to store mask values, one skilled in the art will appreciate that the values stored in the registers can be implemented as a permanent or semi-permanent part of the logic for the access controller to control access to the resource in a similar manner. Also, although the present invention is described with respect to the execution of two or more threads accessing a cache resource, the present invention can be expanded to other access devices accessing a cache memory. Furthermore, the present invention can also be expanded to resources other than memory structures.

›Tables in the description — 6
TABLE I
L[0]identifies whether the LRU way is in the lower quad (ways 0-3) or
in the upper quad (ways 4-7)
L[1]identifies whether the LRU way is in the first pair (ways 0-1) or
second pair (ways 2-3) of the lower quad
L[2]identifies whether the LRU way is in the first pair (ways 4-5) or
second pair (ways 6-7) of the upper quad
L[3]identifies which of the ways in the first pair of the lower quad is
the LRU way
L[4]identifies which of the ways in the second pair of the lower quad is
the LRU way
L[5]identifies which of the ways in the first pair of the upper quad is
the LRU way
L[6]identifies which of the ways in the second pair of the upper quad is
the LRU way
TABLE II — Values for L [0 . . . 6]
0123456
Update[0]11x1xxx
Update[1]11x0xxx
Update[2]10xx1xx
Update[3]10xx0xx
Update[4]0x1xx1x
Update[5]0x1xx0x
Update[6]0x0xxx1
Update[7]0x0xxx0
TABLE IV
Evict[ If ((E0[0] AND t0) OR (E1[0] AND t1)) then NOT(L[0]) else 1 ]
(0) =AND
[ If ((E0[1] AND t0) OR (E1[1] AND t1)) then NOT(L[1]) else 1 ]
AND
[ If ((E0[3] AND t0) OR (E1[3] AND t1)) then NOT(L[3]) else 1 ]
Evict[ If ((E0[0] AND t0) OR (E1[0] AND t1)) then NOT(L[0]) else 1 ]
(1) =AND
[ If ((E0[1] AND t0) OR (E1[1] AND t1)) then NOT(L[1]) else 1 ]
AND
[ If ((E0[3] AND t0) OR (E1[3] AND t1)) then L[3] else 1 ]
Evict[ If ((E0[0] AND t0) OR (E1[0] AND t1)) then NOT(L[0]) else 1 ]
(2) =AND
[ If ((E0[1] AND t0) OR (E1[1] AND t1)) then L[1] else 1 ] AND
[ If ((E0[4] AND t0) OR (E1[4] AND t1)) then NOT(L[4]) else 1 ]
Evict[ If ((E0[0] AND t0) OR (E1[0] AND t1)) then NOT(L[0]) else 1 ]
(3) =AND
[ If ((E0[1] AND t0) OR (E1[1] AND t1)) then L[1] else 1 ] AND
[ If ((E0[4] AND t0) OR (E1[4] AND t1)) then L[4] else 1 ]
Evict[ If ((E0[0] AND t0) OR (E1[0] AND t1)) then L[0]else 1 ] AND
(4) =[ If ((E0[2] AND t0) OR (E1[2] AND t1)) then NOT(L[2]) else 1 ]
AND
[ If ((E0[5] AND t0) OR (E1[5] AND t1)) then NOT(L[5]) else 1 ]
Evict[ If ((E0[0] AND t0) OR (E1[0] AND t1)) then L[0] else 1 ] AND
(5) =[ If ((E0[2] AND t0) OR (E1[2] AND t1)) then NOT(L[2]) else 1 ]
AND
[ If ((E0[5] AND t0) OR (E1[5] AND t1)) then L[5] else 1 ]
Evict[ If ((E0[0] AND t0) OR (E1[0] AND t1)) then L[0] else 1 ] AND
(6) =[ If ((E0[2] AND t0) OR (E1[2] AND t1)) then L[2] else 1 ] AND
[ If ((E0[6] AND t0) OR (E1[6] AND t1)) then NOT(L[6]) else 1 ]
Evict[ If ((E0[0] AND t0) OR (E1[0] AND t1)) then L[0] else 1 ] AND
(7) =[ If ((E0[2] AND t0) OR (E1[2] AND t1)) then L[2] else 1 ] AND
[ If ((E0[6] AND t0) OR (E1[6] AND t1)) then L[6] else 1 ]
TABLE VII — Values for L [0 . . . 27] 2 2 2 2 2 2 2 2 1 1 1 1 1 1 1 1 1 1 7 6 5 4 3 2 1 0 9 8 7 6 5 4 3 2 1 0 9 8 7 6 5 4 3 2 1 0
Initialization0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
Update(0)x x x x x x x x x x x x x x x x x x x x x 1 1 1 1 1 1 1
Update(1)x x x x x x x x x x x x x x x 1 1 1 1 1 1 x x x x x x 0
Update(2)x x x x x x x x x x 1 1 1 1 1 x x x x x 0 x x x x x 0 x
Update(3)x x x x x x 1 1 1 1 x x x x 0 x x x x 0 x x x x x 0 x x
Update(4)x x x 1 1 1 x x x 0 x x x 0 x x x x 0 x x x x x 0 x x x
Update(5)x 1 1 x x 0 x x 0 x x x 0 x x x x 0 x x x x x 0 x x x x
Update(6)1 x 0 x 0 x x 0 x x x 0 x x x x 0 x x x x x 0 x x x x x
Update(7)0 0 x 0 x x 0 x x x 0 x x x x 0 x x x x x 0 x x x x x x
TABLE VIII
EvictL[0]′ AND L[1]′ AND L[2]′ AND L[3]′ AND L[4]′ AND L[5]′
(0) =AND L[6]′
EvictL[0] AND L[7]′ AND L[8]′ AND L[9]′ AND L[10]′ AND L[11]′
(1) =AND L[12]′
EvictL[1] AND L[7] AND L[13]′ AND L[14]′ AND L[15]′ AND L[16]′
(2) =AND L[17]′
EvictL[2] AND L[8] AND L[13] AND L[18]′ AND L[19]′ AND L[20]′
(3) =AND L[21]′
EvictL[3] AND L[9] AND L[14] AND L[18] AND L[22]′ AND L[23]′
(4) =AND L[24]′
EvictL[4] AND L[10] AND L[15] AND L[19] AND L[22] AND L[25]′
(5) =AND L[26]′
EvictL[5] AND L[11] AND L[16] AND L[20] AND L[23] AND L[25]
(6) =AND L[27]′
EvictL[6] AND L[12] AND L[17] AND L[21] AND L[24] AND L[26]
(7) =AND L[27]
TABLE X
W[0] =M[0] AND (if M[1] then (L[0])′ else 1) AND (if M[2] then
(L[1])′ else 1) AND (if M[3] then (L[2])′ else 1) AND (if M[4]
then (L[3])′ else 1) AND (if M[5] then (L[4])′ else 1) AND (if
M[6] then (L[5])′ else 1) AND (if M[7] then (L[6])′ else 1)
W[1] =(if M[0] then L[0] else 1) AND M[1] AND (if M[2] then (L[7])′
else 1) AND (if M[3] then (L[8])′ else 1) AND (if M[4] then
(L[9])′ else 1) AND (if M[5] then (L[10])′ else 1) AND (if M[6]
then (L[11])′ else 1) AND (if M[7] then (L[12])′ else 1)
W[2] =(if M[0] then L[1] else 1) AND (if M[1] then L[7] else 1) AND
M[2] AND (if M[3] then (L[13])′ else 1) AND (if M[4] then
(L[14])′ else 1) AND (if M[5] then (L[15])′ else 1) AND (if
M[6] then (L[16])′ else 1) AND (if M[7] then (L[17])′ else 1)
W[3] =(if M[0] then L[2] else 1) AND (if M[1] then L[8] else 1) AND
(if M[2] then L[13] else 1) AND M[3] AND (if M[4] then
(L[18])′ else 1) AND (if M[5] then (L[19])′ else 1) AND (if
M[6] then (L[20])′ else 1) AND (if M[7] then (L[21])′ else 1)
W[4] =(if M[0] then L[3] else 1) AND (if M[1] then L[9] else 1) AND
(if M[2] then L[14] else 1) AND (if M[3] then L[18] else 1)
AND M[4] AND (if M[5] then (L[22])′ else 1) AND (if M[6]
then (L[23])′ else 1) AND (if M[7] then (L[24])′ else 1)
W[5] =(if M[0] then L[4] else 1) AND (if M[1] then L[10] else 1)
AND (if M[2] then L[15] else 1) AND (if M[3] then L[19] else
1) AND (if M[4] then L[22] else 1) AND M[5] AND (if M[6]
then (L[25])′ else 1) AND (if M[7] then (L[26])′ else 1)
W[6] =(if M[0] then L[5] else 1) AND (if M[1] then L[11] else 1)
AND (if M[2] then L[16] else 1) AND (if M[3] then L[20] else
1) AND (if M[4] then L[23] else 1) AND (if M[5] then (L[25])
else 1) AND M[6] AND(if M[7] then (L[27])′ else 1)
W[7] =(if M[0] then L[6] else 1) AND (if M[1] then L[12] else 1)
AND (if M[2] then L[17] else 1) AND (if M[3] then L[21] else
1) AND (if M[4] then L[24] else 1) AND (if M[5] then L[26]
else 1) AND (if M[6] then L[27] else 1) AND M[7]

Claims as granted

9 claims

Log in to read the claims of this application.

Log in to unlock

Classifications

3 codes
IPC · International Patent Classification
Section G — Physics
  • G06F12/08
USPC · US Patent Classification
707/2711/136

Claim changes

Soon
Coming soonHow the claims changed between publication and grant

See which claims were amended, added or cancelled during examination, with every added and removed word marked.

AmendedAddedCancelledUnchanged

The published claims of this application are not paired with the granted ones in what we hold.

File wrapper

⤢ drag to zoomJan 1999Jul 1999Jan 2000Jul 2000Jan 2001Jul 2001Jan 2002Jul 2002Jan 2003Jul 2003Jan 2004USPTOApplicantNon-final rejectionResponse after non-finalNotice of appeal filedNon-final rejectionFinal rejectionNotice of allowance
USPTOApplicanthover for detail · click to open
Pendency
4.9 y
1,804 days filing → grant
Office actions
4
non-final + final
Responses
3
1 RCE
Examiner
Safet Metjahic
art unit 2171 · TC 2100
Citations: 11 back · 11 forward

See the full prosecution history — every USPTO and applicant action on this file, in order.

Log in to unlock

Documents

Log in to open the documents of this file: the application as filed, every office action and response, the notice of allowance.

Log in to unlock

Chain of title

⤢ drag to zoom2000200220042006200820102012201420162018Owner 1
Titlehover for detail · click to open

See the full assignment history — every owner this patent has passed through, with recordation dates and reel/frame numbers.

Log in to unlock