Sequencer.cc revision 9245
16145Snate@binkert.org/*
26145Snate@binkert.org * Copyright (c) 1999-2008 Mark D. Hill and David A. Wood
36145Snate@binkert.org * All rights reserved.
46145Snate@binkert.org *
56145Snate@binkert.org * Redistribution and use in source and binary forms, with or without
66145Snate@binkert.org * modification, are permitted provided that the following conditions are
76145Snate@binkert.org * met: redistributions of source code must retain the above copyright
86145Snate@binkert.org * notice, this list of conditions and the following disclaimer;
96145Snate@binkert.org * redistributions in binary form must reproduce the above copyright
106145Snate@binkert.org * notice, this list of conditions and the following disclaimer in the
116145Snate@binkert.org * documentation and/or other materials provided with the distribution;
126145Snate@binkert.org * neither the name of the copyright holders nor the names of its
136145Snate@binkert.org * contributors may be used to endorse or promote products derived from
146145Snate@binkert.org * this software without specific prior written permission.
156145Snate@binkert.org *
166145Snate@binkert.org * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
176145Snate@binkert.org * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
186145Snate@binkert.org * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
196145Snate@binkert.org * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
206145Snate@binkert.org * OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
216145Snate@binkert.org * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
226145Snate@binkert.org * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
236145Snate@binkert.org * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
246145Snate@binkert.org * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
256145Snate@binkert.org * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
266145Snate@binkert.org * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
276145Snate@binkert.org */
286145Snate@binkert.org
298229Snate@binkert.org#include "base/misc.hh"
307056Snate@binkert.org#include "base/str.hh"
318615Snilay@cs.wisc.edu#include "config/the_isa.hh"
328615Snilay@cs.wisc.edu#if THE_ISA == X86_ISA
338615Snilay@cs.wisc.edu#include "arch/x86/insts/microldstop.hh"
348615Snilay@cs.wisc.edu#endif // X86_ISA
357632SBrad.Beckmann@amd.com#include "cpu/testers/rubytest/RubyTester.hh"
368232Snate@binkert.org#include "debug/MemoryAccess.hh"
378232Snate@binkert.org#include "debug/ProtocolTrace.hh"
388615Snilay@cs.wisc.edu#include "debug/RubySequencer.hh"
399104Shestness@cs.utexas.edu#include "debug/RubyStats.hh"
408615Snilay@cs.wisc.edu#include "mem/protocol/PrefetchBit.hh"
418615Snilay@cs.wisc.edu#include "mem/protocol/RubyAccessMode.hh"
427039Snate@binkert.org#include "mem/ruby/buffers/MessageBuffer.hh"
437039Snate@binkert.org#include "mem/ruby/common/Global.hh"
447039Snate@binkert.org#include "mem/ruby/profiler/Profiler.hh"
458229Snate@binkert.org#include "mem/ruby/slicc_interface/RubyRequest.hh"
466154Snate@binkert.org#include "mem/ruby/system/Sequencer.hh"
476154Snate@binkert.org#include "mem/ruby/system/System.hh"
487550SBrad.Beckmann@amd.com#include "mem/packet.hh"
496876Ssteve.reinhardt@amd.com
507055Snate@binkert.orgusing namespace std;
517055Snate@binkert.org
526876Ssteve.reinhardt@amd.comSequencer *
536876Ssteve.reinhardt@amd.comRubySequencerParams::create()
546285Snate@binkert.org{
556876Ssteve.reinhardt@amd.com    return new Sequencer(this);
566285Snate@binkert.org}
577039Snate@binkert.org
586876Ssteve.reinhardt@amd.comSequencer::Sequencer(const Params *p)
596886SBrad.Beckmann@amd.com    : RubyPort(p), deadlockCheckEvent(this)
606876Ssteve.reinhardt@amd.com{
616876Ssteve.reinhardt@amd.com    m_store_waiting_on_load_cycles = 0;
626876Ssteve.reinhardt@amd.com    m_store_waiting_on_store_cycles = 0;
636876Ssteve.reinhardt@amd.com    m_load_waiting_on_store_cycles = 0;
646876Ssteve.reinhardt@amd.com    m_load_waiting_on_load_cycles = 0;
657039Snate@binkert.org
666876Ssteve.reinhardt@amd.com    m_outstanding_count = 0;
676285Snate@binkert.org
686876Ssteve.reinhardt@amd.com    m_instCache_ptr = p->icache;
696876Ssteve.reinhardt@amd.com    m_dataCache_ptr = p->dcache;
706876Ssteve.reinhardt@amd.com    m_max_outstanding_requests = p->max_outstanding_requests;
716876Ssteve.reinhardt@amd.com    m_deadlock_threshold = p->deadlock_threshold;
726899SBrad.Beckmann@amd.com
736876Ssteve.reinhardt@amd.com    assert(m_max_outstanding_requests > 0);
746876Ssteve.reinhardt@amd.com    assert(m_deadlock_threshold > 0);
756876Ssteve.reinhardt@amd.com    assert(m_instCache_ptr != NULL);
766876Ssteve.reinhardt@amd.com    assert(m_dataCache_ptr != NULL);
778171Stushar@csail.mit.edu
788171Stushar@csail.mit.edu    m_usingNetworkTester = p->using_network_tester;
796145Snate@binkert.org}
806145Snate@binkert.org
817039Snate@binkert.orgSequencer::~Sequencer()
827039Snate@binkert.org{
836145Snate@binkert.org}
846145Snate@binkert.org
857039Snate@binkert.orgvoid
867039Snate@binkert.orgSequencer::wakeup()
877039Snate@binkert.org{
889245Shestness@cs.wisc.edu    assert(getState() != SimObject::Draining);
899245Shestness@cs.wisc.edu
907039Snate@binkert.org    // Check for deadlock of any of the requests
919171Snilay@cs.wisc.edu    Time current_time = g_system_ptr->getTime();
926145Snate@binkert.org
937039Snate@binkert.org    // Check across all outstanding requests
947039Snate@binkert.org    int total_outstanding = 0;
956285Snate@binkert.org
967455Snate@binkert.org    RequestTable::iterator read = m_readRequestTable.begin();
977455Snate@binkert.org    RequestTable::iterator read_end = m_readRequestTable.end();
987455Snate@binkert.org    for (; read != read_end; ++read) {
997455Snate@binkert.org        SequencerRequest* request = read->second;
1007455Snate@binkert.org        if (current_time - request->issue_time < m_deadlock_threshold)
1017455Snate@binkert.org            continue;
1027455Snate@binkert.org
1037805Snilay@cs.wisc.edu        panic("Possible Deadlock detected. Aborting!\n"
1047921SBrad.Beckmann@amd.com             "version: %d request.paddr: 0x%x m_readRequestTable: %d "
1057805Snilay@cs.wisc.edu             "current time: %u issue_time: %d difference: %d\n", m_version,
1068615Snilay@cs.wisc.edu             Address(request->pkt->getAddr()), m_readRequestTable.size(),
1077805Snilay@cs.wisc.edu             current_time, request->issue_time,
1087805Snilay@cs.wisc.edu             current_time - request->issue_time);
1096145Snate@binkert.org    }
1106145Snate@binkert.org
1117455Snate@binkert.org    RequestTable::iterator write = m_writeRequestTable.begin();
1127455Snate@binkert.org    RequestTable::iterator write_end = m_writeRequestTable.end();
1137455Snate@binkert.org    for (; write != write_end; ++write) {
1147455Snate@binkert.org        SequencerRequest* request = write->second;
1157455Snate@binkert.org        if (current_time - request->issue_time < m_deadlock_threshold)
1167455Snate@binkert.org            continue;
1177455Snate@binkert.org
1187805Snilay@cs.wisc.edu        panic("Possible Deadlock detected. Aborting!\n"
1197921SBrad.Beckmann@amd.com             "version: %d request.paddr: 0x%x m_writeRequestTable: %d "
1207805Snilay@cs.wisc.edu             "current time: %u issue_time: %d difference: %d\n", m_version,
1218615Snilay@cs.wisc.edu             Address(request->pkt->getAddr()), m_writeRequestTable.size(),
1227805Snilay@cs.wisc.edu             current_time, request->issue_time,
1237805Snilay@cs.wisc.edu             current_time - request->issue_time);
1246145Snate@binkert.org    }
1256285Snate@binkert.org
1267039Snate@binkert.org    total_outstanding += m_writeRequestTable.size();
1277039Snate@binkert.org    total_outstanding += m_readRequestTable.size();
1286145Snate@binkert.org
1297039Snate@binkert.org    assert(m_outstanding_count == total_outstanding);
1307039Snate@binkert.org
1317039Snate@binkert.org    if (m_outstanding_count > 0) {
1327039Snate@binkert.org        // If there are still outstanding requests, keep checking
1337039Snate@binkert.org        schedule(deadlockCheckEvent,
1349206Snilay@cs.wisc.edu            g_system_ptr->clockPeriod() * m_deadlock_threshold + curTick());
1357039Snate@binkert.org    }
1366145Snate@binkert.org}
1376145Snate@binkert.org
1387039Snate@binkert.orgvoid
1397039Snate@binkert.orgSequencer::printStats(ostream & out) const
1407039Snate@binkert.org{
1417039Snate@binkert.org    out << "Sequencer: " << m_name << endl
1427039Snate@binkert.org        << "  store_waiting_on_load_cycles: "
1437039Snate@binkert.org        << m_store_waiting_on_load_cycles << endl
1447039Snate@binkert.org        << "  store_waiting_on_store_cycles: "
1457039Snate@binkert.org        << m_store_waiting_on_store_cycles << endl
1467039Snate@binkert.org        << "  load_waiting_on_load_cycles: "
1477039Snate@binkert.org        << m_load_waiting_on_load_cycles << endl
1487039Snate@binkert.org        << "  load_waiting_on_store_cycles: "
1497039Snate@binkert.org        << m_load_waiting_on_store_cycles << endl;
1506859Sdrh5@cs.wisc.edu}
1516859Sdrh5@cs.wisc.edu
1527039Snate@binkert.orgvoid
1537039Snate@binkert.orgSequencer::printProgress(ostream& out) const
1547039Snate@binkert.org{
1557039Snate@binkert.org#if 0
1567039Snate@binkert.org    int total_demand = 0;
1577039Snate@binkert.org    out << "Sequencer Stats Version " << m_version << endl;
1589171Snilay@cs.wisc.edu    out << "Current time = " << g_system_ptr->getTime() << endl;
1597039Snate@binkert.org    out << "---------------" << endl;
1607039Snate@binkert.org    out << "outstanding requests" << endl;
1616145Snate@binkert.org
1627455Snate@binkert.org    out << "proc " << m_Read
1637455Snate@binkert.org        << " version Requests = " << m_readRequestTable.size() << endl;
1646145Snate@binkert.org
1657039Snate@binkert.org    // print the request table
1667455Snate@binkert.org    RequestTable::iterator read = m_readRequestTable.begin();
1677455Snate@binkert.org    RequestTable::iterator read_end = m_readRequestTable.end();
1687455Snate@binkert.org    for (; read != read_end; ++read) {
1697455Snate@binkert.org        SequencerRequest* request = read->second;
1707039Snate@binkert.org        out << "\tRequest[ " << i << " ] = " << request->type
1717039Snate@binkert.org            << " Address " << rkeys[i]
1727039Snate@binkert.org            << " Posted " << request->issue_time
1737039Snate@binkert.org            << " PF " << PrefetchBit_No << endl;
1746145Snate@binkert.org        total_demand++;
1757039Snate@binkert.org    }
1766145Snate@binkert.org
1777455Snate@binkert.org    out << "proc " << m_version
1787455Snate@binkert.org        << " Write Requests = " << m_writeRequestTable.size << endl;
1796285Snate@binkert.org
1807039Snate@binkert.org    // print the request table
1817455Snate@binkert.org    RequestTable::iterator write = m_writeRequestTable.begin();
1827455Snate@binkert.org    RequestTable::iterator write_end = m_writeRequestTable.end();
1837455Snate@binkert.org    for (; write != write_end; ++write) {
1847455Snate@binkert.org        SequencerRequest* request = write->second;
1857039Snate@binkert.org        out << "\tRequest[ " << i << " ] = " << request.getType()
1867039Snate@binkert.org            << " Address " << wkeys[i]
1877039Snate@binkert.org            << " Posted " << request.getTime()
1887039Snate@binkert.org            << " PF " << request.getPrefetch() << endl;
1897039Snate@binkert.org        if (request.getPrefetch() == PrefetchBit_No) {
1907039Snate@binkert.org            total_demand++;
1917039Snate@binkert.org        }
1927039Snate@binkert.org    }
1937039Snate@binkert.org
1947039Snate@binkert.org    out << endl;
1957039Snate@binkert.org
1967039Snate@binkert.org    out << "Total Number Outstanding: " << m_outstanding_count << endl
1977039Snate@binkert.org        << "Total Number Demand     : " << total_demand << endl
1987039Snate@binkert.org        << "Total Number Prefetches : " << m_outstanding_count - total_demand
1997039Snate@binkert.org        << endl << endl << endl;
2007039Snate@binkert.org#endif
2016145Snate@binkert.org}
2026145Snate@binkert.org
2036145Snate@binkert.org// Insert the request on the correct request table.  Return true if
2046145Snate@binkert.org// the entry was already present.
2058615Snilay@cs.wisc.eduRequestStatus
2068615Snilay@cs.wisc.eduSequencer::insertRequest(PacketPtr pkt, RubyRequestType request_type)
2077039Snate@binkert.org{
2088641Snate@binkert.org    assert(m_outstanding_count ==
2098641Snate@binkert.org        (m_writeRequestTable.size() + m_readRequestTable.size()));
2106145Snate@binkert.org
2117039Snate@binkert.org    // See if we should schedule a deadlock check
2129245Shestness@cs.wisc.edu    if (!deadlockCheckEvent.scheduled() && getState() != SimObject::Draining) {
2139011Snilay@cs.wisc.edu        schedule(deadlockCheckEvent,
2149206Snilay@cs.wisc.edu            g_system_ptr->clockPeriod() * m_deadlock_threshold + curTick());
2157039Snate@binkert.org    }
2166145Snate@binkert.org
2178615Snilay@cs.wisc.edu    Address line_addr(pkt->getAddr());
2187039Snate@binkert.org    line_addr.makeLineAddress();
2199224Sandreas.hansson@arm.com    // Create a default entry, mapping the address to NULL, the cast is
2209224Sandreas.hansson@arm.com    // there to make gcc 4.4 happy
2219224Sandreas.hansson@arm.com    RequestTable::value_type default_entry(line_addr,
2229224Sandreas.hansson@arm.com                                           (SequencerRequest*) NULL);
2239224Sandreas.hansson@arm.com
2248615Snilay@cs.wisc.edu    if ((request_type == RubyRequestType_ST) ||
2258615Snilay@cs.wisc.edu        (request_type == RubyRequestType_RMW_Read) ||
2268615Snilay@cs.wisc.edu        (request_type == RubyRequestType_RMW_Write) ||
2278615Snilay@cs.wisc.edu        (request_type == RubyRequestType_Load_Linked) ||
2288615Snilay@cs.wisc.edu        (request_type == RubyRequestType_Store_Conditional) ||
2298615Snilay@cs.wisc.edu        (request_type == RubyRequestType_Locked_RMW_Read) ||
2308615Snilay@cs.wisc.edu        (request_type == RubyRequestType_Locked_RMW_Write) ||
2318615Snilay@cs.wisc.edu        (request_type == RubyRequestType_FLUSH)) {
2328615Snilay@cs.wisc.edu
2338615Snilay@cs.wisc.edu        // Check if there is any outstanding read request for the same
2348615Snilay@cs.wisc.edu        // cache line.
2358615Snilay@cs.wisc.edu        if (m_readRequestTable.count(line_addr) > 0) {
2368615Snilay@cs.wisc.edu            m_store_waiting_on_load_cycles++;
2378615Snilay@cs.wisc.edu            return RequestStatus_Aliased;
2388615Snilay@cs.wisc.edu        }
2398615Snilay@cs.wisc.edu
2407455Snate@binkert.org        pair<RequestTable::iterator, bool> r =
2419224Sandreas.hansson@arm.com            m_writeRequestTable.insert(default_entry);
2428615Snilay@cs.wisc.edu        if (r.second) {
2438615Snilay@cs.wisc.edu            RequestTable::iterator i = r.first;
2448615Snilay@cs.wisc.edu            i->second = new SequencerRequest(pkt, request_type,
2459171Snilay@cs.wisc.edu                                             g_system_ptr->getTime());
2468615Snilay@cs.wisc.edu            m_outstanding_count++;
2478615Snilay@cs.wisc.edu        } else {
2488615Snilay@cs.wisc.edu          // There is an outstanding write request for the cache line
2498615Snilay@cs.wisc.edu          m_store_waiting_on_store_cycles++;
2508615Snilay@cs.wisc.edu          return RequestStatus_Aliased;
2518615Snilay@cs.wisc.edu        }
2528615Snilay@cs.wisc.edu    } else {
2538615Snilay@cs.wisc.edu        // Check if there is any outstanding write request for the same
2548615Snilay@cs.wisc.edu        // cache line.
2558615Snilay@cs.wisc.edu        if (m_writeRequestTable.count(line_addr) > 0) {
2568615Snilay@cs.wisc.edu            m_load_waiting_on_store_cycles++;
2578615Snilay@cs.wisc.edu            return RequestStatus_Aliased;
2588615Snilay@cs.wisc.edu        }
2597039Snate@binkert.org
2607455Snate@binkert.org        pair<RequestTable::iterator, bool> r =
2619224Sandreas.hansson@arm.com            m_readRequestTable.insert(default_entry);
2627039Snate@binkert.org
2638615Snilay@cs.wisc.edu        if (r.second) {
2648615Snilay@cs.wisc.edu            RequestTable::iterator i = r.first;
2658615Snilay@cs.wisc.edu            i->second = new SequencerRequest(pkt, request_type,
2669171Snilay@cs.wisc.edu                                             g_system_ptr->getTime());
2678615Snilay@cs.wisc.edu            m_outstanding_count++;
2688615Snilay@cs.wisc.edu        } else {
2698615Snilay@cs.wisc.edu            // There is an outstanding read request for the cache line
2708615Snilay@cs.wisc.edu            m_load_waiting_on_load_cycles++;
2718615Snilay@cs.wisc.edu            return RequestStatus_Aliased;
2727039Snate@binkert.org        }
2736145Snate@binkert.org    }
2746145Snate@binkert.org
2757039Snate@binkert.org    g_system_ptr->getProfiler()->sequencerRequests(m_outstanding_count);
2768641Snate@binkert.org    assert(m_outstanding_count ==
2778641Snate@binkert.org        (m_writeRequestTable.size() + m_readRequestTable.size()));
2786145Snate@binkert.org
2798615Snilay@cs.wisc.edu    return RequestStatus_Ready;
2806145Snate@binkert.org}
2816145Snate@binkert.org
2827039Snate@binkert.orgvoid
2837455Snate@binkert.orgSequencer::markRemoved()
2847455Snate@binkert.org{
2857455Snate@binkert.org    m_outstanding_count--;
2867455Snate@binkert.org    assert(m_outstanding_count ==
2877455Snate@binkert.org           m_writeRequestTable.size() + m_readRequestTable.size());
2887455Snate@binkert.org}
2897455Snate@binkert.org
2907455Snate@binkert.orgvoid
2917039Snate@binkert.orgSequencer::removeRequest(SequencerRequest* srequest)
2927039Snate@binkert.org{
2937039Snate@binkert.org    assert(m_outstanding_count ==
2947039Snate@binkert.org           m_writeRequestTable.size() + m_readRequestTable.size());
2956145Snate@binkert.org
2968615Snilay@cs.wisc.edu    Address line_addr(srequest->pkt->getAddr());
2977039Snate@binkert.org    line_addr.makeLineAddress();
2988615Snilay@cs.wisc.edu    if ((srequest->m_type == RubyRequestType_ST) ||
2998615Snilay@cs.wisc.edu        (srequest->m_type == RubyRequestType_RMW_Read) ||
3008615Snilay@cs.wisc.edu        (srequest->m_type == RubyRequestType_RMW_Write) ||
3018615Snilay@cs.wisc.edu        (srequest->m_type == RubyRequestType_Load_Linked) ||
3028615Snilay@cs.wisc.edu        (srequest->m_type == RubyRequestType_Store_Conditional) ||
3038615Snilay@cs.wisc.edu        (srequest->m_type == RubyRequestType_Locked_RMW_Read) ||
3048615Snilay@cs.wisc.edu        (srequest->m_type == RubyRequestType_Locked_RMW_Write)) {
3057455Snate@binkert.org        m_writeRequestTable.erase(line_addr);
3067039Snate@binkert.org    } else {
3077455Snate@binkert.org        m_readRequestTable.erase(line_addr);
3087039Snate@binkert.org    }
3096285Snate@binkert.org
3107455Snate@binkert.org    markRemoved();
3116145Snate@binkert.org}
3126145Snate@binkert.org
3137560SBrad.Beckmann@amd.combool
3147560SBrad.Beckmann@amd.comSequencer::handleLlsc(const Address& address, SequencerRequest* request)
3157550SBrad.Beckmann@amd.com{
3167560SBrad.Beckmann@amd.com    //
3177560SBrad.Beckmann@amd.com    // The success flag indicates whether the LLSC operation was successful.
3187560SBrad.Beckmann@amd.com    // LL ops will always succeed, but SC may fail if the cache line is no
3197560SBrad.Beckmann@amd.com    // longer locked.
3207560SBrad.Beckmann@amd.com    //
3217560SBrad.Beckmann@amd.com    bool success = true;
3228615Snilay@cs.wisc.edu    if (request->m_type == RubyRequestType_Store_Conditional) {
3237550SBrad.Beckmann@amd.com        if (!m_dataCache_ptr->isLocked(address, m_version)) {
3247550SBrad.Beckmann@amd.com            //
3257550SBrad.Beckmann@amd.com            // For failed SC requests, indicate the failure to the cpu by
3267550SBrad.Beckmann@amd.com            // setting the extra data to zero.
3277550SBrad.Beckmann@amd.com            //
3288615Snilay@cs.wisc.edu            request->pkt->req->setExtraData(0);
3297560SBrad.Beckmann@amd.com            success = false;
3307550SBrad.Beckmann@amd.com        } else {
3317550SBrad.Beckmann@amd.com            //
3327550SBrad.Beckmann@amd.com            // For successful SC requests, indicate the success to the cpu by
3337550SBrad.Beckmann@amd.com            // setting the extra data to one.
3347550SBrad.Beckmann@amd.com            //
3358615Snilay@cs.wisc.edu            request->pkt->req->setExtraData(1);
3367550SBrad.Beckmann@amd.com        }
3377560SBrad.Beckmann@amd.com        //
3387560SBrad.Beckmann@amd.com        // Independent of success, all SC operations must clear the lock
3397560SBrad.Beckmann@amd.com        //
3407550SBrad.Beckmann@amd.com        m_dataCache_ptr->clearLocked(address);
3418615Snilay@cs.wisc.edu    } else if (request->m_type == RubyRequestType_Load_Linked) {
3427550SBrad.Beckmann@amd.com        //
3437550SBrad.Beckmann@amd.com        // Note: To fully follow Alpha LLSC semantics, should the LL clear any
3447550SBrad.Beckmann@amd.com        // previously locked cache lines?
3457550SBrad.Beckmann@amd.com        //
3467550SBrad.Beckmann@amd.com        m_dataCache_ptr->setLocked(address, m_version);
3478615Snilay@cs.wisc.edu    } else if ((m_dataCache_ptr->isTagPresent(address)) &&
3488615Snilay@cs.wisc.edu               (m_dataCache_ptr->isLocked(address, m_version))) {
3497550SBrad.Beckmann@amd.com        //
3507550SBrad.Beckmann@amd.com        // Normal writes should clear the locked address
3517550SBrad.Beckmann@amd.com        //
3527550SBrad.Beckmann@amd.com        m_dataCache_ptr->clearLocked(address);
3537550SBrad.Beckmann@amd.com    }
3547560SBrad.Beckmann@amd.com    return success;
3557550SBrad.Beckmann@amd.com}
3567550SBrad.Beckmann@amd.com
3577550SBrad.Beckmann@amd.comvoid
3587039Snate@binkert.orgSequencer::writeCallback(const Address& address, DataBlock& data)
3597039Snate@binkert.org{
3607546SBrad.Beckmann@amd.com    writeCallback(address, GenericMachineType_NULL, data);
3617546SBrad.Beckmann@amd.com}
3627546SBrad.Beckmann@amd.com
3637546SBrad.Beckmann@amd.comvoid
3647546SBrad.Beckmann@amd.comSequencer::writeCallback(const Address& address,
3657546SBrad.Beckmann@amd.com                         GenericMachineType mach,
3667546SBrad.Beckmann@amd.com                         DataBlock& data)
3677546SBrad.Beckmann@amd.com{
3687565SBrad.Beckmann@amd.com    writeCallback(address, mach, data, 0, 0, 0);
3697565SBrad.Beckmann@amd.com}
3707565SBrad.Beckmann@amd.com
3717565SBrad.Beckmann@amd.comvoid
3727565SBrad.Beckmann@amd.comSequencer::writeCallback(const Address& address,
3737565SBrad.Beckmann@amd.com                         GenericMachineType mach,
3747565SBrad.Beckmann@amd.com                         DataBlock& data,
3757565SBrad.Beckmann@amd.com                         Time initialRequestTime,
3767565SBrad.Beckmann@amd.com                         Time forwardRequestTime,
3777565SBrad.Beckmann@amd.com                         Time firstResponseTime)
3787565SBrad.Beckmann@amd.com{
3797039Snate@binkert.org    assert(address == line_address(address));
3807455Snate@binkert.org    assert(m_writeRequestTable.count(line_address(address)));
3816145Snate@binkert.org
3827455Snate@binkert.org    RequestTable::iterator i = m_writeRequestTable.find(address);
3837455Snate@binkert.org    assert(i != m_writeRequestTable.end());
3847455Snate@binkert.org    SequencerRequest* request = i->second;
3856145Snate@binkert.org
3867455Snate@binkert.org    m_writeRequestTable.erase(i);
3877455Snate@binkert.org    markRemoved();
3886846Spdudnik@cs.wisc.edu
3898615Snilay@cs.wisc.edu    assert((request->m_type == RubyRequestType_ST) ||
3908615Snilay@cs.wisc.edu           (request->m_type == RubyRequestType_ATOMIC) ||
3918615Snilay@cs.wisc.edu           (request->m_type == RubyRequestType_RMW_Read) ||
3928615Snilay@cs.wisc.edu           (request->m_type == RubyRequestType_RMW_Write) ||
3938615Snilay@cs.wisc.edu           (request->m_type == RubyRequestType_Load_Linked) ||
3948615Snilay@cs.wisc.edu           (request->m_type == RubyRequestType_Store_Conditional) ||
3958615Snilay@cs.wisc.edu           (request->m_type == RubyRequestType_Locked_RMW_Read) ||
3968615Snilay@cs.wisc.edu           (request->m_type == RubyRequestType_Locked_RMW_Write) ||
3978615Snilay@cs.wisc.edu           (request->m_type == RubyRequestType_FLUSH));
3988184Ssomayeh@cs.wisc.edu
3996145Snate@binkert.org
4007550SBrad.Beckmann@amd.com    //
4017550SBrad.Beckmann@amd.com    // For Alpha, properly handle LL, SC, and write requests with respect to
4027550SBrad.Beckmann@amd.com    // locked cache blocks.
4037550SBrad.Beckmann@amd.com    //
4048171Stushar@csail.mit.edu    // Not valid for Network_test protocl
4058171Stushar@csail.mit.edu    //
4068171Stushar@csail.mit.edu    bool success = true;
4078171Stushar@csail.mit.edu    if(!m_usingNetworkTester)
4088171Stushar@csail.mit.edu        success = handleLlsc(address, request);
4097550SBrad.Beckmann@amd.com
4108615Snilay@cs.wisc.edu    if (request->m_type == RubyRequestType_Locked_RMW_Read) {
4117039Snate@binkert.org        m_controller->blockOnQueue(address, m_mandatory_q_ptr);
4128615Snilay@cs.wisc.edu    } else if (request->m_type == RubyRequestType_Locked_RMW_Write) {
4137039Snate@binkert.org        m_controller->unblock(address);
4147039Snate@binkert.org    }
4156863Sdrh5@cs.wisc.edu
4167565SBrad.Beckmann@amd.com    hitCallback(request, mach, data, success,
4177565SBrad.Beckmann@amd.com                initialRequestTime, forwardRequestTime, firstResponseTime);
4186145Snate@binkert.org}
4196145Snate@binkert.org
4207039Snate@binkert.orgvoid
4217039Snate@binkert.orgSequencer::readCallback(const Address& address, DataBlock& data)
4227039Snate@binkert.org{
4237546SBrad.Beckmann@amd.com    readCallback(address, GenericMachineType_NULL, data);
4247546SBrad.Beckmann@amd.com}
4257546SBrad.Beckmann@amd.com
4267546SBrad.Beckmann@amd.comvoid
4277546SBrad.Beckmann@amd.comSequencer::readCallback(const Address& address,
4287546SBrad.Beckmann@amd.com                        GenericMachineType mach,
4297546SBrad.Beckmann@amd.com                        DataBlock& data)
4307546SBrad.Beckmann@amd.com{
4317565SBrad.Beckmann@amd.com    readCallback(address, mach, data, 0, 0, 0);
4327565SBrad.Beckmann@amd.com}
4337565SBrad.Beckmann@amd.com
4347565SBrad.Beckmann@amd.comvoid
4357565SBrad.Beckmann@amd.comSequencer::readCallback(const Address& address,
4367565SBrad.Beckmann@amd.com                        GenericMachineType mach,
4377565SBrad.Beckmann@amd.com                        DataBlock& data,
4387565SBrad.Beckmann@amd.com                        Time initialRequestTime,
4397565SBrad.Beckmann@amd.com                        Time forwardRequestTime,
4407565SBrad.Beckmann@amd.com                        Time firstResponseTime)
4417565SBrad.Beckmann@amd.com{
4427039Snate@binkert.org    assert(address == line_address(address));
4437455Snate@binkert.org    assert(m_readRequestTable.count(line_address(address)));
4446145Snate@binkert.org
4457455Snate@binkert.org    RequestTable::iterator i = m_readRequestTable.find(address);
4467455Snate@binkert.org    assert(i != m_readRequestTable.end());
4477455Snate@binkert.org    SequencerRequest* request = i->second;
4487455Snate@binkert.org
4497455Snate@binkert.org    m_readRequestTable.erase(i);
4507455Snate@binkert.org    markRemoved();
4516145Snate@binkert.org
4528615Snilay@cs.wisc.edu    assert((request->m_type == RubyRequestType_LD) ||
4538615Snilay@cs.wisc.edu           (request->m_type == RubyRequestType_IFETCH));
4546285Snate@binkert.org
4557565SBrad.Beckmann@amd.com    hitCallback(request, mach, data, true,
4567565SBrad.Beckmann@amd.com                initialRequestTime, forwardRequestTime, firstResponseTime);
4576145Snate@binkert.org}
4586145Snate@binkert.org
4597039Snate@binkert.orgvoid
4607546SBrad.Beckmann@amd.comSequencer::hitCallback(SequencerRequest* srequest,
4617546SBrad.Beckmann@amd.com                       GenericMachineType mach,
4627560SBrad.Beckmann@amd.com                       DataBlock& data,
4637565SBrad.Beckmann@amd.com                       bool success,
4647565SBrad.Beckmann@amd.com                       Time initialRequestTime,
4657565SBrad.Beckmann@amd.com                       Time forwardRequestTime,
4667565SBrad.Beckmann@amd.com                       Time firstResponseTime)
4677039Snate@binkert.org{
4688615Snilay@cs.wisc.edu    PacketPtr pkt = srequest->pkt;
4698615Snilay@cs.wisc.edu    Address request_address(pkt->getAddr());
4708615Snilay@cs.wisc.edu    Address request_line_address(pkt->getAddr());
4717039Snate@binkert.org    request_line_address.makeLineAddress();
4728615Snilay@cs.wisc.edu    RubyRequestType type = srequest->m_type;
4737039Snate@binkert.org    Time issued_time = srequest->issue_time;
4746145Snate@binkert.org
4757039Snate@binkert.org    // Set this cache entry to the most recently used
4767039Snate@binkert.org    if (type == RubyRequestType_IFETCH) {
4778828Snilay@cs.wisc.edu        m_instCache_ptr->setMRU(request_line_address);
4787039Snate@binkert.org    } else {
4798828Snilay@cs.wisc.edu        m_dataCache_ptr->setMRU(request_line_address);
4807039Snate@binkert.org    }
4816145Snate@binkert.org
4829171Snilay@cs.wisc.edu    assert(g_system_ptr->getTime() >= issued_time);
4839171Snilay@cs.wisc.edu    Time miss_latency = g_system_ptr->getTime() - issued_time;
4846145Snate@binkert.org
4857039Snate@binkert.org    // Profile the miss latency for all non-zero demand misses
4867039Snate@binkert.org    if (miss_latency != 0) {
4877546SBrad.Beckmann@amd.com        g_system_ptr->getProfiler()->missLatency(miss_latency, type, mach);
4886285Snate@binkert.org
4897565SBrad.Beckmann@amd.com        if (mach == GenericMachineType_L1Cache_wCC) {
4907565SBrad.Beckmann@amd.com            g_system_ptr->getProfiler()->missLatencyWcc(issued_time,
4917565SBrad.Beckmann@amd.com                                                   initialRequestTime,
4927565SBrad.Beckmann@amd.com                                                   forwardRequestTime,
4937565SBrad.Beckmann@amd.com                                                   firstResponseTime,
4949171Snilay@cs.wisc.edu                                                   g_system_ptr->getTime());
4957565SBrad.Beckmann@amd.com        }
4967565SBrad.Beckmann@amd.com
4977565SBrad.Beckmann@amd.com        if (mach == GenericMachineType_Directory) {
4987565SBrad.Beckmann@amd.com            g_system_ptr->getProfiler()->missLatencyDir(issued_time,
4997565SBrad.Beckmann@amd.com                                                   initialRequestTime,
5007565SBrad.Beckmann@amd.com                                                   forwardRequestTime,
5017565SBrad.Beckmann@amd.com                                                   firstResponseTime,
5029171Snilay@cs.wisc.edu                                                   g_system_ptr->getTime());
5037565SBrad.Beckmann@amd.com        }
5047565SBrad.Beckmann@amd.com
5058266Sksewell@umich.edu        DPRINTFR(ProtocolTrace, "%15s %3s %10s%20s %6s>%-6s %s %d cycles\n",
5068266Sksewell@umich.edu                 curTick(), m_version, "Seq",
5078266Sksewell@umich.edu                 success ? "Done" : "SC_Failed", "", "",
5088615Snilay@cs.wisc.edu                 request_address, miss_latency);
5096285Snate@binkert.org    }
5106285Snate@binkert.org
5117039Snate@binkert.org    // update the data
5128688Snilay@cs.wisc.edu    if (g_system_ptr->m_warmup_enabled) {
5138688Snilay@cs.wisc.edu        assert(pkt->getPtr<uint8_t>(false) != NULL);
5148688Snilay@cs.wisc.edu        data.setData(pkt->getPtr<uint8_t>(false),
5158688Snilay@cs.wisc.edu                     request_address.getOffset(), pkt->getSize());
5168688Snilay@cs.wisc.edu    } else if (pkt->getPtr<uint8_t>(true) != NULL) {
5177039Snate@binkert.org        if ((type == RubyRequestType_LD) ||
5187039Snate@binkert.org            (type == RubyRequestType_IFETCH) ||
5197039Snate@binkert.org            (type == RubyRequestType_RMW_Read) ||
5207908Shestness@cs.utexas.edu            (type == RubyRequestType_Locked_RMW_Read) ||
5217907Shestness@cs.utexas.edu            (type == RubyRequestType_Load_Linked)) {
5228615Snilay@cs.wisc.edu            memcpy(pkt->getPtr<uint8_t>(true),
5238615Snilay@cs.wisc.edu                   data.getData(request_address.getOffset(), pkt->getSize()),
5248615Snilay@cs.wisc.edu                   pkt->getSize());
5257039Snate@binkert.org        } else {
5268615Snilay@cs.wisc.edu            data.setData(pkt->getPtr<uint8_t>(true),
5278615Snilay@cs.wisc.edu                         request_address.getOffset(), pkt->getSize());
5287039Snate@binkert.org        }
5296285Snate@binkert.org    } else {
5307039Snate@binkert.org        DPRINTF(MemoryAccess,
5317039Snate@binkert.org                "WARNING.  Data not transfered from Ruby to M5 for type %s\n",
5327039Snate@binkert.org                RubyRequestType_to_string(type));
5337039Snate@binkert.org    }
5347023SBrad.Beckmann@amd.com
5357039Snate@binkert.org    // If using the RubyTester, update the RubyTester sender state's
5367039Snate@binkert.org    // subBlock with the recieved data.  The tester will later access
5377039Snate@binkert.org    // this state.
5387039Snate@binkert.org    // Note: RubyPort will access it's sender state before the
5397039Snate@binkert.org    // RubyTester.
5407039Snate@binkert.org    if (m_usingRubyTester) {
5417039Snate@binkert.org        RubyPort::SenderState *requestSenderState =
5428615Snilay@cs.wisc.edu            safe_cast<RubyPort::SenderState*>(pkt->senderState);
5437039Snate@binkert.org        RubyTester::SenderState* testerSenderState =
5447039Snate@binkert.org            safe_cast<RubyTester::SenderState*>(requestSenderState->saved);
5457039Snate@binkert.org        testerSenderState->subBlock->mergeFrom(data);
5467039Snate@binkert.org    }
5477023SBrad.Beckmann@amd.com
5487039Snate@binkert.org    delete srequest;
5498688Snilay@cs.wisc.edu
5508688Snilay@cs.wisc.edu    if (g_system_ptr->m_warmup_enabled) {
5518688Snilay@cs.wisc.edu        delete pkt;
5528688Snilay@cs.wisc.edu        g_system_ptr->m_cache_recorder->enqueueNextFetchRequest();
5538688Snilay@cs.wisc.edu    } else if (g_system_ptr->m_cooldown_enabled) {
5548688Snilay@cs.wisc.edu        delete pkt;
5558688Snilay@cs.wisc.edu        g_system_ptr->m_cache_recorder->enqueueNextFlushRequest();
5568688Snilay@cs.wisc.edu    } else {
5578688Snilay@cs.wisc.edu        ruby_hit_callback(pkt);
5588688Snilay@cs.wisc.edu    }
5596285Snate@binkert.org}
5606285Snate@binkert.org
5617039Snate@binkert.orgbool
5627039Snate@binkert.orgSequencer::empty() const
5637039Snate@binkert.org{
5647455Snate@binkert.org    return m_writeRequestTable.empty() && m_readRequestTable.empty();
5656145Snate@binkert.org}
5666145Snate@binkert.org
5677039Snate@binkert.orgRequestStatus
5688615Snilay@cs.wisc.eduSequencer::makeRequest(PacketPtr pkt)
5697039Snate@binkert.org{
5708615Snilay@cs.wisc.edu    if (m_outstanding_count >= m_max_outstanding_requests) {
5718615Snilay@cs.wisc.edu        return RequestStatus_BufferFull;
5728615Snilay@cs.wisc.edu    }
5738615Snilay@cs.wisc.edu
5748615Snilay@cs.wisc.edu    RubyRequestType primary_type = RubyRequestType_NULL;
5758615Snilay@cs.wisc.edu    RubyRequestType secondary_type = RubyRequestType_NULL;
5768615Snilay@cs.wisc.edu
5778615Snilay@cs.wisc.edu    if (pkt->isLLSC()) {
5788615Snilay@cs.wisc.edu        //
5798615Snilay@cs.wisc.edu        // Alpha LL/SC instructions need to be handled carefully by the cache
5808615Snilay@cs.wisc.edu        // coherence protocol to ensure they follow the proper semantics. In
5818615Snilay@cs.wisc.edu        // particular, by identifying the operations as atomic, the protocol
5828615Snilay@cs.wisc.edu        // should understand that migratory sharing optimizations should not
5838615Snilay@cs.wisc.edu        // be performed (i.e. a load between the LL and SC should not steal
5848615Snilay@cs.wisc.edu        // away exclusive permission).
5858615Snilay@cs.wisc.edu        //
5868615Snilay@cs.wisc.edu        if (pkt->isWrite()) {
5878615Snilay@cs.wisc.edu            DPRINTF(RubySequencer, "Issuing SC\n");
5888615Snilay@cs.wisc.edu            primary_type = RubyRequestType_Store_Conditional;
5898615Snilay@cs.wisc.edu        } else {
5908615Snilay@cs.wisc.edu            DPRINTF(RubySequencer, "Issuing LL\n");
5918615Snilay@cs.wisc.edu            assert(pkt->isRead());
5928615Snilay@cs.wisc.edu            primary_type = RubyRequestType_Load_Linked;
5938615Snilay@cs.wisc.edu        }
5948615Snilay@cs.wisc.edu        secondary_type = RubyRequestType_ATOMIC;
5958615Snilay@cs.wisc.edu    } else if (pkt->req->isLocked()) {
5968615Snilay@cs.wisc.edu        //
5978615Snilay@cs.wisc.edu        // x86 locked instructions are translated to store cache coherence
5988615Snilay@cs.wisc.edu        // requests because these requests should always be treated as read
5998615Snilay@cs.wisc.edu        // exclusive operations and should leverage any migratory sharing
6008615Snilay@cs.wisc.edu        // optimization built into the protocol.
6018615Snilay@cs.wisc.edu        //
6028615Snilay@cs.wisc.edu        if (pkt->isWrite()) {
6038615Snilay@cs.wisc.edu            DPRINTF(RubySequencer, "Issuing Locked RMW Write\n");
6048615Snilay@cs.wisc.edu            primary_type = RubyRequestType_Locked_RMW_Write;
6058615Snilay@cs.wisc.edu        } else {
6068615Snilay@cs.wisc.edu            DPRINTF(RubySequencer, "Issuing Locked RMW Read\n");
6078615Snilay@cs.wisc.edu            assert(pkt->isRead());
6088615Snilay@cs.wisc.edu            primary_type = RubyRequestType_Locked_RMW_Read;
6098615Snilay@cs.wisc.edu        }
6108615Snilay@cs.wisc.edu        secondary_type = RubyRequestType_ST;
6118615Snilay@cs.wisc.edu    } else {
6128615Snilay@cs.wisc.edu        if (pkt->isRead()) {
6138615Snilay@cs.wisc.edu            if (pkt->req->isInstFetch()) {
6148615Snilay@cs.wisc.edu                primary_type = secondary_type = RubyRequestType_IFETCH;
6158615Snilay@cs.wisc.edu            } else {
6168615Snilay@cs.wisc.edu#if THE_ISA == X86_ISA
6178615Snilay@cs.wisc.edu                uint32_t flags = pkt->req->getFlags();
6188615Snilay@cs.wisc.edu                bool storeCheck = flags &
6198615Snilay@cs.wisc.edu                        (TheISA::StoreCheck << TheISA::FlagShift);
6208615Snilay@cs.wisc.edu#else
6218615Snilay@cs.wisc.edu                bool storeCheck = false;
6228615Snilay@cs.wisc.edu#endif // X86_ISA
6238615Snilay@cs.wisc.edu                if (storeCheck) {
6248615Snilay@cs.wisc.edu                    primary_type = RubyRequestType_RMW_Read;
6258615Snilay@cs.wisc.edu                    secondary_type = RubyRequestType_ST;
6268615Snilay@cs.wisc.edu                } else {
6278615Snilay@cs.wisc.edu                    primary_type = secondary_type = RubyRequestType_LD;
6288615Snilay@cs.wisc.edu                }
6298615Snilay@cs.wisc.edu            }
6308615Snilay@cs.wisc.edu        } else if (pkt->isWrite()) {
6318615Snilay@cs.wisc.edu            //
6328615Snilay@cs.wisc.edu            // Note: M5 packets do not differentiate ST from RMW_Write
6338615Snilay@cs.wisc.edu            //
6348615Snilay@cs.wisc.edu            primary_type = secondary_type = RubyRequestType_ST;
6358615Snilay@cs.wisc.edu        } else if (pkt->isFlush()) {
6368615Snilay@cs.wisc.edu          primary_type = secondary_type = RubyRequestType_FLUSH;
6378615Snilay@cs.wisc.edu        } else {
6388615Snilay@cs.wisc.edu            panic("Unsupported ruby packet type\n");
6398615Snilay@cs.wisc.edu        }
6408615Snilay@cs.wisc.edu    }
6418615Snilay@cs.wisc.edu
6428615Snilay@cs.wisc.edu    RequestStatus status = insertRequest(pkt, primary_type);
6437039Snate@binkert.org    if (status != RequestStatus_Ready)
6447039Snate@binkert.org        return status;
6456349Spdudnik@gmail.com
6468615Snilay@cs.wisc.edu    issueRequest(pkt, secondary_type);
6476145Snate@binkert.org
6487039Snate@binkert.org    // TODO: issue hardware prefetches here
6497039Snate@binkert.org    return RequestStatus_Issued;
6506145Snate@binkert.org}
6516145Snate@binkert.org
6527039Snate@binkert.orgvoid
6538615Snilay@cs.wisc.eduSequencer::issueRequest(PacketPtr pkt, RubyRequestType secondary_type)
6547039Snate@binkert.org{
6559216Sandreas.hansson@arm.com    assert(pkt != NULL);
6568615Snilay@cs.wisc.edu    int proc_id = -1;
6579216Sandreas.hansson@arm.com    if (pkt->req->hasContextId()) {
6588615Snilay@cs.wisc.edu        proc_id = pkt->req->contextId();
6597039Snate@binkert.org    }
6606285Snate@binkert.org
6618615Snilay@cs.wisc.edu    // If valid, copy the pc to the ruby request
6628615Snilay@cs.wisc.edu    Addr pc = 0;
6638615Snilay@cs.wisc.edu    if (pkt->req->hasPC()) {
6648615Snilay@cs.wisc.edu        pc = pkt->req->getPC();
6657039Snate@binkert.org    }
6666285Snate@binkert.org
6678615Snilay@cs.wisc.edu    RubyRequest *msg = new RubyRequest(pkt->getAddr(),
6688615Snilay@cs.wisc.edu                                       pkt->getPtr<uint8_t>(true),
6698615Snilay@cs.wisc.edu                                       pkt->getSize(), pc, secondary_type,
6708615Snilay@cs.wisc.edu                                       RubyAccessMode_Supervisor, pkt,
6718188SLisa.Hsu@amd.com                                       PrefetchBit_No, proc_id);
6726285Snate@binkert.org
6738266Sksewell@umich.edu    DPRINTFR(ProtocolTrace, "%15s %3s %10s%20s %6s>%-6s %s %s\n",
6748266Sksewell@umich.edu            curTick(), m_version, "Seq", "Begin", "", "",
6758615Snilay@cs.wisc.edu            msg->getPhysicalAddress(),
6768615Snilay@cs.wisc.edu            RubyRequestType_to_string(secondary_type));
6776285Snate@binkert.org
6787039Snate@binkert.org    Time latency = 0;  // initialzed to an null value
6796285Snate@binkert.org
6808615Snilay@cs.wisc.edu    if (secondary_type == RubyRequestType_IFETCH)
6817039Snate@binkert.org        latency = m_instCache_ptr->getLatency();
6827039Snate@binkert.org    else
6837039Snate@binkert.org        latency = m_dataCache_ptr->getLatency();
6846285Snate@binkert.org
6857039Snate@binkert.org    // Send the message to the cache controller
6867039Snate@binkert.org    assert(latency > 0);
6876145Snate@binkert.org
6887039Snate@binkert.org    assert(m_mandatory_q_ptr != NULL);
6897039Snate@binkert.org    m_mandatory_q_ptr->enqueue(msg, latency);
6906145Snate@binkert.org}
6916145Snate@binkert.org
6927455Snate@binkert.orgtemplate <class KEY, class VALUE>
6937455Snate@binkert.orgstd::ostream &
6947455Snate@binkert.orgoperator<<(ostream &out, const m5::hash_map<KEY, VALUE> &map)
6957455Snate@binkert.org{
6967455Snate@binkert.org    typename m5::hash_map<KEY, VALUE>::const_iterator i = map.begin();
6977455Snate@binkert.org    typename m5::hash_map<KEY, VALUE>::const_iterator end = map.end();
6987455Snate@binkert.org
6997455Snate@binkert.org    out << "[";
7007455Snate@binkert.org    for (; i != end; ++i)
7017455Snate@binkert.org        out << " " << i->first << "=" << i->second;
7027455Snate@binkert.org    out << " ]";
7037455Snate@binkert.org
7047455Snate@binkert.org    return out;
7057455Snate@binkert.org}
7067455Snate@binkert.org
7077039Snate@binkert.orgvoid
7087039Snate@binkert.orgSequencer::print(ostream& out) const
7097039Snate@binkert.org{
7107039Snate@binkert.org    out << "[Sequencer: " << m_version
7117039Snate@binkert.org        << ", outstanding requests: " << m_outstanding_count
7127039Snate@binkert.org        << ", read request table: " << m_readRequestTable
7137039Snate@binkert.org        << ", write request table: " << m_writeRequestTable
7147039Snate@binkert.org        << "]";
7157039Snate@binkert.org}
7167039Snate@binkert.org
7177039Snate@binkert.org// this can be called from setState whenever coherence permissions are
7187039Snate@binkert.org// upgraded when invoked, coherence violations will be checked for the
7197039Snate@binkert.org// given block
7207039Snate@binkert.orgvoid
7217039Snate@binkert.orgSequencer::checkCoherence(const Address& addr)
7227039Snate@binkert.org{
7236145Snate@binkert.org#ifdef CHECK_COHERENCE
7247039Snate@binkert.org    g_system_ptr->checkGlobalCoherenceInvariant(addr);
7256145Snate@binkert.org#endif
7266145Snate@binkert.org}
7278717Snilay@cs.wisc.edu
7288717Snilay@cs.wisc.eduvoid
7299104Shestness@cs.utexas.eduSequencer::recordRequestType(SequencerRequestType requestType) {
7309104Shestness@cs.utexas.edu    DPRINTF(RubyStats, "Recorded statistic: %s\n",
7319104Shestness@cs.utexas.edu            SequencerRequestType_to_string(requestType));
7329104Shestness@cs.utexas.edu}
7339104Shestness@cs.utexas.edu
7349104Shestness@cs.utexas.edu
7359104Shestness@cs.utexas.eduvoid
7368717Snilay@cs.wisc.eduSequencer::evictionCallback(const Address& address)
7378717Snilay@cs.wisc.edu{
7388717Snilay@cs.wisc.edu    ruby_eviction_callback(address);
7398717Snilay@cs.wisc.edu}
740