370_online_performance_tools.doxy 47 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921
  1. /* StarPU --- Runtime system for heterogeneous multicore architectures.
  2. *
  3. * Copyright (C) 2011,2012,2016 Inria
  4. * Copyright (C) 2010-2019 CNRS
  5. * Copyright (C) 2009-2011,2014,2016,2018-2019 Université de Bordeaux
  6. *
  7. * StarPU is free software; you can redistribute it and/or modify
  8. * it under the terms of the GNU Lesser General Public License as published by
  9. * the Free Software Foundation; either version 2.1 of the License, or (at
  10. * your option) any later version.
  11. *
  12. * StarPU is distributed in the hope that it will be useful, but
  13. * WITHOUT ANY WARRANTY; without even the implied warranty of
  14. * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
  15. *
  16. * See the GNU Lesser General Public License in COPYING.LGPL for more details.
  17. */
  18. /*! \page OnlinePerformanceTools Online Performance Tools
  19. \section On-linePerformanceFeedback On-line Performance Feedback
  20. \subsection EnablingOn-linePerformanceMonitoring Enabling On-line Performance Monitoring
  21. In order to enable online performance monitoring, the application can
  22. call starpu_profiling_status_set() with the parameter
  23. ::STARPU_PROFILING_ENABLE. It is possible to detect whether monitoring
  24. is already enabled or not by calling starpu_profiling_status_get().
  25. Enabling monitoring also reinitialize all previously collected
  26. feedback. The environment variable \ref STARPU_PROFILING can also be
  27. set to <c>1</c> to achieve the same effect. The function
  28. starpu_profiling_init() can also be called during the execution to
  29. reinitialize performance counters and to start the profiling if the
  30. environment variable \ref STARPU_PROFILING is set to <c>1</c>.
  31. Likewise, performance monitoring is stopped by calling
  32. starpu_profiling_status_set() with the parameter
  33. ::STARPU_PROFILING_DISABLE. Note that this does not reset the
  34. performance counters so that the application may consult them later
  35. on.
  36. More details about the performance monitoring API are available in \ref API_Profiling.
  37. \subsection Per-taskFeedback Per-task Feedback
  38. If profiling is enabled, a pointer to a structure
  39. starpu_profiling_task_info is put in the field
  40. starpu_task::profiling_info when a task terminates. This structure is
  41. automatically destroyed when the task structure is destroyed, either
  42. automatically or by calling starpu_task_destroy().
  43. The structure starpu_profiling_task_info indicates the date when the
  44. task was submitted (starpu_profiling_task_info::submit_time), started
  45. (starpu_profiling_task_info::start_time), and terminated
  46. (starpu_profiling_task_info::end_time), relative to the initialization
  47. of StarPU with starpu_init(). It also specifies the identifier of the worker
  48. that has executed the task (starpu_profiling_task_info::workerid).
  49. These date are stored as <c>timespec</c> structures which the user may convert
  50. into micro-seconds using the helper function
  51. starpu_timing_timespec_to_us().
  52. It it worth noting that the application may directly access this structure from
  53. the callback executed at the end of the task. The structure starpu_task
  54. associated to the callback currently being executed is indeed accessible with
  55. the function starpu_task_get_current().
  56. \subsection Per-codeletFeedback Per-codelet Feedback
  57. The field starpu_codelet::per_worker_stats is
  58. an array of counters. The <c>i</c>-th entry of the array is incremented every time a
  59. task implementing the codelet is executed on the <c>i</c>-th worker.
  60. This array is not reinitialized when profiling is enabled or disabled.
  61. \subsection Per-workerFeedback Per-worker Feedback
  62. The second argument returned by the function
  63. starpu_profiling_worker_get_info() is a structure
  64. starpu_profiling_worker_info that gives statistics about the specified
  65. worker. This structure specifies when StarPU started collecting
  66. profiling information for that worker
  67. (starpu_profiling_worker_info::start_time), the
  68. duration of the profiling measurement interval
  69. (starpu_profiling_worker_info::total_time), the time spent executing
  70. kernels (starpu_profiling_worker_info::executing_time), the time
  71. spent sleeping because there is no task to execute at all
  72. (starpu_profiling_worker_info::sleeping_time), and the number of tasks that were executed
  73. while profiling was enabled. These values give an estimation of the
  74. proportion of time spent do real work, and the time spent either
  75. sleeping because there are not enough executable tasks or simply
  76. wasted in pure StarPU overhead.
  77. Calling starpu_profiling_worker_get_info() resets the profiling
  78. information associated to a worker.
  79. To easily display all this information, the environment variable
  80. \ref STARPU_WORKER_STATS can be set to <c>1</c> (in addition to setting
  81. \ref STARPU_PROFILING to 1). A summary will then be displayed at program termination:
  82. \verbatim
  83. Worker stats:
  84. CUDA 0.0 (4.7 GiB)
  85. 480 task(s)
  86. total: 1574.82 ms executing: 1510.72 ms sleeping: 0.00 ms overhead 64.10 ms
  87. 325.217970 GFlop/s
  88. CPU 0
  89. 22 task(s)
  90. total: 1574.82 ms executing: 1364.81 ms sleeping: 0.00 ms overhead 210.01 ms
  91. 7.512057 GFlop/s
  92. CPU 1
  93. 14 task(s)
  94. total: 1574.82 ms executing: 1500.13 ms sleeping: 0.00 ms overhead 74.69 ms
  95. 6.675853 GFlop/s
  96. CPU 2
  97. 14 task(s)
  98. total: 1574.82 ms executing: 1553.12 ms sleeping: 0.00 ms overhead 21.70 ms
  99. 7.152886 GFlop/s
  100. \endverbatim
  101. The number of GFlops is available because the starpu_task::flops field of the
  102. tasks were filled (or \ref STARPU_FLOPS used in starpu_task_insert()).
  103. When an FxT trace is generated (see \ref GeneratingTracesWithFxT), it is also
  104. possible to use the tool <c>starpu_workers_activity</c> (see
  105. \ref MonitoringActivity) to generate a graphic showing the evolution of
  106. these values during the time, for the different workers.
  107. \subsection Bus-relatedFeedback Bus-related Feedback
  108. // how to enable/disable performance monitoring
  109. // what kind of information do we get ?
  110. The bus speed measured by StarPU can be displayed by using the tool
  111. <c>starpu_machine_display</c>, for instance:
  112. \verbatim
  113. StarPU has found:
  114. 3 CUDA devices
  115. CUDA 0 (Tesla C2050 02:00.0)
  116. CUDA 1 (Tesla C2050 03:00.0)
  117. CUDA 2 (Tesla C2050 84:00.0)
  118. from to RAM to CUDA 0 to CUDA 1 to CUDA 2
  119. RAM 0.000000 5176.530428 5176.492994 5191.710722
  120. CUDA 0 4523.732446 0.000000 2414.074751 2417.379201
  121. CUDA 1 4523.718152 2414.078822 0.000000 2417.375119
  122. CUDA 2 4534.229519 2417.069025 2417.060863 0.000000
  123. \endverbatim
  124. Statistics about the data transfers which were performed and temporal average
  125. of bandwidth usage can be obtained by setting the environment variable
  126. \ref STARPU_BUS_STATS to <c>1</c>; a summary will then be displayed at program termination:
  127. \verbatim
  128. Data transfer stats:
  129. RAM 0 -> CUDA 0 319.92 MB 213.10 MB/s (transfers : 91 - avg 3.52 MB)
  130. CUDA 0 -> RAM 0 214.45 MB 142.85 MB/s (transfers : 61 - avg 3.52 MB)
  131. RAM 0 -> CUDA 1 302.34 MB 201.39 MB/s (transfers : 86 - avg 3.52 MB)
  132. CUDA 1 -> RAM 0 133.59 MB 88.99 MB/s (transfers : 38 - avg 3.52 MB)
  133. CUDA 0 -> CUDA 1 144.14 MB 96.01 MB/s (transfers : 41 - avg 3.52 MB)
  134. CUDA 1 -> CUDA 0 130.08 MB 86.64 MB/s (transfers : 37 - avg 3.52 MB)
  135. RAM 0 -> CUDA 2 312.89 MB 208.42 MB/s (transfers : 89 - avg 3.52 MB)
  136. CUDA 2 -> RAM 0 133.59 MB 88.99 MB/s (transfers : 38 - avg 3.52 MB)
  137. CUDA 0 -> CUDA 2 151.17 MB 100.69 MB/s (transfers : 43 - avg 3.52 MB)
  138. CUDA 2 -> CUDA 0 105.47 MB 70.25 MB/s (transfers : 30 - avg 3.52 MB)
  139. CUDA 1 -> CUDA 2 175.78 MB 117.09 MB/s (transfers : 50 - avg 3.52 MB)
  140. CUDA 2 -> CUDA 1 203.91 MB 135.82 MB/s (transfers : 58 - avg 3.52 MB)
  141. Total transfers: 2.27 GB
  142. \endverbatim
  143. \subsection MPI-relatedFeedback MPI-related Feedback
  144. Statistics about the data transfers which were performed over MPI can be
  145. obtained by setting the environment variable \ref STARPU_COMM_STATS to <c>1</c>;
  146. a summary will then be displayed at program termination:
  147. \verbatim
  148. [starpu_comm_stats][1] TOTAL: 456.000000 B 0.000435 MB 0.000188 B/s 0.000000 MB/s
  149. [starpu_comm_stats][1:0] 456.000000 B 0.000435 MB 0.000188 B/s 0.000000 MB/s
  150. [starpu_comm_stats][0] TOTAL: 456.000000 B 0.000435 MB 0.000188 B/s 0.000000 MB/s
  151. [starpu_comm_stats][0:1] 456.000000 B 0.000435 MB 0.000188 B/s 0.000000 MB/s
  152. \endverbatim
  153. These statistics can be plotted as heatmaps using StarPU tool <c>starpu_mpi_comm_matrix.py</c> (see \ref MPIDebug).
  154. \section TaskAndWorkerProfiling Task And Worker Profiling
  155. A full example showing how to use the profiling API is available in
  156. the StarPU sources in the directory <c>examples/profiling/</c>.
  157. \code{.c}
  158. struct starpu_task *task = starpu_task_create();
  159. task->cl = &cl;
  160. task->synchronous = 1;
  161. /* We will destroy the task structure by hand so that we can
  162. * query the profiling info before the task is destroyed. */
  163. task->destroy = 0;
  164. /* Submit and wait for completion (since synchronous was set to 1) */
  165. starpu_task_submit(task);
  166. /* The task is finished, get profiling information */
  167. struct starpu_profiling_task_info *info = task->profiling_info;
  168. /* How much time did it take before the task started ? */
  169. double delay += starpu_timing_timespec_delay_us(&info->submit_time, &info->start_time);
  170. /* How long was the task execution ? */
  171. double length += starpu_timing_timespec_delay_us(&info->start_time, &info->end_time);
  172. /* We no longer need the task structure */
  173. starpu_task_destroy(task);
  174. \endcode
  175. \code{.c}
  176. /* Display the occupancy of all workers during the test */
  177. int worker;
  178. for (worker = 0; worker < starpu_worker_get_count(); worker++)
  179. {
  180. struct starpu_profiling_worker_info worker_info;
  181. int ret = starpu_profiling_worker_get_info(worker, &worker_info);
  182. STARPU_ASSERT(!ret);
  183. double total_time = starpu_timing_timespec_to_us(&worker_info.total_time);
  184. double executing_time = starpu_timing_timespec_to_us(&worker_info.executing_time);
  185. double sleeping_time = starpu_timing_timespec_to_us(&worker_info.sleeping_time);
  186. double overhead_time = total_time - executing_time - sleeping_time;
  187. float executing_ratio = 100.0*executing_time/total_time;
  188. float sleeping_ratio = 100.0*sleeping_time/total_time;
  189. float overhead_ratio = 100.0 - executing_ratio - sleeping_ratio;
  190. char workername[128];
  191. starpu_worker_get_name(worker, workername, 128);
  192. fprintf(stderr, "Worker %s:\n", workername);
  193. fprintf(stderr, "\ttotal time: %.2lf ms\n", total_time*1e-3);
  194. fprintf(stderr, "\texec time: %.2lf ms (%.2f %%)\n", executing_time*1e-3, executing_ratio);
  195. fprintf(stderr, "\tblocked time: %.2lf ms (%.2f %%)\n", sleeping_time*1e-3, sleeping_ratio);
  196. fprintf(stderr, "\toverhead time: %.2lf ms (%.2f %%)\n", overhead_time*1e-3, overhead_ratio);
  197. }
  198. \endcode
  199. \section PerformanceModelExample Performance Model Example
  200. To achieve good scheduling, StarPU scheduling policies need to be able to
  201. estimate in advance the duration of a task. This is done by giving to codelets
  202. a performance model, by defining a structure starpu_perfmodel and
  203. providing its address in the field starpu_codelet::model. The fields
  204. starpu_perfmodel::symbol and starpu_perfmodel::type are mandatory, to
  205. give a name to the model, and the type of the model, since there are
  206. several kinds of performance models. For compatibility, make sure to
  207. initialize the whole structure to zero, either by using explicit
  208. memset(), or by letting the compiler implicitly do it as examplified
  209. below.
  210. <ul>
  211. <li>
  212. Measured at runtime (model type ::STARPU_HISTORY_BASED). This assumes that for a
  213. given set of data input/output sizes, the performance will always be about the
  214. same. This is very true for regular kernels on GPUs for instance (<0.1% error),
  215. and just a bit less true on CPUs (~=1% error). This also assumes that there are
  216. few different sets of data input/output sizes. StarPU will then keep record of
  217. the average time of previous executions on the various processing units, and use
  218. it as an estimation. History is done per task size, by using a hash of the input
  219. and ouput sizes as an index.
  220. It will also save it in <c>$STARPU_HOME/.starpu/sampling/codelets</c>
  221. for further executions, and can be observed by using the tool
  222. <c>starpu_perfmodel_display</c>, or drawn by using
  223. the tool <c>starpu_perfmodel_plot</c> (\ref PerformanceModelCalibration). The
  224. models are indexed by machine name. To
  225. share the models between machines (e.g. for a homogeneous cluster), use
  226. <c>export STARPU_HOSTNAME=some_global_name</c>. Measurements are only done
  227. when using a task scheduler which makes use of it, such as
  228. <c>dmda</c>. Measurements can also be provided explicitly by the application, by
  229. using the function starpu_perfmodel_update_history().
  230. The following is a small code example.
  231. If e.g. the code is recompiled with other compilation options, or several
  232. variants of the code are used, the <c>symbol</c> string should be changed to reflect
  233. that, in order to recalibrate a new model from zero. The <c>symbol</c> string can even
  234. be constructed dynamically at execution time, as long as this is done before
  235. submitting any task using it.
  236. \code{.c}
  237. static struct starpu_perfmodel mult_perf_model =
  238. {
  239. .type = STARPU_HISTORY_BASED,
  240. .symbol = "mult_perf_model"
  241. };
  242. struct starpu_codelet cl =
  243. {
  244. .cpu_funcs = { cpu_mult },
  245. .cpu_funcs_name = { "cpu_mult" },
  246. .nbuffers = 3,
  247. .modes = { STARPU_R, STARPU_R, STARPU_W },
  248. /* for the scheduling policy to be able to use performance models */
  249. .model = &mult_perf_model
  250. };
  251. \endcode
  252. </li>
  253. <li>
  254. Measured at runtime and refined by regression (model types
  255. ::STARPU_REGRESSION_BASED and ::STARPU_NL_REGRESSION_BASED). This
  256. still assumes performance regularity, but works
  257. with various data input sizes, by applying regression over observed
  258. execution times. ::STARPU_REGRESSION_BASED uses an <c>a*n^b</c> regression
  259. form, ::STARPU_NL_REGRESSION_BASED uses an <c>a*n^b+c</c> (more precise than
  260. ::STARPU_REGRESSION_BASED, but costs a lot more to compute).
  261. For instance,
  262. <c>tests/perfmodels/regression_based.c</c> uses a regression-based performance
  263. model for the function memset().
  264. Of course, the application has to issue
  265. tasks with varying size so that the regression can be computed. StarPU will not
  266. trust the regression unless there is at least 10% difference between the minimum
  267. and maximum observed input size. It can be useful to set the
  268. environment variable \ref STARPU_CALIBRATE to <c>1</c> and run the application
  269. on varying input sizes with \ref STARPU_SCHED set to <c>dmda</c> scheduler,
  270. so as to feed the performance model for a variety of
  271. inputs. The application can also provide the measurements explictly by
  272. using the function starpu_perfmodel_update_history(). The tools
  273. <c>starpu_perfmodel_display</c> and <c>starpu_perfmodel_plot</c> can
  274. be used to observe how much the performance model is calibrated
  275. (\ref PerformanceModelCalibration); when their output look good,
  276. \ref STARPU_CALIBRATE can be reset to <c>0</c> to let
  277. StarPU use the resulting performance model without recording new measures, and
  278. \ref STARPU_SCHED can be set to <c>dmda</c> to benefit from the performance models. If
  279. the data input sizes vary a lot, it is really important to set
  280. \ref STARPU_CALIBRATE to <c>0</c>, otherwise StarPU will continue adding the
  281. measures, and result with a very big performance model, which will take time a
  282. lot of time to load and save.
  283. For non-linear regression, since computing it
  284. is quite expensive, it is only done at termination of the application. This
  285. means that the first execution of the application will use only history-based
  286. performance model to perform scheduling, without using regression.
  287. </li>
  288. <li>
  289. Another type of model is ::STARPU_MULTIPLE_REGRESSION_BASED, which
  290. is based on multiple linear regression. In this model, the user
  291. defines both the relevant parameters and the equation for computing the
  292. task duration.
  293. \f[
  294. T_{kernel} = a + b(M^{\alpha_1} * N^{\beta_1} * K^{\gamma_1}) + c(M^{\alpha_2} * N^{\beta_2} * K^{\gamma_2}) + ...
  295. \f]
  296. \f$M, N, K\f$ are the parameters of the task, added at the task
  297. creation. These need to be extracted by the <c>cl_perf_func</c>
  298. function, which should be defined by the user. \f$\alpha, \beta,
  299. \gamma\f$ are the exponents defined by the user in
  300. <c>model->combinations</c> table. Finally, coefficients \f$a, b, c\f$
  301. are computed automatically by the StarPU at the end of the execution, using least
  302. squares method of the <c>dgels_</c> LAPACK function.
  303. <c>examples/mlr/mlr.c</c> example provides more details on
  304. the usage of ::STARPU_MULTIPLE_REGRESSION_BASED models.
  305. Coefficients computation is done at the end of the execution, and the
  306. results are stored in standard codelet perfmodel files. Additional
  307. files containing the duration of task together with the value of each
  308. parameter are stored in <c>.starpu/sampling/codelets/tmp/</c>
  309. directory. These files are reused when \ref STARPU_CALIBRATE
  310. environment variable is set to <c>1</c>, to recompute coefficients
  311. based on the current, but also on the previous
  312. executions. Additionally, when multiple linear regression models are
  313. disabled (using \ref disable-mlr "--disable-mlr" configure option) or when the
  314. <c>model->combinations</c> are not defined, StarPU will still write
  315. output files into <c>.starpu/sampling/codelets/tmp/</c> to allow
  316. performing an analysis. This analysis typically aims at finding the
  317. most appropriate equation for the codelet and
  318. <c>tools/starpu_mlr_analysis</c> script provides an example of how to
  319. perform such study.
  320. </li>
  321. <li>
  322. Provided as an estimation from the application itself (model type
  323. ::STARPU_COMMON and field starpu_perfmodel::cost_function),
  324. see for instance
  325. <c>examples/common/blas_model.h</c> and <c>examples/common/blas_model.c</c>.
  326. </li>
  327. <li>
  328. Provided explicitly by the application (model type ::STARPU_PER_ARCH):
  329. either field starpu_perfmodel::arch_cost_function, or
  330. the fields <c>.per_arch[arch][nimpl].cost_function</c> have to be
  331. filled with pointers to functions which return the expected duration
  332. of the task in micro-seconds, one per architecture, see for instance
  333. <c>tests/datawizard/locality.c</c>
  334. </li>
  335. </ul>
  336. For ::STARPU_HISTORY_BASED, ::STARPU_REGRESSION_BASED, and
  337. ::STARPU_NL_REGRESSION_BASED, the dimensions of task data (both input
  338. and output) are used as an index by default. ::STARPU_HISTORY_BASED uses a CRC
  339. hash of the dimensions as an index to distinguish histories, and
  340. ::STARPU_REGRESSION_BASED and ::STARPU_NL_REGRESSION_BASED use the total
  341. size as an index for the regression.
  342. The starpu_perfmodel::size_base and starpu_perfmodel::footprint fields however
  343. permit the application to override that, when for instance some of the data
  344. do not matter for task cost (e.g. mere reference table), or when using sparse
  345. structures (in which case it is the number of non-zeros which matter), or when
  346. there is some hidden parameter such as the number of iterations, or when the
  347. application actually has a very good idea of the complexity of the algorithm,
  348. and just not the speed of the processor, etc. The example in the directory
  349. <c>examples/pi</c> uses this to include the number of iterations in the base
  350. size. starpu_perfmodel::size_base should be used when the variance of the actual
  351. performance is known (i.e. bigger return value is longer execution
  352. time), and thus particularly useful for ::STARPU_REGRESSION_BASED or
  353. ::STARPU_NL_REGRESSION_BASED. starpu_perfmodel::footprint can be used when the
  354. variance of the actual performance is unknown (irregular performance behavior,
  355. etc.), and thus only useful for ::STARPU_HISTORY_BASED.
  356. starpu_task_data_footprint() can be used as a base and combined with other
  357. parameters through starpu_hash_crc32c_be() for instance.
  358. StarPU will automatically determine when the performance model is calibrated,
  359. or rather, it will assume the performance model is calibrated until the
  360. application submits a task for which the performance can not be predicted. For
  361. ::STARPU_HISTORY_BASED, StarPU will require 10 (STARPU_CALIBRATE_MINIMUM)
  362. measurements for a given size before estimating that an average can be taken as
  363. estimation for further executions with the same size. For
  364. ::STARPU_REGRESSION_BASED and ::STARPU_NL_REGRESSION_BASED, StarPU will require
  365. 10 (STARPU_CALIBRATE_MINIMUM) measurements, and that the minimum measured
  366. data size is smaller than 90% of the maximum measured data size (i.e. the
  367. measurement interval is large enough for a regression to have a meaning).
  368. Calibration can also be forced by setting the \ref STARPU_CALIBRATE environment
  369. variable to <c>1</c>, or even reset by setting it to <c>2</c>.
  370. How to use schedulers which can benefit from such performance model is explained
  371. in \ref TaskSchedulingPolicy.
  372. The same can be done for task energy consumption estimation, by setting
  373. the field starpu_codelet::energy_model the same way as the field
  374. starpu_codelet::model. Note: for now, the application has to give to
  375. the energy consumption performance model a name which is different from
  376. the execution time performance model.
  377. The application can request time estimations from the StarPU performance
  378. models by filling a task structure as usual without actually submitting
  379. it. The data handles can be created by calling any of the functions
  380. <c>starpu_*_data_register</c> with a <c>NULL</c> pointer and <c>-1</c>
  381. node and the desired data sizes, and need to be unregistered as usual.
  382. The functions starpu_task_expected_length() and
  383. starpu_task_expected_energy() can then be called to get an estimation
  384. of the task cost on a given arch. starpu_task_footprint() can also be
  385. used to get the footprint used for indexing history-based performance
  386. models. starpu_task_destroy() needs to be called to destroy the dummy
  387. task afterwards. See <c>tests/perfmodels/regression_based.c</c> for an example.
  388. The application can also request an on-the-fly XML report of the performance
  389. model, by calling starpu_perfmodel_dump_xml() to print the report to a
  390. <c>FILE*</c>.
  391. \section Performance Monitoring Counters
  392. This section presents the StarPU performance monitoring framework. It summarizes the objectives of the framework. It then introduces the entities involved in the framework. It presents the API of the framework, as well as some implementation details. It exposes the typical sequence of operations to plug an external tool to monitor a performance counter of StarPU.
  393. \subsection Objectives
  394. The objectives of this framework are to let external tools interface with StarPU to collect various performance metrics at runtime, in a generic, safe, extensible way. For that, it enables such tools to discover the available performance metrics in a particular StarPU build as well as the type of each performance counter value. It lets these tools build sets of performance counters to monitor, and then register listener callbacks to collect the measurement samples of these sets of performance counters at runtime.
  395. \subsection Entities
  396. The performance monitoring framework is built on a series of concepts and items, organized in a consistent way. The corresponding C language objects should be considered opaque by external tools, and should only be manipulated through proper function calls and accessors.
  397. \subsubsection Performance Counter
  398. The performance counter entity is the fundamental object of the framework, representing one piece of performance metrics, such as for instance the total number of tasks submitted so far, that is exported by StarPU and can be collected through the framework at runtime. A performance counter has a type and belongs to a scope. A performance counter is designated by a unique name and unique ID integer.
  399. \subsubsection Performance Counter Type
  400. A performance counter has a type. A type is designated by a unique name and unique ID number. Currently supported types include:
  401. \verbatim
  402. Type Name Type Definition
  403. "int32" 32-bit signed integers
  404. "int64" 64-bit signed integers
  405. "float" 32-bit single-precision floating point
  406. "double" 64-bit double-precision floating point
  407. \endverbatim
  408. \subsubsection Performance Counter Scope
  409. A performance counter belongs to a scope. The scope of a counter defines the context considered for computing the corresponding performance counter. A scope is designated with a unique name and unique ID number. Currently defined scopes include:
  410. \verbatim
  411. Scope Name Scope Definition
  412. "global" Counter is global to the StarPU instance
  413. "per_worker" Counter is within the scope of a thread worker
  414. "per_codelet" Counter is within the scope of a task codelet
  415. \endverbatim
  416. \subsubsection Performance Counter Set
  417. A performance counter set is a subset of the performance counters belonging to the same scope. Each counter of the scope can be in the enabled or disabled state in a performance counter set. A performance counter set enables a performance monitoring tool to indicate the set of counters to be collected for a particular listener callback.
  418. \subsubsection Performance Counter Sample
  419. A performance counter sample corresponds to one sample of collected measurement values of a performance counter set. Only the values corresponding to enabled counters in the sample's counter set should be observed by the listener callback. Whether the sample contains valid values for counters disabled in the set is unspecified.
  420. \subsubsection Performance Counter Listener
  421. A performance counter listener is a callback function registered by some external tool to monitor a set of performance counters in a particular scope. It is called each time a new performance counter sample is ready to be observed. The sample object should not be accessed outside of the callback.
  422. \subsubsection Application Programming Interface
  423. The API of the performance monitoring framework is defined in the "starpu_perf_monitoring.h" public header file of StarPU. This header file is automatically included with "starpu.h". An example of use of the routines is given in Section 3.6.
  424. \subsubsection Scope Related Routines
  425. \verbatim
  426. Function Name Function Definition
  427. starpu_perf_counter_scope_name_to_id Translate scope name constant string to scope id
  428. starpu_perf_counter_scope_id_to_name Translate scope id to scope name constant string
  429. \endverbatim
  430. \subsubsection Type Related Routines
  431. \verbatim
  432. Function Name Function Definition
  433. starpu_perf_counter_type_name_to_id Translate type name constant string to type id
  434. starpu_perf_counter_type_id_to_name Translate type id to type name constant string
  435. \endverbatim
  436. \subsubsection Counter Related Routines
  437. \verbatim
  438. Function Name Function Definition
  439. starpu_perf_counter_nb Return the number of performance counters for the given scope
  440. starpu_perf_counter_name_to_id Translate a performance counter name to its id
  441. starpu_perf_counter_nth_to_id Translate a performance counter rank in its scope to its counter id
  442. starpu_perf_counter_id_to_name Translate a counter id to its name constant string
  443. starpu_perf_counter_get_type_id Return the counter's type id
  444. starpu_perf_counter_get_help_string Return the counter's help string
  445. starpu_perf_counter_list_avail Display the list of counters defined in the given scope
  446. starpu_perf_counter_list_all_avail Display the list of counters defined in all scopes
  447. \endverbatim
  448. \subsubsection Counter Set Related Routines
  449. \verbatim
  450. Function Name Function Definition
  451. starpu_perf_counter_set_alloc Allocate a new performance counter set
  452. starpu_perf_counter_set_free Free a performance counter set
  453. starpu_perf_counter_set_enable_id Enable a given counter in the set
  454. starpu_perf_counter_set_disable_id Disable a given counter in the set
  455. \endverbatim
  456. \subsubsection Listener Related Routines
  457. \verbatim
  458. Function Name Function Definition
  459. starpu_perf_counter_listener_init Initialize a new performance counter listener
  460. starpu_perf_counter_listener_exit End a performance counter listener
  461. starpu_perf_counter_set_global_listener Set a listener for the global scope
  462. starpu_perf_counter_set_per_worker_listener Set a listener for the per_worker scope on a given worker
  463. starpu_perf_counter_set_all_per_worker_listeners Set a common listener for all workers
  464. starpu_perf_counter_set_per_codelet_listener Set a per_codelet listener for a codelet
  465. starpu_perf_counter_unset_global_listener Unset the global listener
  466. starpu_perf_counter_unset_per_worker_listener Unset the per_worker listener
  467. starpu_perf_counter_unset_all_per_worker_listeners Unset all per_worker listeners
  468. starpu_perf_counter_unset_per_codelet_listener Unset a per_codelet listener
  469. \endverbatim
  470. \subsubsection Sample Related Routines
  471. \verbatim
  472. Function Name Function Definition
  473. starpu_perf_counter_sample_get_int32_value Read an int32 counter value from a sample
  474. starpu_perf_counter_sample_get_int64_value Read an int64 counter value from a sample
  475. starpu_perf_counter_sample_get_float_value Read a float counter value from a sample
  476. starpu_perf_counter_sample_get_double_value Read a double counter value from a sample
  477. \endverbatim
  478. \subsection Implementation Details
  479. \subsubsection Performance Counter Registration
  480. Each module of StarPU can export performance counters. In order to do so, modules that need to export some counters define a registration function that is called at StarPU initialization time. This function is responsible for calling the "_starpu_perf_counter_register()" function once for each counter it exports, to let the framework know about the list of counters managed by the module. It also registers performance sample updater callbacks for the module, one for each scope for which it exports counters.
  481. \subsubsection Performance Sample Updaters
  482. The updater callback for a module and scope combination is internally called every time a sample for a set of performance counter must be updated. Thus, the updated callback is responsible for filling the sample's selected counters with the counter values found at the time of the call.
  483. Global updaters are currently called at task submission time, as well as any blocking tasks management function of the StarPU API, such as the "starpu_task_wait_for_all()", which waits for the completion of all tasks submitted up to this point.
  484. Per-worker updaters are currently called at the level of StarPU's drivers, that is, the modules in charge of task execution of hardware-specific worker threads. The actual calls occur in-between the execution of tasks.
  485. Per-codelet updaters are currently called both at task submission time, and at the level of StarPU's drivers together with the per-worker updaters.
  486. A performance sample object is locked during the sample collection. The locking prevents the following issues:
  487. <ul>
  488. <li>The listener of sample being changed during sample collection;
  489. <li>The set of counters enabled for a sample being changed;
  490. <li>Conflicting concurrent updates;
  491. <li>Updates while the sample is being read by the listener.
  492. </ul>
  493. The location of the updaters' calls is chosen to minimize the sequentialization effect of the locking, in order to limit the level of interference of the monitoring process. For Global updaters, the calls are performed only on the application thread(s) in charge of submitting tasks. Since, in most cases, only a single application thread submits tasks, the sequentialization effect is moderate. Per-worker updates are local to their worker, thus here again the sample lock is un-contented, unless the external monitoring tool frequently changes the set of enabled counters in the sample.
  494. \subsubsection Counter operations
  495. In practice the sample updaters only take snapshots of the actual performance counters. The performance counters themselves are updated with ad-hoc procedures depending on each counter. Such procedures typically involve atomic operations. While operations such as atomic increments or decrements on integer values are readily available, this is not the case for more complex operations such as min/max for computing peak value counters (for instance in the global and per-codelet counters for peak number of submitted tasks and peak number of ready tasks waiting for execution), and this is also not the case for computations on floating point data (used for instance in computing cumulated execution time of tasks, either per worker or per codelet). The performance monitoring framework therefore supplies such missing routines, for the internal use of StarPU.
  496. \subsubsection Runtime checks
  497. The performance monitoring framework features a comprehensive set of runtime checks to verify that both StarPU and some external tool do not access a performance counter with the wrong typed routines, to quickly detect situations of mismatch that can result from the evolution of multiple pieces of software at distinct paces. Moreover, no StarPU data structure is accessed directly either by the external code making use of the performance monitoring framework. The use of the C enum constants is optional; referring to values through constant strings is available when more robustness is desired. These runtime checks enable the framework to be extensible. Moreover, while the framework's counters currently are permanently compiled in, they could be made optional at compile time, for instance to suppress any overhead once the analysis and optimization process has been completed by the programmer. Thanks to the runtime discovery of available counters, the applicative code, or an intermediate layer such as skeleton layer acting on its behalf, would then be able to adapt to performance analysis builds versus optimized builds.
  498. \subsection Exported Counters
  499. \subsubsection Global Scope
  500. \verbatim
  501. Counter Name Counter Definition
  502. starpu.task.g_total_submitted Total number of tasks submitted
  503. starpu.task.g_peak_submitted Maximum number of tasks submitted, waiting for dependencies resolution at any time
  504. starpu.task.g_peak_ready Maximum number of tasks ready for execution, waiting for an execution slot at any time
  505. \endverbatim
  506. \subsubsection Per-worker Scope
  507. \verbatim
  508. Counter Name Counter Definition
  509. starpu.task.w_total_executed Total number of tasks executed on a given worker
  510. starpu.task.w_cumul_execution_time Cumulated execution time of tasks executed on a given worker
  511. \endverbatim
  512. \subsubsection Per-Codelet Scope
  513. \verbatim
  514. Counter Name Counter Definition
  515. starpu.task.c_total_submitted Total number of submitted tasks for a given codelet
  516. starpu.task.c_peak_submitted Maximum number of submitted tasks for a given codelet waiting for dependencies resolution at any time
  517. starpu.task.c_peak_ready Maximum number of ready tasks for a given codelet waiting for an execution slot at any time
  518. starpu.task.c_total_executed Total number of executed tasks for a given codelet
  519. starpu.task.c_cumul_execution_time Cumulated execution time of tasks for a given codelet
  520. \endverbatim
  521. \subsection Sequence of operations
  522. This section presents a typical sequence of operations to interface an external tool with some StarPU performance counters. In this example, the counters monitored are the per-worker total number of executed tasks ("starpu.task.w_total_executed") and the tasks' cumulated execution time ("starpu.task.w_cumul_execution_time").
  523. <b>Step 0: Initialize StarPU</b>
  524. StarPU must first be initialized, by a call to starpu_init(), for performance counters to become available, since each module of StarPU registers the performance counters it exports during that initialization phase.
  525. \verbatim
  526. int ret = starpu_init(NULL);
  527. \endverbatim
  528. <b>Step 1: Allocate a counter set</b>
  529. A counter set has to be allocated on the per-worker scope. The per-worker scope id can be obtained by name, or with the pre-defined enum value starpu_perf_counter_scope_per_worker.
  530. \verbatim
  531. enum starpu_perf_counter_scope w_scope = starpu_perf_counter_scope_per_worker;
  532. struct starpu_perf_counter_set *w_set = starpu_perf_counter_set_alloc(w_scope);
  533. \endverbatim
  534. <b>Step 2: Get the counter IDs</b>
  535. Each performance counter has a unique ID used to refer to it in subsequent calls to the performance monitoring framework.
  536. \verbatim
  537. int id_w_total_executed = starpu_perf_counter_name_to_id(w_scope,
  538. "starpu.task.w_total_executed");
  539. int id_w_cumul_execution_time = starpu_perf_counter_name_to_id(w_scope,
  540. "starpu.task.w_cumul_execution_time");
  541. \endverbatim
  542. <b>Step 3: Enable the counters in the counter set</b>
  543. This step indicates which counters will be collected into performance monitoring samples for the listeners referring to this counter set.
  544. \verbatim
  545. starpu_perf_counter_set_enable_id(w_set, id_w_total_executed);
  546. starpu_perf_counter_set_enable_id(w_set, id_w_cumul_execution_time);
  547. \endverbatim
  548. <b>Step 4: Write a listener callback</b>
  549. This callback will be triggered when a sample becomes available. Upon execution, it reads the values for the two counters from the sample and displays these values, for the sake of the example.
  550. \verbatim
  551. void w_listener_cb(struct starpu_perf_counter_listener *listener,
  552. struct starpu_perf_counter_sample *sample,
  553. void *context)
  554. {
  555. int32_t w_total_executed =
  556. starpu_perf_counter_sample_get_int32_value(sample, id_w_total_executed);
  557. double w_cumul_execution_time =
  558. starpu_perf_counter_sample_get_double_value(sample, id_w_cumul_execution_time);
  559. printf("worker[%d]: w_total_executed = %d, w_cumul_execution_time = %lf\n",
  560. starpu_worker_get_id(),
  561. w_total_executed,
  562. w_cumul_execution_time);
  563. }
  564. \endverbatim
  565. <b>Step 5: Initialize the listener</b>
  566. This step allocates the listener structure and prepares it to listen to the selected set of per-worker counters. However, it is not actually active until Step 6, once it is attached to one or more worker.
  567. \verbatim
  568. struct starpu_perf_counter_listener * w_listener =
  569. starpu_perf_counter_listener_init(w_set, w_listener_cb, NULL);
  570. \endverbatim
  571. <b>Step 6: Set the listener on all workers</b>
  572. This step actually makes the listener active, in this case on every StarPU worker thread.
  573. \verbatim
  574. starpu_perf_counter_set_all_per_worker_listeners(w_listener);
  575. \endverbatim
  576. After this step, any task assigned to a worker will be counted in that worker selected performance counters, and reported to the listener.
  577. \section Performance Steering Knobs
  578. This section presents the StarPU performance steering framework. It summarizes the objectives of the framework. It introduces the entities involved in the framework, and then details the API, implementation and sequence of operations.
  579. \subsection Objectives
  580. The objectives of this framework are to let external tools interface with StarPU, observe, and act at runtime on actionable performance steering knobs exported by StarPU, in a generic, safe, extensible way. It defines an API to let such external tools discover the available performance steering knobs in a particular StarPU revision of build, as well as the type of each knob.
  581. \subsection Entities
  582. \subsubsection Performance Steering Knob
  583. The performance steering knob entity designates one runtime-actionable knob exported by StarPU. It may represent some setting, or some constant used within StarPU for a given purpose. The value of the knob is typed, it can be obtained or modified with the appropriate getter/setter routine. The knob belongs to a scope. A performance steering knob is designated with a unique name and unique ID number.
  584. \subsubsection Knob Type
  585. A performance steering knob has a type. A type is designated by a unique name and unique ID number. Currently supported types include:
  586. \verbatim
  587. Type Name Type Definition
  588. "int32" 32-bit signed integers
  589. "int64" 64-bit signed integers
  590. "float" 32-bit single precision floating point
  591. "double" 64-bit double precision floating point
  592. \endverbatim
  593. On/Off knobs are defined as "int32" type, with value 0 for Off and value !0 for On, unless otherwise specified.
  594. \subsubsection Knob Scope
  595. A performance steering knob belongs to a scope. The scope of a knob defines the context considered for computing the corresponding knob. A scope is designated with a unique name and unique ID number. Currently defined scopes include:
  596. \verbatim
  597. Scope Name Scope Definition
  598. "global" Knob is global to the StarPU instance
  599. "per_worker" Knob is within the scope of a thread worker
  600. "per_scheduler" Knob is within the scope of a scheduling policy instance
  601. \endverbatim
  602. \subsubsection Knob Group
  603. The notion of Performance Steering Knob Group is currently internal to StarPU. It defines a series of knobs that are handled by the same couple of setter/getter functions internally. A knob group belongs to a knob scope.
  604. \subsection Application Programming Interface
  605. \subsubsection Scope Related Routines
  606. \verbatim
  607. Function Name Function Definition
  608. starpu_perf_knob_scope_name_to_id Translate scope name constant string to scope id
  609. starpu_perf_knob_scope_id_to_name Translate scope id to scope name constant string
  610. \endverbatim
  611. \subsubsection Type Related Routines
  612. \verbatim
  613. Function Name Function Definition
  614. starpu_perf_knob_type_name_to_id Translate type name constant string to type id
  615. starpu_perf_knob_type_id_to_name Translate type id to type name constant string
  616. \endverbatim
  617. \subsubsection Performance Steering Knob Related Routines
  618. \verbatim
  619. Function Name Function Definition
  620. starpu_perf_knob_nb Return the number of performance steering knobs for the given scope
  621. starpu_perf_knob_name_to_id Translate a performance knob name to its id
  622. starpu_perf_knob_nth_to_id Translate a performance knob rank in its scope to its knob id
  623. starpu_perf_knob_id_to_name Translate a knob id to its name constant string
  624. starpu_perf_knob_get_type_id Return the knob's type id
  625. starpu_perf_knob_get_help_string Return the knob's help string
  626. starpu_perf_knob_list_avail Display the list of knobs defined in the given scope
  627. starpu_perf_knob_list_all_avail Display the list of knobs defined in all scopes
  628. starpu_perf_knob_get_<SCOPE>_<TYPE>_value Get knob value for given scope and type
  629. starpu_perf_knob_set_<SCOPE>_<TYPE>_value Set knob value for given scope and type
  630. \endverbatim
  631. \subsection Implementation Details
  632. While the APIs of the monitoring and the steering frameworks share a similar design philosophy, the internals are significantly different. Since the effect of the steering knobs varies widely, there is no global locking scheme in place shared for all knobs. Instead, each knob gets its own procedures to get the value of a setting, or change it. To prevent code duplication, some related knobs may share getter/setter routines as knob groups.
  633. The steering framework does not involve callback routines. Knob get operations proceed immediately, except for the possible delay in getting access to the knob value. Knob set operations also proceed immediately, not counting the exclusive access time, though their action result may be observed with some latency, depending on the knob and on the current workload. For instance, acting on a per-worker "starpu.worker.w_enable_worker_knob" to disable a worker thread may be observed only after the corresponding worker's assigned task queue becomes empty, since its actual effect is to prevent additional tasks to be queued to the worker, and not to migrate already queued tasks to another worker. Such design choices aim at providing a compromise between offering some steering capabilities and keeping the cost of supporting such steering capabilities to an acceptable level.
  634. The framework is designed to be easily extensible. At StarPU initialization time, the framework calls initialization functions if StarPU modules to initialize the set of knobs they export. Knob get/set accessors can be shared among multiple knobs in a knob group. Thus, exporting a new knob is basically a matter of declaring it at initialization time, by specifying its name and value type, and either add its handling to an existing getter/setter pair of accessors in a knob group, or create a new group. As the performance monitoring framework, the performance steering framework is currently permanently enabled, but could be made optional at compile-time to separate testing builds from production builds.
  635. \subsection Exported Steering Knobs
  636. \subsubsection Global Scope
  637. \verbatim
  638. Knob Name Knob Definition
  639. starpu.global.g_calibrate_knob
  640. Enable/disable the calibration of performance models
  641. starpu.global.g_enable_catch_signal_knob Enable/disable the catching of UNIX signals
  642. \endverbatim
  643. \subsubsection Per-worker Scope
  644. \verbatim
  645. Knob Name Knob Definition
  646. starpu.worker.w_bind_to_pu_knob Change the processing unit to which a worker thread is bound
  647. starpu.worker.w_enable_worker_knob Disable/re-enable a worker thread to be selected
  648. for task execution
  649. \endverbatim
  650. \subsubsection Per-Scheduler Scope
  651. \verbatim
  652. Knob Name Knob Definition
  653. starpu.task.s_max_priority_cap_knob Set a capping maximum priority value for subsequently submitted tasks
  654. starpu.task.s_min_priority_cap_knob Set a capping minimum priority value for subsequently submitted tasks
  655. starpu.dmda.s_alpha_knob Scaling factor for the Alpha constant for Deque Model schedulers to alter the weight of the estimated task execution time
  656. starpu.dmda.s_beta_knob Scaling factor for the Beta constant for Deque Model schedulers to alter the weight of the estimated data transfer time for the task's input(s)
  657. starpu.dmda.s_gamma_knob Scaling factor for the Gamma constant for Deque Model schedulers to alter the weight of the estimated power consumption of the task
  658. starpu.dmda.s_idle_power_knob Scaling factor for the baseline Idle power consumption estimation of the corresponding processing unit
  659. \endverbatim
  660. \subsection Sequence of operations
  661. This section presents an example of sequence of operations representing a typical use of the performance steering knobs exported by StarPU. In this example, a worker thread is temporarily barred from executing tasks. For that, the corresponding "starpu.worker.w_enable_worker_knob" of the worker, initially set to 1 (= enabled) is changed to 0 (= disabled).
  662. <b>Step 0: Initialize StarPU</b>
  663. StarPU must first be initialized, by a call to starpu_init(). Performance steering knobs only become available after this step, since each module of StarPU registers the knobs it exports during that initialization phase.
  664. \verbatim
  665. int ret = starpu_init(NULL);
  666. \endverbatim
  667. <b>Step 1: Get the knob ID</b>
  668. Each performance steering knob has a unique ID used to refer to it in subsequent calls to the performance steering framework. The knob belongs to the "per_worker" scope.
  669. \verbatim
  670. int w_scope = starpu_perf_knob_scope_name_to_id("per_worker");
  671. int w_enable_id = starpu_perf_knob_name_to_id(w_scope,
  672. "starpu.worker.w_enable_worker_knob");
  673. \endverbatim
  674. <b>Step 2: Get the knob current value</b>
  675. This knob is an On/Off knob. Its value type is therefore a 32-bit integer, with value 0 for Off and value !0 for On. The getter functions for per-worker knobs expect the knob ID as first argument, and the worker ID as second argument. Here the getter call obtains the value of worker 5.
  676. \verbatim
  677. int32_t val = starpu_perf_knob_get_per_worker_int32_value(w_enable_id, 5);
  678. \endverbatim
  679. <b>Step 3: Set the knob current value</b>
  680. The setter functions for per-worker knobs expect the knob ID as first argument, the worker ID as second argument, and the new value as third argument. Here, the value for worker 5 is set to 0 to temporarily bar the worker thread from accepting new tasks for execution.
  681. \verbatim
  682. starpu_perf_knob_set_per_worker_int32_value(w_enable_id, 5, 0);
  683. \endverbatim
  684. Subsequently setting the value of the knob back to 1 enables the corresponding to accept new tasks for execution again.
  685. \verbatim
  686. starpu_perf_knob_set_per_worker_int32_value(w_enable_id, 5, 1);
  687. \endverbatim
  688. */