base_set_assoc.hh revision 12600
110263Satgutier@umich.edu/*
212566Snikos.nikoleris@arm.com * Copyright (c) 2012-2014,2017 ARM Limited
310263Satgutier@umich.edu * All rights reserved.
410263Satgutier@umich.edu *
510263Satgutier@umich.edu * The license below extends only to copyright in the software and shall
610263Satgutier@umich.edu * not be construed as granting a license to any other intellectual
710263Satgutier@umich.edu * property including but not limited to intellectual property relating
810263Satgutier@umich.edu * to a hardware implementation of the functionality of the software
910263Satgutier@umich.edu * licensed hereunder.  You may use the software subject to the license
1010263Satgutier@umich.edu * terms below provided that you ensure that this notice is replicated
1110263Satgutier@umich.edu * unmodified and in its entirety in all distributions of the software,
1210263Satgutier@umich.edu * modified or unmodified, in source code or in binary form.
1310263Satgutier@umich.edu *
1410263Satgutier@umich.edu * Copyright (c) 2003-2005,2014 The Regents of The University of Michigan
1510263Satgutier@umich.edu * All rights reserved.
1610263Satgutier@umich.edu *
1710263Satgutier@umich.edu * Redistribution and use in source and binary forms, with or without
1810263Satgutier@umich.edu * modification, are permitted provided that the following conditions are
1910263Satgutier@umich.edu * met: redistributions of source code must retain the above copyright
2010263Satgutier@umich.edu * notice, this list of conditions and the following disclaimer;
2110263Satgutier@umich.edu * redistributions in binary form must reproduce the above copyright
2210263Satgutier@umich.edu * notice, this list of conditions and the following disclaimer in the
2310263Satgutier@umich.edu * documentation and/or other materials provided with the distribution;
2410263Satgutier@umich.edu * neither the name of the copyright holders nor the names of its
2510263Satgutier@umich.edu * contributors may be used to endorse or promote products derived from
2610263Satgutier@umich.edu * this software without specific prior written permission.
2710263Satgutier@umich.edu *
2810263Satgutier@umich.edu * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
2910263Satgutier@umich.edu * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
3010263Satgutier@umich.edu * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
3110263Satgutier@umich.edu * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
3210263Satgutier@umich.edu * OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
3310263Satgutier@umich.edu * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
3410263Satgutier@umich.edu * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
3510263Satgutier@umich.edu * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
3610263Satgutier@umich.edu * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
3710263Satgutier@umich.edu * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
3810263Satgutier@umich.edu * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
3910263Satgutier@umich.edu *
4010263Satgutier@umich.edu * Authors: Erik Hallnor
4110263Satgutier@umich.edu */
4210263Satgutier@umich.edu
4310263Satgutier@umich.edu/**
4410263Satgutier@umich.edu * @file
4510263Satgutier@umich.edu * Declaration of a base set associative tag store.
4610263Satgutier@umich.edu */
4710263Satgutier@umich.edu
4812492Sodanrc@yahoo.com.br#ifndef __MEM_CACHE_TAGS_BASE_SET_ASSOC_HH__
4912492Sodanrc@yahoo.com.br#define __MEM_CACHE_TAGS_BASE_SET_ASSOC_HH__
5010263Satgutier@umich.edu
5110263Satgutier@umich.edu#include <cassert>
5210263Satgutier@umich.edu#include <cstring>
5312548Sodanrc@yahoo.com.br#include <memory>
5412548Sodanrc@yahoo.com.br#include <vector>
5510263Satgutier@umich.edu
5611486Snikos.nikoleris@arm.com#include "mem/cache/base.hh"
5711486Snikos.nikoleris@arm.com#include "mem/cache/blk.hh"
5810263Satgutier@umich.edu#include "mem/cache/tags/base.hh"
5910263Satgutier@umich.edu#include "mem/cache/tags/cacheset.hh"
6010263Satgutier@umich.edu#include "mem/packet.hh"
6110263Satgutier@umich.edu#include "params/BaseSetAssoc.hh"
6210263Satgutier@umich.edu
6310263Satgutier@umich.edu/**
6410263Satgutier@umich.edu * A BaseSetAssoc cache tag store.
6510263Satgutier@umich.edu * @sa  \ref gem5MemorySystem "gem5 Memory System"
6610263Satgutier@umich.edu *
6712600Sodanrc@yahoo.com.br * The BaseSetAssoc placement policy divides the cache into s sets of w
6812600Sodanrc@yahoo.com.br * cache lines (ways). A cache line is mapped onto a set, and can be placed
6912600Sodanrc@yahoo.com.br * into any of the ways of this set.
7010263Satgutier@umich.edu */
7110263Satgutier@umich.educlass BaseSetAssoc : public BaseTags
7210263Satgutier@umich.edu{
7310263Satgutier@umich.edu  public:
7410263Satgutier@umich.edu    /** Typedef the block type used in this tag store. */
7510263Satgutier@umich.edu    typedef CacheBlk BlkType;
7610263Satgutier@umich.edu    /** Typedef the set type used in this tag store. */
7710263Satgutier@umich.edu    typedef CacheSet<CacheBlk> SetType;
7810263Satgutier@umich.edu
7910263Satgutier@umich.edu
8010263Satgutier@umich.edu  protected:
8110263Satgutier@umich.edu    /** The associativity of the cache. */
8210263Satgutier@umich.edu    const unsigned assoc;
8310941Sdavid.guillen@arm.com    /** The allocatable associativity of the cache (alloc mask). */
8410941Sdavid.guillen@arm.com    unsigned allocAssoc;
8512548Sodanrc@yahoo.com.br
8612548Sodanrc@yahoo.com.br    /** The cache blocks. */
8712548Sodanrc@yahoo.com.br    std::vector<BlkType> blks;
8812548Sodanrc@yahoo.com.br    /** The data blocks, 1 per cache block. */
8912548Sodanrc@yahoo.com.br    std::unique_ptr<uint8_t[]> dataBlks;
9012548Sodanrc@yahoo.com.br
9110263Satgutier@umich.edu    /** The number of sets in the cache. */
9210263Satgutier@umich.edu    const unsigned numSets;
9312548Sodanrc@yahoo.com.br
9410263Satgutier@umich.edu    /** Whether tags and data are accessed sequentially. */
9510263Satgutier@umich.edu    const bool sequentialAccess;
9610263Satgutier@umich.edu
9710263Satgutier@umich.edu    /** The cache sets. */
9812548Sodanrc@yahoo.com.br    std::vector<SetType> sets;
9910263Satgutier@umich.edu
10010263Satgutier@umich.edu    /** The amount to shift the address to get the set. */
10110263Satgutier@umich.edu    int setShift;
10210263Satgutier@umich.edu    /** The amount to shift the address to get the tag. */
10310263Satgutier@umich.edu    int tagShift;
10410263Satgutier@umich.edu    /** Mask out all bits that aren't part of the set index. */
10510263Satgutier@umich.edu    unsigned setMask;
10610263Satgutier@umich.edu
10712600Sodanrc@yahoo.com.br    /** Replacement policy */
10812600Sodanrc@yahoo.com.br    BaseReplacementPolicy *replacementPolicy;
10912600Sodanrc@yahoo.com.br
11012600Sodanrc@yahoo.com.br  public:
11110263Satgutier@umich.edu
11210263Satgutier@umich.edu    /** Convenience typedef. */
11310263Satgutier@umich.edu     typedef BaseSetAssocParams Params;
11410263Satgutier@umich.edu
11510263Satgutier@umich.edu    /**
11610263Satgutier@umich.edu     * Construct and initialize this tag store.
11710263Satgutier@umich.edu     */
11810263Satgutier@umich.edu    BaseSetAssoc(const Params *p);
11910263Satgutier@umich.edu
12010263Satgutier@umich.edu    /**
12110263Satgutier@umich.edu     * Destructor
12210263Satgutier@umich.edu     */
12312548Sodanrc@yahoo.com.br    virtual ~BaseSetAssoc() {};
12410263Satgutier@umich.edu
12510263Satgutier@umich.edu    /**
12610941Sdavid.guillen@arm.com     * Find the cache block given set and way
12710941Sdavid.guillen@arm.com     * @param set The set of the block.
12810941Sdavid.guillen@arm.com     * @param way The way of the block.
12910941Sdavid.guillen@arm.com     * @return The cache block.
13010941Sdavid.guillen@arm.com     */
13111169Sandreas.hansson@arm.com    CacheBlk *findBlockBySetAndWay(int set, int way) const override;
13210941Sdavid.guillen@arm.com
13310941Sdavid.guillen@arm.com    /**
13410263Satgutier@umich.edu     * Access block and update replacement data. May not succeed, in which case
13511484Snikos.nikoleris@arm.com     * nullptr is returned. This has all the implications of a cache
13610263Satgutier@umich.edu     * access and should only be used as such. Returns the access latency as a
13710263Satgutier@umich.edu     * side effect.
13810263Satgutier@umich.edu     * @param addr The address to find.
13910263Satgutier@umich.edu     * @param is_secure True if the target memory space is secure.
14010263Satgutier@umich.edu     * @param lat The access latency.
14110263Satgutier@umich.edu     * @return Pointer to the cache block if found.
14210263Satgutier@umich.edu     */
14311870Snikos.nikoleris@arm.com    CacheBlk* accessBlock(Addr addr, bool is_secure, Cycles &lat) override
14410263Satgutier@umich.edu    {
14512555Sodanrc@yahoo.com.br        BlkType *blk = findBlock(addr, is_secure);
14610263Satgutier@umich.edu
14710263Satgutier@umich.edu        // Access all tags in parallel, hence one in each way.  The data side
14810263Satgutier@umich.edu        // either accesses all blocks in parallel, or one block sequentially on
14910263Satgutier@umich.edu        // a hit.  Sequential access with a miss doesn't access data.
15010941Sdavid.guillen@arm.com        tagAccesses += allocAssoc;
15110263Satgutier@umich.edu        if (sequentialAccess) {
15211484Snikos.nikoleris@arm.com            if (blk != nullptr) {
15310263Satgutier@umich.edu                dataAccesses += 1;
15410263Satgutier@umich.edu            }
15510263Satgutier@umich.edu        } else {
15610941Sdavid.guillen@arm.com            dataAccesses += allocAssoc;
15710263Satgutier@umich.edu        }
15810263Satgutier@umich.edu
15911484Snikos.nikoleris@arm.com        if (blk != nullptr) {
16011722Ssophiane.senni@gmail.com            // If a cache hit
16111722Ssophiane.senni@gmail.com            lat = accessLatency;
16211722Ssophiane.senni@gmail.com            // Check if the block to be accessed is available. If not,
16311722Ssophiane.senni@gmail.com            // apply the accessLatency on top of block->whenReady.
16411722Ssophiane.senni@gmail.com            if (blk->whenReady > curTick() &&
16511722Ssophiane.senni@gmail.com                cache->ticksToCycles(blk->whenReady - curTick()) >
16611722Ssophiane.senni@gmail.com                accessLatency) {
16711722Ssophiane.senni@gmail.com                lat = cache->ticksToCycles(blk->whenReady - curTick()) +
16811722Ssophiane.senni@gmail.com                accessLatency;
16910263Satgutier@umich.edu            }
17012600Sodanrc@yahoo.com.br
17112600Sodanrc@yahoo.com.br            // Update replacement data of accessed block
17212600Sodanrc@yahoo.com.br            replacementPolicy->touch(blk);
17311722Ssophiane.senni@gmail.com        } else {
17411722Ssophiane.senni@gmail.com            // If a cache miss
17511722Ssophiane.senni@gmail.com            lat = lookupLatency;
17610263Satgutier@umich.edu        }
17710263Satgutier@umich.edu
17810263Satgutier@umich.edu        return blk;
17910263Satgutier@umich.edu    }
18010263Satgutier@umich.edu
18110263Satgutier@umich.edu    /**
18210263Satgutier@umich.edu     * Finds the given address in the cache, do not update replacement data.
18310263Satgutier@umich.edu     * i.e. This is a no-side-effect find of a block.
18410263Satgutier@umich.edu     * @param addr The address to find.
18510263Satgutier@umich.edu     * @param is_secure True if the target memory space is secure.
18610263Satgutier@umich.edu     * @param asid The address space ID.
18710263Satgutier@umich.edu     * @return Pointer to the cache block if found.
18810263Satgutier@umich.edu     */
18911169Sandreas.hansson@arm.com    CacheBlk* findBlock(Addr addr, bool is_secure) const override;
19010263Satgutier@umich.edu
19110263Satgutier@umich.edu    /**
19212600Sodanrc@yahoo.com.br     * Find replacement victim based on address.
19312600Sodanrc@yahoo.com.br     *
19412600Sodanrc@yahoo.com.br     * @param addr Address to find a victim for.
19512600Sodanrc@yahoo.com.br     * @return Cache block to be replaced.
19610263Satgutier@umich.edu     */
19711169Sandreas.hansson@arm.com    CacheBlk* findVictim(Addr addr) override
19810263Satgutier@umich.edu    {
19912600Sodanrc@yahoo.com.br        // Choose replacement victim from replacement candidates
20012600Sodanrc@yahoo.com.br        return replacementPolicy->getVictim(getPossibleLocations(addr));
20112600Sodanrc@yahoo.com.br    }
20210263Satgutier@umich.edu
20312600Sodanrc@yahoo.com.br    /**
20412600Sodanrc@yahoo.com.br     * Find all possible block locations for insertion and replacement of
20512600Sodanrc@yahoo.com.br     * an address. Should be called immediately before ReplacementPolicy's
20612600Sodanrc@yahoo.com.br     * findVictim() not to break cache resizing.
20712600Sodanrc@yahoo.com.br     * Returns blocks in all ways belonging to the set of the address.
20812600Sodanrc@yahoo.com.br     *
20912600Sodanrc@yahoo.com.br     * @param addr The addr to a find possible locations for.
21012600Sodanrc@yahoo.com.br     * @return The possible locations.
21112600Sodanrc@yahoo.com.br     */
21212600Sodanrc@yahoo.com.br    const std::vector<CacheBlk*> getPossibleLocations(Addr addr)
21312600Sodanrc@yahoo.com.br    {
21412600Sodanrc@yahoo.com.br        return sets[extractSet(addr)].blks;
21510263Satgutier@umich.edu    }
21610263Satgutier@umich.edu
21710263Satgutier@umich.edu    /**
21810263Satgutier@umich.edu     * Insert the new block into the cache.
21910263Satgutier@umich.edu     * @param pkt Packet holding the address to update
22010263Satgutier@umich.edu     * @param blk The block to update.
22110263Satgutier@umich.edu     */
22211169Sandreas.hansson@arm.com     void insertBlock(PacketPtr pkt, CacheBlk *blk) override
22310263Satgutier@umich.edu     {
22410263Satgutier@umich.edu         Addr addr = pkt->getAddr();
22510263Satgutier@umich.edu         MasterID master_id = pkt->req->masterId();
22610263Satgutier@umich.edu         uint32_t task_id = pkt->req->taskId();
22710274Smitch.hayenga@arm.com
22810263Satgutier@umich.edu         if (!blk->isTouched) {
22910263Satgutier@umich.edu             if (!warmedUp && tagsInUse.value() >= warmupBound) {
23010263Satgutier@umich.edu                 warmedUp = true;
23110263Satgutier@umich.edu                 warmupCycle = curTick();
23210263Satgutier@umich.edu             }
23310263Satgutier@umich.edu         }
23410263Satgutier@umich.edu
23510263Satgutier@umich.edu         // If we're replacing a block that was previously valid update
23610263Satgutier@umich.edu         // stats for it. This can't be done in findBlock() because a
23710263Satgutier@umich.edu         // found block might not actually be replaced there if the
23810263Satgutier@umich.edu         // coherence protocol says it can't be.
23910263Satgutier@umich.edu         if (blk->isValid()) {
24010263Satgutier@umich.edu             replacements[0]++;
24110263Satgutier@umich.edu             totalRefs += blk->refCount;
24210263Satgutier@umich.edu             ++sampledRefs;
24310263Satgutier@umich.edu
24412554Snikos.nikoleris@arm.com             invalidate(blk);
24510263Satgutier@umich.edu             blk->invalidate();
24610263Satgutier@umich.edu         }
24710263Satgutier@umich.edu
24812557Sodanrc@yahoo.com.br         // Previous block, if existed, has been removed, and now we have
24912600Sodanrc@yahoo.com.br         // to insert the new one
25012557Sodanrc@yahoo.com.br         tagsInUse++;
25110274Smitch.hayenga@arm.com
25210263Satgutier@umich.edu         // Set tag for new block.  Caller is responsible for setting status.
25310263Satgutier@umich.edu         blk->tag = extractTag(addr);
25410263Satgutier@umich.edu
25510263Satgutier@umich.edu         // deal with what we are bringing in
25610263Satgutier@umich.edu         assert(master_id < cache->system->maxMasters());
25710263Satgutier@umich.edu         occupancies[master_id]++;
25810263Satgutier@umich.edu         blk->srcMasterId = master_id;
25910263Satgutier@umich.edu         blk->task_id = task_id;
26010263Satgutier@umich.edu
26110263Satgutier@umich.edu         // We only need to write into one tag and one data block.
26210263Satgutier@umich.edu         tagAccesses += 1;
26310263Satgutier@umich.edu         dataAccesses += 1;
26412600Sodanrc@yahoo.com.br
26512600Sodanrc@yahoo.com.br         replacementPolicy->reset(blk);
26610263Satgutier@umich.edu     }
26710263Satgutier@umich.edu
26810263Satgutier@umich.edu    /**
26910941Sdavid.guillen@arm.com     * Limit the allocation for the cache ways.
27010941Sdavid.guillen@arm.com     * @param ways The maximum number of ways available for replacement.
27110941Sdavid.guillen@arm.com     */
27211169Sandreas.hansson@arm.com    virtual void setWayAllocationMax(int ways) override
27310941Sdavid.guillen@arm.com    {
27410941Sdavid.guillen@arm.com        fatal_if(ways < 1, "Allocation limit must be greater than zero");
27510941Sdavid.guillen@arm.com        allocAssoc = ways;
27610941Sdavid.guillen@arm.com    }
27710941Sdavid.guillen@arm.com
27810941Sdavid.guillen@arm.com    /**
27910941Sdavid.guillen@arm.com     * Get the way allocation mask limit.
28010941Sdavid.guillen@arm.com     * @return The maximum number of ways available for replacement.
28110941Sdavid.guillen@arm.com     */
28211169Sandreas.hansson@arm.com    virtual int getWayAllocationMax() const override
28310941Sdavid.guillen@arm.com    {
28410941Sdavid.guillen@arm.com        return allocAssoc;
28510941Sdavid.guillen@arm.com    }
28610941Sdavid.guillen@arm.com
28710941Sdavid.guillen@arm.com    /**
28810263Satgutier@umich.edu     * Generate the tag from the given address.
28910263Satgutier@umich.edu     * @param addr The address to get the tag from.
29010263Satgutier@umich.edu     * @return The tag of the address.
29110263Satgutier@umich.edu     */
29211169Sandreas.hansson@arm.com    Addr extractTag(Addr addr) const override
29310263Satgutier@umich.edu    {
29410263Satgutier@umich.edu        return (addr >> tagShift);
29510263Satgutier@umich.edu    }
29610263Satgutier@umich.edu
29710263Satgutier@umich.edu    /**
29810263Satgutier@umich.edu     * Calculate the set index from the address.
29910263Satgutier@umich.edu     * @param addr The address to get the set from.
30010263Satgutier@umich.edu     * @return The set index of the address.
30110263Satgutier@umich.edu     */
30211169Sandreas.hansson@arm.com    int extractSet(Addr addr) const override
30310263Satgutier@umich.edu    {
30410263Satgutier@umich.edu        return ((addr >> setShift) & setMask);
30510263Satgutier@umich.edu    }
30610263Satgutier@umich.edu
30710263Satgutier@umich.edu    /**
30812574Sodanrc@yahoo.com.br     * Regenerate the block address from the tag and set.
30912574Sodanrc@yahoo.com.br     *
31012574Sodanrc@yahoo.com.br     * @param block The block.
31112574Sodanrc@yahoo.com.br     * @return the block address.
31210263Satgutier@umich.edu     */
31312574Sodanrc@yahoo.com.br    Addr regenerateBlkAddr(const CacheBlk* blk) const override
31410263Satgutier@umich.edu    {
31512574Sodanrc@yahoo.com.br        return ((blk->tag << tagShift) | ((Addr)blk->set << setShift));
31610263Satgutier@umich.edu    }
31710263Satgutier@umich.edu
31810263Satgutier@umich.edu    /**
31910263Satgutier@umich.edu     * Called at end of simulation to complete average block reference stats.
32010263Satgutier@umich.edu     */
32111169Sandreas.hansson@arm.com    void cleanupRefs() override;
32210263Satgutier@umich.edu
32310263Satgutier@umich.edu    /**
32410263Satgutier@umich.edu     * Print all tags used
32510263Satgutier@umich.edu     */
32611169Sandreas.hansson@arm.com    std::string print() const override;
32710263Satgutier@umich.edu
32810263Satgutier@umich.edu    /**
32910263Satgutier@umich.edu     * Called prior to dumping stats to compute task occupancy
33010263Satgutier@umich.edu     */
33111169Sandreas.hansson@arm.com    void computeStats() override;
33210263Satgutier@umich.edu
33310263Satgutier@umich.edu    /**
33410263Satgutier@umich.edu     * Visit each block in the tag store and apply a visitor to the
33510263Satgutier@umich.edu     * block.
33610263Satgutier@umich.edu     *
33710263Satgutier@umich.edu     * The visitor should be a function (or object that behaves like a
33810263Satgutier@umich.edu     * function) that takes a cache block reference as its parameter
33910263Satgutier@umich.edu     * and returns a bool. A visitor can request the traversal to be
34010263Satgutier@umich.edu     * stopped by returning false, returning true causes it to be
34110263Satgutier@umich.edu     * called for the next block in the tag store.
34210263Satgutier@umich.edu     *
34310263Satgutier@umich.edu     * \param visitor Visitor to call on each block.
34410263Satgutier@umich.edu     */
34511168Sandreas.hansson@arm.com    void forEachBlk(CacheBlkVisitor &visitor) override {
34610263Satgutier@umich.edu        for (unsigned i = 0; i < numSets * assoc; ++i) {
34710263Satgutier@umich.edu            if (!visitor(blks[i]))
34810263Satgutier@umich.edu                return;
34910263Satgutier@umich.edu        }
35010263Satgutier@umich.edu    }
35110263Satgutier@umich.edu};
35210263Satgutier@umich.edu
35312492Sodanrc@yahoo.com.br#endif //__MEM_CACHE_TAGS_BASE_SET_ASSOC_HH__
354