|
DistDir
|
Functions | |
| int | new_timer (const char *timer_name) |
| Create a new timer. More... | |
| void | timer_start (int timer_id) |
| Start timer based on ID. More... | |
| void | timer_stop (int timer_id) |
| Stop timer based on ID. More... | |
| void | timers_report () |
| Create reports of all timers. More... | |
| void | timers_reset () |
| Reset all the timers. More... | |
| void | delete_timers () |
| Free timers memory. More... | |
Functions used for internal profiling
| void delete_timers | ( | ) |
Free timers memory.
Free each timer memory and the memory related to the linked list.
| int new_timer | ( | const char * | timer_name | ) |
Create a new timer.
A timer is created and added to the internal linked list, then the timer ID is returned. If the timer already exists, its ID is returned.
| [in] | timer_name | timer name string |
| void timer_start | ( | int | timer_id | ) |
Start timer based on ID.
The timer is started using internally MPI_Wtime()
| [in] | timer_name | timer name string |
| void timer_stop | ( | int | timer_id | ) |
Stop timer based on ID.
The timer is stopped using internally MPI_Wtime() and adding the time to the total timer time. If timer_start() was not called before, it fails.
| [in] | timer_name | timer name string |
| void timers_report | ( | ) |
Create reports of all timers.
The reports are stored in a specific directory and a report is created by each MPI rank. A summary report is also created with min, max and mean timers' times.
| void timers_reset | ( | ) |
Reset all the timers.
The total time of all the timers is reset to zero.