base_set_assoc.hh revision 12728
14030Sktlim@umich.edu/*
23096Sstever@eecs.umich.edu * Copyright (c) 2012-2014,2017 ARM Limited
33096Sstever@eecs.umich.edu * All rights reserved.
43096Sstever@eecs.umich.edu *
53096Sstever@eecs.umich.edu * The license below extends only to copyright in the software and shall
63096Sstever@eecs.umich.edu * not be construed as granting a license to any other intellectual
73096Sstever@eecs.umich.edu * property including but not limited to intellectual property relating
83096Sstever@eecs.umich.edu * to a hardware implementation of the functionality of the software
93096Sstever@eecs.umich.edu * licensed hereunder.  You may use the software subject to the license
103096Sstever@eecs.umich.edu * terms below provided that you ensure that this notice is replicated
113096Sstever@eecs.umich.edu * unmodified and in its entirety in all distributions of the software,
123096Sstever@eecs.umich.edu * modified or unmodified, in source code or in binary form.
133096Sstever@eecs.umich.edu *
143096Sstever@eecs.umich.edu * Copyright (c) 2003-2005,2014 The Regents of The University of Michigan
153096Sstever@eecs.umich.edu * All rights reserved.
163096Sstever@eecs.umich.edu *
173096Sstever@eecs.umich.edu * Redistribution and use in source and binary forms, with or without
183096Sstever@eecs.umich.edu * modification, are permitted provided that the following conditions are
193096Sstever@eecs.umich.edu * met: redistributions of source code must retain the above copyright
203096Sstever@eecs.umich.edu * notice, this list of conditions and the following disclaimer;
213096Sstever@eecs.umich.edu * redistributions in binary form must reproduce the above copyright
223096Sstever@eecs.umich.edu * notice, this list of conditions and the following disclaimer in the
233096Sstever@eecs.umich.edu * documentation and/or other materials provided with the distribution;
243096Sstever@eecs.umich.edu * neither the name of the copyright holders nor the names of its
253096Sstever@eecs.umich.edu * contributors may be used to endorse or promote products derived from
263096Sstever@eecs.umich.edu * this software without specific prior written permission.
273096Sstever@eecs.umich.edu *
283096Sstever@eecs.umich.edu * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
293096Sstever@eecs.umich.edu * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
303096Sstever@eecs.umich.edu * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
316654Snate@binkert.org * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
323096Sstever@eecs.umich.edu * OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
333096Sstever@eecs.umich.edu * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
343096Sstever@eecs.umich.edu * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
353096Sstever@eecs.umich.edu * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
364444Ssaidi@eecs.umich.edu * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
373096Sstever@eecs.umich.edu * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
383096Sstever@eecs.umich.edu * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
393096Sstever@eecs.umich.edu *
404030Sktlim@umich.edu * Authors: Erik Hallnor
413096Sstever@eecs.umich.edu */
423096Sstever@eecs.umich.edu
434390Sktlim@umich.edu/**
443096Sstever@eecs.umich.edu * @file
453096Sstever@eecs.umich.edu * Declaration of a base set associative tag store.
463096Sstever@eecs.umich.edu */
473096Sstever@eecs.umich.edu
483096Sstever@eecs.umich.edu#ifndef __MEM_CACHE_TAGS_BASE_SET_ASSOC_HH__
497876Sgblack@eecs.umich.edu#define __MEM_CACHE_TAGS_BASE_SET_ASSOC_HH__
503096Sstever@eecs.umich.edu
513096Sstever@eecs.umich.edu#include <functional>
52#include <string>
53#include <vector>
54
55#include "base/logging.hh"
56#include "base/types.hh"
57#include "debug/CacheRepl.hh"
58#include "mem/cache/base.hh"
59#include "mem/cache/blk.hh"
60#include "mem/cache/replacement_policies/base.hh"
61#include "mem/cache/tags/base.hh"
62#include "mem/cache/tags/cacheset.hh"
63#include "mem/packet.hh"
64#include "params/BaseSetAssoc.hh"
65
66/**
67 * A BaseSetAssoc cache tag store.
68 * @sa  \ref gem5MemorySystem "gem5 Memory System"
69 *
70 * The BaseSetAssoc placement policy divides the cache into s sets of w
71 * cache lines (ways). A cache line is mapped onto a set, and can be placed
72 * into any of the ways of this set.
73 */
74class BaseSetAssoc : public BaseTags
75{
76  public:
77    /** Typedef the block type used in this tag store. */
78    typedef CacheBlk BlkType;
79    /** Typedef the set type used in this tag store. */
80    typedef CacheSet<CacheBlk> SetType;
81
82  protected:
83    /** The associativity of the cache. */
84    const unsigned assoc;
85    /** The allocatable associativity of the cache (alloc mask). */
86    unsigned allocAssoc;
87
88    /** The cache blocks. */
89    std::vector<BlkType> blks;
90
91    /** The number of sets in the cache. */
92    const unsigned numSets;
93
94    /** Whether tags and data are accessed sequentially. */
95    const bool sequentialAccess;
96
97    /** The cache sets. */
98    std::vector<SetType> sets;
99
100    /** The amount to shift the address to get the set. */
101    int setShift;
102    /** The amount to shift the address to get the tag. */
103    int tagShift;
104    /** Mask out all bits that aren't part of the set index. */
105    unsigned setMask;
106
107    /** Replacement policy */
108    BaseReplacementPolicy *replacementPolicy;
109
110  public:
111    /** Convenience typedef. */
112     typedef BaseSetAssocParams Params;
113
114    /**
115     * Construct and initialize this tag store.
116     */
117    BaseSetAssoc(const Params *p);
118
119    /**
120     * Destructor
121     */
122    virtual ~BaseSetAssoc() {};
123
124    /**
125     * This function updates the tags when a block is invalidated but does
126     * not invalidate the block itself. It also updates the replacement data.
127     *
128     * @param blk The block to invalidate.
129     */
130    void invalidate(CacheBlk *blk) override;
131
132    /**
133     * Find the cache block given set and way
134     * @param set The set of the block.
135     * @param way The way of the block.
136     * @return The cache block.
137     */
138    CacheBlk *findBlockBySetAndWay(int set, int way) const override;
139
140    /**
141     * Access block and update replacement data. May not succeed, in which case
142     * nullptr is returned. This has all the implications of a cache
143     * access and should only be used as such. Returns the access latency as a
144     * side effect.
145     * @param addr The address to find.
146     * @param is_secure True if the target memory space is secure.
147     * @param lat The access latency.
148     * @return Pointer to the cache block if found.
149     */
150    CacheBlk* accessBlock(Addr addr, bool is_secure, Cycles &lat) override
151    {
152        BlkType *blk = findBlock(addr, is_secure);
153
154        // Access all tags in parallel, hence one in each way.  The data side
155        // either accesses all blocks in parallel, or one block sequentially on
156        // a hit.  Sequential access with a miss doesn't access data.
157        tagAccesses += allocAssoc;
158        if (sequentialAccess) {
159            if (blk != nullptr) {
160                dataAccesses += 1;
161            }
162        } else {
163            dataAccesses += allocAssoc;
164        }
165
166        if (blk != nullptr) {
167            // If a cache hit
168            lat = accessLatency;
169            // Check if the block to be accessed is available. If not,
170            // apply the accessLatency on top of block->whenReady.
171            if (blk->whenReady > curTick() &&
172                cache->ticksToCycles(blk->whenReady - curTick()) >
173                accessLatency) {
174                lat = cache->ticksToCycles(blk->whenReady - curTick()) +
175                accessLatency;
176            }
177
178            // Update number of references to accessed block
179            blk->refCount++;
180
181            // Update replacement data of accessed block
182            replacementPolicy->touch(blk->replacementData);
183        } else {
184            // If a cache miss
185            lat = lookupLatency;
186        }
187
188        return blk;
189    }
190
191    /**
192     * Finds the given address in the cache, do not update replacement data.
193     * i.e. This is a no-side-effect find of a block.
194     * @param addr The address to find.
195     * @param is_secure True if the target memory space is secure.
196     * @param asid The address space ID.
197     * @return Pointer to the cache block if found.
198     */
199    CacheBlk* findBlock(Addr addr, bool is_secure) const override;
200
201    /**
202     * Find replacement victim based on address.
203     *
204     * @param addr Address to find a victim for.
205     * @return Cache block to be replaced.
206     */
207    CacheBlk* findVictim(Addr addr) override
208    {
209        // Get possible locations for the victim block
210        std::vector<CacheBlk*> locations = getPossibleLocations(addr);
211
212        // Choose replacement victim from replacement candidates
213        CacheBlk* victim = static_cast<CacheBlk*>(replacementPolicy->getVictim(
214                               std::vector<ReplaceableEntry*>(
215                                   locations.begin(), locations.end())));
216
217        DPRINTF(CacheRepl, "set %x, way %x: selecting blk for replacement\n",
218            victim->set, victim->way);
219
220        return victim;
221    }
222
223    /**
224     * Find all possible block locations for insertion and replacement of
225     * an address. Should be called immediately before ReplacementPolicy's
226     * findVictim() not to break cache resizing.
227     * Returns blocks in all ways belonging to the set of the address.
228     *
229     * @param addr The addr to a find possible locations for.
230     * @return The possible locations.
231     */
232    const std::vector<CacheBlk*> getPossibleLocations(Addr addr)
233    {
234        return sets[extractSet(addr)].blks;
235    }
236
237    /**
238     * Insert the new block into the cache and update replacement data.
239     *
240     * @param pkt Packet holding the address to update
241     * @param blk The block to update.
242     */
243    void insertBlock(PacketPtr pkt, CacheBlk *blk) override
244    {
245        // Insert block
246        BaseTags::insertBlock(pkt, blk);
247
248        // Update replacement policy
249        replacementPolicy->reset(blk->replacementData);
250    }
251
252    /**
253     * Limit the allocation for the cache ways.
254     * @param ways The maximum number of ways available for replacement.
255     */
256    virtual void setWayAllocationMax(int ways) override
257    {
258        fatal_if(ways < 1, "Allocation limit must be greater than zero");
259        allocAssoc = ways;
260    }
261
262    /**
263     * Get the way allocation mask limit.
264     * @return The maximum number of ways available for replacement.
265     */
266    virtual int getWayAllocationMax() const override
267    {
268        return allocAssoc;
269    }
270
271    /**
272     * Generate the tag from the given address.
273     * @param addr The address to get the tag from.
274     * @return The tag of the address.
275     */
276    Addr extractTag(Addr addr) const override
277    {
278        return (addr >> tagShift);
279    }
280
281    /**
282     * Calculate the set index from the address.
283     * @param addr The address to get the set from.
284     * @return The set index of the address.
285     */
286    int extractSet(Addr addr) const override
287    {
288        return ((addr >> setShift) & setMask);
289    }
290
291    /**
292     * Regenerate the block address from the tag and set.
293     *
294     * @param block The block.
295     * @return the block address.
296     */
297    Addr regenerateBlkAddr(const CacheBlk* blk) const override
298    {
299        return ((blk->tag << tagShift) | ((Addr)blk->set << setShift));
300    }
301
302    void forEachBlk(std::function<void(CacheBlk &)> visitor) override {
303        for (CacheBlk& blk : blks) {
304            visitor(blk);
305        }
306    }
307
308    bool anyBlk(std::function<bool(CacheBlk &)> visitor) override {
309        for (CacheBlk& blk : blks) {
310            if (visitor(blk)) {
311                return true;
312            }
313        }
314        return false;
315    }
316};
317
318#endif //__MEM_CACHE_TAGS_BASE_SET_ASSOC_HH__
319