2009-05-11 19:38:43 +02:00
|
|
|
/*
|
2012-01-11 20:48:48 +01:00
|
|
|
* Copyright (c) 1999-2011 Mark D. Hill and David A. Wood
|
2009-05-11 19:38:43 +02:00
|
|
|
* All rights reserved.
|
|
|
|
*
|
|
|
|
* Redistribution and use in source and binary forms, with or without
|
|
|
|
* modification, are permitted provided that the following conditions are
|
|
|
|
* met: redistributions of source code must retain the above copyright
|
|
|
|
* notice, this list of conditions and the following disclaimer;
|
|
|
|
* redistributions in binary form must reproduce the above copyright
|
|
|
|
* notice, this list of conditions and the following disclaimer in the
|
|
|
|
* documentation and/or other materials provided with the distribution;
|
|
|
|
* neither the name of the copyright holders nor the names of its
|
|
|
|
* contributors may be used to endorse or promote products derived from
|
|
|
|
* this software without specific prior written permission.
|
|
|
|
*
|
|
|
|
* THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
|
|
|
|
* "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
|
|
|
|
* LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
|
|
|
|
* A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
|
|
|
|
* OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
|
|
|
|
* SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
|
|
|
|
* LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
|
|
|
|
* DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
|
|
|
|
* THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
|
|
|
|
* (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
|
|
|
|
* OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
|
|
|
|
*/
|
|
|
|
|
2012-01-11 20:48:48 +01:00
|
|
|
#include <fcntl.h>
|
|
|
|
#include <zlib.h>
|
|
|
|
|
|
|
|
#include <cstdio>
|
|
|
|
|
2010-04-02 20:20:32 +02:00
|
|
|
#include "base/intmath.hh"
|
2010-03-23 02:43:53 +01:00
|
|
|
#include "base/output.hh"
|
2012-04-06 22:47:07 +02:00
|
|
|
#include "debug/RubyCacheTrace.hh"
|
2009-07-07 00:49:47 +02:00
|
|
|
#include "mem/ruby/common/Address.hh"
|
2009-05-11 19:38:45 +02:00
|
|
|
#include "mem/ruby/network/Network.hh"
|
2010-03-23 02:43:53 +01:00
|
|
|
#include "mem/ruby/profiler/Profiler.hh"
|
|
|
|
#include "mem/ruby/system/System.hh"
|
2012-04-06 22:47:07 +02:00
|
|
|
#include "sim/eventq.hh"
|
2012-01-11 20:48:48 +01:00
|
|
|
#include "sim/simulate.hh"
|
2009-07-07 00:49:47 +02:00
|
|
|
|
2010-04-02 20:20:32 +02:00
|
|
|
using namespace std;
|
|
|
|
|
2009-07-07 00:49:47 +02:00
|
|
|
int RubySystem::m_random_seed;
|
|
|
|
bool RubySystem::m_randomization;
|
2010-01-30 05:29:19 +01:00
|
|
|
Tick RubySystem::m_clock;
|
2009-07-07 00:49:47 +02:00
|
|
|
int RubySystem::m_block_size_bytes;
|
|
|
|
int RubySystem::m_block_size_bits;
|
|
|
|
uint64 RubySystem::m_memory_size_bytes;
|
|
|
|
int RubySystem::m_memory_size_bits;
|
|
|
|
|
|
|
|
Network* RubySystem::m_network_ptr;
|
|
|
|
Profiler* RubySystem::m_profiler_ptr;
|
|
|
|
MemoryVector* RubySystem::m_mem_vec_ptr;
|
|
|
|
|
2010-01-30 05:29:17 +01:00
|
|
|
RubySystem::RubySystem(const Params *p)
|
|
|
|
: SimObject(p)
|
2009-05-11 19:38:46 +02:00
|
|
|
{
|
2010-01-30 05:29:17 +01:00
|
|
|
if (g_system_ptr != NULL)
|
|
|
|
fatal("Only one RubySystem object currently allowed.\n");
|
|
|
|
|
|
|
|
m_random_seed = p->random_seed;
|
|
|
|
srandom(m_random_seed);
|
|
|
|
m_randomization = p->randomization;
|
2010-01-30 05:29:19 +01:00
|
|
|
m_clock = p->clock;
|
2010-01-30 05:29:18 +01:00
|
|
|
|
2010-01-30 05:29:17 +01:00
|
|
|
m_block_size_bytes = p->block_size_bytes;
|
2010-04-02 20:20:32 +02:00
|
|
|
assert(isPowerOf2(m_block_size_bytes));
|
|
|
|
m_block_size_bits = floorLog2(m_block_size_bytes);
|
2010-01-30 05:29:18 +01:00
|
|
|
|
2010-01-30 05:29:23 +01:00
|
|
|
m_memory_size_bytes = p->mem_size;
|
2010-03-22 05:22:21 +01:00
|
|
|
if (m_memory_size_bytes == 0) {
|
|
|
|
m_memory_size_bits = 0;
|
|
|
|
} else {
|
2010-04-02 20:20:32 +02:00
|
|
|
m_memory_size_bits = floorLog2(m_memory_size_bytes);
|
2010-03-22 05:22:21 +01:00
|
|
|
}
|
2010-01-30 05:29:18 +01:00
|
|
|
|
2010-01-30 05:29:17 +01:00
|
|
|
g_system_ptr = this;
|
2010-03-22 05:22:21 +01:00
|
|
|
if (p->no_mem_vec) {
|
|
|
|
m_mem_vec_ptr = NULL;
|
|
|
|
} else {
|
|
|
|
m_mem_vec_ptr = new MemoryVector;
|
2010-06-11 08:17:07 +02:00
|
|
|
m_mem_vec_ptr->resize(m_memory_size_bytes);
|
2010-03-22 05:22:21 +01:00
|
|
|
}
|
2010-01-30 05:29:21 +01:00
|
|
|
|
|
|
|
//
|
|
|
|
// Print ruby configuration and stats at exit
|
|
|
|
//
|
|
|
|
RubyExitCallback* rubyExitCB = new RubyExitCallback(p->stats_filename);
|
|
|
|
registerExitCallback(rubyExitCB);
|
2012-01-11 20:48:48 +01:00
|
|
|
m_warmup_enabled = false;
|
|
|
|
m_cooldown_enabled = false;
|
2009-05-11 19:38:46 +02:00
|
|
|
}
|
|
|
|
|
2010-03-23 02:43:53 +01:00
|
|
|
void
|
|
|
|
RubySystem::init()
|
2009-05-11 19:38:43 +02:00
|
|
|
{
|
2010-03-23 02:43:53 +01:00
|
|
|
m_profiler_ptr->clearStats();
|
2009-05-11 19:38:46 +02:00
|
|
|
}
|
2009-05-11 19:38:43 +02:00
|
|
|
|
2011-07-01 02:49:26 +02:00
|
|
|
void
|
|
|
|
RubySystem::registerNetwork(Network* network_ptr)
|
|
|
|
{
|
|
|
|
m_network_ptr = network_ptr;
|
|
|
|
}
|
|
|
|
|
|
|
|
void
|
|
|
|
RubySystem::registerProfiler(Profiler* profiler_ptr)
|
|
|
|
{
|
|
|
|
m_profiler_ptr = profiler_ptr;
|
|
|
|
}
|
|
|
|
|
|
|
|
void
|
|
|
|
RubySystem::registerAbstractController(AbstractController* cntrl)
|
|
|
|
{
|
|
|
|
m_abs_cntrl_vec.push_back(cntrl);
|
|
|
|
}
|
|
|
|
|
2012-01-11 20:48:48 +01:00
|
|
|
void
|
|
|
|
RubySystem::registerSparseMemory(SparseMemory* s)
|
|
|
|
{
|
|
|
|
m_sparse_memory_vector.push_back(s);
|
|
|
|
}
|
|
|
|
|
2012-07-11 07:51:54 +02:00
|
|
|
void
|
|
|
|
RubySystem::registerMemController(MemoryControl *mc) {
|
|
|
|
m_memory_controller = mc;
|
|
|
|
}
|
|
|
|
|
2009-07-07 00:49:47 +02:00
|
|
|
RubySystem::~RubySystem()
|
2009-05-11 19:38:46 +02:00
|
|
|
{
|
2010-03-23 02:43:53 +01:00
|
|
|
delete m_network_ptr;
|
|
|
|
delete m_profiler_ptr;
|
|
|
|
if (m_mem_vec_ptr)
|
|
|
|
delete m_mem_vec_ptr;
|
2009-07-07 00:49:47 +02:00
|
|
|
}
|
|
|
|
|
2010-03-23 02:43:53 +01:00
|
|
|
void
|
|
|
|
RubySystem::printStats(ostream& out)
|
2009-05-11 19:38:43 +02:00
|
|
|
{
|
2010-03-23 02:43:53 +01:00
|
|
|
const time_t T = time(NULL);
|
|
|
|
tm *localTime = localtime(&T);
|
|
|
|
char buf[100];
|
|
|
|
strftime(buf, 100, "%b/%d/%Y %H:%M:%S", localTime);
|
2009-07-07 00:49:47 +02:00
|
|
|
|
2010-03-23 02:43:53 +01:00
|
|
|
out << "Real time: " << buf << endl;
|
2009-05-11 19:38:43 +02:00
|
|
|
|
2010-03-23 02:43:53 +01:00
|
|
|
m_profiler_ptr->printStats(out);
|
|
|
|
m_network_ptr->printStats(out);
|
2009-05-11 19:38:43 +02:00
|
|
|
}
|
|
|
|
|
2012-01-11 20:48:48 +01:00
|
|
|
void
|
|
|
|
RubySystem::writeCompressedTrace(uint8* raw_data, string filename,
|
|
|
|
uint64 uncompressed_trace_size)
|
|
|
|
{
|
|
|
|
// Create the checkpoint file for the memory
|
|
|
|
string thefile = Checkpoint::dir() + "/" + filename.c_str();
|
|
|
|
|
|
|
|
int fd = creat(thefile.c_str(), 0664);
|
|
|
|
if (fd < 0) {
|
|
|
|
perror("creat");
|
|
|
|
fatal("Can't open memory trace file '%s'\n", filename);
|
|
|
|
}
|
|
|
|
|
|
|
|
gzFile compressedMemory = gzdopen(fd, "wb");
|
|
|
|
if (compressedMemory == NULL)
|
|
|
|
fatal("Insufficient memory to allocate compression state for %s\n",
|
|
|
|
filename);
|
|
|
|
|
|
|
|
if (gzwrite(compressedMemory, raw_data, uncompressed_trace_size) !=
|
|
|
|
uncompressed_trace_size) {
|
|
|
|
fatal("Write failed on memory trace file '%s'\n", filename);
|
|
|
|
}
|
|
|
|
|
|
|
|
if (gzclose(compressedMemory)) {
|
|
|
|
fatal("Close failed on memory trace file '%s'\n", filename);
|
|
|
|
}
|
|
|
|
delete raw_data;
|
|
|
|
}
|
|
|
|
|
2010-08-20 20:46:13 +02:00
|
|
|
void
|
|
|
|
RubySystem::serialize(std::ostream &os)
|
|
|
|
{
|
2012-01-11 20:48:48 +01:00
|
|
|
m_cooldown_enabled = true;
|
|
|
|
|
|
|
|
vector<Sequencer*> sequencer_map;
|
|
|
|
Sequencer* sequencer_ptr = NULL;
|
|
|
|
int cntrl_id = -1;
|
|
|
|
|
|
|
|
|
|
|
|
for (int cntrl = 0; cntrl < m_abs_cntrl_vec.size(); cntrl++) {
|
|
|
|
sequencer_map.push_back(m_abs_cntrl_vec[cntrl]->getSequencer());
|
|
|
|
if (sequencer_ptr == NULL) {
|
|
|
|
sequencer_ptr = sequencer_map[cntrl];
|
|
|
|
cntrl_id = cntrl;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
assert(sequencer_ptr != NULL);
|
|
|
|
|
|
|
|
for (int cntrl = 0; cntrl < m_abs_cntrl_vec.size(); cntrl++) {
|
|
|
|
if (sequencer_map[cntrl] == NULL) {
|
|
|
|
sequencer_map[cntrl] = sequencer_ptr;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2012-04-06 22:47:07 +02:00
|
|
|
DPRINTF(RubyCacheTrace, "Recording Cache Trace\n");
|
2012-01-11 20:48:48 +01:00
|
|
|
// Create the CacheRecorder and record the cache trace
|
|
|
|
m_cache_recorder = new CacheRecorder(NULL, 0, sequencer_map);
|
|
|
|
|
|
|
|
for (int cntrl = 0; cntrl < m_abs_cntrl_vec.size(); cntrl++) {
|
|
|
|
m_abs_cntrl_vec[cntrl]->recordCacheTrace(cntrl, m_cache_recorder);
|
|
|
|
}
|
|
|
|
|
2012-04-06 22:47:07 +02:00
|
|
|
DPRINTF(RubyCacheTrace, "Cache Trace Complete\n");
|
2012-01-11 20:48:48 +01:00
|
|
|
// save the current tick value
|
|
|
|
Tick curtick_original = curTick();
|
|
|
|
// save the event queue head
|
|
|
|
Event* eventq_head = eventq->replaceHead(NULL);
|
2012-04-06 22:47:07 +02:00
|
|
|
DPRINTF(RubyCacheTrace, "Recording current tick %ld and event queue\n",
|
|
|
|
curtick_original);
|
2012-01-11 20:48:48 +01:00
|
|
|
|
|
|
|
// Schedule an event to start cache cooldown
|
2012-04-06 22:47:07 +02:00
|
|
|
DPRINTF(RubyCacheTrace, "Starting cache flush\n");
|
|
|
|
enqueueRubyEvent(curTick());
|
2012-01-11 20:48:48 +01:00
|
|
|
simulate();
|
2012-04-06 22:47:07 +02:00
|
|
|
DPRINTF(RubyCacheTrace, "Cache flush complete\n");
|
2012-01-11 20:48:48 +01:00
|
|
|
|
|
|
|
// Restore eventq head
|
|
|
|
eventq_head = eventq->replaceHead(eventq_head);
|
|
|
|
// Restore curTick
|
|
|
|
curTick(curtick_original);
|
2010-08-20 20:46:13 +02:00
|
|
|
|
2012-01-11 20:48:48 +01:00
|
|
|
uint8* raw_data = NULL;
|
|
|
|
|
|
|
|
if (m_mem_vec_ptr != NULL) {
|
|
|
|
uint64 memory_trace_size = m_mem_vec_ptr->collatePages(raw_data);
|
|
|
|
|
|
|
|
string memory_trace_file = name() + ".memory.gz";
|
|
|
|
writeCompressedTrace(raw_data, memory_trace_file,
|
|
|
|
memory_trace_size);
|
|
|
|
|
|
|
|
SERIALIZE_SCALAR(memory_trace_file);
|
|
|
|
SERIALIZE_SCALAR(memory_trace_size);
|
|
|
|
|
|
|
|
} else {
|
|
|
|
for (int i = 0; i < m_sparse_memory_vector.size(); ++i) {
|
|
|
|
m_sparse_memory_vector[i]->recordBlocks(cntrl_id,
|
|
|
|
m_cache_recorder);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
// Aggergate the trace entries together into a single array
|
|
|
|
raw_data = new uint8_t[4096];
|
|
|
|
uint64 cache_trace_size = m_cache_recorder->aggregateRecords(&raw_data,
|
|
|
|
4096);
|
|
|
|
string cache_trace_file = name() + ".cache.gz";
|
|
|
|
writeCompressedTrace(raw_data, cache_trace_file, cache_trace_size);
|
|
|
|
|
|
|
|
SERIALIZE_SCALAR(cache_trace_file);
|
|
|
|
SERIALIZE_SCALAR(cache_trace_size);
|
|
|
|
|
|
|
|
m_cooldown_enabled = false;
|
|
|
|
}
|
|
|
|
|
|
|
|
void
|
|
|
|
RubySystem::readCompressedTrace(string filename, uint8*& raw_data,
|
|
|
|
uint64& uncompressed_trace_size)
|
|
|
|
{
|
|
|
|
// Read the trace file
|
|
|
|
gzFile compressedTrace;
|
|
|
|
|
|
|
|
// trace file
|
|
|
|
int fd = open(filename.c_str(), O_RDONLY);
|
|
|
|
if (fd < 0) {
|
|
|
|
perror("open");
|
|
|
|
fatal("Unable to open trace file %s", filename);
|
|
|
|
}
|
|
|
|
|
|
|
|
compressedTrace = gzdopen(fd, "rb");
|
|
|
|
if (compressedTrace == NULL) {
|
|
|
|
fatal("Insufficient memory to allocate compression state for %s\n",
|
|
|
|
filename);
|
|
|
|
}
|
|
|
|
|
|
|
|
raw_data = new uint8_t[uncompressed_trace_size];
|
|
|
|
if (gzread(compressedTrace, raw_data, uncompressed_trace_size) <
|
|
|
|
uncompressed_trace_size) {
|
|
|
|
fatal("Unable to read complete trace from file %s\n", filename);
|
|
|
|
}
|
|
|
|
|
|
|
|
if (gzclose(compressedTrace)) {
|
|
|
|
fatal("Failed to close cache trace file '%s'\n", filename);
|
|
|
|
}
|
2010-08-20 20:46:13 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
void
|
|
|
|
RubySystem::unserialize(Checkpoint *cp, const string §ion)
|
|
|
|
{
|
|
|
|
//
|
|
|
|
// The main purpose for clearing stats in the unserialize process is so
|
|
|
|
// that the profiler can correctly set its start time to the unserialized
|
2011-01-08 06:50:29 +01:00
|
|
|
// value of curTick()
|
2010-08-20 20:46:13 +02:00
|
|
|
//
|
|
|
|
clearStats();
|
2012-01-11 20:48:48 +01:00
|
|
|
uint8* uncompressed_trace = NULL;
|
|
|
|
|
|
|
|
if (m_mem_vec_ptr != NULL) {
|
|
|
|
string memory_trace_file;
|
|
|
|
uint64 memory_trace_size = 0;
|
|
|
|
|
|
|
|
UNSERIALIZE_SCALAR(memory_trace_file);
|
|
|
|
UNSERIALIZE_SCALAR(memory_trace_size);
|
|
|
|
memory_trace_file = cp->cptDir + "/" + memory_trace_file;
|
|
|
|
|
|
|
|
readCompressedTrace(memory_trace_file, uncompressed_trace,
|
|
|
|
memory_trace_size);
|
|
|
|
m_mem_vec_ptr->populatePages(uncompressed_trace);
|
|
|
|
|
|
|
|
delete uncompressed_trace;
|
|
|
|
uncompressed_trace = NULL;
|
|
|
|
}
|
|
|
|
|
|
|
|
string cache_trace_file;
|
|
|
|
uint64 cache_trace_size = 0;
|
|
|
|
|
|
|
|
UNSERIALIZE_SCALAR(cache_trace_file);
|
|
|
|
UNSERIALIZE_SCALAR(cache_trace_size);
|
|
|
|
cache_trace_file = cp->cptDir + "/" + cache_trace_file;
|
|
|
|
|
|
|
|
readCompressedTrace(cache_trace_file, uncompressed_trace,
|
|
|
|
cache_trace_size);
|
|
|
|
m_warmup_enabled = true;
|
|
|
|
|
|
|
|
vector<Sequencer*> sequencer_map;
|
|
|
|
Sequencer* t = NULL;
|
|
|
|
for (int cntrl = 0; cntrl < m_abs_cntrl_vec.size(); cntrl++) {
|
|
|
|
sequencer_map.push_back(m_abs_cntrl_vec[cntrl]->getSequencer());
|
|
|
|
if(t == NULL) t = sequencer_map[cntrl];
|
|
|
|
}
|
|
|
|
|
|
|
|
assert(t != NULL);
|
|
|
|
|
|
|
|
for (int cntrl = 0; cntrl < m_abs_cntrl_vec.size(); cntrl++) {
|
|
|
|
if (sequencer_map[cntrl] == NULL) {
|
|
|
|
sequencer_map[cntrl] = t;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
m_cache_recorder = new CacheRecorder(uncompressed_trace, cache_trace_size,
|
|
|
|
sequencer_map);
|
2010-08-20 20:46:13 +02:00
|
|
|
}
|
|
|
|
|
2010-03-23 02:43:53 +01:00
|
|
|
void
|
2012-01-11 20:48:48 +01:00
|
|
|
RubySystem::startup()
|
2009-05-11 19:38:43 +02:00
|
|
|
{
|
2012-01-11 20:48:48 +01:00
|
|
|
if (m_warmup_enabled) {
|
|
|
|
// save the current tick value
|
|
|
|
Tick curtick_original = curTick();
|
|
|
|
// save the event queue head
|
|
|
|
Event* eventq_head = eventq->replaceHead(NULL);
|
|
|
|
// set curTick to 0
|
|
|
|
curTick(0);
|
|
|
|
|
|
|
|
// Schedule an event to start cache warmup
|
2012-04-06 22:47:07 +02:00
|
|
|
enqueueRubyEvent(curTick());
|
2012-01-11 20:48:48 +01:00
|
|
|
simulate();
|
|
|
|
|
|
|
|
delete m_cache_recorder;
|
|
|
|
m_cache_recorder = NULL;
|
|
|
|
m_warmup_enabled = false;
|
2012-07-11 18:44:34 +02:00
|
|
|
// reset DRAM so that it's not waiting for events on the old event
|
|
|
|
// queue
|
2012-07-11 07:51:54 +02:00
|
|
|
m_memory_controller->reset();
|
2012-01-11 20:48:48 +01:00
|
|
|
// Restore eventq head
|
|
|
|
eventq_head = eventq->replaceHead(eventq_head);
|
|
|
|
// Restore curTick
|
|
|
|
curTick(curtick_original);
|
|
|
|
}
|
2009-05-11 19:38:43 +02:00
|
|
|
}
|
|
|
|
|
2010-03-23 02:43:53 +01:00
|
|
|
void
|
2012-01-11 20:48:48 +01:00
|
|
|
RubySystem::RubyEvent::process()
|
2009-05-11 19:38:43 +02:00
|
|
|
{
|
2012-01-11 20:48:48 +01:00
|
|
|
if (ruby_system->m_warmup_enabled) {
|
|
|
|
ruby_system->m_cache_recorder->enqueueNextFetchRequest();
|
|
|
|
} else if (ruby_system->m_cooldown_enabled) {
|
|
|
|
ruby_system->m_cache_recorder->enqueueNextFlushRequest();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
void
|
|
|
|
RubySystem::clearStats() const
|
|
|
|
{
|
|
|
|
m_profiler_ptr->clearStats();
|
|
|
|
m_network_ptr->clearStats();
|
2009-05-11 19:38:43 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
#ifdef CHECK_COHERENCE
|
|
|
|
// This code will check for cases if the given cache block is exclusive in
|
|
|
|
// one node and shared in another-- a coherence violation
|
|
|
|
//
|
|
|
|
// To use, the SLICC specification must call sequencer.checkCoherence(address)
|
|
|
|
// when the controller changes to a state with new permissions. Do this
|
|
|
|
// in setState. The SLICC spec must also define methods "isBlockShared"
|
|
|
|
// and "isBlockExclusive" that are specific to that protocol
|
|
|
|
//
|
2010-03-23 02:43:53 +01:00
|
|
|
void
|
|
|
|
RubySystem::checkGlobalCoherenceInvariant(const Address& addr)
|
|
|
|
{
|
|
|
|
#if 0
|
|
|
|
NodeID exclusive = -1;
|
|
|
|
bool sharedDetected = false;
|
|
|
|
NodeID lastShared = -1;
|
|
|
|
|
|
|
|
for (int i = 0; i < m_chip_vector.size(); i++) {
|
|
|
|
if (m_chip_vector[i]->isBlockExclusive(addr)) {
|
|
|
|
if (exclusive != -1) {
|
|
|
|
// coherence violation
|
|
|
|
WARN_EXPR(exclusive);
|
|
|
|
WARN_EXPR(m_chip_vector[i]->getID());
|
|
|
|
WARN_EXPR(addr);
|
2012-08-27 08:00:55 +02:00
|
|
|
WARN_EXPR(getTime());
|
2010-03-23 02:43:53 +01:00
|
|
|
ERROR_MSG("Coherence Violation Detected -- 2 exclusive chips");
|
|
|
|
} else if (sharedDetected) {
|
|
|
|
WARN_EXPR(lastShared);
|
|
|
|
WARN_EXPR(m_chip_vector[i]->getID());
|
|
|
|
WARN_EXPR(addr);
|
2012-08-27 08:00:55 +02:00
|
|
|
WARN_EXPR(getTime());
|
2010-03-23 02:43:53 +01:00
|
|
|
ERROR_MSG("Coherence Violation Detected -- exclusive chip with >=1 shared");
|
|
|
|
} else {
|
|
|
|
exclusive = m_chip_vector[i]->getID();
|
|
|
|
}
|
|
|
|
} else if (m_chip_vector[i]->isBlockShared(addr)) {
|
|
|
|
sharedDetected = true;
|
|
|
|
lastShared = m_chip_vector[i]->getID();
|
|
|
|
|
|
|
|
if (exclusive != -1) {
|
|
|
|
WARN_EXPR(lastShared);
|
|
|
|
WARN_EXPR(exclusive);
|
|
|
|
WARN_EXPR(addr);
|
2012-08-27 08:00:55 +02:00
|
|
|
WARN_EXPR(getTime());
|
2010-03-23 02:43:53 +01:00
|
|
|
ERROR_MSG("Coherence Violation Detected -- exclusive chip with >=1 shared");
|
|
|
|
}
|
|
|
|
}
|
2009-05-11 19:38:43 +02:00
|
|
|
}
|
2010-03-23 02:43:53 +01:00
|
|
|
#endif
|
2009-05-11 19:38:43 +02:00
|
|
|
}
|
|
|
|
#endif
|
|
|
|
|
2010-01-30 05:29:17 +01:00
|
|
|
RubySystem *
|
|
|
|
RubySystemParams::create()
|
|
|
|
{
|
|
|
|
return new RubySystem(this);
|
|
|
|
}
|
2010-01-30 05:29:21 +01:00
|
|
|
|
|
|
|
/**
|
|
|
|
* virtual process function that is invoked when the callback
|
|
|
|
* queue is executed.
|
|
|
|
*/
|
2010-03-23 02:43:53 +01:00
|
|
|
void
|
|
|
|
RubyExitCallback::process()
|
2010-01-30 05:29:21 +01:00
|
|
|
{
|
|
|
|
std::ostream *os = simout.create(stats_filename);
|
|
|
|
RubySystem::printStats(*os);
|
|
|
|
}
|