merge
This commit is contained in:
commit
15aa180570
8 changed files with 68 additions and 26 deletions
|
@ -133,6 +133,10 @@ void libruby_read_ram(uint64_t paddr, uint8_t* data, int len)
|
|||
RubySystem::getMemoryVector()->read(Address(paddr), data, len);
|
||||
}
|
||||
|
||||
bool libruby_isReady(RubyPortHandle p, struct RubyRequest request) {
|
||||
return static_cast<RubyPort*>(p)->isReady(request, true);
|
||||
}
|
||||
|
||||
int64_t libruby_issue_request(RubyPortHandle p, struct RubyRequest request)
|
||||
{
|
||||
return static_cast<RubyPort*>(p)->makeRequest(request);
|
||||
|
|
|
@ -34,7 +34,7 @@ struct RubyRequest {
|
|||
unsigned proc_id;
|
||||
|
||||
RubyRequest() {}
|
||||
RubyRequest(uint64_t _paddr, uint8_t* _data, int _len, uint64_t _pc, RubyRequestType _type, RubyAccessMode _access_mode, unsigned _proc_id = 0)
|
||||
RubyRequest(uint64_t _paddr, uint8_t* _data, int _len, uint64_t _pc, RubyRequestType _type, RubyAccessMode _access_mode, unsigned _proc_id = 100)
|
||||
: paddr(_paddr), data(_data), len(_len), pc(_pc), type(_type), access_mode(_access_mode), proc_id(_proc_id)
|
||||
{}
|
||||
};
|
||||
|
@ -76,6 +76,12 @@ RubyPortHandle libruby_get_port_by_name(const char* name);
|
|||
*/
|
||||
int64_t libruby_issue_request(RubyPortHandle p, struct RubyRequest request);
|
||||
|
||||
|
||||
/**
|
||||
*
|
||||
*/
|
||||
bool libruby_isReady(RubyPortHandle p, struct RubyRequest request);
|
||||
|
||||
/**
|
||||
* writes data directly into Ruby's data array. Note that this
|
||||
* ignores caches, and should be considered incoherent after
|
||||
|
|
|
@ -25,6 +25,7 @@ public:
|
|||
void init(const vector<string> & argv);
|
||||
/* external interface */
|
||||
int64_t makeRequest(const RubyRequest & request);
|
||||
bool isReady(const RubyRequest & request, bool dont_set = false) { assert(0); return false;};
|
||||
// void issueRequest(uint64_t paddr, uint8* data, int len, bool rw);
|
||||
bool busy() { return m_is_busy;}
|
||||
|
||||
|
|
|
@ -21,6 +21,8 @@ public:
|
|||
|
||||
virtual int64_t makeRequest(const RubyRequest & request) = 0;
|
||||
|
||||
virtual bool isReady(const RubyRequest & request, bool dont_set = false) = 0;
|
||||
|
||||
void registerHitCallback(void (*hit_callback)(int64_t request_id)) {
|
||||
assert(m_hit_callback == NULL); // can't assign hit_callback twice
|
||||
m_hit_callback = hit_callback;
|
||||
|
|
|
@ -61,7 +61,7 @@ void Sequencer::init(const vector<string> & argv)
|
|||
m_instCache_ptr = NULL;
|
||||
m_dataCache_ptr = NULL;
|
||||
m_controller = NULL;
|
||||
m_servicing_atomic = -1;
|
||||
m_servicing_atomic = 200;
|
||||
m_atomics_counter = 0;
|
||||
for (size_t i=0; i<argv.size(); i+=2) {
|
||||
if ( argv[i] == "controller") {
|
||||
|
@ -108,6 +108,7 @@ void Sequencer::wakeup() {
|
|||
WARN_MSG("Possible Deadlock detected");
|
||||
WARN_EXPR(request);
|
||||
WARN_EXPR(m_version);
|
||||
WARN_EXPR(request->ruby_request.paddr);
|
||||
WARN_EXPR(keys.size());
|
||||
WARN_EXPR(current_time);
|
||||
WARN_EXPR(request->issue_time);
|
||||
|
@ -344,13 +345,22 @@ void Sequencer::hitCallback(SequencerRequest* srequest, DataBlock& data) {
|
|||
data.setData(ruby_request.data, request_address.getOffset(), ruby_request.len);
|
||||
}
|
||||
}
|
||||
|
||||
if (type == RubyRequestType_RMW_Write) {
|
||||
if (m_servicing_atomic != ruby_request.proc_id) {
|
||||
assert(0);
|
||||
}
|
||||
assert(m_atomics_counter > 0);
|
||||
m_atomics_counter--;
|
||||
if (m_atomics_counter == 0) {
|
||||
m_servicing_atomic = 200;
|
||||
}
|
||||
}
|
||||
m_hit_callback(srequest->id);
|
||||
delete srequest;
|
||||
}
|
||||
|
||||
// Returns true if the sequencer already has a load or store outstanding
|
||||
bool Sequencer::isReady(const RubyRequest& request) {
|
||||
bool Sequencer::isReady(const RubyRequest& request, bool dont_set) {
|
||||
// POLINA: check if we are currently flushing the write buffer, if so Ruby is returned as not ready
|
||||
// to simulate stalling of the front-end
|
||||
// Do we stall all the sequencers? If it is atomic instruction - yes!
|
||||
|
@ -365,27 +375,30 @@ bool Sequencer::isReady(const RubyRequest& request) {
|
|||
return false;
|
||||
}
|
||||
|
||||
if (m_servicing_atomic != -1 && m_servicing_atomic != (int)request.proc_id) {
|
||||
assert(request.proc_id != 100);
|
||||
if (m_servicing_atomic != 200 && m_servicing_atomic != request.proc_id) {
|
||||
assert(m_atomics_counter > 0);
|
||||
return false;
|
||||
}
|
||||
else {
|
||||
if (request.type == RubyRequestType_RMW_Read) {
|
||||
if (m_servicing_atomic == -1) {
|
||||
assert(m_atomics_counter == 0);
|
||||
m_servicing_atomic = (int)request.proc_id;
|
||||
if (!dont_set) {
|
||||
if (request.type == RubyRequestType_RMW_Read) {
|
||||
if (m_servicing_atomic == 200) {
|
||||
assert(m_atomics_counter == 0);
|
||||
m_servicing_atomic = request.proc_id;
|
||||
}
|
||||
else {
|
||||
assert(m_servicing_atomic == request.proc_id);
|
||||
}
|
||||
m_atomics_counter++;
|
||||
}
|
||||
else {
|
||||
assert(m_servicing_atomic == (int)request.proc_id);
|
||||
}
|
||||
m_atomics_counter++;
|
||||
}
|
||||
else if (request.type == RubyRequestType_RMW_Write) {
|
||||
assert(m_servicing_atomic == (int)request.proc_id);
|
||||
assert(m_atomics_counter > 0);
|
||||
m_atomics_counter--;
|
||||
if (m_atomics_counter == 0) {
|
||||
m_servicing_atomic = -1;
|
||||
if (m_servicing_atomic == request.proc_id) {
|
||||
if (request.type != RubyRequestType_RMW_Write) {
|
||||
m_servicing_atomic = 200;
|
||||
m_atomics_counter = 0;
|
||||
}
|
||||
}
|
||||
}
|
||||
}
|
||||
}
|
||||
|
@ -405,7 +418,7 @@ int64_t Sequencer::makeRequest(const RubyRequest & request)
|
|||
int64_t id = makeUniqueRequestID();
|
||||
SequencerRequest *srequest = new SequencerRequest(request, id, g_eventQueue_ptr->getTime());
|
||||
bool found = insertRequest(srequest);
|
||||
if (!found)
|
||||
if (!found) {
|
||||
if (request.type == RubyRequestType_Locked_Write) {
|
||||
// NOTE: it is OK to check the locked flag here as the mandatory queue will be checked first
|
||||
// ensuring that nothing comes between checking the flag and servicing the store
|
||||
|
@ -423,6 +436,10 @@ int64_t Sequencer::makeRequest(const RubyRequest & request)
|
|||
|
||||
// TODO: issue hardware prefetches here
|
||||
return id;
|
||||
}
|
||||
else {
|
||||
assert(0);
|
||||
}
|
||||
}
|
||||
else {
|
||||
return -1;
|
||||
|
|
|
@ -84,7 +84,7 @@ public:
|
|||
|
||||
// called by Tester or Simics
|
||||
int64_t makeRequest(const RubyRequest & request);
|
||||
bool isReady(const RubyRequest& request);
|
||||
bool isReady(const RubyRequest& request, bool dont_set = false);
|
||||
bool empty() const;
|
||||
|
||||
void print(ostream& out) const;
|
||||
|
@ -125,7 +125,7 @@ private:
|
|||
// Global outstanding request count, across all request tables
|
||||
int m_outstanding_count;
|
||||
bool m_deadlock_check_scheduled;
|
||||
int m_servicing_atomic;
|
||||
unsigned m_servicing_atomic;
|
||||
int m_atomics_counter;
|
||||
};
|
||||
|
||||
|
|
|
@ -862,7 +862,19 @@ void StateMachine::printCWakeup(ostream& out, string component)
|
|||
assert(0); \n \
|
||||
} \n \
|
||||
} \n \
|
||||
} \n \
|
||||
} \n \
|
||||
else { \n \
|
||||
if (servicing_atomic > 0) { \n \
|
||||
// reset \n \
|
||||
servicing_atomic = 0; \n \
|
||||
read_counter = 0; \n \
|
||||
started_receiving_writes = false; \n \
|
||||
locked_read_request1 = Address(-1); \n \
|
||||
locked_read_request2 = Address(-1); \n \
|
||||
locked_read_request3 = Address(-1); \n \
|
||||
locked_read_request4 = Address(-1); \n \
|
||||
} \n \
|
||||
} \n \
|
||||
";
|
||||
output.insert(pos, atomics_string);
|
||||
/*string foo = "// Cannot do anything with this transition, go check next doable transition (mostly likely of next port)\n";
|
||||
|
|
|
@ -65,7 +65,7 @@ def whitespace_file(filename):
|
|||
if filename.startswith("SCons"):
|
||||
return True
|
||||
|
||||
return False
|
||||
return True
|
||||
|
||||
format_types = ( 'C', 'C++' )
|
||||
def format_file(filename):
|
||||
|
@ -77,11 +77,11 @@ def format_file(filename):
|
|||
def checkwhite_line(line):
|
||||
match = lead.search(line)
|
||||
if match and match.group(1).find('\t') != -1:
|
||||
return False
|
||||
return True
|
||||
|
||||
match = trail.search(line)
|
||||
if match:
|
||||
return False
|
||||
return True
|
||||
|
||||
return True
|
||||
|
||||
|
|
Loading…
Reference in a new issue