history.cc

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