lsq_impl.hh revision 9444:ab47fe7f03f0
1/*
2 * Copyright (c) 2011-2012 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) 2005-2006 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: Korey Sewell
41 */
42
43#include <algorithm>
44#include <list>
45#include <string>
46
47#include "cpu/o3/lsq.hh"
48#include "debug/Drain.hh"
49#include "debug/Fetch.hh"
50#include "debug/LSQ.hh"
51#include "debug/Writeback.hh"
52#include "params/DerivO3CPU.hh"
53
54using namespace std;
55
56template <class Impl>
57LSQ<Impl>::LSQ(O3CPU *cpu_ptr, IEW *iew_ptr, DerivO3CPUParams *params)
58    : cpu(cpu_ptr), iewStage(iew_ptr),
59      LQEntries(params->LQEntries),
60      SQEntries(params->SQEntries),
61      numThreads(params->numThreads),
62      retryTid(-1)
63{
64    //**********************************************/
65    //************ Handle SMT Parameters ***********/
66    //**********************************************/
67    std::string policy = params->smtLSQPolicy;
68
69    //Convert string to lowercase
70    std::transform(policy.begin(), policy.end(), policy.begin(),
71                   (int(*)(int)) tolower);
72
73    //Figure out fetch policy
74    if (policy == "dynamic") {
75        lsqPolicy = Dynamic;
76
77        maxLQEntries = LQEntries;
78        maxSQEntries = SQEntries;
79
80        DPRINTF(LSQ, "LSQ sharing policy set to Dynamic\n");
81    } else if (policy == "partitioned") {
82        lsqPolicy = Partitioned;
83
84        //@todo:make work if part_amt doesnt divide evenly.
85        maxLQEntries = LQEntries / numThreads;
86        maxSQEntries = SQEntries / numThreads;
87
88        DPRINTF(Fetch, "LSQ sharing policy set to Partitioned: "
89                "%i entries per LQ | %i entries per SQ\n",
90                maxLQEntries,maxSQEntries);
91    } else if (policy == "threshold") {
92        lsqPolicy = Threshold;
93
94        assert(params->smtLSQThreshold > LQEntries);
95        assert(params->smtLSQThreshold > SQEntries);
96
97        //Divide up by threshold amount
98        //@todo: Should threads check the max and the total
99        //amount of the LSQ
100        maxLQEntries  = params->smtLSQThreshold;
101        maxSQEntries  = params->smtLSQThreshold;
102
103        DPRINTF(LSQ, "LSQ sharing policy set to Threshold: "
104                "%i entries per LQ | %i entries per SQ\n",
105                maxLQEntries,maxSQEntries);
106    } else {
107        assert(0 && "Invalid LSQ Sharing Policy.Options Are:{Dynamic,"
108                    "Partitioned, Threshold}");
109    }
110
111    //Initialize LSQs
112    for (ThreadID tid = 0; tid < numThreads; tid++) {
113        thread[tid].init(cpu, iew_ptr, params, this,
114                         maxLQEntries, maxSQEntries, tid);
115        thread[tid].setDcachePort(&cpu_ptr->getDataPort());
116    }
117}
118
119
120template<class Impl>
121std::string
122LSQ<Impl>::name() const
123{
124    return iewStage->name() + ".lsq";
125}
126
127template<class Impl>
128void
129LSQ<Impl>::regStats()
130{
131    //Initialize LSQs
132    for (ThreadID tid = 0; tid < numThreads; tid++) {
133        thread[tid].regStats();
134    }
135}
136
137template<class Impl>
138void
139LSQ<Impl>::setActiveThreads(list<ThreadID> *at_ptr)
140{
141    activeThreads = at_ptr;
142    assert(activeThreads != 0);
143}
144
145template <class Impl>
146void
147LSQ<Impl>::drainSanityCheck() const
148{
149    assert(isDrained());
150
151    for (ThreadID tid = 0; tid < numThreads; tid++)
152        thread[tid].drainSanityCheck();
153}
154
155template <class Impl>
156bool
157LSQ<Impl>::isDrained() const
158{
159    bool drained(true);
160
161    if (!lqEmpty()) {
162        DPRINTF(Drain, "Not drained, LQ not empty.\n");
163        drained = false;
164    }
165
166    if (!sqEmpty()) {
167        DPRINTF(Drain, "Not drained, SQ not empty.\n");
168        drained = false;
169    }
170
171    if (retryTid != InvalidThreadID) {
172        DPRINTF(Drain, "Not drained, the LSQ has blocked the caches.\n");
173        drained = false;
174    }
175
176    return drained;
177}
178
179template <class Impl>
180void
181LSQ<Impl>::takeOverFrom()
182{
183    for (ThreadID tid = 0; tid < numThreads; tid++) {
184        thread[tid].takeOverFrom();
185    }
186}
187
188template <class Impl>
189int
190LSQ<Impl>::entryAmount(ThreadID num_threads)
191{
192    if (lsqPolicy == Partitioned) {
193        return LQEntries / num_threads;
194    } else {
195        return 0;
196    }
197}
198
199template <class Impl>
200void
201LSQ<Impl>::resetEntries()
202{
203    if (lsqPolicy != Dynamic || numThreads > 1) {
204        int active_threads = activeThreads->size();
205
206        int maxEntries;
207
208        if (lsqPolicy == Partitioned) {
209            maxEntries = LQEntries / active_threads;
210        } else if (lsqPolicy == Threshold && active_threads == 1) {
211            maxEntries = LQEntries;
212        } else {
213            maxEntries = LQEntries;
214        }
215
216        list<ThreadID>::iterator threads  = activeThreads->begin();
217        list<ThreadID>::iterator end = activeThreads->end();
218
219        while (threads != end) {
220            ThreadID tid = *threads++;
221
222            resizeEntries(maxEntries, tid);
223        }
224    }
225}
226
227template<class Impl>
228void
229LSQ<Impl>::removeEntries(ThreadID tid)
230{
231    thread[tid].clearLQ();
232    thread[tid].clearSQ();
233}
234
235template<class Impl>
236void
237LSQ<Impl>::resizeEntries(unsigned size, ThreadID tid)
238{
239    thread[tid].resizeLQ(size);
240    thread[tid].resizeSQ(size);
241}
242
243template<class Impl>
244void
245LSQ<Impl>::tick()
246{
247    list<ThreadID>::iterator threads = activeThreads->begin();
248    list<ThreadID>::iterator end = activeThreads->end();
249
250    while (threads != end) {
251        ThreadID tid = *threads++;
252
253        thread[tid].tick();
254    }
255}
256
257template<class Impl>
258void
259LSQ<Impl>::insertLoad(DynInstPtr &load_inst)
260{
261    ThreadID tid = load_inst->threadNumber;
262
263    thread[tid].insertLoad(load_inst);
264}
265
266template<class Impl>
267void
268LSQ<Impl>::insertStore(DynInstPtr &store_inst)
269{
270    ThreadID tid = store_inst->threadNumber;
271
272    thread[tid].insertStore(store_inst);
273}
274
275template<class Impl>
276Fault
277LSQ<Impl>::executeLoad(DynInstPtr &inst)
278{
279    ThreadID tid = inst->threadNumber;
280
281    return thread[tid].executeLoad(inst);
282}
283
284template<class Impl>
285Fault
286LSQ<Impl>::executeStore(DynInstPtr &inst)
287{
288    ThreadID tid = inst->threadNumber;
289
290    return thread[tid].executeStore(inst);
291}
292
293template<class Impl>
294void
295LSQ<Impl>::writebackStores()
296{
297    list<ThreadID>::iterator threads = activeThreads->begin();
298    list<ThreadID>::iterator end = activeThreads->end();
299
300    while (threads != end) {
301        ThreadID tid = *threads++;
302
303        if (numStoresToWB(tid) > 0) {
304            DPRINTF(Writeback,"[tid:%i] Writing back stores. %i stores "
305                "available for Writeback.\n", tid, numStoresToWB(tid));
306        }
307
308        thread[tid].writebackStores();
309    }
310}
311
312template<class Impl>
313bool
314LSQ<Impl>::violation()
315{
316    /* Answers: Does Anybody Have a Violation?*/
317    list<ThreadID>::iterator threads = activeThreads->begin();
318    list<ThreadID>::iterator end = activeThreads->end();
319
320    while (threads != end) {
321        ThreadID tid = *threads++;
322
323        if (thread[tid].violation())
324            return true;
325    }
326
327    return false;
328}
329
330template <class Impl>
331void
332LSQ<Impl>::recvRetry()
333{
334    if (retryTid == InvalidThreadID)
335    {
336        //Squashed, so drop it
337        return;
338    }
339    int curr_retry_tid = retryTid;
340    // Speculatively clear the retry Tid.  This will get set again if
341    // the LSQUnit was unable to complete its access.
342    retryTid = -1;
343    thread[curr_retry_tid].recvRetry();
344}
345
346template <class Impl>
347bool
348LSQ<Impl>::recvTimingResp(PacketPtr pkt)
349{
350    if (pkt->isError())
351        DPRINTF(LSQ, "Got error packet back for address: %#X\n",
352                pkt->getAddr());
353    thread[pkt->req->threadId()].completeDataAccess(pkt);
354    return true;
355}
356
357template <class Impl>
358void
359LSQ<Impl>::recvTimingSnoopReq(PacketPtr pkt)
360{
361    DPRINTF(LSQ, "received pkt for addr:%#x %s\n", pkt->getAddr(),
362            pkt->cmdString());
363
364    // must be a snoop
365    if (pkt->isInvalidate()) {
366        DPRINTF(LSQ, "received invalidation for addr:%#x\n",
367                pkt->getAddr());
368        for (ThreadID tid = 0; tid < numThreads; tid++) {
369            thread[tid].checkSnoop(pkt);
370        }
371    }
372}
373
374template<class Impl>
375int
376LSQ<Impl>::getCount()
377{
378    unsigned total = 0;
379
380    list<ThreadID>::iterator threads = activeThreads->begin();
381    list<ThreadID>::iterator end = activeThreads->end();
382
383    while (threads != end) {
384        ThreadID tid = *threads++;
385
386        total += getCount(tid);
387    }
388
389    return total;
390}
391
392template<class Impl>
393int
394LSQ<Impl>::numLoads()
395{
396    unsigned total = 0;
397
398    list<ThreadID>::iterator threads = activeThreads->begin();
399    list<ThreadID>::iterator end = activeThreads->end();
400
401    while (threads != end) {
402        ThreadID tid = *threads++;
403
404        total += numLoads(tid);
405    }
406
407    return total;
408}
409
410template<class Impl>
411int
412LSQ<Impl>::numStores()
413{
414    unsigned total = 0;
415
416    list<ThreadID>::iterator threads = activeThreads->begin();
417    list<ThreadID>::iterator end = activeThreads->end();
418
419    while (threads != end) {
420        ThreadID tid = *threads++;
421
422        total += thread[tid].numStores();
423    }
424
425    return total;
426}
427
428template<class Impl>
429unsigned
430LSQ<Impl>::numFreeEntries()
431{
432    unsigned total = 0;
433
434    list<ThreadID>::iterator threads = activeThreads->begin();
435    list<ThreadID>::iterator end = activeThreads->end();
436
437    while (threads != end) {
438        ThreadID tid = *threads++;
439
440        total += thread[tid].numFreeEntries();
441    }
442
443    return total;
444}
445
446template<class Impl>
447unsigned
448LSQ<Impl>::numFreeEntries(ThreadID tid)
449{
450    //if (lsqPolicy == Dynamic)
451    //return numFreeEntries();
452    //else
453        return thread[tid].numFreeEntries();
454}
455
456template<class Impl>
457bool
458LSQ<Impl>::isFull()
459{
460    list<ThreadID>::iterator threads = activeThreads->begin();
461    list<ThreadID>::iterator end = activeThreads->end();
462
463    while (threads != end) {
464        ThreadID tid = *threads++;
465
466        if (!(thread[tid].lqFull() || thread[tid].sqFull()))
467            return false;
468    }
469
470    return true;
471}
472
473template<class Impl>
474bool
475LSQ<Impl>::isFull(ThreadID tid)
476{
477    //@todo: Change to Calculate All Entries for
478    //Dynamic Policy
479    if (lsqPolicy == Dynamic)
480        return isFull();
481    else
482        return thread[tid].lqFull() || thread[tid].sqFull();
483}
484
485template<class Impl>
486bool
487LSQ<Impl>::isEmpty() const
488{
489    return lqEmpty() && sqEmpty();
490}
491
492template<class Impl>
493bool
494LSQ<Impl>::lqEmpty() const
495{
496    list<ThreadID>::const_iterator threads = activeThreads->begin();
497    list<ThreadID>::const_iterator end = activeThreads->end();
498
499    while (threads != end) {
500        ThreadID tid = *threads++;
501
502        if (!thread[tid].lqEmpty())
503            return false;
504    }
505
506    return true;
507}
508
509template<class Impl>
510bool
511LSQ<Impl>::sqEmpty() const
512{
513    list<ThreadID>::const_iterator threads = activeThreads->begin();
514    list<ThreadID>::const_iterator end = activeThreads->end();
515
516    while (threads != end) {
517        ThreadID tid = *threads++;
518
519        if (!thread[tid].sqEmpty())
520            return false;
521    }
522
523    return true;
524}
525
526template<class Impl>
527bool
528LSQ<Impl>::lqFull()
529{
530    list<ThreadID>::iterator threads = activeThreads->begin();
531    list<ThreadID>::iterator end = activeThreads->end();
532
533    while (threads != end) {
534        ThreadID tid = *threads++;
535
536        if (!thread[tid].lqFull())
537            return false;
538    }
539
540    return true;
541}
542
543template<class Impl>
544bool
545LSQ<Impl>::lqFull(ThreadID tid)
546{
547    //@todo: Change to Calculate All Entries for
548    //Dynamic Policy
549    if (lsqPolicy == Dynamic)
550        return lqFull();
551    else
552        return thread[tid].lqFull();
553}
554
555template<class Impl>
556bool
557LSQ<Impl>::sqFull()
558{
559    list<ThreadID>::iterator threads = activeThreads->begin();
560    list<ThreadID>::iterator end = activeThreads->end();
561
562    while (threads != end) {
563        ThreadID tid = *threads++;
564
565        if (!sqFull(tid))
566            return false;
567    }
568
569    return true;
570}
571
572template<class Impl>
573bool
574LSQ<Impl>::sqFull(ThreadID tid)
575{
576     //@todo: Change to Calculate All Entries for
577    //Dynamic Policy
578    if (lsqPolicy == Dynamic)
579        return sqFull();
580    else
581        return thread[tid].sqFull();
582}
583
584template<class Impl>
585bool
586LSQ<Impl>::isStalled()
587{
588    list<ThreadID>::iterator threads = activeThreads->begin();
589    list<ThreadID>::iterator end = activeThreads->end();
590
591    while (threads != end) {
592        ThreadID tid = *threads++;
593
594        if (!thread[tid].isStalled())
595            return false;
596    }
597
598    return true;
599}
600
601template<class Impl>
602bool
603LSQ<Impl>::isStalled(ThreadID tid)
604{
605    if (lsqPolicy == Dynamic)
606        return isStalled();
607    else
608        return thread[tid].isStalled();
609}
610
611template<class Impl>
612bool
613LSQ<Impl>::hasStoresToWB()
614{
615    list<ThreadID>::iterator threads = activeThreads->begin();
616    list<ThreadID>::iterator end = activeThreads->end();
617
618    while (threads != end) {
619        ThreadID tid = *threads++;
620
621        if (hasStoresToWB(tid))
622            return true;
623    }
624
625    return false;
626}
627
628template<class Impl>
629bool
630LSQ<Impl>::willWB()
631{
632    list<ThreadID>::iterator threads = activeThreads->begin();
633    list<ThreadID>::iterator end = activeThreads->end();
634
635    while (threads != end) {
636        ThreadID tid = *threads++;
637
638        if (willWB(tid))
639            return true;
640    }
641
642    return false;
643}
644
645template<class Impl>
646void
647LSQ<Impl>::dumpInsts() const
648{
649    list<ThreadID>::const_iterator threads = activeThreads->begin();
650    list<ThreadID>::const_iterator end = activeThreads->end();
651
652    while (threads != end) {
653        ThreadID tid = *threads++;
654
655        thread[tid].dumpInsts();
656    }
657}
658