base_set_assoc.hh revision 10941
12735Sktlim@umich.edu/*
22735Sktlim@umich.edu * Copyright (c) 2012-2014 ARM Limited
32735Sktlim@umich.edu * All rights reserved.
42735Sktlim@umich.edu *
52735Sktlim@umich.edu * The license below extends only to copyright in the software and shall
62735Sktlim@umich.edu * not be construed as granting a license to any other intellectual
72735Sktlim@umich.edu * property including but not limited to intellectual property relating
82735Sktlim@umich.edu * to a hardware implementation of the functionality of the software
92735Sktlim@umich.edu * licensed hereunder.  You may use the software subject to the license
102735Sktlim@umich.edu * terms below provided that you ensure that this notice is replicated
112735Sktlim@umich.edu * unmodified and in its entirety in all distributions of the software,
122735Sktlim@umich.edu * modified or unmodified, in source code or in binary form.
132735Sktlim@umich.edu *
142735Sktlim@umich.edu * Copyright (c) 2003-2005,2014 The Regents of The University of Michigan
152735Sktlim@umich.edu * All rights reserved.
162735Sktlim@umich.edu *
172735Sktlim@umich.edu * Redistribution and use in source and binary forms, with or without
182735Sktlim@umich.edu * modification, are permitted provided that the following conditions are
192735Sktlim@umich.edu * met: redistributions of source code must retain the above copyright
202735Sktlim@umich.edu * notice, this list of conditions and the following disclaimer;
212735Sktlim@umich.edu * redistributions in binary form must reproduce the above copyright
222735Sktlim@umich.edu * notice, this list of conditions and the following disclaimer in the
232735Sktlim@umich.edu * documentation and/or other materials provided with the distribution;
242735Sktlim@umich.edu * neither the name of the copyright holders nor the names of its
252735Sktlim@umich.edu * contributors may be used to endorse or promote products derived from
262735Sktlim@umich.edu * this software without specific prior written permission.
272735Sktlim@umich.edu *
282735Sktlim@umich.edu * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
292735Sktlim@umich.edu * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
302735Sktlim@umich.edu * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
312735Sktlim@umich.edu * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
322735Sktlim@umich.edu * OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
332735Sktlim@umich.edu * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
342735Sktlim@umich.edu * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
352735Sktlim@umich.edu * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
362735Sktlim@umich.edu * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
372735Sktlim@umich.edu * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
382735Sktlim@umich.edu * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
392735Sktlim@umich.edu *
402735Sktlim@umich.edu * Authors: Erik Hallnor
412735Sktlim@umich.edu */
422735Sktlim@umich.edu
432735Sktlim@umich.edu/**
442735Sktlim@umich.edu * @file
452735Sktlim@umich.edu * Declaration of a base set associative tag store.
462735Sktlim@umich.edu */
472735Sktlim@umich.edu
482735Sktlim@umich.edu#ifndef __MEM_CACHE_TAGS_BASESETASSOC_HH__
492735Sktlim@umich.edu#define __MEM_CACHE_TAGS_BASESETASSOC_HH__
502735Sktlim@umich.edu
513735Sstever@eecs.umich.edu#include <cassert>
522735Sktlim@umich.edu#include <cstring>
532735Sktlim@umich.edu#include <list>
543735Sstever@eecs.umich.edu
552735Sktlim@umich.edu#include "mem/cache/tags/base.hh"
562735Sktlim@umich.edu#include "mem/cache/tags/cacheset.hh"
572735Sktlim@umich.edu#include "mem/cache/base.hh"
583735Sstever@eecs.umich.edu#include "mem/cache/blk.hh"
592735Sktlim@umich.edu#include "mem/packet.hh"
602735Sktlim@umich.edu#include "params/BaseSetAssoc.hh"
613735Sstever@eecs.umich.edu
622735Sktlim@umich.edu/**
632735Sktlim@umich.edu * A BaseSetAssoc cache tag store.
643735Sstever@eecs.umich.edu * @sa  \ref gem5MemorySystem "gem5 Memory System"
652735Sktlim@umich.edu *
662735Sktlim@umich.edu * The BaseSetAssoc tags provide a base, as well as the functionality
672735Sktlim@umich.edu * common to any set associative tags. Any derived class must implement
683735Sstever@eecs.umich.edu * the methods related to the specifics of the actual replacment policy.
693735Sstever@eecs.umich.edu * These are:
702735Sktlim@umich.edu *
712735Sktlim@umich.edu * BlkType* accessBlock();
722735Sktlim@umich.edu * BlkType* findVictim();
732735Sktlim@umich.edu * void insertBlock();
742735Sktlim@umich.edu * void invalidate();
752735Sktlim@umich.edu */
762735Sktlim@umich.educlass BaseSetAssoc : public BaseTags
772735Sktlim@umich.edu{
782735Sktlim@umich.edu  public:
792735Sktlim@umich.edu    /** Typedef the block type used in this tag store. */
802735Sktlim@umich.edu    typedef CacheBlk BlkType;
812735Sktlim@umich.edu    /** Typedef for a list of pointers to the local block class. */
822735Sktlim@umich.edu    typedef std::list<BlkType*> BlkList;
832735Sktlim@umich.edu    /** Typedef the set type used in this tag store. */
842735Sktlim@umich.edu    typedef CacheSet<CacheBlk> SetType;
852735Sktlim@umich.edu
864172Ssaidi@eecs.umich.edu
872735Sktlim@umich.edu  protected:
882735Sktlim@umich.edu    /** The associativity of the cache. */
892735Sktlim@umich.edu    const unsigned assoc;
904172Ssaidi@eecs.umich.edu    /** The allocatable associativity of the cache (alloc mask). */
912735Sktlim@umich.edu    unsigned allocAssoc;
922735Sktlim@umich.edu    /** The number of sets in the cache. */
934172Ssaidi@eecs.umich.edu    const unsigned numSets;
942735Sktlim@umich.edu    /** Whether tags and data are accessed sequentially. */
952735Sktlim@umich.edu    const bool sequentialAccess;
962735Sktlim@umich.edu
974172Ssaidi@eecs.umich.edu    /** The cache sets. */
982735Sktlim@umich.edu    SetType *sets;
992735Sktlim@umich.edu
1002735Sktlim@umich.edu    /** The cache blocks. */
1012735Sktlim@umich.edu    BlkType *blks;
1022735Sktlim@umich.edu    /** The data blocks, 1 per cache block. */
1032735Sktlim@umich.edu    uint8_t *dataBlks;
1042735Sktlim@umich.edu
1052735Sktlim@umich.edu    /** The amount to shift the address to get the set. */
1062735Sktlim@umich.edu    int setShift;
1072735Sktlim@umich.edu    /** The amount to shift the address to get the tag. */
1082735Sktlim@umich.edu    int tagShift;
1098444Sgblack@eecs.umich.edu    /** Mask out all bits that aren't part of the set index. */
1107520Sgblack@eecs.umich.edu    unsigned setMask;
1118444Sgblack@eecs.umich.edu    /** Mask out all bits that aren't part of the block offset. */
1128444Sgblack@eecs.umich.edu    unsigned blkMask;
1137520Sgblack@eecs.umich.edu
1145702Ssaidi@eecs.umich.edupublic:
1155702Ssaidi@eecs.umich.edu
1165702Ssaidi@eecs.umich.edu    /** Convenience typedef. */
1175702Ssaidi@eecs.umich.edu     typedef BaseSetAssocParams Params;
1185702Ssaidi@eecs.umich.edu
1195702Ssaidi@eecs.umich.edu    /**
1205702Ssaidi@eecs.umich.edu     * Construct and initialize this tag store.
1215702Ssaidi@eecs.umich.edu     */
1225702Ssaidi@eecs.umich.edu    BaseSetAssoc(const Params *p);
1238779Sgblack@eecs.umich.edu
1242735Sktlim@umich.edu    /**
1252735Sktlim@umich.edu     * Destructor
1266973Stjones1@inf.ed.ac.uk     */
1276973Stjones1@inf.ed.ac.uk    virtual ~BaseSetAssoc();
1286973Stjones1@inf.ed.ac.uk
1292735Sktlim@umich.edu    /**
130     * Return the block size.
131     * @return the block size.
132     */
133    unsigned
134    getBlockSize() const
135    {
136        return blkSize;
137    }
138
139    /**
140     * Return the subblock size. In the case of BaseSetAssoc it is always
141     * the block size.
142     * @return The block size.
143     */
144    unsigned
145    getSubBlockSize() const
146    {
147        return blkSize;
148    }
149
150    /**
151     * Return the number of sets this cache has
152     * @return The number of sets.
153     */
154    unsigned
155    getNumSets() const
156    {
157        return numSets;
158    }
159
160    /**
161     * Return the number of ways this cache has
162     * @return The number of ways.
163     */
164    unsigned
165    getNumWays() const
166    {
167        return assoc;
168    }
169
170    /**
171     * Find the cache block given set and way
172     * @param set The set of the block.
173     * @param way The way of the block.
174     * @return The cache block.
175     */
176    CacheBlk *findBlockBySetAndWay(int set, int way) const;
177
178    /**
179     * Invalidate the given block.
180     * @param blk The block to invalidate.
181     */
182    void invalidate(CacheBlk *blk)
183    {
184        assert(blk);
185        assert(blk->isValid());
186        tagsInUse--;
187        assert(blk->srcMasterId < cache->system->maxMasters());
188        occupancies[blk->srcMasterId]--;
189        blk->srcMasterId = Request::invldMasterId;
190        blk->task_id = ContextSwitchTaskId::Unknown;
191        blk->tickInserted = curTick();
192    }
193
194    /**
195     * Access block and update replacement data. May not succeed, in which case
196     * NULL pointer is returned. This has all the implications of a cache
197     * access and should only be used as such. Returns the access latency as a
198     * side effect.
199     * @param addr The address to find.
200     * @param is_secure True if the target memory space is secure.
201     * @param asid The address space ID.
202     * @param lat The access latency.
203     * @return Pointer to the cache block if found.
204     */
205    CacheBlk* accessBlock(Addr addr, bool is_secure, Cycles &lat,
206                                 int context_src)
207    {
208        Addr tag = extractTag(addr);
209        int set = extractSet(addr);
210        BlkType *blk = sets[set].findBlk(tag, is_secure);
211        lat = accessLatency;;
212
213        // Access all tags in parallel, hence one in each way.  The data side
214        // either accesses all blocks in parallel, or one block sequentially on
215        // a hit.  Sequential access with a miss doesn't access data.
216        tagAccesses += allocAssoc;
217        if (sequentialAccess) {
218            if (blk != NULL) {
219                dataAccesses += 1;
220            }
221        } else {
222            dataAccesses += allocAssoc;
223        }
224
225        if (blk != NULL) {
226            if (blk->whenReady > curTick()
227                && cache->ticksToCycles(blk->whenReady - curTick())
228                > accessLatency) {
229                lat = cache->ticksToCycles(blk->whenReady - curTick());
230            }
231            blk->refCount += 1;
232        }
233
234        return blk;
235    }
236
237    /**
238     * Finds the given address in the cache, do not update replacement data.
239     * i.e. This is a no-side-effect find of a block.
240     * @param addr The address to find.
241     * @param is_secure True if the target memory space is secure.
242     * @param asid The address space ID.
243     * @return Pointer to the cache block if found.
244     */
245    CacheBlk* findBlock(Addr addr, bool is_secure) const;
246
247    /**
248     * Find an invalid block to evict for the address provided.
249     * If there are no invalid blocks, this will return the block
250     * in the least-recently-used position.
251     * @param addr The addr to a find a replacement candidate for.
252     * @return The candidate block.
253     */
254    CacheBlk* findVictim(Addr addr)
255    {
256        BlkType *blk = NULL;
257        int set = extractSet(addr);
258
259        // prefer to evict an invalid block
260        for (int i = 0; i < allocAssoc; ++i) {
261            blk = sets[set].blks[i];
262            if (!blk->isValid())
263                break;
264        }
265
266        return blk;
267    }
268
269    /**
270     * Insert the new block into the cache.
271     * @param pkt Packet holding the address to update
272     * @param blk The block to update.
273     */
274     void insertBlock(PacketPtr pkt, CacheBlk *blk)
275     {
276         Addr addr = pkt->getAddr();
277         MasterID master_id = pkt->req->masterId();
278         uint32_t task_id = pkt->req->taskId();
279
280         if (!blk->isTouched) {
281             tagsInUse++;
282             blk->isTouched = true;
283             if (!warmedUp && tagsInUse.value() >= warmupBound) {
284                 warmedUp = true;
285                 warmupCycle = curTick();
286             }
287         }
288
289         // If we're replacing a block that was previously valid update
290         // stats for it. This can't be done in findBlock() because a
291         // found block might not actually be replaced there if the
292         // coherence protocol says it can't be.
293         if (blk->isValid()) {
294             replacements[0]++;
295             totalRefs += blk->refCount;
296             ++sampledRefs;
297             blk->refCount = 0;
298
299             // deal with evicted block
300             assert(blk->srcMasterId < cache->system->maxMasters());
301             occupancies[blk->srcMasterId]--;
302
303             blk->invalidate();
304         }
305
306         blk->isTouched = true;
307
308         // Set tag for new block.  Caller is responsible for setting status.
309         blk->tag = extractTag(addr);
310
311         // deal with what we are bringing in
312         assert(master_id < cache->system->maxMasters());
313         occupancies[master_id]++;
314         blk->srcMasterId = master_id;
315         blk->task_id = task_id;
316         blk->tickInserted = curTick();
317
318         // We only need to write into one tag and one data block.
319         tagAccesses += 1;
320         dataAccesses += 1;
321     }
322
323    /**
324     * Limit the allocation for the cache ways.
325     * @param ways The maximum number of ways available for replacement.
326     */
327    virtual void setWayAllocationMax(int ways)
328    {
329        fatal_if(ways < 1, "Allocation limit must be greater than zero");
330        allocAssoc = ways;
331    }
332
333    /**
334     * Get the way allocation mask limit.
335     * @return The maximum number of ways available for replacement.
336     */
337    virtual int getWayAllocationMax() const
338    {
339        return allocAssoc;
340    }
341
342    /**
343     * Generate the tag from the given address.
344     * @param addr The address to get the tag from.
345     * @return The tag of the address.
346     */
347    Addr extractTag(Addr addr) const
348    {
349        return (addr >> tagShift);
350    }
351
352    /**
353     * Calculate the set index from the address.
354     * @param addr The address to get the set from.
355     * @return The set index of the address.
356     */
357    int extractSet(Addr addr) const
358    {
359        return ((addr >> setShift) & setMask);
360    }
361
362    /**
363     * Align an address to the block size.
364     * @param addr the address to align.
365     * @return The block address.
366     */
367    Addr blkAlign(Addr addr) const
368    {
369        return (addr & ~(Addr)blkMask);
370    }
371
372    /**
373     * Regenerate the block address from the tag.
374     * @param tag The tag of the block.
375     * @param set The set of the block.
376     * @return The block address.
377     */
378    Addr regenerateBlkAddr(Addr tag, unsigned set) const
379    {
380        return ((tag << tagShift) | ((Addr)set << setShift));
381    }
382
383    /**
384     *iterated through all blocks and clear all locks
385     *Needed to clear all lock tracking at once
386     */
387    virtual void clearLocks();
388
389    /**
390     * Called at end of simulation to complete average block reference stats.
391     */
392    virtual void cleanupRefs();
393
394    /**
395     * Print all tags used
396     */
397    virtual std::string print() const;
398
399    /**
400     * Called prior to dumping stats to compute task occupancy
401     */
402    virtual void computeStats();
403
404    /**
405     * Visit each block in the tag store and apply a visitor to the
406     * block.
407     *
408     * The visitor should be a function (or object that behaves like a
409     * function) that takes a cache block reference as its parameter
410     * and returns a bool. A visitor can request the traversal to be
411     * stopped by returning false, returning true causes it to be
412     * called for the next block in the tag store.
413     *
414     * \param visitor Visitor to call on each block.
415     */
416    void forEachBlk(CacheBlkVisitor &visitor) M5_ATTR_OVERRIDE {
417        for (unsigned i = 0; i < numSets * assoc; ++i) {
418            if (!visitor(blks[i]))
419                return;
420        }
421    }
422};
423
424#endif // __MEM_CACHE_TAGS_BASESETASSOC_HH__
425