history.cc

   1 #include <inttypes.h>
   2 #include "history.h"
   3 #include "action.h"
   4
   5 HistoryNode::HistoryNode(ModelAction *act) :
   6         action(act)
   7 {
   8         ASSERT(act);
   9         this->position = act->get_position();
  10 }
  11
  12 /** @brief Constructor */
  13 ModelHistory::ModelHistory() :
  14         func_counter(0), /* function id starts with 0 */
  15         func_map(),
  16         func_atomics(),
  17         work_list(2)    /* we have at least two threads */
  18 {}
  19
  20 void ModelHistory::enter_function(const uint32_t func_id, thread_id_t tid)
  21 {
  22 //      model_print("entering function: %d\n", func_id);
  23
  24         uint32_t id = id_to_int(tid);
  25         if ( work_list.size() <= id )
  26                 work_list.resize( id + 1 );
  27
  28         func_id_list_t * func_list = work_list[id];
  29         if (func_list == NULL) {
  30                 func_list = new func_id_list_t();
  31                 work_list[id] = func_list;
  32         }
  33
  34         func_list->push_back(func_id);
  35 }
  36
  37 void ModelHistory::exit_function(const uint32_t func_id, thread_id_t tid)
  38 {
  39         func_id_list_t * func_list = work_list[ id_to_int(tid) ];
  40         uint32_t last_func_id = func_list->back();
  41
  42         if (last_func_id == func_id) {
  43                 func_list->pop_back();
  44         } else {
  45                 model_print("trying to exit with a wrong function id\n");
  46                 model_print("--- last_func: %d, func_id: %d\n", last_func_id, func_id);
  47         }
  48
  49 //      model_print("exiting function: %d\n", func_id);
  50 }
  51
  52 void ModelHistory::add_func_atomic(ModelAction *act, thread_id_t tid) {
  53         /* return if thread i has not entered any function or has exited
  54            from all functions */
  55         uint32_t id = id_to_int(tid);
  56         if ( work_list.size() <= id )
  57                 return;
  58         else if (work_list[id] == NULL)
  59                 return;
  60
  61         /* get the function id that thread i is currently in */
  62         func_id_list_t * func_list = work_list[id];
  63         uint32_t func_id = func_list->back();
  64
  65         if ( func_atomics.size() <= func_id )
  66                 func_atomics.resize( func_id + 1 );
  67
  68         action_mlist_t * atomic_list = func_atomics[func_id];
  69         if (atomic_list == NULL) {
  70                 atomic_list = new action_mlist_t();
  71                 func_atomics[func_id] = atomic_list;
  72         }
  73
  74         atomic_list->push_back(act);
  75
  76         model_print("func id: %d, added atomic acts: %d\n", func_id, act->get_type());
  77 }
  78
  79 void ModelHistory::print() {
  80         for (uint32_t i = 0; i < func_atomics.size(); i++ ) {
  81                 action_mlist_t * atomic_list = func_atomics[i];
  82
  83                 if (atomic_list == NULL)
  84                         continue;
  85
  86                 model_print("function with id: %d has following actions\n", i);
  87                 action_mlist_t::iterator it;
  88                 for (it = atomic_list->begin(); it != atomic_list->end(); it++) {
  89                         const ModelAction *act = *it;
  90                         act->print();
  91                 }
  92         }
  93 }