cache.hh revision 11601:382e0637fae0
1/*
2 * Copyright (c) 2012-2016 ARM Limited
3 * All rights reserved.
4 *
5 * The license below extends only to copyright in the software and shall
6 * not be construed as granting a license to any other intellectual
7 * property including but not limited to intellectual property relating
8 * to a hardware implementation of the functionality of the software
9 * licensed hereunder.  You may use the software subject to the license
10 * terms below provided that you ensure that this notice is replicated
11 * unmodified and in its entirety in all distributions of the software,
12 * modified or unmodified, in source code or in binary form.
13 *
14 * Copyright (c) 2002-2005 The Regents of The University of Michigan
15 * All rights reserved.
16 *
17 * Redistribution and use in source and binary forms, with or without
18 * modification, are permitted provided that the following conditions are
19 * met: redistributions of source code must retain the above copyright
20 * notice, this list of conditions and the following disclaimer;
21 * redistributions in binary form must reproduce the above copyright
22 * notice, this list of conditions and the following disclaimer in the
23 * documentation and/or other materials provided with the distribution;
24 * neither the name of the copyright holders nor the names of its
25 * contributors may be used to endorse or promote products derived from
26 * this software without specific prior written permission.
27 *
28 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
29 * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
30 * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
31 * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
32 * OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
33 * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
34 * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
35 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
36 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
37 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
38 * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
39 *
40 * Authors: Erik Hallnor
41 *          Dave Greene
42 *          Steve Reinhardt
43 *          Ron Dreslinski
44 *          Andreas Hansson
45 */
46
47/**
48 * @file
49 * Describes a cache based on template policies.
50 */
51
52#ifndef __MEM_CACHE_CACHE_HH__
53#define __MEM_CACHE_CACHE_HH__
54
55#include "base/misc.hh" // fatal, panic, and warn
56#include "enums/Clusivity.hh"
57#include "mem/cache/base.hh"
58#include "mem/cache/blk.hh"
59#include "mem/cache/mshr.hh"
60#include "mem/cache/tags/base.hh"
61#include "params/Cache.hh"
62#include "sim/eventq.hh"
63
64//Forward decleration
65class BasePrefetcher;
66
67/**
68 * A template-policy based cache. The behavior of the cache can be altered by
69 * supplying different template policies. TagStore handles all tag and data
70 * storage @sa TagStore, \ref gem5MemorySystem "gem5 Memory System"
71 */
72class Cache : public BaseCache
73{
74  public:
75
76    /** A typedef for a list of CacheBlk pointers. */
77    typedef std::list<CacheBlk*> BlkList;
78
79  protected:
80
81    /**
82     * The CPU-side port extends the base cache slave port with access
83     * functions for functional, atomic and timing requests.
84     */
85    class CpuSidePort : public CacheSlavePort
86    {
87      private:
88
89        // a pointer to our specific cache implementation
90        Cache *cache;
91
92      protected:
93
94        virtual bool recvTimingSnoopResp(PacketPtr pkt);
95
96        virtual bool recvTimingReq(PacketPtr pkt);
97
98        virtual Tick recvAtomic(PacketPtr pkt);
99
100        virtual void recvFunctional(PacketPtr pkt);
101
102        virtual AddrRangeList getAddrRanges() const;
103
104      public:
105
106        CpuSidePort(const std::string &_name, Cache *_cache,
107                    const std::string &_label);
108
109    };
110
111    /**
112     * Override the default behaviour of sendDeferredPacket to enable
113     * the memory-side cache port to also send requests based on the
114     * current MSHR status. This queue has a pointer to our specific
115     * cache implementation and is used by the MemSidePort.
116     */
117    class CacheReqPacketQueue : public ReqPacketQueue
118    {
119
120      protected:
121
122        Cache &cache;
123        SnoopRespPacketQueue &snoopRespQueue;
124
125      public:
126
127        CacheReqPacketQueue(Cache &cache, MasterPort &port,
128                            SnoopRespPacketQueue &snoop_resp_queue,
129                            const std::string &label) :
130            ReqPacketQueue(cache, port, label), cache(cache),
131            snoopRespQueue(snoop_resp_queue) { }
132
133        /**
134         * Override the normal sendDeferredPacket and do not only
135         * consider the transmit list (used for responses), but also
136         * requests.
137         */
138        virtual void sendDeferredPacket();
139
140        /**
141         * Check if there is a conflicting snoop response about to be
142         * send out, and if so simply stall any requests, and schedule
143         * a send event at the same time as the next snoop response is
144         * being sent out.
145         */
146        bool checkConflictingSnoop(Addr addr)
147        {
148            if (snoopRespQueue.hasAddr(addr)) {
149                DPRINTF(CachePort, "Waiting for snoop response to be "
150                        "sent\n");
151                Tick when = snoopRespQueue.deferredPacketReadyTime();
152                schedSendEvent(when);
153                return true;
154            }
155            return false;
156        }
157    };
158
159    /**
160     * The memory-side port extends the base cache master port with
161     * access functions for functional, atomic and timing snoops.
162     */
163    class MemSidePort : public CacheMasterPort
164    {
165      private:
166
167        /** The cache-specific queue. */
168        CacheReqPacketQueue _reqQueue;
169
170        SnoopRespPacketQueue _snoopRespQueue;
171
172        // a pointer to our specific cache implementation
173        Cache *cache;
174
175      protected:
176
177        virtual void recvTimingSnoopReq(PacketPtr pkt);
178
179        virtual bool recvTimingResp(PacketPtr pkt);
180
181        virtual Tick recvAtomicSnoop(PacketPtr pkt);
182
183        virtual void recvFunctionalSnoop(PacketPtr pkt);
184
185      public:
186
187        MemSidePort(const std::string &_name, Cache *_cache,
188                    const std::string &_label);
189    };
190
191    /** Tag and data Storage */
192    BaseTags *tags;
193
194    /** Prefetcher */
195    BasePrefetcher *prefetcher;
196
197    /** Temporary cache block for occasional transitory use */
198    CacheBlk *tempBlock;
199
200    /**
201     * This cache should allocate a block on a line-sized write miss.
202     */
203    const bool doFastWrites;
204
205    /**
206     * Turn line-sized writes into WriteInvalidate transactions.
207     */
208    void promoteWholeLineWrites(PacketPtr pkt);
209
210    /**
211     * Notify the prefetcher on every access, not just misses.
212     */
213    const bool prefetchOnAccess;
214
215     /**
216     * Clusivity with respect to the upstream cache, determining if we
217     * fill into both this cache and the cache above on a miss. Note
218     * that we currently do not support strict clusivity policies.
219     */
220    const Enums::Clusivity clusivity;
221
222     /**
223     * Determine if clean lines should be written back or not. In
224     * cases where a downstream cache is mostly inclusive we likely
225     * want it to act as a victim cache also for lines that have not
226     * been modified. Hence, we cannot simply drop the line (or send a
227     * clean evict), but rather need to send the actual data.
228     */
229    const bool writebackClean;
230
231    /**
232     * Upstream caches need this packet until true is returned, so
233     * hold it for deletion until a subsequent call
234     */
235    std::unique_ptr<Packet> pendingDelete;
236
237    /**
238     * Writebacks from the tempBlock, resulting on the response path
239     * in atomic mode, must happen after the call to recvAtomic has
240     * finished (for the right ordering of the packets). We therefore
241     * need to hold on to the packets, and have a method and an event
242     * to send them.
243     */
244    PacketPtr tempBlockWriteback;
245
246    /**
247     * Send the outstanding tempBlock writeback. To be called after
248     * recvAtomic finishes in cases where the block we filled is in
249     * fact the tempBlock, and now needs to be written back.
250     */
251    void writebackTempBlockAtomic() {
252        assert(tempBlockWriteback != nullptr);
253        PacketList writebacks{tempBlockWriteback};
254        doWritebacksAtomic(writebacks);
255        tempBlockWriteback = nullptr;
256    }
257
258    /**
259     * An event to writeback the tempBlock after recvAtomic
260     * finishes. To avoid other calls to recvAtomic getting in
261     * between, we create this event with a higher priority.
262     */
263    EventWrapper<Cache, &Cache::writebackTempBlockAtomic> \
264        writebackTempBlockAtomicEvent;
265
266    /**
267     * Store the outstanding requests that we are expecting snoop
268     * responses from so we can determine which snoop responses we
269     * generated and which ones were merely forwarded.
270     */
271    std::unordered_set<RequestPtr> outstandingSnoop;
272
273    /**
274     * Does all the processing necessary to perform the provided request.
275     * @param pkt The memory request to perform.
276     * @param blk The cache block to be updated.
277     * @param lat The latency of the access.
278     * @param writebacks List for any writebacks that need to be performed.
279     * @return Boolean indicating whether the request was satisfied.
280     */
281    bool access(PacketPtr pkt, CacheBlk *&blk,
282                Cycles &lat, PacketList &writebacks);
283
284    /**
285     *Handle doing the Compare and Swap function for SPARC.
286     */
287    void cmpAndSwap(CacheBlk *blk, PacketPtr pkt);
288
289    /**
290     * Find a block frame for new block at address addr targeting the
291     * given security space, assuming that the block is not currently
292     * in the cache.  Append writebacks if any to provided packet
293     * list.  Return free block frame.  May return nullptr if there are
294     * no replaceable blocks at the moment.
295     */
296    CacheBlk *allocateBlock(Addr addr, bool is_secure, PacketList &writebacks);
297
298    /**
299     * Invalidate a cache block.
300     *
301     * @param blk Block to invalidate
302     */
303    void invalidateBlock(CacheBlk *blk);
304
305    /**
306     * Maintain the clusivity of this cache by potentially
307     * invalidating a block. This method works in conjunction with
308     * satisfyRequest, but is separate to allow us to handle all MSHR
309     * targets before potentially dropping a block.
310     *
311     * @param from_cache Whether we have dealt with a packet from a cache
312     * @param blk The block that should potentially be dropped
313     */
314    void maintainClusivity(bool from_cache, CacheBlk *blk);
315
316    /**
317     * Populates a cache block and handles all outstanding requests for the
318     * satisfied fill request. This version takes two memory requests. One
319     * contains the fill data, the other is an optional target to satisfy.
320     * @param pkt The memory request with the fill data.
321     * @param blk The cache block if it already exists.
322     * @param writebacks List for any writebacks that need to be performed.
323     * @param allocate Whether to allocate a block or use the temp block
324     * @return Pointer to the new cache block.
325     */
326    CacheBlk *handleFill(PacketPtr pkt, CacheBlk *blk,
327                         PacketList &writebacks, bool allocate);
328
329    /**
330     * Determine whether we should allocate on a fill or not. If this
331     * cache is mostly inclusive with regards to the upstream cache(s)
332     * we always allocate (for any non-forwarded and cacheable
333     * requests). In the case of a mostly exclusive cache, we allocate
334     * on fill if the packet did not come from a cache, thus if we:
335     * are dealing with a whole-line write (the latter behaves much
336     * like a writeback), the original target packet came from a
337     * non-caching source, or if we are performing a prefetch or LLSC.
338     *
339     * @param cmd Command of the incoming requesting packet
340     * @return Whether we should allocate on the fill
341     */
342    inline bool allocOnFill(MemCmd cmd) const override
343    {
344        return clusivity == Enums::mostly_incl ||
345            cmd == MemCmd::WriteLineReq ||
346            cmd == MemCmd::ReadReq ||
347            cmd == MemCmd::WriteReq ||
348            cmd.isPrefetch() ||
349            cmd.isLLSC();
350    }
351
352    /**
353     * Performs the access specified by the request.
354     * @param pkt The request to perform.
355     * @return The result of the access.
356     */
357    bool recvTimingReq(PacketPtr pkt);
358
359    /**
360     * Insert writebacks into the write buffer
361     */
362    void doWritebacks(PacketList& writebacks, Tick forward_time);
363
364    /**
365     * Send writebacks down the memory hierarchy in atomic mode
366     */
367    void doWritebacksAtomic(PacketList& writebacks);
368
369    /**
370     * Handling the special case of uncacheable write responses to
371     * make recvTimingResp less cluttered.
372     */
373    void handleUncacheableWriteResp(PacketPtr pkt);
374
375    /**
376     * Handles a response (cache line fill/write ack) from the bus.
377     * @param pkt The response packet
378     */
379    void recvTimingResp(PacketPtr pkt);
380
381    /**
382     * Snoops bus transactions to maintain coherence.
383     * @param pkt The current bus transaction.
384     */
385    void recvTimingSnoopReq(PacketPtr pkt);
386
387    /**
388     * Handle a snoop response.
389     * @param pkt Snoop response packet
390     */
391    void recvTimingSnoopResp(PacketPtr pkt);
392
393    /**
394     * Performs the access specified by the request.
395     * @param pkt The request to perform.
396     * @return The number of ticks required for the access.
397     */
398    Tick recvAtomic(PacketPtr pkt);
399
400    /**
401     * Snoop for the provided request in the cache and return the estimated
402     * time taken.
403     * @param pkt The memory request to snoop
404     * @return The number of ticks required for the snoop.
405     */
406    Tick recvAtomicSnoop(PacketPtr pkt);
407
408    /**
409     * Performs the access specified by the request.
410     * @param pkt The request to perform.
411     * @param fromCpuSide from the CPU side port or the memory side port
412     */
413    void functionalAccess(PacketPtr pkt, bool fromCpuSide);
414
415    /**
416     * Perform any necessary updates to the block and perform any data
417     * exchange between the packet and the block. The flags of the
418     * packet are also set accordingly.
419     *
420     * @param pkt Request packet from upstream that hit a block
421     * @param blk Cache block that the packet hit
422     * @param deferred_response Whether this hit is to block that
423     *                          originally missed
424     * @param pending_downgrade Whether the writable flag is to be removed
425     *
426     * @return True if the block is to be invalidated
427     */
428    void satisfyRequest(PacketPtr pkt, CacheBlk *blk,
429                        bool deferred_response = false,
430                        bool pending_downgrade = false);
431
432    void doTimingSupplyResponse(PacketPtr req_pkt, const uint8_t *blk_data,
433                                bool already_copied, bool pending_inval);
434
435    /**
436     * Perform an upward snoop if needed, and update the block state
437     * (possibly invalidating the block). Also create a response if required.
438     *
439     * @param pkt Snoop packet
440     * @param blk Cache block being snooped
441     * @param is_timing Timing or atomic for the response
442     * @param is_deferred Is this a deferred snoop or not?
443     * @param pending_inval Do we have a pending invalidation?
444     *
445     * @return The snoop delay incurred by the upwards snoop
446     */
447    uint32_t handleSnoop(PacketPtr pkt, CacheBlk *blk,
448                         bool is_timing, bool is_deferred, bool pending_inval);
449
450    /**
451     * Create a writeback request for the given block.
452     * @param blk The block to writeback.
453     * @return The writeback request for the block.
454     */
455    PacketPtr writebackBlk(CacheBlk *blk);
456
457    /**
458     * Create a CleanEvict request for the given block.
459     * @param blk The block to evict.
460     * @return The CleanEvict request for the block.
461     */
462    PacketPtr cleanEvictBlk(CacheBlk *blk);
463
464
465    void memWriteback() override;
466    void memInvalidate() override;
467    bool isDirty() const override;
468
469    /**
470     * Cache block visitor that writes back dirty cache blocks using
471     * functional writes.
472     *
473     * \return Always returns true.
474     */
475    bool writebackVisitor(CacheBlk &blk);
476    /**
477     * Cache block visitor that invalidates all blocks in the cache.
478     *
479     * @warn Dirty cache lines will not be written back to memory.
480     *
481     * \return Always returns true.
482     */
483    bool invalidateVisitor(CacheBlk &blk);
484
485    /**
486     * Create an appropriate downstream bus request packet for the
487     * given parameters.
488     * @param cpu_pkt  The miss that needs to be satisfied.
489     * @param blk The block currently in the cache corresponding to
490     * cpu_pkt (nullptr if none).
491     * @param needsWritable Indicates that the block must be writable
492     * even if the request in cpu_pkt doesn't indicate that.
493     * @return A new Packet containing the request, or nullptr if the
494     * current request in cpu_pkt should just be forwarded on.
495     */
496    PacketPtr createMissPacket(PacketPtr cpu_pkt, CacheBlk *blk,
497                               bool needsWritable) const;
498
499    /**
500     * Return the next queue entry to service, either a pending miss
501     * from the MSHR queue, a buffered write from the write buffer, or
502     * something from the prefetcher. This function is responsible
503     * for prioritizing among those sources on the fly.
504     */
505    QueueEntry* getNextQueueEntry();
506
507    /**
508     * Send up a snoop request and find cached copies. If cached copies are
509     * found, set the BLOCK_CACHED flag in pkt.
510     */
511    bool isCachedAbove(PacketPtr pkt, bool is_timing = true) const;
512
513    /**
514     * Return whether there are any outstanding misses.
515     */
516    bool outstandingMisses() const
517    {
518        return !mshrQueue.isEmpty();
519    }
520
521    CacheBlk *findBlock(Addr addr, bool is_secure) const {
522        return tags->findBlock(addr, is_secure);
523    }
524
525    bool inCache(Addr addr, bool is_secure) const override {
526        return (tags->findBlock(addr, is_secure) != 0);
527    }
528
529    bool inMissQueue(Addr addr, bool is_secure) const override {
530        return (mshrQueue.findMatch(addr, is_secure) != 0);
531    }
532
533    /**
534     * Find next request ready time from among possible sources.
535     */
536    Tick nextQueueReadyTime() const;
537
538  public:
539    /** Instantiates a basic cache object. */
540    Cache(const CacheParams *p);
541
542    /** Non-default destructor is needed to deallocate memory. */
543    virtual ~Cache();
544
545    void regStats() override;
546
547    /**
548     * Take an MSHR, turn it into a suitable downstream packet, and
549     * send it out. This construct allows a queue entry to choose a suitable
550     * approach based on its type.
551     *
552     * @param mshr The MSHR to turn into a packet and send
553     * @return True if the port is waiting for a retry
554     */
555    bool sendMSHRQueuePacket(MSHR* mshr);
556
557    /**
558     * Similar to sendMSHR, but for a write-queue entry
559     * instead. Create the packet, and send it, and if successful also
560     * mark the entry in service.
561     *
562     * @param wq_entry The write-queue entry to turn into a packet and send
563     * @return True if the port is waiting for a retry
564     */
565    bool sendWriteQueuePacket(WriteQueueEntry* wq_entry);
566
567    /** serialize the state of the caches
568     * We currently don't support checkpointing cache state, so this panics.
569     */
570    void serialize(CheckpointOut &cp) const override;
571    void unserialize(CheckpointIn &cp) override;
572};
573
574/**
575 * Wrap a method and present it as a cache block visitor.
576 *
577 * For example the forEachBlk method in the tag arrays expects a
578 * callable object/function as their parameter. This class wraps a
579 * method in an object and presents  callable object that adheres to
580 * the cache block visitor protocol.
581 */
582class CacheBlkVisitorWrapper : public CacheBlkVisitor
583{
584  public:
585    typedef bool (Cache::*VisitorPtr)(CacheBlk &blk);
586
587    CacheBlkVisitorWrapper(Cache &_cache, VisitorPtr _visitor)
588        : cache(_cache), visitor(_visitor) {}
589
590    bool operator()(CacheBlk &blk) override {
591        return (cache.*visitor)(blk);
592    }
593
594  private:
595    Cache &cache;
596    VisitorPtr visitor;
597};
598
599/**
600 * Cache block visitor that determines if there are dirty blocks in a
601 * cache.
602 *
603 * Use with the forEachBlk method in the tag array to determine if the
604 * array contains dirty blocks.
605 */
606class CacheBlkIsDirtyVisitor : public CacheBlkVisitor
607{
608  public:
609    CacheBlkIsDirtyVisitor()
610        : _isDirty(false) {}
611
612    bool operator()(CacheBlk &blk) override {
613        if (blk.isDirty()) {
614            _isDirty = true;
615            return false;
616        } else {
617            return true;
618        }
619    }
620
621    /**
622     * Does the array contain a dirty line?
623     *
624     * \return true if yes, false otherwise.
625     */
626    bool isDirty() const { return _isDirty; };
627
628  private:
629    bool _isDirty;
630};
631
632#endif // __MEM_CACHE_CACHE_HH__
633