/*
* This file is part of the StarPU Handbook.
* Copyright (C) 2009--2011 Universit@'e de Bordeaux 1
* Copyright (C) 2010, 2011, 2012, 2013, 2014 Centre National de la Recherche Scientifique
* Copyright (C) 2011, 2012 Institut National de Recherche en Informatique et Automatique
* See the file version.doxy for copying conditions.
*/
/*! \page OfflinePerformanceTools Offline Performance Tools
To get an idea of what is happening, a lot of performance feedback is available,
detailed in this chapter. The various informations should be checked for.
-
What does the Gantt diagram look like? (see \ref CreatingAGanttDiagram)
- If it's mostly green (tasks running in the initial context) or context specific
color prevailing, then the machine is properly
utilized, and perhaps the codelets are just slow. Check their performance, see
\ref PerformanceOfCodelets.
- If it's mostly purple (FetchingInput), tasks keep waiting for data
transfers, do you perhaps have far more communication than computation? Did
you properly use CUDA streams to make sure communication can be
overlapped? Did you use data-locality aware schedulers to avoid transfers as
much as possible?
- If it's mostly red (Blocked), tasks keep waiting for dependencies,
do you have enough parallelism? It might be a good idea to check what the DAG
looks like (see \ref CreatingADAGWithGraphviz).
- If only some workers are completely red (Blocked), for some reason the
scheduler didn't assign tasks to them. Perhaps the performance model is bogus,
check it (see \ref PerformanceOfCodelets). Do all your codelets have a
performance model? When some of them don't, the schedulers switches to a
greedy algorithm which thus performs badly.
You can also use the Temanejo task debugger (see \ref UsingTheTemanejoTaskDebugger) to
visualize the task graph more easily.
\section Off-linePerformanceFeedback Off-line Performance Feedback
\subsection GeneratingTracesWithFxT Generating Traces With FxT
StarPU can use the FxT library (see
https://savannah.nongnu.org/projects/fkt/) to generate traces
with a limited runtime overhead.
You can either get a tarball:
\verbatim
$ wget http://download.savannah.gnu.org/releases/fkt/fxt-0.2.11.tar.gz
\endverbatim
or use the FxT library from CVS (autotools are required):
\verbatim
$ cvs -d :pserver:anonymous\@cvs.sv.gnu.org:/sources/fkt co FxT
$ ./bootstrap
\endverbatim
Compiling and installing the FxT library in the $FXTDIR path is
done following the standard procedure:
\verbatim
$ ./configure --prefix=$FXTDIR
$ make
$ make install
\endverbatim
In order to have StarPU to generate traces, StarPU should be configured with
the option \ref with-fxt "--with-fxt" :
\verbatim
$ ./configure --with-fxt=$FXTDIR
\endverbatim
Or you can simply point the PKG_CONFIG_PATH to
$FXTDIR/lib/pkgconfig and pass
\ref with-fxt "--with-fxt" to ./configure
When FxT is enabled, a trace is generated when StarPU is terminated by calling
starpu_shutdown(). The trace is a binary file whose name has the form
prof_file_XXX_YYY where XXX is the user name, and
YYY is the pid of the process that used StarPU. This file is saved in the
/tmp/ directory by default, or by the directory specified by
the environment variable \ref STARPU_FXT_PREFIX.
The additional configure option \ref enable-fxt-lock "--enable-fxt-lock" can
be used to generate trace events which describes the locks behaviour during
the execution.
\subsection CreatingAGanttDiagram Creating a Gantt Diagram
When the FxT trace file filename has been generated, it is possible to
generate a trace in the Paje format by calling:
\verbatim
$ starpu_fxt_tool -i filename
\endverbatim
Or alternatively, setting the environment variable \ref STARPU_GENERATE_TRACE
to 1 before application execution will make StarPU do it automatically at
application shutdown.
This will create a file paje.trace in the current directory that
can be inspected with the ViTE trace
visualizing open-source tool. It is possible to open the
file paje.trace with ViTE by using the following command:
\verbatim
$ vite paje.trace
\endverbatim
To get names of tasks instead of "unknown", fill the optional
starpu_codelet::name, or use a performance model for them.
Details of the codelet execution can be obtained by passing
--enable-paje-codelet-details and using a recent enough version of ViTE
(at least r1430).
In the MPI execution case, collect the trace files from the MPI nodes, and
specify them all on the command starpu_fxt_tool, for instance:
\verbatim
$ starpu_fxt_tool -i filename1 -i filename2
\endverbatim
By default, all tasks are displayed using a green color. To display tasks with
varying colors, pass option -c to starpu_fxt_tool.
To identify tasks precisely, the application can set the ::tag_id field of the
tasks (or use STARPU_TAG_ONY when using starpu_task_insert), and with a recent
enough version of vite (>= r1430) and the --enable-paje-codelet-details
configure option, the value of the tag will show up in the trace.
Traces can also be inspected by hand by using the tool fxt_print, for instance:
\verbatim
$ fxt_print -o -f filename
\endverbatim
Timings are in nanoseconds (while timings as seen in vite are in milliseconds).
\subsection CreatingADAGWithGraphviz Creating a DAG With Graphviz
When the FxT trace file filename has been generated, it is possible to
generate a task graph in the DOT format by calling:
\verbatim
$ starpu_fxt_tool -i filename
\endverbatim
This will create a dag.dot file in the current directory. This file is a
task graph described using the DOT language. It is possible to get a
graphical output of the graph by using the graphviz library:
\verbatim
$ dot -Tpdf dag.dot -o output.pdf
\endverbatim
\subsection MonitoringActivity Monitoring Activity
When the FxT trace file filename has been generated, it is possible to
generate an activity trace by calling:
\verbatim
$ starpu_fxt_tool -i filename
\endverbatim
This will create a file activity.data in the current
directory. A profile of the application showing the activity of StarPU
during the execution of the program can be generated:
\verbatim
$ starpu_workers_activity activity.data
\endverbatim
This will create a file named activity.eps in the current directory.
This picture is composed of two parts.
The first part shows the activity of the different workers. The green sections
indicate which proportion of the time was spent executed kernels on the
processing unit. The red sections indicate the proportion of time spent in
StartPU: an important overhead may indicate that the granularity may be too
low, and that bigger tasks may be appropriate to use the processing unit more
efficiently. The black sections indicate that the processing unit was blocked
because there was no task to process: this may indicate a lack of parallelism
which may be alleviated by creating more tasks when it is possible.
The second part of the picture activity.eps is a graph showing the
evolution of the number of tasks available in the system during the execution.
Ready tasks are shown in black, and tasks that are submitted but not
schedulable yet are shown in grey.
\section PerformanceOfCodelets Performance Of Codelets
The performance model of codelets (see \ref PerformanceModelExample)
can be examined by using the tool starpu_perfmodel_display:
\verbatim
$ starpu_perfmodel_display -l
file:
file:
file:
file:
file:
\endverbatim
Here, the codelets of the example lu are available. We can examine the
performance of the kernel 22 (in micro-seconds), which is history-based:
\verbatim
$ starpu_perfmodel_display -s starpu_slu_lu_model_22
performance model for cpu
# hash size mean dev n
57618ab0 19660800 2.851069e+05 1.829369e+04 109
performance model for cuda_0
# hash size mean dev n
57618ab0 19660800 1.164144e+04 1.556094e+01 315
performance model for cuda_1
# hash size mean dev n
57618ab0 19660800 1.164271e+04 1.330628e+01 360
performance model for cuda_2
# hash size mean dev n
57618ab0 19660800 1.166730e+04 3.390395e+02 456
\endverbatim
We can see that for the given size, over a sample of a few hundreds of
execution, the GPUs are about 20 times faster than the CPUs (numbers are in
us). The standard deviation is extremely low for the GPUs, and less than 10% for
CPUs.
This tool can also be used for regression-based performance models. It will then
display the regression formula, and in the case of non-linear regression, the
same performance log as for history-based performance models:
\verbatim
$ starpu_perfmodel_display -s non_linear_memset_regression_based
performance model for cpu_impl_0
Regression : #sample = 1400
Linear: y = alpha size ^ beta
alpha = 1.335973e-03
beta = 8.024020e-01
Non-Linear: y = a size ^b + c
a = 5.429195e-04
b = 8.654899e-01
c = 9.009313e-01
# hash size mean stddev n
a3d3725e 4096 4.763200e+00 7.650928e-01 100
870a30aa 8192 1.827970e+00 2.037181e-01 100
48e988e9 16384 2.652800e+00 1.876459e-01 100
961e65d2 32768 4.255530e+00 3.518025e-01 100
...
\endverbatim
The same can also be achieved by using StarPU's library API, see
\ref API_Performance_Model and notably the function
starpu_perfmodel_load_symbol(). The source code of the tool
starpu_perfmodel_display can be a useful example.
The tool starpu_perfmodel_plot can be used to draw performance
models. It writes a .gp file in the current directory, to be
run with the tool gnuplot, which shows the corresponding curve.
\image html starpu_non_linear_memset_regression_based.png
\image latex starpu_non_linear_memset_regression_based.eps "" width=\textwidth
When the field starpu_task::flops is set, starpu_perfmodel_plot can
directly draw a GFlops curve, by simply adding the -f option:
\verbatim
$ starpu_perfmodel_plot -f -s chol_model_11
\endverbatim
This will however disable displaying the regression model, for which we can not
compute GFlops.
\image html starpu_chol_model_11_type.png
\image latex starpu_chol_model_11_type.eps "" width=\textwidth
When the FxT trace file filename has been generated, it is possible to
get a profiling of each codelet by calling:
\verbatim
$ starpu_fxt_tool -i filename
$ starpu_codelet_profile distrib.data codelet_name
\endverbatim
This will create profiling data files, and a .gp file in the current
directory, which draws the distribution of codelet time over the application
execution, according to data input size.
\image html distrib_data.png
\image latex distrib_data.eps "" width=\textwidth
This is also available in the tool starpu_perfmodel_plot, by passing it
the fxt trace:
\verbatim
$ starpu_perfmodel_plot -s non_linear_memset_regression_based -i /tmp/prof_file_foo_0
\endverbatim
It will produce a .gp file which contains both the performance model
curves, and the profiling measurements.
\image html starpu_non_linear_memset_regression_based_2.png
\image latex starpu_non_linear_memset_regression_based_2.eps "" width=\textwidth
If you have the statistical tool R installed, you can additionally use
\verbatim
$ starpu_codelet_histo_profile distrib.data
\endverbatim
Which will create one .pdf file per codelet and per input size, showing a
histogram of the codelet execution time distribution.
\image html distrib_data_histo.png
\image latex distrib_data_histo.eps "" width=\textwidth
\section TraceStatistics Trace statistics
More than just codelet performance, it is interesting to get statistics over all
kinds of StarPU states (allocations, data transfers, etc.). This is particularly
useful to check what may have gone wrong in the accurracy of the simgrid
simulation.
This requires the R statistical tool, with the plyr, ggplot2 and
data.table packages. If your system distribution does not have packages for
these, one can fetch them from CRAN:
\verbatim
$ R
> install.packages("plyr")
> install.packages("ggplot2")
> install.packages("data.table")
> install.packages("knitr")
\endverbatim
The pj_dump tool from pajeng is also needed (see
https://github.com/schnorr/pajeng)
One can then get textual or .csv statistics over the trace states:
\verbatim
$ starpu_paje_state_stats -v native.trace simgrid.trace
"Value" "Events_native.csv" "Duration_native.csv" "Events_simgrid.csv" "Duration_simgrid.csv"
"Callback" 220 0.075978 220 0
"chol_model_11" 10 565.176 10 572.8695
"chol_model_21" 45 9184.828 45 9170.719
"chol_model_22" 165 64712.07 165 64299.203
$ starpu_paje_state_stats native.trace simgrid.trace
\endverbatim
And one can plot histograms of execution times, of several states for instance:
\verbatim
$ starpu_paje_draw_histogram -n chol_model_11,chol_model_21,chol_model_22 native.trace simgrid.trace
\endverbatim
and see the resulting pdf file:
\image html paje_draw_histogram.png
\image latex paje_draw_histogram.eps "" width=\textwidth
A quick statistical report can be generated by using:
\verbatim
$ starpu_paje_summary native.trace simgrid.trace
\endverbatim
it includes gantt charts, execution summaries, as well as state duration charts
and time distribution histograms.
\section TheoreticalLowerBoundOnExecutionTime Theoretical Lower Bound On Execution Time
StarPU can record a trace of what tasks are needed to complete the
application, and then, by using a linear system, provide a theoretical lower
bound of the execution time (i.e. with an ideal scheduling).
The computed bound is not really correct when not taking into account
dependencies, but for an application which have enough parallelism, it is very
near to the bound computed with dependencies enabled (which takes a huge lot
more time to compute), and thus provides a good-enough estimation of the ideal
execution time.
\ref TheoreticalLowerBoundOnExecutionTimeExample provides an example on how to
use this.
\section TheoreticalLowerBoundOnExecutionTimeExample Theoretical Lower Bound On Execution Time Example
For kernels with history-based performance models (and provided that
they are completely calibrated), StarPU can very easily provide a
theoretical lower bound for the execution time of a whole set of
tasks. See for instance examples/lu/lu_example.c: before
submitting tasks, call the function starpu_bound_start(), and after
complete execution, call starpu_bound_stop().
starpu_bound_print_lp() or starpu_bound_print_mps() can then be used
to output a Linear Programming problem corresponding to the schedule
of your tasks. Run it through lp_solve or any other linear
programming solver, and that will give you a lower bound for the total
execution time of your tasks. If StarPU was compiled with the library
glpk installed, starpu_bound_compute() can be used to solve it
immediately and get the optimized minimum, in ms. Its parameter
integer allows to decide whether integer resolution should be
computed and returned
The deps parameter tells StarPU whether to take tasks, implicit
data, and tag dependencies into account. Tags released in a callback
or similar are not taken into account, only tags associated with a task are.
It must be understood that the linear programming
problem size is quadratic with the number of tasks and thus the time to solve it
will be very long, it could be minutes for just a few dozen tasks. You should
probably use lp_solve -timeout 1 test.pl -wmps test.mps to convert the
problem to MPS format and then use a better solver, glpsol might be
better than lp_solve for instance (the --pcost option may be
useful), but sometimes doesn't manage to converge. cbc might look
slower, but it is parallel. For lp_solve, be sure to try at least all the
-B options. For instance, we often just use lp_solve -cc -B1 -Bb
-Bg -Bp -Bf -Br -BG -Bd -Bs -BB -Bo -Bc -Bi , and the -gr option can
also be quite useful. The resulting schedule can be observed by using
the tool starpu_lp2paje, which converts it into the Paje
format.
Data transfer time can only be taken into account when deps is set. Only
data transfers inferred from implicit data dependencies between tasks are taken
into account. Other data transfers are assumed to be completely overlapped.
Setting deps to 0 will only take into account the actual computations
on processing units. It however still properly takes into account the varying
performances of kernels and processing units, which is quite more accurate than
just comparing StarPU performances with the fastest of the kernels being used.
The prio parameter tells StarPU whether to simulate taking into account
the priorities as the StarPU scheduler would, i.e. schedule prioritized
tasks before less prioritized tasks, to check to which extend this results
to a less optimal solution. This increases even more computation time.
\section MemoryFeedback Memory Feedback
It is possible to enable memory statistics. To do so, you need to pass
the option \ref enable-memory-stats "--enable-memory-stats" when running configure. It is then
possible to call the function starpu_data_display_memory_stats() to
display statistics about the current data handles registered within StarPU.
Moreover, statistics will be displayed at the end of the execution on
data handles which have not been cleared out. This can be disabled by
setting the environment variable \ref STARPU_MEMORY_STATS to 0.
For example, if you do not unregister data at the end of the complex
example, you will get something similar to:
\verbatim
$ STARPU_MEMORY_STATS=0 ./examples/interface/complex
Complex[0] = 45.00 + 12.00 i
Complex[0] = 78.00 + 78.00 i
Complex[0] = 45.00 + 12.00 i
Complex[0] = 45.00 + 12.00 i
\endverbatim
\verbatim
$ STARPU_MEMORY_STATS=1 ./examples/interface/complex
Complex[0] = 45.00 + 12.00 i
Complex[0] = 78.00 + 78.00 i
Complex[0] = 45.00 + 12.00 i
Complex[0] = 45.00 + 12.00 i
#---------------------
Memory stats:
#-------
Data on Node #3
#-----
Data : 0x553ff40
Size : 16
#--
Data access stats
/!\ Work Underway
Node #0
Direct access : 4
Loaded (Owner) : 0
Loaded (Shared) : 0
Invalidated (was Owner) : 0
Node #3
Direct access : 0
Loaded (Owner) : 0
Loaded (Shared) : 1
Invalidated (was Owner) : 0
#-----
Data : 0x5544710
Size : 16
#--
Data access stats
/!\ Work Underway
Node #0
Direct access : 2
Loaded (Owner) : 0
Loaded (Shared) : 1
Invalidated (was Owner) : 1
Node #3
Direct access : 0
Loaded (Owner) : 1
Loaded (Shared) : 0
Invalidated (was Owner) : 0
\endverbatim
\section DataStatistics Data Statistics
Different data statistics can be displayed at the end of the execution
of the application. To enable them, you need to pass the option
\ref enable-stats "--enable-stats" when calling configure. When calling
starpu_shutdown() various statistics will be displayed,
execution, MSI cache statistics, allocation cache statistics, and data
transfer statistics. The display can be disabled by setting the
environment variable \ref STARPU_STATS to 0.
\verbatim
$ ./examples/cholesky/cholesky_tag
Computation took (in ms)
518.16
Synthetic GFlops : 44.21
#---------------------
MSI cache stats :
TOTAL MSI stats hit 1622 (66.23 %) miss 827 (33.77 %)
...
\endverbatim
\verbatim
$ STARPU_STATS=0 ./examples/cholesky/cholesky_tag
Computation took (in ms)
518.16
Synthetic GFlops : 44.21
\endverbatim
// TODO: data transfer stats are similar to the ones displayed when
// setting STARPU_BUS_STATS
*/