queue.hh revision 11377:a06a4debe272
1/*
2 * Copyright (c) 2012-2013, 2015-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) 2003-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 *          Andreas Sandberg
42 *          Andreas Hansson
43 */
44
45/** @file
46 * Declaration of a high-level queue structure
47 */
48
49#ifndef __MEM_CACHE_QUEUE_HH__
50#define __MEM_CACHE_QUEUE_HH__
51
52#include <cassert>
53
54#include "base/trace.hh"
55#include "debug/Drain.hh"
56#include "mem/cache/queue_entry.hh"
57#include "sim/drain.hh"
58
59/**
60 * A high-level queue interface, to be used by both the MSHR queue and
61 * the write buffer.
62 */
63template<class Entry>
64class Queue : public Drainable
65{
66  protected:
67    /** Local label (for functional print requests) */
68    const std::string label;
69
70    /**
71     * The total number of entries in this queue. This number is set
72     * as the number of entries requested plus any reserve. This
73     * allows for the same number of effective entries while still
74     * maintaining an overflow reserve.
75     */
76    const int numEntries;
77
78    /**
79     * The number of entries to hold as a temporary overflow
80     * space. This is used to allow temporary overflow of the number
81     * of entries as we only check the full condition under certain
82     * conditions.
83     */
84    const int numReserve;
85
86    /**  Actual storage. */
87    std::vector<Entry> entries;
88    /** Holds pointers to all allocated entries. */
89    typename Entry::List allocatedList;
90    /** Holds pointers to entries that haven't been sent downstream. */
91    typename Entry::List readyList;
92    /** Holds non allocated entries. */
93    typename Entry::List freeList;
94
95    typename Entry::Iterator addToReadyList(Entry* entry)
96    {
97        if (readyList.empty() ||
98            readyList.back()->readyTime <= entry->readyTime) {
99            return readyList.insert(readyList.end(), entry);
100        }
101
102        for (auto i = readyList.begin(); i != readyList.end(); ++i) {
103            if ((*i)->readyTime > entry->readyTime) {
104                return readyList.insert(i, entry);
105            }
106        }
107        assert(false);
108        return readyList.end();  // keep stupid compilers happy
109    }
110
111    /** The number of entries that are in service. */
112    int _numInService;
113
114    /** The number of currently allocated entries. */
115    int allocated;
116
117  public:
118
119    /**
120     * Create a queue with a given number of entries.
121     *
122     * @param num_entries The number of entries in this queue.
123     * @param reserve The extra overflow entries needed.
124     */
125    Queue(const std::string &_label, int num_entries, int reserve) :
126        label(_label), numEntries(num_entries + reserve),
127        numReserve(reserve), entries(numEntries), _numInService(0),
128        allocated(0)
129    {
130        for (int i = 0; i < numEntries; ++i) {
131            freeList.push_back(&entries[i]);
132        }
133    }
134
135    bool isEmpty() const
136    {
137        return allocated == 0;
138    }
139
140    bool isFull() const
141    {
142        return (allocated >= numEntries - numReserve);
143    }
144
145    int numInService() const
146    {
147        return _numInService;
148    }
149
150    /**
151     * Find the first WriteQueueEntry that matches the provided address.
152     * @param blk_addr The block address to find.
153     * @param is_secure True if the target memory space is secure.
154     * @return Pointer to the matching WriteQueueEntry, null if not found.
155     */
156    Entry* findMatch(Addr blk_addr, bool is_secure) const
157    {
158        for (const auto& entry : allocatedList) {
159            // we ignore any entries allocated for uncacheable
160            // accesses and simply ignore them when matching, in the
161            // cache we never check for matches when adding new
162            // uncacheable entries, and we do not want normal
163            // cacheable accesses being added to an WriteQueueEntry
164            // serving an uncacheable access
165            if (!entry->isUncacheable() && entry->blkAddr == blk_addr &&
166                entry->isSecure == is_secure) {
167                return entry;
168            }
169        }
170        return nullptr;
171    }
172
173    bool checkFunctional(PacketPtr pkt, Addr blk_addr)
174    {
175        pkt->pushLabel(label);
176        for (const auto& entry : allocatedList) {
177            if (entry->blkAddr == blk_addr && entry->checkFunctional(pkt)) {
178                pkt->popLabel();
179                return true;
180            }
181        }
182        pkt->popLabel();
183        return false;
184    }
185
186    /**
187     * Find any pending requests that overlap the given request.
188     * @param blk_addr Block address.
189     * @param is_secure True if the target memory space is secure.
190     * @return A pointer to the earliest matching WriteQueueEntry.
191     */
192    Entry* findPending(Addr blk_addr, bool is_secure) const
193    {
194        for (const auto& entry : readyList) {
195            if (entry->blkAddr == blk_addr && entry->isSecure == is_secure) {
196                return entry;
197            }
198        }
199        return nullptr;
200    }
201
202    /**
203     * Returns the WriteQueueEntry at the head of the readyList.
204     * @return The next request to service.
205     */
206    Entry* getNext() const
207    {
208        if (readyList.empty() || readyList.front()->readyTime > curTick()) {
209            return NULL;
210        }
211        return readyList.front();
212    }
213
214    Tick nextReadyTime() const
215    {
216        return readyList.empty() ? MaxTick : readyList.front()->readyTime;
217    }
218
219    /**
220     * Removes the given entry from the queue. This places the entry
221     * on the free list.
222     *
223     * @param entry
224     */
225    void deallocate(Entry *entry)
226    {
227        allocatedList.erase(entry->allocIter);
228        freeList.push_front(entry);
229        allocated--;
230        if (entry->inService) {
231            _numInService--;
232        } else {
233            readyList.erase(entry->readyIter);
234        }
235        entry->deallocate();
236        if (drainState() == DrainState::Draining && allocated == 0) {
237            // Notify the drain manager that we have completed
238            // draining if there are no other outstanding requests in
239            // this queue.
240            DPRINTF(Drain, "Queue now empty, signalling drained\n");
241            signalDrainDone();
242        }
243    }
244
245    DrainState drain() override
246    {
247        return allocated == 0 ? DrainState::Drained : DrainState::Draining;
248    }
249};
250
251#endif //__MEM_CACHE_QUEUE_HH__
252