commit_impl.hh revision 4632:be5b8f67b8fb
1/*
2 * Copyright (c) 2004-2006 The Regents of The University of Michigan
3 * All rights reserved.
4 *
5 * Redistribution and use in source and binary forms, with or without
6 * modification, are permitted provided that the following conditions are
7 * met: redistributions of source code must retain the above copyright
8 * notice, this list of conditions and the following disclaimer;
9 * redistributions in binary form must reproduce the above copyright
10 * notice, this list of conditions and the following disclaimer in the
11 * documentation and/or other materials provided with the distribution;
12 * neither the name of the copyright holders nor the names of its
13 * contributors may be used to endorse or promote products derived from
14 * this software without specific prior written permission.
15 *
16 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
17 * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
18 * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
19 * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
20 * OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
21 * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
22 * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
23 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
24 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
25 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
26 * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27 *
28 * Authors: Kevin Lim
29 *          Korey Sewell
30 */
31
32#include "config/full_system.hh"
33#include "config/use_checker.hh"
34
35#include <algorithm>
36#include <string>
37
38#include "arch/utility.hh"
39#include "base/loader/symtab.hh"
40#include "base/timebuf.hh"
41#include "cpu/exetrace.hh"
42#include "cpu/o3/commit.hh"
43#include "cpu/o3/thread_state.hh"
44
45#if USE_CHECKER
46#include "cpu/checker/cpu.hh"
47#endif
48
49template <class Impl>
50DefaultCommit<Impl>::TrapEvent::TrapEvent(DefaultCommit<Impl> *_commit,
51                                          unsigned _tid)
52    : Event(&mainEventQueue, CPU_Tick_Pri), commit(_commit), tid(_tid)
53{
54    this->setFlags(Event::AutoDelete);
55}
56
57template <class Impl>
58void
59DefaultCommit<Impl>::TrapEvent::process()
60{
61    // This will get reset by commit if it was switched out at the
62    // time of this event processing.
63    commit->trapSquash[tid] = true;
64}
65
66template <class Impl>
67const char *
68DefaultCommit<Impl>::TrapEvent::description()
69{
70    return "Trap event";
71}
72
73template <class Impl>
74DefaultCommit<Impl>::DefaultCommit(O3CPU *_cpu, Params *params)
75    : cpu(_cpu),
76      squashCounter(0),
77      iewToCommitDelay(params->iewToCommitDelay),
78      commitToIEWDelay(params->commitToIEWDelay),
79      renameToROBDelay(params->renameToROBDelay),
80      fetchToCommitDelay(params->commitToFetchDelay),
81      renameWidth(params->renameWidth),
82      commitWidth(params->commitWidth),
83      numThreads(params->numberOfThreads),
84      drainPending(false),
85      switchedOut(false),
86      trapLatency(params->trapLatency)
87{
88    _status = Active;
89    _nextStatus = Inactive;
90    std::string policy = params->smtCommitPolicy;
91
92    //Convert string to lowercase
93    std::transform(policy.begin(), policy.end(), policy.begin(),
94                   (int(*)(int)) tolower);
95
96    //Assign commit policy
97    if (policy == "aggressive"){
98        commitPolicy = Aggressive;
99
100        DPRINTF(Commit,"Commit Policy set to Aggressive.");
101    } else if (policy == "roundrobin"){
102        commitPolicy = RoundRobin;
103
104        //Set-Up Priority List
105        for (int tid=0; tid < numThreads; tid++) {
106            priority_list.push_back(tid);
107        }
108
109        DPRINTF(Commit,"Commit Policy set to Round Robin.");
110    } else if (policy == "oldestready"){
111        commitPolicy = OldestReady;
112
113        DPRINTF(Commit,"Commit Policy set to Oldest Ready.");
114    } else {
115        assert(0 && "Invalid SMT Commit Policy. Options Are: {Aggressive,"
116               "RoundRobin,OldestReady}");
117    }
118
119    for (int i=0; i < numThreads; i++) {
120        commitStatus[i] = Idle;
121        changedROBNumEntries[i] = false;
122        checkEmptyROB[i] = false;
123        trapInFlight[i] = false;
124        committedStores[i] = false;
125        trapSquash[i] = false;
126        tcSquash[i] = false;
127        PC[i] = nextPC[i] = nextNPC[i] = 0;
128    }
129#if FULL_SYSTEM
130    interrupt = NoFault;
131#endif
132}
133
134template <class Impl>
135std::string
136DefaultCommit<Impl>::name() const
137{
138    return cpu->name() + ".commit";
139}
140
141template <class Impl>
142void
143DefaultCommit<Impl>::regStats()
144{
145    using namespace Stats;
146    commitCommittedInsts
147        .name(name() + ".commitCommittedInsts")
148        .desc("The number of committed instructions")
149        .prereq(commitCommittedInsts);
150    commitSquashedInsts
151        .name(name() + ".commitSquashedInsts")
152        .desc("The number of squashed insts skipped by commit")
153        .prereq(commitSquashedInsts);
154    commitSquashEvents
155        .name(name() + ".commitSquashEvents")
156        .desc("The number of times commit is told to squash")
157        .prereq(commitSquashEvents);
158    commitNonSpecStalls
159        .name(name() + ".commitNonSpecStalls")
160        .desc("The number of times commit has been forced to stall to "
161              "communicate backwards")
162        .prereq(commitNonSpecStalls);
163    branchMispredicts
164        .name(name() + ".branchMispredicts")
165        .desc("The number of times a branch was mispredicted")
166        .prereq(branchMispredicts);
167    numCommittedDist
168        .init(0,commitWidth,1)
169        .name(name() + ".COM:committed_per_cycle")
170        .desc("Number of insts commited each cycle")
171        .flags(Stats::pdf)
172        ;
173
174    statComInst
175        .init(cpu->number_of_threads)
176        .name(name() + ".COM:count")
177        .desc("Number of instructions committed")
178        .flags(total)
179        ;
180
181    statComSwp
182        .init(cpu->number_of_threads)
183        .name(name() + ".COM:swp_count")
184        .desc("Number of s/w prefetches committed")
185        .flags(total)
186        ;
187
188    statComRefs
189        .init(cpu->number_of_threads)
190        .name(name() +  ".COM:refs")
191        .desc("Number of memory references committed")
192        .flags(total)
193        ;
194
195    statComLoads
196        .init(cpu->number_of_threads)
197        .name(name() +  ".COM:loads")
198        .desc("Number of loads committed")
199        .flags(total)
200        ;
201
202    statComMembars
203        .init(cpu->number_of_threads)
204        .name(name() +  ".COM:membars")
205        .desc("Number of memory barriers committed")
206        .flags(total)
207        ;
208
209    statComBranches
210        .init(cpu->number_of_threads)
211        .name(name() + ".COM:branches")
212        .desc("Number of branches committed")
213        .flags(total)
214        ;
215
216    commitEligible
217        .init(cpu->number_of_threads)
218        .name(name() + ".COM:bw_limited")
219        .desc("number of insts not committed due to BW limits")
220        .flags(total)
221        ;
222
223    commitEligibleSamples
224        .name(name() + ".COM:bw_lim_events")
225        .desc("number cycles where commit BW limit reached")
226        ;
227}
228
229template <class Impl>
230void
231DefaultCommit<Impl>::setThreads(std::vector<Thread *> &threads)
232{
233    thread = threads;
234}
235
236template <class Impl>
237void
238DefaultCommit<Impl>::setTimeBuffer(TimeBuffer<TimeStruct> *tb_ptr)
239{
240    timeBuffer = tb_ptr;
241
242    // Setup wire to send information back to IEW.
243    toIEW = timeBuffer->getWire(0);
244
245    // Setup wire to read data from IEW (for the ROB).
246    robInfoFromIEW = timeBuffer->getWire(-iewToCommitDelay);
247}
248
249template <class Impl>
250void
251DefaultCommit<Impl>::setFetchQueue(TimeBuffer<FetchStruct> *fq_ptr)
252{
253    fetchQueue = fq_ptr;
254
255    // Setup wire to get instructions from rename (for the ROB).
256    fromFetch = fetchQueue->getWire(-fetchToCommitDelay);
257}
258
259template <class Impl>
260void
261DefaultCommit<Impl>::setRenameQueue(TimeBuffer<RenameStruct> *rq_ptr)
262{
263    renameQueue = rq_ptr;
264
265    // Setup wire to get instructions from rename (for the ROB).
266    fromRename = renameQueue->getWire(-renameToROBDelay);
267}
268
269template <class Impl>
270void
271DefaultCommit<Impl>::setIEWQueue(TimeBuffer<IEWStruct> *iq_ptr)
272{
273    iewQueue = iq_ptr;
274
275    // Setup wire to get instructions from IEW.
276    fromIEW = iewQueue->getWire(-iewToCommitDelay);
277}
278
279template <class Impl>
280void
281DefaultCommit<Impl>::setIEWStage(IEW *iew_stage)
282{
283    iewStage = iew_stage;
284}
285
286template<class Impl>
287void
288DefaultCommit<Impl>::setActiveThreads(std::list<unsigned> *at_ptr)
289{
290    activeThreads = at_ptr;
291}
292
293template <class Impl>
294void
295DefaultCommit<Impl>::setRenameMap(RenameMap rm_ptr[])
296{
297    for (int i=0; i < numThreads; i++) {
298        renameMap[i] = &rm_ptr[i];
299    }
300}
301
302template <class Impl>
303void
304DefaultCommit<Impl>::setROB(ROB *rob_ptr)
305{
306    rob = rob_ptr;
307}
308
309template <class Impl>
310void
311DefaultCommit<Impl>::initStage()
312{
313    rob->setActiveThreads(activeThreads);
314    rob->resetEntries();
315
316    // Broadcast the number of free entries.
317    for (int i=0; i < numThreads; i++) {
318        toIEW->commitInfo[i].usedROB = true;
319        toIEW->commitInfo[i].freeROBEntries = rob->numFreeEntries(i);
320        toIEW->commitInfo[i].emptyROB = true;
321    }
322
323    // Commit must broadcast the number of free entries it has at the
324    // start of the simulation, so it starts as active.
325    cpu->activateStage(O3CPU::CommitIdx);
326
327    cpu->activityThisCycle();
328    trapLatency = cpu->cycles(trapLatency);
329}
330
331template <class Impl>
332bool
333DefaultCommit<Impl>::drain()
334{
335    drainPending = true;
336
337    return false;
338}
339
340template <class Impl>
341void
342DefaultCommit<Impl>::switchOut()
343{
344    switchedOut = true;
345    drainPending = false;
346    rob->switchOut();
347}
348
349template <class Impl>
350void
351DefaultCommit<Impl>::resume()
352{
353    drainPending = false;
354}
355
356template <class Impl>
357void
358DefaultCommit<Impl>::takeOverFrom()
359{
360    switchedOut = false;
361    _status = Active;
362    _nextStatus = Inactive;
363    for (int i=0; i < numThreads; i++) {
364        commitStatus[i] = Idle;
365        changedROBNumEntries[i] = false;
366        trapSquash[i] = false;
367        tcSquash[i] = false;
368    }
369    squashCounter = 0;
370    rob->takeOverFrom();
371}
372
373template <class Impl>
374void
375DefaultCommit<Impl>::updateStatus()
376{
377    // reset ROB changed variable
378    std::list<unsigned>::iterator threads = activeThreads->begin();
379    std::list<unsigned>::iterator end = activeThreads->end();
380
381    while (threads != end) {
382        unsigned tid = *threads++;
383
384        changedROBNumEntries[tid] = false;
385
386        // Also check if any of the threads has a trap pending
387        if (commitStatus[tid] == TrapPending ||
388            commitStatus[tid] == FetchTrapPending) {
389            _nextStatus = Active;
390        }
391    }
392
393    if (_nextStatus == Inactive && _status == Active) {
394        DPRINTF(Activity, "Deactivating stage.\n");
395        cpu->deactivateStage(O3CPU::CommitIdx);
396    } else if (_nextStatus == Active && _status == Inactive) {
397        DPRINTF(Activity, "Activating stage.\n");
398        cpu->activateStage(O3CPU::CommitIdx);
399    }
400
401    _status = _nextStatus;
402}
403
404template <class Impl>
405void
406DefaultCommit<Impl>::setNextStatus()
407{
408    int squashes = 0;
409
410    std::list<unsigned>::iterator threads = activeThreads->begin();
411    std::list<unsigned>::iterator end = activeThreads->end();
412
413    while (threads != end) {
414        unsigned tid = *threads++;
415
416        if (commitStatus[tid] == ROBSquashing) {
417            squashes++;
418        }
419    }
420
421    squashCounter = squashes;
422
423    // If commit is currently squashing, then it will have activity for the
424    // next cycle. Set its next status as active.
425    if (squashCounter) {
426        _nextStatus = Active;
427    }
428}
429
430template <class Impl>
431bool
432DefaultCommit<Impl>::changedROBEntries()
433{
434    std::list<unsigned>::iterator threads = activeThreads->begin();
435    std::list<unsigned>::iterator end = activeThreads->end();
436
437    while (threads != end) {
438        unsigned tid = *threads++;
439
440        if (changedROBNumEntries[tid]) {
441            return true;
442        }
443    }
444
445    return false;
446}
447
448template <class Impl>
449unsigned
450DefaultCommit<Impl>::numROBFreeEntries(unsigned tid)
451{
452    return rob->numFreeEntries(tid);
453}
454
455template <class Impl>
456void
457DefaultCommit<Impl>::generateTrapEvent(unsigned tid)
458{
459    DPRINTF(Commit, "Generating trap event for [tid:%i]\n", tid);
460
461    TrapEvent *trap = new TrapEvent(this, tid);
462
463    trap->schedule(curTick + trapLatency);
464    trapInFlight[tid] = true;
465}
466
467template <class Impl>
468void
469DefaultCommit<Impl>::generateTCEvent(unsigned tid)
470{
471    assert(!trapInFlight[tid]);
472    DPRINTF(Commit, "Generating TC squash event for [tid:%i]\n", tid);
473
474    tcSquash[tid] = true;
475}
476
477template <class Impl>
478void
479DefaultCommit<Impl>::squashAll(unsigned tid)
480{
481    // If we want to include the squashing instruction in the squash,
482    // then use one older sequence number.
483    // Hopefully this doesn't mess things up.  Basically I want to squash
484    // all instructions of this thread.
485    InstSeqNum squashed_inst = rob->isEmpty() ?
486        0 : rob->readHeadInst(tid)->seqNum - 1;
487
488    // All younger instructions will be squashed. Set the sequence
489    // number as the youngest instruction in the ROB (0 in this case.
490    // Hopefully nothing breaks.)
491    youngestSeqNum[tid] = 0;
492
493    rob->squash(squashed_inst, tid);
494    changedROBNumEntries[tid] = true;
495
496    // Send back the sequence number of the squashed instruction.
497    toIEW->commitInfo[tid].doneSeqNum = squashed_inst;
498
499    // Send back the squash signal to tell stages that they should
500    // squash.
501    toIEW->commitInfo[tid].squash = true;
502
503    // Send back the rob squashing signal so other stages know that
504    // the ROB is in the process of squashing.
505    toIEW->commitInfo[tid].robSquashing = true;
506
507    toIEW->commitInfo[tid].branchMispredict = false;
508
509    toIEW->commitInfo[tid].nextPC = PC[tid];
510    toIEW->commitInfo[tid].nextNPC = nextPC[tid];
511}
512
513template <class Impl>
514void
515DefaultCommit<Impl>::squashFromTrap(unsigned tid)
516{
517    squashAll(tid);
518
519    DPRINTF(Commit, "Squashing from trap, restarting at PC %#x\n", PC[tid]);
520
521    thread[tid]->trapPending = false;
522    thread[tid]->inSyscall = false;
523    trapInFlight[tid] = false;
524
525    trapSquash[tid] = false;
526
527    commitStatus[tid] = ROBSquashing;
528    cpu->activityThisCycle();
529}
530
531template <class Impl>
532void
533DefaultCommit<Impl>::squashFromTC(unsigned tid)
534{
535    squashAll(tid);
536
537    DPRINTF(Commit, "Squashing from TC, restarting at PC %#x\n", PC[tid]);
538
539    thread[tid]->inSyscall = false;
540    assert(!thread[tid]->trapPending);
541
542    commitStatus[tid] = ROBSquashing;
543    cpu->activityThisCycle();
544
545    tcSquash[tid] = false;
546}
547
548template <class Impl>
549void
550DefaultCommit<Impl>::tick()
551{
552    wroteToTimeBuffer = false;
553    _nextStatus = Inactive;
554
555    if (drainPending && rob->isEmpty() && !iewStage->hasStoresToWB()) {
556        cpu->signalDrained();
557        drainPending = false;
558        return;
559    }
560
561    if (activeThreads->empty())
562        return;
563
564    std::list<unsigned>::iterator threads = activeThreads->begin();
565    std::list<unsigned>::iterator end = activeThreads->end();
566
567    // Check if any of the threads are done squashing.  Change the
568    // status if they are done.
569    while (threads != end) {
570        unsigned tid = *threads++;
571
572        // Clear the bit saying if the thread has committed stores
573        // this cycle.
574        committedStores[tid] = false;
575
576        if (commitStatus[tid] == ROBSquashing) {
577
578            if (rob->isDoneSquashing(tid)) {
579                commitStatus[tid] = Running;
580            } else {
581                DPRINTF(Commit,"[tid:%u]: Still Squashing, cannot commit any"
582                        " insts this cycle.\n", tid);
583                rob->doSquash(tid);
584                toIEW->commitInfo[tid].robSquashing = true;
585                wroteToTimeBuffer = true;
586            }
587        }
588    }
589
590    commit();
591
592    markCompletedInsts();
593
594    threads = activeThreads->begin();
595
596    while (threads != end) {
597        unsigned tid = *threads++;
598
599        if (!rob->isEmpty(tid) && rob->readHeadInst(tid)->readyToCommit()) {
600            // The ROB has more instructions it can commit. Its next status
601            // will be active.
602            _nextStatus = Active;
603
604            DynInstPtr inst = rob->readHeadInst(tid);
605
606            DPRINTF(Commit,"[tid:%i]: Instruction [sn:%lli] PC %#x is head of"
607                    " ROB and ready to commit\n",
608                    tid, inst->seqNum, inst->readPC());
609
610        } else if (!rob->isEmpty(tid)) {
611            DynInstPtr inst = rob->readHeadInst(tid);
612
613            DPRINTF(Commit,"[tid:%i]: Can't commit, Instruction [sn:%lli] PC "
614                    "%#x is head of ROB and not ready\n",
615                    tid, inst->seqNum, inst->readPC());
616        }
617
618        DPRINTF(Commit, "[tid:%i]: ROB has %d insts & %d free entries.\n",
619                tid, rob->countInsts(tid), rob->numFreeEntries(tid));
620    }
621
622
623    if (wroteToTimeBuffer) {
624        DPRINTF(Activity, "Activity This Cycle.\n");
625        cpu->activityThisCycle();
626    }
627
628    updateStatus();
629}
630
631#if FULL_SYSTEM
632template <class Impl>
633void
634DefaultCommit<Impl>::handleInterrupt()
635{
636    if (interrupt != NoFault) {
637        // Wait until the ROB is empty and all stores have drained in
638        // order to enter the interrupt.
639        if (rob->isEmpty() && !iewStage->hasStoresToWB()) {
640            // Squash or record that I need to squash this cycle if
641            // an interrupt needed to be handled.
642            DPRINTF(Commit, "Interrupt detected.\n");
643
644            Fault new_interrupt = cpu->getInterrupts();
645            assert(new_interrupt != NoFault);
646
647            // Clear the interrupt now that it's going to be handled
648            toIEW->commitInfo[0].clearInterrupt = true;
649
650            assert(!thread[0]->inSyscall);
651            thread[0]->inSyscall = true;
652
653            // CPU will handle interrupt.
654            cpu->processInterrupts(interrupt);
655
656            thread[0]->inSyscall = false;
657
658            commitStatus[0] = TrapPending;
659
660            // Generate trap squash event.
661            generateTrapEvent(0);
662
663            interrupt = NoFault;
664        } else {
665            DPRINTF(Commit, "Interrupt pending, waiting for ROB to empty.\n");
666        }
667    } else if (commitStatus[0] != TrapPending &&
668               cpu->check_interrupts(cpu->tcBase(0)) &&
669               !trapSquash[0] &&
670               !tcSquash[0]) {
671        // Process interrupts if interrupts are enabled, not in PAL
672        // mode, and no other traps or external squashes are currently
673        // pending.
674        // @todo: Allow other threads to handle interrupts.
675
676        // Get any interrupt that happened
677        interrupt = cpu->getInterrupts();
678
679        if (interrupt != NoFault) {
680            // Tell fetch that there is an interrupt pending.  This
681            // will make fetch wait until it sees a non PAL-mode PC,
682            // at which point it stops fetching instructions.
683            toIEW->commitInfo[0].interruptPending = true;
684        }
685    }
686}
687#endif // FULL_SYSTEM
688
689template <class Impl>
690void
691DefaultCommit<Impl>::commit()
692{
693
694#if FULL_SYSTEM
695    // Check for any interrupt, and start processing it.  Or if we
696    // have an outstanding interrupt and are at a point when it is
697    // valid to take an interrupt, process it.
698    if (cpu->check_interrupts(cpu->tcBase(0))) {
699        handleInterrupt();
700    }
701#endif // FULL_SYSTEM
702
703    ////////////////////////////////////
704    // Check for any possible squashes, handle them first
705    ////////////////////////////////////
706    std::list<unsigned>::iterator threads = activeThreads->begin();
707    std::list<unsigned>::iterator end = activeThreads->end();
708
709    while (threads != end) {
710        unsigned tid = *threads++;
711
712        // Not sure which one takes priority.  I think if we have
713        // both, that's a bad sign.
714        if (trapSquash[tid] == true) {
715            assert(!tcSquash[tid]);
716            squashFromTrap(tid);
717        } else if (tcSquash[tid] == true) {
718            assert(commitStatus[tid] != TrapPending);
719            squashFromTC(tid);
720        }
721
722        // Squashed sequence number must be older than youngest valid
723        // instruction in the ROB. This prevents squashes from younger
724        // instructions overriding squashes from older instructions.
725        if (fromIEW->squash[tid] &&
726            commitStatus[tid] != TrapPending &&
727            fromIEW->squashedSeqNum[tid] <= youngestSeqNum[tid]) {
728
729            DPRINTF(Commit, "[tid:%i]: Squashing due to PC %#x [sn:%i]\n",
730                    tid,
731                    fromIEW->mispredPC[tid],
732                    fromIEW->squashedSeqNum[tid]);
733
734            DPRINTF(Commit, "[tid:%i]: Redirecting to PC %#x\n",
735                    tid,
736                    fromIEW->nextPC[tid]);
737
738            commitStatus[tid] = ROBSquashing;
739
740            // If we want to include the squashing instruction in the squash,
741            // then use one older sequence number.
742            InstSeqNum squashed_inst = fromIEW->squashedSeqNum[tid];
743
744            if (fromIEW->includeSquashInst[tid] == true) {
745                squashed_inst--;
746            }
747
748            // All younger instructions will be squashed. Set the sequence
749            // number as the youngest instruction in the ROB.
750            youngestSeqNum[tid] = squashed_inst;
751
752            rob->squash(squashed_inst, tid);
753            changedROBNumEntries[tid] = true;
754
755            toIEW->commitInfo[tid].doneSeqNum = squashed_inst;
756
757            toIEW->commitInfo[tid].squash = true;
758
759            // Send back the rob squashing signal so other stages know that
760            // the ROB is in the process of squashing.
761            toIEW->commitInfo[tid].robSquashing = true;
762
763            toIEW->commitInfo[tid].branchMispredict =
764                fromIEW->branchMispredict[tid];
765
766            toIEW->commitInfo[tid].branchTaken =
767                fromIEW->branchTaken[tid];
768
769            toIEW->commitInfo[tid].nextPC = fromIEW->nextPC[tid];
770            toIEW->commitInfo[tid].nextNPC = fromIEW->nextNPC[tid];
771
772            toIEW->commitInfo[tid].mispredPC = fromIEW->mispredPC[tid];
773
774            if (toIEW->commitInfo[tid].branchMispredict) {
775                ++branchMispredicts;
776            }
777        }
778
779    }
780
781    setNextStatus();
782
783    if (squashCounter != numThreads) {
784        // If we're not currently squashing, then get instructions.
785        getInsts();
786
787        // Try to commit any instructions.
788        commitInsts();
789    }
790
791    //Check for any activity
792    threads = activeThreads->begin();
793
794    while (threads != end) {
795        unsigned tid = *threads++;
796
797        if (changedROBNumEntries[tid]) {
798            toIEW->commitInfo[tid].usedROB = true;
799            toIEW->commitInfo[tid].freeROBEntries = rob->numFreeEntries(tid);
800
801            wroteToTimeBuffer = true;
802            changedROBNumEntries[tid] = false;
803            if (rob->isEmpty(tid))
804                checkEmptyROB[tid] = true;
805        }
806
807        // ROB is only considered "empty" for previous stages if: a)
808        // ROB is empty, b) there are no outstanding stores, c) IEW
809        // stage has received any information regarding stores that
810        // committed.
811        // c) is checked by making sure to not consider the ROB empty
812        // on the same cycle as when stores have been committed.
813        // @todo: Make this handle multi-cycle communication between
814        // commit and IEW.
815        if (checkEmptyROB[tid] && rob->isEmpty(tid) &&
816            !iewStage->hasStoresToWB() && !committedStores[tid]) {
817            checkEmptyROB[tid] = false;
818            toIEW->commitInfo[tid].usedROB = true;
819            toIEW->commitInfo[tid].emptyROB = true;
820            toIEW->commitInfo[tid].freeROBEntries = rob->numFreeEntries(tid);
821            wroteToTimeBuffer = true;
822        }
823
824    }
825}
826
827template <class Impl>
828void
829DefaultCommit<Impl>::commitInsts()
830{
831    ////////////////////////////////////
832    // Handle commit
833    // Note that commit will be handled prior to putting new
834    // instructions in the ROB so that the ROB only tries to commit
835    // instructions it has in this current cycle, and not instructions
836    // it is writing in during this cycle.  Can't commit and squash
837    // things at the same time...
838    ////////////////////////////////////
839
840    DPRINTF(Commit, "Trying to commit instructions in the ROB.\n");
841
842    unsigned num_committed = 0;
843
844    DynInstPtr head_inst;
845
846    // Commit as many instructions as possible until the commit bandwidth
847    // limit is reached, or it becomes impossible to commit any more.
848    while (num_committed < commitWidth) {
849        int commit_thread = getCommittingThread();
850
851        if (commit_thread == -1 || !rob->isHeadReady(commit_thread))
852            break;
853
854        head_inst = rob->readHeadInst(commit_thread);
855
856        int tid = head_inst->threadNumber;
857
858        assert(tid == commit_thread);
859
860        DPRINTF(Commit, "Trying to commit head instruction, [sn:%i] [tid:%i]\n",
861                head_inst->seqNum, tid);
862
863        // If the head instruction is squashed, it is ready to retire
864        // (be removed from the ROB) at any time.
865        if (head_inst->isSquashed()) {
866
867            DPRINTF(Commit, "Retiring squashed instruction from "
868                    "ROB.\n");
869
870            rob->retireHead(commit_thread);
871
872            ++commitSquashedInsts;
873
874            // Record that the number of ROB entries has changed.
875            changedROBNumEntries[tid] = true;
876        } else {
877            PC[tid] = head_inst->readPC();
878            nextPC[tid] = head_inst->readNextPC();
879            nextNPC[tid] = head_inst->readNextNPC();
880
881            // Increment the total number of non-speculative instructions
882            // executed.
883            // Hack for now: it really shouldn't happen until after the
884            // commit is deemed to be successful, but this count is needed
885            // for syscalls.
886            thread[tid]->funcExeInst++;
887
888            // Try to commit the head instruction.
889            bool commit_success = commitHead(head_inst, num_committed);
890
891            if (commit_success) {
892                ++num_committed;
893
894                changedROBNumEntries[tid] = true;
895
896                // Set the doneSeqNum to the youngest committed instruction.
897                toIEW->commitInfo[tid].doneSeqNum = head_inst->seqNum;
898
899                ++commitCommittedInsts;
900
901                // To match the old model, don't count nops and instruction
902                // prefetches towards the total commit count.
903                if (!head_inst->isNop() && !head_inst->isInstPrefetch()) {
904                    cpu->instDone(tid);
905                }
906
907                PC[tid] = nextPC[tid];
908#if ISA_HAS_DELAY_SLOT
909                nextPC[tid] = nextNPC[tid];
910                nextNPC[tid] = nextNPC[tid] + sizeof(TheISA::MachInst);
911#else
912                nextPC[tid] = nextPC[tid] + sizeof(TheISA::MachInst);
913#endif
914
915#if FULL_SYSTEM
916                int count = 0;
917                Addr oldpc;
918                do {
919                    // Debug statement.  Checks to make sure we're not
920                    // currently updating state while handling PC events.
921                    if (count == 0)
922                        assert(!thread[tid]->inSyscall &&
923                               !thread[tid]->trapPending);
924                    oldpc = PC[tid];
925                    cpu->system->pcEventQueue.service(
926                        thread[tid]->getTC());
927                    count++;
928                } while (oldpc != PC[tid]);
929                if (count > 1) {
930                    DPRINTF(Commit, "PC skip function event, stopping commit\n");
931                    break;
932                }
933#endif
934            } else {
935                DPRINTF(Commit, "Unable to commit head instruction PC:%#x "
936                        "[tid:%i] [sn:%i].\n",
937                        head_inst->readPC(), tid ,head_inst->seqNum);
938                break;
939            }
940        }
941    }
942
943    DPRINTF(CommitRate, "%i\n", num_committed);
944    numCommittedDist.sample(num_committed);
945
946    if (num_committed == commitWidth) {
947        commitEligibleSamples++;
948    }
949}
950
951template <class Impl>
952bool
953DefaultCommit<Impl>::commitHead(DynInstPtr &head_inst, unsigned inst_num)
954{
955    assert(head_inst);
956
957    int tid = head_inst->threadNumber;
958
959    // If the instruction is not executed yet, then it will need extra
960    // handling.  Signal backwards that it should be executed.
961    if (!head_inst->isExecuted()) {
962        // Keep this number correct.  We have not yet actually executed
963        // and committed this instruction.
964        thread[tid]->funcExeInst--;
965
966        if (head_inst->isNonSpeculative() ||
967            head_inst->isStoreConditional() ||
968            head_inst->isMemBarrier() ||
969            head_inst->isWriteBarrier()) {
970
971            DPRINTF(Commit, "Encountered a barrier or non-speculative "
972                    "instruction [sn:%lli] at the head of the ROB, PC %#x.\n",
973                    head_inst->seqNum, head_inst->readPC());
974
975            if (inst_num > 0 || iewStage->hasStoresToWB()) {
976                DPRINTF(Commit, "Waiting for all stores to writeback.\n");
977                return false;
978            }
979
980            toIEW->commitInfo[tid].nonSpecSeqNum = head_inst->seqNum;
981
982            // Change the instruction so it won't try to commit again until
983            // it is executed.
984            head_inst->clearCanCommit();
985
986            ++commitNonSpecStalls;
987
988            return false;
989        } else if (head_inst->isLoad()) {
990            if (inst_num > 0 || iewStage->hasStoresToWB()) {
991                DPRINTF(Commit, "Waiting for all stores to writeback.\n");
992                return false;
993            }
994
995            assert(head_inst->uncacheable());
996            DPRINTF(Commit, "[sn:%lli]: Uncached load, PC %#x.\n",
997                    head_inst->seqNum, head_inst->readPC());
998
999            // Send back the non-speculative instruction's sequence
1000            // number.  Tell the lsq to re-execute the load.
1001            toIEW->commitInfo[tid].nonSpecSeqNum = head_inst->seqNum;
1002            toIEW->commitInfo[tid].uncached = true;
1003            toIEW->commitInfo[tid].uncachedLoad = head_inst;
1004
1005            head_inst->clearCanCommit();
1006
1007            return false;
1008        } else {
1009            panic("Trying to commit un-executed instruction "
1010                  "of unknown type!\n");
1011        }
1012    }
1013
1014    if (head_inst->isThreadSync()) {
1015        // Not handled for now.
1016        panic("Thread sync instructions are not handled yet.\n");
1017    }
1018
1019    // Check if the instruction caused a fault.  If so, trap.
1020    Fault inst_fault = head_inst->getFault();
1021
1022    // Stores mark themselves as completed.
1023    if (!head_inst->isStore() && inst_fault == NoFault) {
1024        head_inst->setCompleted();
1025    }
1026
1027#if USE_CHECKER
1028    // Use checker prior to updating anything due to traps or PC
1029    // based events.
1030    if (cpu->checker) {
1031        cpu->checker->verify(head_inst);
1032    }
1033#endif
1034
1035    // DTB will sometimes need the machine instruction for when
1036    // faults happen.  So we will set it here, prior to the DTB
1037    // possibly needing it for its fault.
1038    thread[tid]->setInst(
1039        static_cast<TheISA::MachInst>(head_inst->staticInst->machInst));
1040
1041    if (inst_fault != NoFault) {
1042        DPRINTF(Commit, "Inst [sn:%lli] PC %#x has a fault\n",
1043                head_inst->seqNum, head_inst->readPC());
1044
1045        if (iewStage->hasStoresToWB() || inst_num > 0) {
1046            DPRINTF(Commit, "Stores outstanding, fault must wait.\n");
1047            return false;
1048        }
1049
1050        head_inst->setCompleted();
1051
1052#if USE_CHECKER
1053        if (cpu->checker && head_inst->isStore()) {
1054            cpu->checker->verify(head_inst);
1055        }
1056#endif
1057
1058        assert(!thread[tid]->inSyscall);
1059
1060        // Mark that we're in state update mode so that the trap's
1061        // execution doesn't generate extra squashes.
1062        thread[tid]->inSyscall = true;
1063
1064        // Execute the trap.  Although it's slightly unrealistic in
1065        // terms of timing (as it doesn't wait for the full timing of
1066        // the trap event to complete before updating state), it's
1067        // needed to update the state as soon as possible.  This
1068        // prevents external agents from changing any specific state
1069        // that the trap need.
1070        cpu->trap(inst_fault, tid);
1071
1072        // Exit state update mode to avoid accidental updating.
1073        thread[tid]->inSyscall = false;
1074
1075        commitStatus[tid] = TrapPending;
1076
1077        if (head_inst->traceData) {
1078            head_inst->traceData->setFetchSeq(head_inst->seqNum);
1079            head_inst->traceData->setCPSeq(thread[tid]->numInst);
1080            head_inst->traceData->dump();
1081            delete head_inst->traceData;
1082            head_inst->traceData = NULL;
1083        }
1084
1085        // Generate trap squash event.
1086        generateTrapEvent(tid);
1087//        warn("%lli fault (%d) handled @ PC %08p", curTick, inst_fault->name(), head_inst->readPC());
1088        return false;
1089    }
1090
1091    updateComInstStats(head_inst);
1092
1093#if FULL_SYSTEM
1094    if (thread[tid]->profile) {
1095//        bool usermode = TheISA::inUserMode(thread[tid]->getTC());
1096//        thread[tid]->profilePC = usermode ? 1 : head_inst->readPC();
1097        thread[tid]->profilePC = head_inst->readPC();
1098        ProfileNode *node = thread[tid]->profile->consume(thread[tid]->getTC(),
1099                                                          head_inst->staticInst);
1100
1101        if (node)
1102            thread[tid]->profileNode = node;
1103    }
1104#endif
1105
1106    if (head_inst->traceData) {
1107        head_inst->traceData->setFetchSeq(head_inst->seqNum);
1108        head_inst->traceData->setCPSeq(thread[tid]->numInst);
1109        head_inst->traceData->dump();
1110        delete head_inst->traceData;
1111        head_inst->traceData = NULL;
1112    }
1113
1114    // Update the commit rename map
1115    for (int i = 0; i < head_inst->numDestRegs(); i++) {
1116        renameMap[tid]->setEntry(head_inst->flattenedDestRegIdx(i),
1117                                 head_inst->renamedDestRegIdx(i));
1118    }
1119
1120    if (head_inst->isCopy())
1121        panic("Should not commit any copy instructions!");
1122
1123    // Finally clear the head ROB entry.
1124    rob->retireHead(tid);
1125
1126    // If this was a store, record it for this cycle.
1127    if (head_inst->isStore())
1128        committedStores[tid] = true;
1129
1130    // Return true to indicate that we have committed an instruction.
1131    return true;
1132}
1133
1134template <class Impl>
1135void
1136DefaultCommit<Impl>::getInsts()
1137{
1138    DPRINTF(Commit, "Getting instructions from Rename stage.\n");
1139
1140    // Read any renamed instructions and place them into the ROB.
1141    int insts_to_process = std::min((int)renameWidth, fromRename->size);
1142
1143    for (int inst_num = 0; inst_num < insts_to_process; ++inst_num) {
1144        DynInstPtr inst;
1145
1146        inst = fromRename->insts[inst_num];
1147        int tid = inst->threadNumber;
1148
1149        if (!inst->isSquashed() &&
1150            commitStatus[tid] != ROBSquashing &&
1151            commitStatus[tid] != TrapPending) {
1152            changedROBNumEntries[tid] = true;
1153
1154            DPRINTF(Commit, "Inserting PC %#x [sn:%i] [tid:%i] into ROB.\n",
1155                    inst->readPC(), inst->seqNum, tid);
1156
1157            rob->insertInst(inst);
1158
1159            assert(rob->getThreadEntries(tid) <= rob->getMaxEntries(tid));
1160
1161            youngestSeqNum[tid] = inst->seqNum;
1162        } else {
1163            DPRINTF(Commit, "Instruction PC %#x [sn:%i] [tid:%i] was "
1164                    "squashed, skipping.\n",
1165                    inst->readPC(), inst->seqNum, tid);
1166        }
1167    }
1168}
1169
1170template <class Impl>
1171void
1172DefaultCommit<Impl>::skidInsert()
1173{
1174    DPRINTF(Commit, "Attempting to any instructions from rename into "
1175            "skidBuffer.\n");
1176
1177    for (int inst_num = 0; inst_num < fromRename->size; ++inst_num) {
1178        DynInstPtr inst = fromRename->insts[inst_num];
1179
1180        if (!inst->isSquashed()) {
1181            DPRINTF(Commit, "Inserting PC %#x [sn:%i] [tid:%i] into ",
1182                    "skidBuffer.\n", inst->readPC(), inst->seqNum,
1183                    inst->threadNumber);
1184            skidBuffer.push(inst);
1185        } else {
1186            DPRINTF(Commit, "Instruction PC %#x [sn:%i] [tid:%i] was "
1187                    "squashed, skipping.\n",
1188                    inst->readPC(), inst->seqNum, inst->threadNumber);
1189        }
1190    }
1191}
1192
1193template <class Impl>
1194void
1195DefaultCommit<Impl>::markCompletedInsts()
1196{
1197    // Grab completed insts out of the IEW instruction queue, and mark
1198    // instructions completed within the ROB.
1199    for (int inst_num = 0;
1200         inst_num < fromIEW->size && fromIEW->insts[inst_num];
1201         ++inst_num)
1202    {
1203        if (!fromIEW->insts[inst_num]->isSquashed()) {
1204            DPRINTF(Commit, "[tid:%i]: Marking PC %#x, [sn:%lli] ready "
1205                    "within ROB.\n",
1206                    fromIEW->insts[inst_num]->threadNumber,
1207                    fromIEW->insts[inst_num]->readPC(),
1208                    fromIEW->insts[inst_num]->seqNum);
1209
1210            // Mark the instruction as ready to commit.
1211            fromIEW->insts[inst_num]->setCanCommit();
1212        }
1213    }
1214}
1215
1216template <class Impl>
1217bool
1218DefaultCommit<Impl>::robDoneSquashing()
1219{
1220    std::list<unsigned>::iterator threads = activeThreads->begin();
1221    std::list<unsigned>::iterator end = activeThreads->end();
1222
1223    while (threads != end) {
1224        unsigned tid = *threads++;
1225
1226        if (!rob->isDoneSquashing(tid))
1227            return false;
1228    }
1229
1230    return true;
1231}
1232
1233template <class Impl>
1234void
1235DefaultCommit<Impl>::updateComInstStats(DynInstPtr &inst)
1236{
1237    unsigned thread = inst->threadNumber;
1238
1239    //
1240    //  Pick off the software prefetches
1241    //
1242#ifdef TARGET_ALPHA
1243    if (inst->isDataPrefetch()) {
1244        statComSwp[thread]++;
1245    } else {
1246        statComInst[thread]++;
1247    }
1248#else
1249    statComInst[thread]++;
1250#endif
1251
1252    //
1253    //  Control Instructions
1254    //
1255    if (inst->isControl())
1256        statComBranches[thread]++;
1257
1258    //
1259    //  Memory references
1260    //
1261    if (inst->isMemRef()) {
1262        statComRefs[thread]++;
1263
1264        if (inst->isLoad()) {
1265            statComLoads[thread]++;
1266        }
1267    }
1268
1269    if (inst->isMemBarrier()) {
1270        statComMembars[thread]++;
1271    }
1272}
1273
1274////////////////////////////////////////
1275//                                    //
1276//  SMT COMMIT POLICY MAINTAINED HERE //
1277//                                    //
1278////////////////////////////////////////
1279template <class Impl>
1280int
1281DefaultCommit<Impl>::getCommittingThread()
1282{
1283    if (numThreads > 1) {
1284        switch (commitPolicy) {
1285
1286          case Aggressive:
1287            //If Policy is Aggressive, commit will call
1288            //this function multiple times per
1289            //cycle
1290            return oldestReady();
1291
1292          case RoundRobin:
1293            return roundRobin();
1294
1295          case OldestReady:
1296            return oldestReady();
1297
1298          default:
1299            return -1;
1300        }
1301    } else {
1302        assert(!activeThreads->empty());
1303        int tid = activeThreads->front();
1304
1305        if (commitStatus[tid] == Running ||
1306            commitStatus[tid] == Idle ||
1307            commitStatus[tid] == FetchTrapPending) {
1308            return tid;
1309        } else {
1310            return -1;
1311        }
1312    }
1313}
1314
1315template<class Impl>
1316int
1317DefaultCommit<Impl>::roundRobin()
1318{
1319    std::list<unsigned>::iterator pri_iter = priority_list.begin();
1320    std::list<unsigned>::iterator end      = priority_list.end();
1321
1322    while (pri_iter != end) {
1323        unsigned tid = *pri_iter;
1324
1325        if (commitStatus[tid] == Running ||
1326            commitStatus[tid] == Idle ||
1327            commitStatus[tid] == FetchTrapPending) {
1328
1329            if (rob->isHeadReady(tid)) {
1330                priority_list.erase(pri_iter);
1331                priority_list.push_back(tid);
1332
1333                return tid;
1334            }
1335        }
1336
1337        pri_iter++;
1338    }
1339
1340    return -1;
1341}
1342
1343template<class Impl>
1344int
1345DefaultCommit<Impl>::oldestReady()
1346{
1347    unsigned oldest = 0;
1348    bool first = true;
1349
1350    std::list<unsigned>::iterator threads = activeThreads->begin();
1351    std::list<unsigned>::iterator end = activeThreads->end();
1352
1353    while (threads != end) {
1354        unsigned tid = *threads++;
1355
1356        if (!rob->isEmpty(tid) &&
1357            (commitStatus[tid] == Running ||
1358             commitStatus[tid] == Idle ||
1359             commitStatus[tid] == FetchTrapPending)) {
1360
1361            if (rob->isHeadReady(tid)) {
1362
1363                DynInstPtr head_inst = rob->readHeadInst(tid);
1364
1365                if (first) {
1366                    oldest = tid;
1367                    first = false;
1368                } else if (head_inst->seqNum < oldest) {
1369                    oldest = tid;
1370                }
1371            }
1372        }
1373    }
1374
1375    if (!first) {
1376        return oldest;
1377    } else {
1378        return -1;
1379    }
1380}
1381