43 void start (std::string title) {
44 desc.push_back(title);
49 if (time.size()<=desc.size())
56 for (int32_t i=0; i<desc.size(); i++) {
57 float curr_time = getTimeDifferenceMilliseconds(time[i],time[i+1]);
58 total_time += curr_time;
60 std::cout << desc[i] <<
" ";
61 std::cout << std::fixed << std::setprecision(1) << std::setw(6);
62 std::cout << curr_time;
63 std::cout <<
" ms" << std::endl;
65 std::cout <<
"========================================" << std::endl;
66 std::cout <<
" Total time ";
67 std::cout << std::fixed << std::setprecision(1) << std::setw(6);
68 std::cout << total_time;
69 std::cout <<
" ms" << std::endl << std::endl;
79 std::vector<std::string> desc;
80 std::vector<timeval> time;
82 void push_back_time () {
84 gettimeofday(&curr_time,0);
85 time.push_back(curr_time);
88 float getTimeDifferenceMilliseconds(timeval a,timeval b) {
89 return ((
float)(b.tv_sec -a.tv_sec ))*1e+3 +
90 ((float)(b.tv_usec-a.tv_usec))*1e-3;