dciao-kernelstructs: several experiment fixes.

The previous fault injection experiment was kind of bullshit. This one
is better in several ways:

- sanity check at injection time (correct IP)
- correct counting of kernel_transistions
- copy whole activation scheme

Change-Id: I014eea4d6fe103bc02ffd7bbca95dc56a1a4d9ea
This commit is contained in:
Christian Dietrich
2013-04-10 17:39:49 +02:00
parent 6789a313a9
commit d9c9b43102
4 changed files with 101 additions and 96 deletions

View File

@ -89,7 +89,7 @@ bool DatabaseCampaign::run() {
<< " WHERE p.known_outcome = 0 " << " WHERE p.known_outcome = 0 "
<< " AND g.fspmethod_id = " << fspmethod_id << " AND g.fspmethod_id = " << fspmethod_id
<< " AND g.variant_id = " << variant_id << " AND g.variant_id = " << variant_id
<< " AND (SELECT COUNT(*) FROM " + db_connect.result_table() + " as r WHERE r.pilot_id = g.pilot_id) = 0" << " AND (SELECT COUNT(*) FROM " + db_connect.result_table() + " as r WHERE r.pilot_id = g.pilot_id) < 8"
<< " ORDER BY p.injection_instr"; << " ORDER BY p.injection_instr";
std::string sql_body = ss.str(); std::string sql_body = ss.str();

View File

@ -437,8 +437,6 @@ bool DatabaseProtobufAdapter::insert_row(const google::protobuf::Message *msg) {
if (mysql_stmt_execute(stmt)) { if (mysql_stmt_execute(stmt)) {
LOG << "mysql_stmt_execute() failed: " << mysql_stmt_error(stmt) << std::endl; LOG << "mysql_stmt_execute() failed: " << mysql_stmt_error(stmt) << std::endl;
delete[] bind;
return false;
} }

View File

@ -55,24 +55,24 @@ void handleEvent(DCIAOKernelProtoMsg_Result& result, DCIAOKernelProtoMsg_Result_
result.set_details(msg); result.set_details(msg);
} }
// void handleMemoryAccessEvent(DCIAOKernelExperimentData& param, const fail::MemAccessListener& l_mem) { std::string handleMemoryAccessEvent(fail::MemAccessListener& l_mem) {
// stringstream sstr; stringstream sstr;
// sstr << "mem access ("; sstr << "mem access (";
// switch (l_mem.getTriggerAccessType()) { switch (l_mem.getTriggerAccessType()) {
// case MemAccessEvent::MEM_READ: case MemAccessEvent::MEM_READ:
// sstr << "r"; sstr << "r";
// break; break;
// case MemAccessEvent::MEM_WRITE: case MemAccessEvent::MEM_WRITE:
// sstr << "w"; sstr << "w";
// break; break;
// default: break; default: break;
// } }
// sstr << ") @ 0x" << hex << l_mem.getTriggerAddress(); sstr << ") @ 0x" << hex << l_mem.getTriggerAddress();
// sstr << " ip @ 0x" << hex << l_mem.getTriggerInstructionPointer(); sstr << " ip @ 0x" << hex << l_mem.getTriggerInstructionPointer();
// handleEvent(param, param.msg.ERR_MEMACCESS, sstr.str()); return sstr.str();
// } }
DCIAOKernelStructs::time_markers_t *DCIAOKernelStructs::getTimeMarkerList() { DCIAOKernelStructs::time_markers_t *DCIAOKernelStructs::getTimeMarkerList() {
const ElfSymbol & sym_time_marker_index = m_elf.getSymbol("time_marker_index"); const ElfSymbol & sym_time_marker_index = m_elf.getSymbol("time_marker_index");
@ -102,8 +102,7 @@ int DCIAOKernelStructs::time_markers_compare(const time_markers_t &a, const time
int pos = -1; int pos = -1;
unsigned max_index = std::min(a.size(), b.size()); unsigned max_index = std::min(a.size(), b.size());
for (unsigned i = 0; i < max_index; i++) { for (unsigned i = 0; i < max_index; i++) {
if (a[i].time != b[i].time if (a[i].time != b[i].time || a[i].at != b[i].at) {
|| a[i].at != b[i].at) {
pos = i; pos = i;
break; break;
} }
@ -114,9 +113,28 @@ int DCIAOKernelStructs::time_markers_compare(const time_markers_t &a, const time
return pos; return pos;
} }
bool DCIAOKernelStructs::run() { bool DCIAOKernelStructs::run() {
address_t minimal_ip = INT_MAX; // 1 Mbyte
address_t maximal_ip = 0;
address_t minimal_data = 0x100000; // 1 Mbyte
address_t maximal_data = 0;
for (ElfReader::section_iterator it = m_elf.sec_begin();
it != m_elf.sec_end(); ++it) {
const ElfSymbol &symbol = *it;
std::string prefix(".text");
if (symbol.getName().compare(0, prefix.size(), prefix) == 0) {
minimal_ip = std::min(minimal_ip, symbol.getStart());
maximal_ip = std::max(maximal_ip, symbol.getEnd());
} else {
minimal_data = std::min(minimal_data, symbol.getStart());
maximal_data = std::max(maximal_data, symbol.getEnd());
}
}
std::cout << "Code section from " << hex << minimal_ip << " to " << maximal_ip << std::endl;
std::cout << "Whole programm section from " << hex << minimal_data << " to " << maximal_data << std::endl;
//******* Boot, and store state *******// //******* Boot, and store state *******//
m_log << "STARTING EXPERIMENT" << endl; m_log << "STARTING EXPERIMENT" << endl;
@ -126,55 +144,41 @@ bool DCIAOKernelStructs::run() {
simulator.terminate(1); simulator.terminate(1);
} }
address_t minimal_ip = 0x100000; // 1 Mbyte
address_t minimal_data = 0x100000; // 1 Mbyte
address_t maximal_ip = 0;
address_t maximal_data = 0;
for (ElfReader::symbol_iterator it = m_elf.sym_begin();
it != m_elf.sym_end(); ++it) {
const ElfSymbol &symbol = *it;
if (symbol.getSymbolType() == STT_FUNC
|| symbol.getSymbolType() == STT_GNU_IFUNC /*indirect codeasm object */) {
maximal_ip = std::max(maximal_ip, symbol.getEnd());
}
maximal_data = std::max(maximal_data, symbol.getEnd());
}
std::cout << "Code section from " << hex << minimal_ip << " to " << maximal_ip << std::endl;
std::cout << "Data section from " << hex << minimal_ip << " to " << maximal_data << std::endl;
m_log << "Booting, and saving state at main"; m_log << "Booting, and saving state at main";
BPSingleListener bp; BPSingleListener bp;
// STEP 1: run until interesting function starts, and save state // STEP 1: run until interesting function starts, and save state
bp.setWatchInstructionPointer(m_elf.getSymbol("main").getAddress()); // Find starting point
guest_address_t entry_point;
if (m_elf.getSymbol("main").isValid()) {
entry_point = m_elf.getSymbol("main").getAddress();
} else if (m_elf.getSymbol("cyg_user_start").isValid()) {
entry_point = m_elf.getSymbol("cyg_user_start").getAddress();
} else {
m_log << "Could not find entry function. Dying." << endl;
simulator.terminate(1);
}
bp.setWatchInstructionPointer(entry_point);
if(simulator.addListenerAndResume(&bp) == &bp){ if(simulator.addListenerAndResume(&bp) == &bp){
m_log << "main function entry reached, saving state" << endl; m_log << "main function entry reached, saving state" << endl;
} else { } else {
m_log << "Couldn't reach entry function. Dying" << std::endl; m_log << "Couldn't reach entry function. Dying" << std::endl;
simulator.terminate(1); simulator.terminate(1);
} }
simulator.save(statedir); simulator.save(statedir);
guest_address_t enter_kernel_address = m_elf.getSymbol("os::dep::KernelStructs::correct").getAddress(); const ElfSymbol &s_time_marker_print = m_elf.getSymbol("time_marker_print");
BPSingleListener l_enter_kernel(enter_kernel_address); assert(s_time_marker_print.isValid());
BPSingleListener l_time_marker_print(m_elf.getSymbol("time_marker_print").getAddress()); BPSingleListener l_time_marker_print(s_time_marker_print.getAddress());
simulator.clearListeners(); simulator.clearListeners();
simulator.addListener(&l_enter_kernel);
simulator.addListener(&l_time_marker_print); simulator.addListener(&l_time_marker_print);
bool in_kernelspace = false;
unsigned kernel_activations = 0;
while (1) { while (1) {
fail::BaseListener *l = simulator.resume(); fail::BaseListener *l = simulator.resume();
simulator.addListener(l); simulator.addListener(l);
if (l == &l_time_marker_print) { if (l == &l_time_marker_print) {
break; break;
} else if (l == &l_enter_kernel) {
kernel_activations ++;
} else { } else {
m_log << "THIS SHOULD'T HAPPEN" << std::endl; m_log << "THIS SHOULD'T HAPPEN" << std::endl;
simulator.terminate(1); simulator.terminate(1);
@ -183,13 +187,9 @@ bool DCIAOKernelStructs::run() {
} }
correct.time_markers = getTimeMarkerList(); correct.time_markers = getTimeMarkerList();
correct.kernel_activation_count = kernel_activations;
assert(kernel_activations > 0);
assert(correct.time_markers->size() > 0); assert(correct.time_markers->size() > 0);
m_log << "correct run is done:" << dec << std::endl; m_log << "correct run is done:" << dec << std::endl;
m_log << " kernel_transitions " << correct.kernel_activation_count << std::endl;
m_log << " time_markers " << correct.time_markers->size() << std::endl; m_log << " time_markers " << correct.time_markers->size() << std::endl;
// //******* Fault injection *******// // //******* Fault injection *******//
@ -202,7 +202,7 @@ bool DCIAOKernelStructs::run() {
DCIAOKernelExperimentData param; DCIAOKernelExperimentData param;
if(!m_jc.getParam(param)){ if(!m_jc.getParam(param)){
m_log << "Dying." << endl; // We were told to die. m_log << "Dying." << endl; // We were told to die.
simulator.terminate(1); simulator.terminate(99);
} }
// Get input data from Jobserver // Get input data from Jobserver
@ -220,34 +220,34 @@ bool DCIAOKernelStructs::run() {
simulator.restore(statedir); simulator.restore(statedir);
executed_jobs ++; executed_jobs ++;
kernel_activations = 0;
m_log << "Trying to inject @ instr #" << dec << injection_instr << endl; m_log << "Trying to inject @ instr #" << dec << injection_instr << endl;
if (injection_instr > 0) { if (injection_instr > 0) {
simulator.clearListeners(); simulator.clearListeners();
// XXX could be improved with intermediate states (reducing runtime until injection) // XXX could be improved with intermediate states (reducing runtime until injection)
simulator.addListener(&l_time_marker_print); simulator.addListener(&l_time_marker_print);
simulator.addListener(&l_enter_kernel);
bp.setWatchInstructionPointer(ANY_ADDR); bp.setWatchInstructionPointer(ANY_ADDR);
bp.setCounter(injection_instr); // for (int i = 0; i < injection_instr + 1; i++) {
// simulator.addListenerAndResume(&bp);
// m_log << "IP " << simulator.getCPU(0).getInstructionPointer() << endl;
// }
// goto check_ip;
bp.setCounter(injection_instr + 1);
simulator.addListener(&bp); simulator.addListener(&bp);
bool inject = true; bool inject = true;
while (1) { while (1) {
fail::BaseListener * listener = simulator.resume(); fail::BaseListener * listener = simulator.resume();
// finish() before FI? // finish() before FI?
// Count kernel activations
if (listener == &l_time_marker_print) { if (listener == &l_time_marker_print) {
m_log << "experiment reached finish() before FI" << endl; m_log << "experiment reached finish() before FI" << endl;
handleEvent(*result, result->NOINJECTION, "time_marker reached before instr2"); handleEvent(*result, result->NOINJECTION, "time_marker reached before injection_instr");
inject = false; inject = false;
break; break;
} else if (listener == &l_enter_kernel) {
// Count all kernel activations
simulator.addListener(&l_enter_kernel);
kernel_activations++;
} else if (listener == &bp) { } else if (listener == &bp) {
break; break;
} else { } else {
@ -262,31 +262,37 @@ bool DCIAOKernelStructs::run() {
continue; continue;
} }
check_ip:
// Not a working sanitiy check. Because of instruction // Not a working sanitiy check. Because of instruction
// offsets! // offsets!
// if (param.msg.fsppilot().has_injection_instr_absolute()) {
// if (simulator.getCPU(0).getInstructionPointer() != param.msg.fsppilot().instr2_absolute()) { address_t PC = param.msg.fsppilot().injection_instr_absolute();
// m_log << "Invalid Injection address EIP=0x" if (simulator.getCPU(0).getInstructionPointer() != PC) {
// << std::hex << simulator.getCPU(0).getInstructionPointer() m_log << "Invalid Injection address EIP=0x"
// << " != enter_kernel=0x" << param.msg.fsppilot().instr2_absolute() << std::endl; << std::hex << simulator.getCPU(0).getInstructionPointer()
// simulator.terminate(1); << " != injection_instr_absolute=0x" << PC << std::endl;
// } simulator.terminate(1);
}
}
/// INJECT BITFLIP: /// INJECT BITFLIP:
result->set_original_value(injectBitFlip(data_address, bit_offset)); result->set_original_value(injectBitFlip(data_address, bit_offset));
// // Setup exit points // // Setup exit points
BPSingleListener l_error_hook(m_elf.getSymbol("copter_mock_panic").getAddress()); const ElfSymbol &s_copter_mock_panic = m_elf.getSymbol("copter_mock_panic");
BPSingleListener l_copter_mock_panic(s_copter_mock_panic.getAddress());
TrapListener l_trap(ANY_TRAP); TrapListener l_trap(ANY_TRAP);
TimerListener l_timeout(1000 * 1000); // 1 second in microseconds TimerListener l_timeout(10 * 1000 * 1000); // seconds in
// microseconds
simulator.clearListeners(); simulator.clearListeners();
simulator.addListener(&l_enter_kernel);
simulator.addListener(&l_timeout); simulator.addListener(&l_timeout);
simulator.addListener(&l_trap); simulator.addListener(&l_trap);
simulator.addListener(&l_time_marker_print); simulator.addListener(&l_time_marker_print);
simulator.addListener(&l_error_hook); if (s_copter_mock_panic.isValid())
simulator.addListener(&l_copter_mock_panic);
// jump outside text segment // jump outside text segment
BPRangeListener ev_below_text(ANY_ADDR, minimal_ip - 1); BPRangeListener ev_below_text(ANY_ADDR, minimal_ip - 1);
@ -302,7 +308,6 @@ bool DCIAOKernelStructs::run() {
simulator.addListener(&ev_mem_low); simulator.addListener(&ev_mem_low);
simulator.addListener(&ev_mem_high); simulator.addListener(&ev_mem_high);
// resume and wait for results while counting kernel // resume and wait for results while counting kernel
// activations // activations
fail::BaseListener* l; fail::BaseListener* l;
@ -310,11 +315,7 @@ bool DCIAOKernelStructs::run() {
l = simulator.resume(); l = simulator.resume();
// Evaluate result // Evaluate result
if (l == &l_enter_kernel) { if (l == &l_time_marker_print) {
kernel_activations++;
simulator.addListener(&l_enter_kernel);
// continue experiment
} else if (l == &l_time_marker_print) {
m_log << "experiment ran to the end" << std::endl; m_log << "experiment ran to the end" << std::endl;
DCIAOKernelStructs::time_markers_t * time_markers = getTimeMarkerList(); DCIAOKernelStructs::time_markers_t * time_markers = getTimeMarkerList();
int pos = time_markers_compare(*time_markers, *correct.time_markers); int pos = time_markers_compare(*time_markers, *correct.time_markers);
@ -327,17 +328,18 @@ bool DCIAOKernelStructs::run() {
sstr << "diff after #" << pos; sstr << "diff after #" << pos;
handleEvent(*result, result->ERR_DIFFERENT_ACTIVATION, sstr.str()); handleEvent(*result, result->ERR_DIFFERENT_ACTIVATION, sstr.str());
/* In case of an error append the activation scheme */ /* In case of an error append the activation scheme */
for (unsigned i = pos; i < time_markers->size(); ++i) { for (unsigned i = 0; i < time_markers->size(); ++i) {
result->add_activation_scheme( (*time_markers)[i].time ); result->add_activation_scheme( (*time_markers)[i].time );
result->add_activation_scheme( (*time_markers)[i].at ); result->add_activation_scheme( (*time_markers)[i].at );
m_log << i << " "
<< (*time_markers)[i].time << " " << (*time_markers)[i].at << " "
<< (*correct.time_markers)[i].time << " " << (*correct.time_markers)[i].at
<< std::endl;
} }
} else if (kernel_activations != correct.kernel_activation_count) {
stringstream sstr;
sstr << "kernel activations " << kernel_activations << " (expt: " << correct.kernel_activation_count << ")";
handleEvent(*result, result->ERR_DIFFERENT_KERNEL_TRANSITIONS, sstr.str());
} else { } else {
stringstream sstr; stringstream sstr;
sstr << "calc done (kernel #" << kernel_activations << ")"; sstr << "calc done (markers #" << (*correct.time_markers).size() << ")";
handleEvent(*result, result->OK, sstr.str()); handleEvent(*result, result->OK, sstr.str());
} }
delete time_markers; delete time_markers;
@ -349,16 +351,22 @@ bool DCIAOKernelStructs::run() {
handleEvent(*result, result->TRAP, sstr.str()); handleEvent(*result, result->TRAP, sstr.str());
break; // EOExperiment break; // EOExperiment
} else if (l == &l_timeout){ } else if (l == &l_timeout){
handleEvent(*result, result->TIMEOUT, "timeout: 1 second"); handleEvent(*result, result->TIMEOUT, "timeout: 10 second");
break; // EOExperiment break; // EOExperiment
} else if (l == &l_error_hook){ } else if (l == &l_copter_mock_panic){
handleEvent(*result, result->ERR_ERROR_HOOK, "called error hook"); handleEvent(*result, result->ERR_ERROR_HOOK, "called error hook");
break; // EOExperiment break; // EOExperiment
} else if (l == &ev_below_text || l == &ev_beyond_text) { } else if (l == &ev_below_text || l == &ev_beyond_text) {
handleEvent(*result, result->ERR_OUTSIDE_TEXT, (l == &ev_below_text) ? "< .text" : ">.text"); std::stringstream ss;
ss << ((l == &ev_mem_low) ? "< .text" : ">.text") << " ";
ss << handleMemoryAccessEvent(*(fail::MemAccessListener *)l);
handleEvent(*result, result->ERR_OUTSIDE_TEXT, ss.str());
break; // EOExperiment break; // EOExperiment
} else if (l == &ev_mem_low || l == &ev_mem_high) { } else if (l == &ev_mem_low || l == &ev_mem_high) {
handleEvent(*result, result->ERR_MEMACCESS, (l == &ev_mem_low) ? "< .data" : ">.data"); std::stringstream ss;
ss << ((l == &ev_mem_low) ? "< .data" : ">.data") << " ";
ss << handleMemoryAccessEvent(*(fail::MemAccessListener *)l);
handleEvent(*result, result->ERR_MEMACCESS, ss.str());
break; // EOFExperiment break; // EOFExperiment
} else { } else {
handleEvent(*result, result->UNKNOWN, "UNKNOWN event"); handleEvent(*result, result->UNKNOWN, "UNKNOWN event");
@ -373,6 +381,6 @@ bool DCIAOKernelStructs::run() {
} // end while (1) } // end while (1)
// Explicitly terminate, or the simulator will continue to run. // Explicitly terminate, or the simulator will continue to run.
simulator.terminate(); simulator.terminate(0);
} }

View File

@ -31,7 +31,6 @@ private:
struct correct_run { struct correct_run {
time_markers_t *time_markers; time_markers_t *time_markers;
unsigned int kernel_activation_count;
}; };
correct_run correct; correct_run correct;