base_set_assoc.hh revision 12728
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
5112728Snikos.nikoleris@arm.com#include <functional>
5212727Snikos.nikoleris@arm.com#include <string>
5312548Sodanrc@yahoo.com.br#include <vector>
5410263Satgutier@umich.edu
5512727Snikos.nikoleris@arm.com#include "base/logging.hh"
5612727Snikos.nikoleris@arm.com#include "base/types.hh"
5712684Sodanrc@yahoo.com.br#include "debug/CacheRepl.hh"
5811486Snikos.nikoleris@arm.com#include "mem/cache/base.hh"
5911486Snikos.nikoleris@arm.com#include "mem/cache/blk.hh"
6012684Sodanrc@yahoo.com.br#include "mem/cache/replacement_policies/base.hh"
6110263Satgutier@umich.edu#include "mem/cache/tags/base.hh"
6210263Satgutier@umich.edu#include "mem/cache/tags/cacheset.hh"
6310263Satgutier@umich.edu#include "mem/packet.hh"
6410263Satgutier@umich.edu#include "params/BaseSetAssoc.hh"
6510263Satgutier@umich.edu
6610263Satgutier@umich.edu/**
6710263Satgutier@umich.edu * A BaseSetAssoc cache tag store.
6810263Satgutier@umich.edu * @sa  \ref gem5MemorySystem "gem5 Memory System"
6910263Satgutier@umich.edu *
7012600Sodanrc@yahoo.com.br * The BaseSetAssoc placement policy divides the cache into s sets of w
7112600Sodanrc@yahoo.com.br * cache lines (ways). A cache line is mapped onto a set, and can be placed
7212600Sodanrc@yahoo.com.br * into any of the ways of this set.
7310263Satgutier@umich.edu */
7410263Satgutier@umich.educlass BaseSetAssoc : public BaseTags
7510263Satgutier@umich.edu{
7610263Satgutier@umich.edu  public:
7710263Satgutier@umich.edu    /** Typedef the block type used in this tag store. */
7810263Satgutier@umich.edu    typedef CacheBlk BlkType;
7910263Satgutier@umich.edu    /** Typedef the set type used in this tag store. */
8010263Satgutier@umich.edu    typedef CacheSet<CacheBlk> SetType;
8110263Satgutier@umich.edu
8210263Satgutier@umich.edu  protected:
8310263Satgutier@umich.edu    /** The associativity of the cache. */
8410263Satgutier@umich.edu    const unsigned assoc;
8510941Sdavid.guillen@arm.com    /** The allocatable associativity of the cache (alloc mask). */
8610941Sdavid.guillen@arm.com    unsigned allocAssoc;
8712548Sodanrc@yahoo.com.br
8812548Sodanrc@yahoo.com.br    /** The cache blocks. */
8912548Sodanrc@yahoo.com.br    std::vector<BlkType> blks;
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    /** Convenience typedef. */
11210263Satgutier@umich.edu     typedef BaseSetAssocParams Params;
11310263Satgutier@umich.edu
11410263Satgutier@umich.edu    /**
11510263Satgutier@umich.edu     * Construct and initialize this tag store.
11610263Satgutier@umich.edu     */
11710263Satgutier@umich.edu    BaseSetAssoc(const Params *p);
11810263Satgutier@umich.edu
11910263Satgutier@umich.edu    /**
12010263Satgutier@umich.edu     * Destructor
12110263Satgutier@umich.edu     */
12212548Sodanrc@yahoo.com.br    virtual ~BaseSetAssoc() {};
12310263Satgutier@umich.edu
12410263Satgutier@umich.edu    /**
12512684Sodanrc@yahoo.com.br     * This function updates the tags when a block is invalidated but does
12612684Sodanrc@yahoo.com.br     * not invalidate the block itself. It also updates the replacement data.
12712684Sodanrc@yahoo.com.br     *
12812684Sodanrc@yahoo.com.br     * @param blk The block to invalidate.
12912684Sodanrc@yahoo.com.br     */
13012684Sodanrc@yahoo.com.br    void invalidate(CacheBlk *blk) override;
13112684Sodanrc@yahoo.com.br
13212684Sodanrc@yahoo.com.br    /**
13310941Sdavid.guillen@arm.com     * Find the cache block given set and way
13410941Sdavid.guillen@arm.com     * @param set The set of the block.
13510941Sdavid.guillen@arm.com     * @param way The way of the block.
13610941Sdavid.guillen@arm.com     * @return The cache block.
13710941Sdavid.guillen@arm.com     */
13811169Sandreas.hansson@arm.com    CacheBlk *findBlockBySetAndWay(int set, int way) const override;
13910941Sdavid.guillen@arm.com
14010941Sdavid.guillen@arm.com    /**
14110263Satgutier@umich.edu     * Access block and update replacement data. May not succeed, in which case
14211484Snikos.nikoleris@arm.com     * nullptr is returned. This has all the implications of a cache
14310263Satgutier@umich.edu     * access and should only be used as such. Returns the access latency as a
14410263Satgutier@umich.edu     * side effect.
14510263Satgutier@umich.edu     * @param addr The address to find.
14610263Satgutier@umich.edu     * @param is_secure True if the target memory space is secure.
14710263Satgutier@umich.edu     * @param lat The access latency.
14810263Satgutier@umich.edu     * @return Pointer to the cache block if found.
14910263Satgutier@umich.edu     */
15011870Snikos.nikoleris@arm.com    CacheBlk* accessBlock(Addr addr, bool is_secure, Cycles &lat) override
15110263Satgutier@umich.edu    {
15212555Sodanrc@yahoo.com.br        BlkType *blk = findBlock(addr, is_secure);
15310263Satgutier@umich.edu
15410263Satgutier@umich.edu        // Access all tags in parallel, hence one in each way.  The data side
15510263Satgutier@umich.edu        // either accesses all blocks in parallel, or one block sequentially on
15610263Satgutier@umich.edu        // a hit.  Sequential access with a miss doesn't access data.
15710941Sdavid.guillen@arm.com        tagAccesses += allocAssoc;
15810263Satgutier@umich.edu        if (sequentialAccess) {
15911484Snikos.nikoleris@arm.com            if (blk != nullptr) {
16010263Satgutier@umich.edu                dataAccesses += 1;
16110263Satgutier@umich.edu            }
16210263Satgutier@umich.edu        } else {
16310941Sdavid.guillen@arm.com            dataAccesses += allocAssoc;
16410263Satgutier@umich.edu        }
16510263Satgutier@umich.edu
16611484Snikos.nikoleris@arm.com        if (blk != nullptr) {
16711722Ssophiane.senni@gmail.com            // If a cache hit
16811722Ssophiane.senni@gmail.com            lat = accessLatency;
16911722Ssophiane.senni@gmail.com            // Check if the block to be accessed is available. If not,
17011722Ssophiane.senni@gmail.com            // apply the accessLatency on top of block->whenReady.
17111722Ssophiane.senni@gmail.com            if (blk->whenReady > curTick() &&
17211722Ssophiane.senni@gmail.com                cache->ticksToCycles(blk->whenReady - curTick()) >
17311722Ssophiane.senni@gmail.com                accessLatency) {
17411722Ssophiane.senni@gmail.com                lat = cache->ticksToCycles(blk->whenReady - curTick()) +
17511722Ssophiane.senni@gmail.com                accessLatency;
17610263Satgutier@umich.edu            }
17712600Sodanrc@yahoo.com.br
17812684Sodanrc@yahoo.com.br            // Update number of references to accessed block
17912684Sodanrc@yahoo.com.br            blk->refCount++;
18012684Sodanrc@yahoo.com.br
18112600Sodanrc@yahoo.com.br            // Update replacement data of accessed block
18212684Sodanrc@yahoo.com.br            replacementPolicy->touch(blk->replacementData);
18311722Ssophiane.senni@gmail.com        } else {
18411722Ssophiane.senni@gmail.com            // If a cache miss
18511722Ssophiane.senni@gmail.com            lat = lookupLatency;
18610263Satgutier@umich.edu        }
18710263Satgutier@umich.edu
18810263Satgutier@umich.edu        return blk;
18910263Satgutier@umich.edu    }
19010263Satgutier@umich.edu
19110263Satgutier@umich.edu    /**
19210263Satgutier@umich.edu     * Finds the given address in the cache, do not update replacement data.
19310263Satgutier@umich.edu     * i.e. This is a no-side-effect find of a block.
19410263Satgutier@umich.edu     * @param addr The address to find.
19510263Satgutier@umich.edu     * @param is_secure True if the target memory space is secure.
19610263Satgutier@umich.edu     * @param asid The address space ID.
19710263Satgutier@umich.edu     * @return Pointer to the cache block if found.
19810263Satgutier@umich.edu     */
19911169Sandreas.hansson@arm.com    CacheBlk* findBlock(Addr addr, bool is_secure) const override;
20010263Satgutier@umich.edu
20110263Satgutier@umich.edu    /**
20212600Sodanrc@yahoo.com.br     * Find replacement victim based on address.
20312600Sodanrc@yahoo.com.br     *
20412600Sodanrc@yahoo.com.br     * @param addr Address to find a victim for.
20512600Sodanrc@yahoo.com.br     * @return Cache block to be replaced.
20610263Satgutier@umich.edu     */
20711169Sandreas.hansson@arm.com    CacheBlk* findVictim(Addr addr) override
20810263Satgutier@umich.edu    {
20912684Sodanrc@yahoo.com.br        // Get possible locations for the victim block
21012684Sodanrc@yahoo.com.br        std::vector<CacheBlk*> locations = getPossibleLocations(addr);
21112684Sodanrc@yahoo.com.br
21212600Sodanrc@yahoo.com.br        // Choose replacement victim from replacement candidates
21312684Sodanrc@yahoo.com.br        CacheBlk* victim = static_cast<CacheBlk*>(replacementPolicy->getVictim(
21412684Sodanrc@yahoo.com.br                               std::vector<ReplaceableEntry*>(
21512684Sodanrc@yahoo.com.br                                   locations.begin(), locations.end())));
21612684Sodanrc@yahoo.com.br
21712684Sodanrc@yahoo.com.br        DPRINTF(CacheRepl, "set %x, way %x: selecting blk for replacement\n",
21812684Sodanrc@yahoo.com.br            victim->set, victim->way);
21912684Sodanrc@yahoo.com.br
22012684Sodanrc@yahoo.com.br        return victim;
22112600Sodanrc@yahoo.com.br    }
22210263Satgutier@umich.edu
22312600Sodanrc@yahoo.com.br    /**
22412600Sodanrc@yahoo.com.br     * Find all possible block locations for insertion and replacement of
22512600Sodanrc@yahoo.com.br     * an address. Should be called immediately before ReplacementPolicy's
22612600Sodanrc@yahoo.com.br     * findVictim() not to break cache resizing.
22712600Sodanrc@yahoo.com.br     * Returns blocks in all ways belonging to the set of the address.
22812600Sodanrc@yahoo.com.br     *
22912600Sodanrc@yahoo.com.br     * @param addr The addr to a find possible locations for.
23012600Sodanrc@yahoo.com.br     * @return The possible locations.
23112600Sodanrc@yahoo.com.br     */
23212600Sodanrc@yahoo.com.br    const std::vector<CacheBlk*> getPossibleLocations(Addr addr)
23312600Sodanrc@yahoo.com.br    {
23412600Sodanrc@yahoo.com.br        return sets[extractSet(addr)].blks;
23510263Satgutier@umich.edu    }
23610263Satgutier@umich.edu
23710263Satgutier@umich.edu    /**
23812636Sodanrc@yahoo.com.br     * Insert the new block into the cache and update replacement data.
23912636Sodanrc@yahoo.com.br     *
24010263Satgutier@umich.edu     * @param pkt Packet holding the address to update
24110263Satgutier@umich.edu     * @param blk The block to update.
24210263Satgutier@umich.edu     */
24312636Sodanrc@yahoo.com.br    void insertBlock(PacketPtr pkt, CacheBlk *blk) override
24412636Sodanrc@yahoo.com.br    {
24512636Sodanrc@yahoo.com.br        // Insert block
24612636Sodanrc@yahoo.com.br        BaseTags::insertBlock(pkt, blk);
24710274Smitch.hayenga@arm.com
24812636Sodanrc@yahoo.com.br        // Update replacement policy
24912684Sodanrc@yahoo.com.br        replacementPolicy->reset(blk->replacementData);
25012636Sodanrc@yahoo.com.br    }
25110263Satgutier@umich.edu
25210263Satgutier@umich.edu    /**
25310941Sdavid.guillen@arm.com     * Limit the allocation for the cache ways.
25410941Sdavid.guillen@arm.com     * @param ways The maximum number of ways available for replacement.
25510941Sdavid.guillen@arm.com     */
25611169Sandreas.hansson@arm.com    virtual void setWayAllocationMax(int ways) override
25710941Sdavid.guillen@arm.com    {
25810941Sdavid.guillen@arm.com        fatal_if(ways < 1, "Allocation limit must be greater than zero");
25910941Sdavid.guillen@arm.com        allocAssoc = ways;
26010941Sdavid.guillen@arm.com    }
26110941Sdavid.guillen@arm.com
26210941Sdavid.guillen@arm.com    /**
26310941Sdavid.guillen@arm.com     * Get the way allocation mask limit.
26410941Sdavid.guillen@arm.com     * @return The maximum number of ways available for replacement.
26510941Sdavid.guillen@arm.com     */
26611169Sandreas.hansson@arm.com    virtual int getWayAllocationMax() const override
26710941Sdavid.guillen@arm.com    {
26810941Sdavid.guillen@arm.com        return allocAssoc;
26910941Sdavid.guillen@arm.com    }
27010941Sdavid.guillen@arm.com
27110941Sdavid.guillen@arm.com    /**
27210263Satgutier@umich.edu     * Generate the tag from the given address.
27310263Satgutier@umich.edu     * @param addr The address to get the tag from.
27410263Satgutier@umich.edu     * @return The tag of the address.
27510263Satgutier@umich.edu     */
27611169Sandreas.hansson@arm.com    Addr extractTag(Addr addr) const override
27710263Satgutier@umich.edu    {
27810263Satgutier@umich.edu        return (addr >> tagShift);
27910263Satgutier@umich.edu    }
28010263Satgutier@umich.edu
28110263Satgutier@umich.edu    /**
28210263Satgutier@umich.edu     * Calculate the set index from the address.
28310263Satgutier@umich.edu     * @param addr The address to get the set from.
28410263Satgutier@umich.edu     * @return The set index of the address.
28510263Satgutier@umich.edu     */
28611169Sandreas.hansson@arm.com    int extractSet(Addr addr) const override
28710263Satgutier@umich.edu    {
28810263Satgutier@umich.edu        return ((addr >> setShift) & setMask);
28910263Satgutier@umich.edu    }
29010263Satgutier@umich.edu
29110263Satgutier@umich.edu    /**
29212574Sodanrc@yahoo.com.br     * Regenerate the block address from the tag and set.
29312574Sodanrc@yahoo.com.br     *
29412574Sodanrc@yahoo.com.br     * @param block The block.
29512574Sodanrc@yahoo.com.br     * @return the block address.
29610263Satgutier@umich.edu     */
29712574Sodanrc@yahoo.com.br    Addr regenerateBlkAddr(const CacheBlk* blk) const override
29810263Satgutier@umich.edu    {
29912574Sodanrc@yahoo.com.br        return ((blk->tag << tagShift) | ((Addr)blk->set << setShift));
30010263Satgutier@umich.edu    }
30110263Satgutier@umich.edu
30212728Snikos.nikoleris@arm.com    void forEachBlk(std::function<void(CacheBlk &)> visitor) override {
30312728Snikos.nikoleris@arm.com        for (CacheBlk& blk : blks) {
30412728Snikos.nikoleris@arm.com            visitor(blk);
30512728Snikos.nikoleris@arm.com        }
30612728Snikos.nikoleris@arm.com    }
30710263Satgutier@umich.edu
30812728Snikos.nikoleris@arm.com    bool anyBlk(std::function<bool(CacheBlk &)> visitor) override {
30912679Sodanrc@yahoo.com.br        for (CacheBlk& blk : blks) {
31012728Snikos.nikoleris@arm.com            if (visitor(blk)) {
31112728Snikos.nikoleris@arm.com                return true;
31212728Snikos.nikoleris@arm.com            }
31310263Satgutier@umich.edu        }
31412728Snikos.nikoleris@arm.com        return false;
31510263Satgutier@umich.edu    }
31610263Satgutier@umich.edu};
31710263Satgutier@umich.edu
31812492Sodanrc@yahoo.com.br#endif //__MEM_CACHE_TAGS_BASE_SET_ASSOC_HH__
319