christoph/fail
1
Fork 0
Code Actions Packages Releases Activity

RAMpage experiment: FI debug output

Browse Source 
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1648 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
This commit is contained in:
hsc
2012-09-14 16:02:57 +00:00
parent 42750eac15
commit 5c967a73d4
1 changed files with 7 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
src/experiments/rampage/experiment.cc
View File

@ -101,20 +101,27 @@ void RAMpageExperiment::handleMemWrite(address_t addr)
unsigned bit2 = m_param->msg.mem_coupled_bit(); unsigned bit2 = m_param->msg.mem_coupled_bit();
unsigned char data = m_mm.getByte(addr1); unsigned char data = m_mm.getByte(addr1);
m_log << "access to addr 0x" << std::hex << addr1 << ", FI" << endl;
switch (m_param->msg.errortype()) { switch (m_param->msg.errortype()) {
case RAMpageProtoMsg::ERROR_NONE: case RAMpageProtoMsg::ERROR_NONE:
m_log << "no fault injected" << endl;
break; break;
case RAMpageProtoMsg::ERROR_STUCK_AT_0: case RAMpageProtoMsg::ERROR_STUCK_AT_0:
m_log << "stuck-at-0, bit " << bit1 << endl;
data &= ~(1 << bit1); // stuck-at-0 data &= ~(1 << bit1); // stuck-at-0
break; break;
case RAMpageProtoMsg::ERROR_STUCK_AT_1: case RAMpageProtoMsg::ERROR_STUCK_AT_1:
m_log << "stuck-at-1, bit " << bit1 << endl;
data |= 1 << bit1; // stuck-at-1 data |= 1 << bit1; // stuck-at-1
break; break;
case RAMpageProtoMsg::ERROR_COUPLING: case RAMpageProtoMsg::ERROR_COUPLING:
m_log << "coupling, bit " << bit2 << " := bit " << bit1 << endl;
data &= ~(1 << bit2); // coupling bit2 := bit1 data &= ~(1 << bit2); // coupling bit2 := bit1
data |= ((data & (1 << bit1)) != 0) << bit2; data |= ((data & (1 << bit1)) != 0) << bit2;
break; break;
case RAMpageProtoMsg::ERROR_INVERSE_COUPLING: case RAMpageProtoMsg::ERROR_INVERSE_COUPLING:
m_log << "coupling, bit " << bit2 << " := !bit " << bit1 << endl;
data &= ~(1 << bit2); // coupling bit2 := !bit1 data &= ~(1 << bit2); // coupling bit2 := !bit1
data |= ((data & (1 << bit1)) == 0) << bit2; data |= ((data & (1 << bit1)) == 0) << bit2;
break; break;
@ -122,7 +129,6 @@ void RAMpageExperiment::handleMemWrite(address_t addr)
m_log << "unknown error type" << std::endl; m_log << "unknown error type" << std::endl;
} }
m_mm.setByte(addr1, data); m_mm.setByte(addr1, data);
m_log << "access to addr 0x" << std::hex << addr1 << ", FI!" << endl;
/* /*
unsigned char data2 = m_mm.getByte(addr2); unsigned char data2 = m_mm.getByte(addr2);
data2 &= ~(1 << bit2); // coupling addr2:bit2 := !addr1:bit1 data2 &= ~(1 << bit2); // coupling addr2:bit2 := !addr1:bit1