mpi-support.texi 19 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480
  1. @c -*-texinfo-*-
  2. @c This file is part of the StarPU Handbook.
  3. @c Copyright (C) 2009--2011 Universit@'e de Bordeaux 1
  4. @c Copyright (C) 2010, 2011, 2012 Centre National de la Recherche Scientifique
  5. @c Copyright (C) 2011 Institut National de Recherche en Informatique et Automatique
  6. @c See the file starpu.texi for copying conditions.
  7. The integration of MPI transfers within task parallelism is done in a
  8. very natural way by the means of asynchronous interactions between the
  9. application and StarPU. This is implemented in a separate libstarpumpi library
  10. which basically provides "StarPU" equivalents of @code{MPI_*} functions, where
  11. @code{void *} buffers are replaced with @code{starpu_data_handle_t}s, and all
  12. GPU-RAM-NIC transfers are handled efficiently by StarPU-MPI. The user has to
  13. use the usual @code{mpirun} command of the MPI implementation to start StarPU on
  14. the different MPI nodes.
  15. An MPI Insert Task function provides an even more seamless transition to a
  16. distributed application, by automatically issuing all required data transfers
  17. according to the task graph and an application-provided distribution.
  18. @menu
  19. * The API::
  20. * Simple Example::
  21. * MPI Insert Task Utility::
  22. * MPI Collective Operations::
  23. @end menu
  24. @node The API
  25. @section The API
  26. @subsection Compilation
  27. The flags required to compile or link against the MPI layer are then
  28. accessible with the following commands:
  29. @example
  30. % pkg-config --cflags starpumpi-1.0 # options for the compiler
  31. % pkg-config --libs starpumpi-1.0 # options for the linker
  32. @end example
  33. Also pass the @code{--static} option if the application is to be linked statically.
  34. @subsection Initialisation
  35. @deftypefun int starpu_mpi_initialize (void)
  36. Initializes the starpumpi library. This must be called between calling
  37. @code{starpu_init} and other @code{starpu_mpi} functions. This
  38. function does not call @code{MPI_Init}, it should be called beforehand.
  39. @end deftypefun
  40. @deftypefun int starpu_mpi_initialize_extended (int *@var{rank}, int *@var{world_size})
  41. Initializes the starpumpi library. This must be called between calling
  42. @code{starpu_init} and other @code{starpu_mpi} functions.
  43. This function calls @code{MPI_Init}, and therefore should be prefered
  44. to the previous one for MPI implementations which are not thread-safe.
  45. Returns the current MPI node rank and world size.
  46. @end deftypefun
  47. @deftypefun int starpu_mpi_shutdown (void)
  48. Cleans the starpumpi library. This must be called between calling
  49. @code{starpu_mpi} functions and @code{starpu_shutdown}.
  50. @code{MPI_Finalize} will be called if StarPU-MPI has been initialized
  51. by calling @code{starpu_mpi_initialize_extended}.
  52. @end deftypefun
  53. @subsection Communication
  54. The standard point to point communications of MPI have been
  55. implemented. The semantic is similar to the MPI one, but adapted to
  56. the DSM provided by StarPU. A MPI request will only be submitted when
  57. the data is available in the main memory of the node submitting the
  58. request.
  59. @deftypefun int starpu_mpi_send (starpu_data_handle_t @var{data_handle}, int @var{dest}, int @var{mpi_tag}, MPI_Comm @var{comm})
  60. Performs a standard-mode, blocking send of @var{data_handle} to the
  61. node @var{dest} using the message tag @code{mpi_tag} within the
  62. communicator @var{comm}.
  63. @end deftypefun
  64. @deftypefun int starpu_mpi_recv (starpu_data_handle_t @var{data_handle}, int @var{source}, int @var{mpi_tag}, MPI_Comm @var{comm}, MPI_Status *@var{status})
  65. Performs a standard-mode, blocking receive in @var{data_handle} from the
  66. node @var{source} using the message tag @code{mpi_tag} within the
  67. communicator @var{comm}.
  68. @end deftypefun
  69. @deftypefun int starpu_mpi_isend (starpu_data_handle_t @var{data_handle}, starpu_mpi_req *@var{req}, int @var{dest}, int @var{mpi_tag}, MPI_Comm @var{comm})
  70. Posts a standard-mode, non blocking send of @var{data_handle} to the
  71. node @var{dest} using the message tag @code{mpi_tag} within the
  72. communicator @var{comm}. After the call, the pointer to the request
  73. @var{req} can be used to test the completion of the communication.
  74. @end deftypefun
  75. @deftypefun int starpu_mpi_irecv (starpu_data_handle_t @var{data_handle}, starpu_mpi_req *@var{req}, int @var{source}, int @var{mpi_tag}, MPI_Comm @var{comm})
  76. Posts a nonblocking receive in @var{data_handle} from the
  77. node @var{source} using the message tag @code{mpi_tag} within the
  78. communicator @var{comm}. After the call, the pointer to the request
  79. @var{req} can be used to test the completion of the communication.
  80. @end deftypefun
  81. @deftypefun int starpu_mpi_isend_detached (starpu_data_handle_t @var{data_handle}, int @var{dest}, int @var{mpi_tag}, MPI_Comm @var{comm}, void (*@var{callback})(void *), void *@var{arg})
  82. Posts a standard-mode, non blocking send of @var{data_handle} to the
  83. node @var{dest} using the message tag @code{mpi_tag} within the
  84. communicator @var{comm}. On completion, the @var{callback} function is
  85. called with the argument @var{arg}.
  86. @end deftypefun
  87. @deftypefun int starpu_mpi_irecv_detached (starpu_data_handle_t @var{data_handle}, int @var{source}, int @var{mpi_tag}, MPI_Comm @var{comm}, void (*@var{callback})(void *), void *@var{arg})
  88. Posts a nonblocking receive in @var{data_handle} from the
  89. node @var{source} using the message tag @code{mpi_tag} within the
  90. communicator @var{comm}. On completion, the @var{callback} function is
  91. called with the argument @var{arg}.
  92. @end deftypefun
  93. @deftypefun int starpu_mpi_wait (starpu_mpi_req *@var{req}, MPI_Status *@var{status})
  94. Returns when the operation identified by request @var{req} is complete.
  95. @end deftypefun
  96. @deftypefun int starpu_mpi_test (starpu_mpi_req *@var{req}, int *@var{flag}, MPI_Status *@var{status})
  97. If the operation identified by @var{req} is complete, set @var{flag}
  98. to 1. The @var{status} object is set to contain information on the
  99. completed operation.
  100. @end deftypefun
  101. @deftypefun int starpu_mpi_barrier (MPI_Comm @var{comm})
  102. Blocks the caller until all group members of the communicator
  103. @var{comm} have called it.
  104. @end deftypefun
  105. @deftypefun int starpu_mpi_isend_detached_unlock_tag (starpu_data_handle_t @var{data_handle}, int @var{dest}, int @var{mpi_tag}, MPI_Comm @var{comm}, starpu_tag_t @var{tag})
  106. Posts a standard-mode, non blocking send of @var{data_handle} to the
  107. node @var{dest} using the message tag @code{mpi_tag} within the
  108. communicator @var{comm}. On completion, @var{tag} is unlocked.
  109. @end deftypefun
  110. @deftypefun int starpu_mpi_irecv_detached_unlock_tag (starpu_data_handle_t @var{data_handle}, int @var{source}, int @var{mpi_tag}, MPI_Comm @var{comm}, starpu_tag_t @var{tag})
  111. Posts a nonblocking receive in @var{data_handle} from the
  112. node @var{source} using the message tag @code{mpi_tag} within the
  113. communicator @var{comm}. On completion, @var{tag} is unlocked.
  114. @end deftypefun
  115. @deftypefun int starpu_mpi_isend_array_detached_unlock_tag (unsigned @var{array_size}, starpu_data_handle_t *@var{data_handle}, int *@var{dest}, int *@var{mpi_tag}, MPI_Comm *@var{comm}, starpu_tag_t @var{tag})
  116. Posts @var{array_size} standard-mode, non blocking send. Each post
  117. sends the n-th data of the array @var{data_handle} to the n-th node of
  118. the array @var{dest}
  119. using the n-th message tag of the array @code{mpi_tag} within the n-th
  120. communicator of the array
  121. @var{comm}. On completion of the all the requests, @var{tag} is unlocked.
  122. @end deftypefun
  123. @deftypefun int starpu_mpi_irecv_array_detached_unlock_tag (unsigned @var{array_size}, starpu_data_handle_t *@var{data_handle}, int *@var{source}, int *@var{mpi_tag}, MPI_Comm *@var{comm}, starpu_tag_t @var{tag})
  124. Posts @var{array_size} nonblocking receive. Each post receives in the
  125. n-th data of the array @var{data_handle} from the n-th
  126. node of the array @var{source} using the n-th message tag of the array
  127. @code{mpi_tag} within the n-th communicator of the array @var{comm}.
  128. On completion of the all the requests, @var{tag} is unlocked.
  129. @end deftypefun
  130. @page
  131. @node Simple Example
  132. @section Simple Example
  133. @cartouche
  134. @smallexample
  135. void increment_token(void)
  136. @{
  137. struct starpu_task *task = starpu_task_create();
  138. task->cl = &increment_cl;
  139. task->handles[0] = token_handle;
  140. starpu_task_submit(task);
  141. @}
  142. @end smallexample
  143. @end cartouche
  144. @cartouche
  145. @smallexample
  146. int main(int argc, char **argv)
  147. @{
  148. int rank, size;
  149. starpu_init(NULL);
  150. starpu_mpi_initialize_extended(&rank, &size);
  151. starpu_vector_data_register(&token_handle, 0, (uintptr_t)&token, 1, sizeof(unsigned));
  152. unsigned nloops = NITER;
  153. unsigned loop;
  154. unsigned last_loop = nloops - 1;
  155. unsigned last_rank = size - 1;
  156. @end smallexample
  157. @end cartouche
  158. @cartouche
  159. @smallexample
  160. for (loop = 0; loop < nloops; loop++) @{
  161. int tag = loop*size + rank;
  162. if (loop == 0 && rank == 0)
  163. @{
  164. token = 0;
  165. fprintf(stdout, "Start with token value %d\n", token);
  166. @}
  167. else
  168. @{
  169. starpu_mpi_irecv_detached(token_handle, (rank+size-1)%size, tag,
  170. MPI_COMM_WORLD, NULL, NULL);
  171. @}
  172. increment_token();
  173. if (loop == last_loop && rank == last_rank)
  174. @{
  175. starpu_data_acquire(token_handle, STARPU_R);
  176. fprintf(stdout, "Finished: token value %d\n", token);
  177. starpu_data_release(token_handle);
  178. @}
  179. else
  180. @{
  181. starpu_mpi_isend_detached(token_handle, (rank+1)%size, tag+1,
  182. MPI_COMM_WORLD, NULL, NULL);
  183. @}
  184. @}
  185. starpu_task_wait_for_all();
  186. @end smallexample
  187. @end cartouche
  188. @cartouche
  189. @smallexample
  190. starpu_mpi_shutdown();
  191. starpu_shutdown();
  192. if (rank == last_rank)
  193. @{
  194. fprintf(stderr, "[%d] token = %d == %d * %d ?\n", rank, token, nloops, size);
  195. STARPU_ASSERT(token == nloops*size);
  196. @}
  197. @end smallexample
  198. @end cartouche
  199. @page
  200. @node MPI Insert Task Utility
  201. @section MPI Insert Task Utility
  202. To save the programmer from having to explicit all communications, StarPU
  203. provides an "MPI Insert Task Utility". The principe is that the application
  204. decides a distribution of the data over the MPI nodes by allocating it and
  205. notifying StarPU of that decision, i.e. tell StarPU which MPI node "owns" which
  206. data. All MPI nodes then process the whole task graph, and StarPU automatically
  207. determines which node actually execute which task, as well as the required MPI
  208. transfers.
  209. @deftypefun int starpu_data_set_tag (starpu_data_handle_t @var{handle}, int @var{tag})
  210. Tell StarPU-MPI which MPI tag to use when exchanging the data.
  211. @end deftypefun
  212. @deftypefun int starpu_data_get_tag (starpu_data_handle_t @var{handle})
  213. Returns the MPI tag to be used when exchanging the data.
  214. @end deftypefun
  215. @deftypefun int starpu_data_set_rank (starpu_data_handle_t @var{handle}, int @var{rank})
  216. Tell StarPU-MPI which MPI node "owns" a given data, that is, the node which will
  217. always keep an up-to-date value, and will by default execute tasks which write
  218. to it.
  219. @end deftypefun
  220. @deftypefun int starpu_data_get_rank (starpu_data_handle_t @var{handle})
  221. Returns the last value set by @code{starpu_data_set_rank}.
  222. @end deftypefun
  223. @defmac STARPU_EXECUTE_ON_NODE
  224. this macro is used when calling @code{starpu_mpi_insert_task}, and
  225. must be followed by a integer value which specified the node on which
  226. to execute the codelet.
  227. @end defmac
  228. @defmac STARPU_EXECUTE_ON_DATA
  229. this macro is used when calling @code{starpu_mpi_insert_task}, and
  230. must be followed by a data handle to specify that the node owning the
  231. given data will execute the codelet.
  232. @end defmac
  233. @deftypefun int starpu_mpi_insert_task (MPI_Comm @var{comm}, struct starpu_codelet *@var{codelet}, ...)
  234. Create and submit a task corresponding to @var{codelet} with the following
  235. arguments. The argument list must be zero-terminated.
  236. The arguments following the codelets are the same types as for the
  237. function @code{starpu_insert_task} defined in @ref{Insert Task
  238. Utility}. The extra argument @code{STARPU_EXECUTE_ON_NODE} followed by an
  239. integer allows to specify the MPI node to execute the codelet. It is also
  240. possible to specify that the node owning a specific data will execute
  241. the codelet, by using @code{STARPU_EXECUTE_ON_DATA} followed by a data
  242. handle.
  243. The internal algorithm is as follows:
  244. @enumerate
  245. @item Find out whether we (as an MPI node) are to execute the codelet
  246. because we own the data to be written to. If different nodes own data
  247. to be written to, the argument @code{STARPU_EXECUTE_ON_NODE} or
  248. @code{STARPU_EXECUTE_ON_DATA} has to be used to specify which MPI node will
  249. execute the task.
  250. @item Send and receive data as requested. Nodes owning data which need to be
  251. read by the task are sending them to the MPI node which will execute it. The
  252. latter receives them.
  253. @item Execute the codelet. This is done by the MPI node selected in the
  254. 1st step of the algorithm.
  255. @item In the case when different MPI nodes own data to be written to, send
  256. written data back to their owners.
  257. @end enumerate
  258. The algorithm also includes a cache mechanism that allows not to send
  259. data twice to the same MPI node, unless the data has been modified.
  260. @end deftypefun
  261. @deftypefun void starpu_mpi_get_data_on_node (MPI_Comm @var{comm}, starpu_data_handle_t @var{data_handle}, int @var{node})
  262. Transfer data @var{data_handle} to MPI node @var{node}, sending it from its
  263. owner if needed. At least the target node and the owner have to call the
  264. function.
  265. @end deftypefun
  266. Here an stencil example showing how to use @code{starpu_mpi_insert_task}. One
  267. first needs to define a distribution function which specifies the
  268. locality of the data. Note that that distribution information needs to
  269. be given to StarPU by calling @code{starpu_data_set_rank}.
  270. @cartouche
  271. @smallexample
  272. /* Returns the MPI node number where data is */
  273. int my_distrib(int x, int y, int nb_nodes) @{
  274. /* Block distrib */
  275. return ((int)(x / sqrt(nb_nodes) + (y / sqrt(nb_nodes)) * sqrt(nb_nodes))) % nb_nodes;
  276. // /* Other examples useful for other kinds of computations */
  277. // /* / distrib */
  278. // return (x+y) % nb_nodes;
  279. // /* Block cyclic distrib */
  280. // unsigned side = sqrt(nb_nodes);
  281. // return x % side + (y % side) * size;
  282. @}
  283. @end smallexample
  284. @end cartouche
  285. Now the data can be registered within StarPU. Data which are not
  286. owned but will be needed for computations can be registered through
  287. the lazy allocation mechanism, i.e. with a @code{home_node} set to -1.
  288. StarPU will automatically allocate the memory when it is used for the
  289. first time.
  290. One can note an optimization here (the @code{else if} test): we only register
  291. data which will be needed by the tasks that we will execute.
  292. @cartouche
  293. @smallexample
  294. unsigned matrix[X][Y];
  295. starpu_data_handle_t data_handles[X][Y];
  296. for(x = 0; x < X; x++) @{
  297. for (y = 0; y < Y; y++) @{
  298. int mpi_rank = my_distrib(x, y, size);
  299. if (mpi_rank == my_rank)
  300. /* Owning data */
  301. starpu_variable_data_register(&data_handles[x][y], 0,
  302. (uintptr_t)&(matrix[x][y]), sizeof(unsigned));
  303. else if (my_rank == my_distrib(x+1, y, size) || my_rank == my_distrib(x-1, y, size)
  304. || my_rank == my_distrib(x, y+1, size) || my_rank == my_distrib(x, y-1, size))
  305. /* I don't own that index, but will need it for my computations */
  306. starpu_variable_data_register(&data_handles[x][y], -1,
  307. (uintptr_t)NULL, sizeof(unsigned));
  308. else
  309. /* I know it's useless to allocate anything for this */
  310. data_handles[x][y] = NULL;
  311. if (data_handles[x][y])
  312. starpu_data_set_rank(data_handles[x][y], mpi_rank);
  313. @}
  314. @}
  315. @end smallexample
  316. @end cartouche
  317. Now @code{starpu_mpi_insert_task()} can be called for the different
  318. steps of the application.
  319. @cartouche
  320. @smallexample
  321. for(loop=0 ; loop<niter; loop++)
  322. for (x = 1; x < X-1; x++)
  323. for (y = 1; y < Y-1; y++)
  324. starpu_mpi_insert_task(MPI_COMM_WORLD, &stencil5_cl,
  325. STARPU_RW, data_handles[x][y],
  326. STARPU_R, data_handles[x-1][y],
  327. STARPU_R, data_handles[x+1][y],
  328. STARPU_R, data_handles[x][y-1],
  329. STARPU_R, data_handles[x][y+1],
  330. 0);
  331. starpu_task_wait_for_all();
  332. @end smallexample
  333. @end cartouche
  334. I.e. all MPI nodes process the whole task graph, but as mentioned above, for
  335. each task, only the MPI node which owns the data being written to (here,
  336. @code{data_handles[x][y]}) will actually run the task. The other MPI nodes will
  337. automatically send the required data.
  338. @node MPI Collective Operations
  339. @section MPI Collective Operations
  340. @deftypefun int starpu_mpi_scatter_detached (starpu_data_handle_t *@var{data_handles}, int @var{count}, int @var{root}, MPI_Comm @var{comm})
  341. Scatter data among processes of the communicator based on the ownership of
  342. the data. For each data of the array @var{data_handles}, the
  343. process @var{root} sends the data to the process owning this data.
  344. Processes receiving data must have valid data handles to receive them.
  345. @end deftypefun
  346. @deftypefun int starpu_mpi_gather_detached (starpu_data_handle_t *@var{data_handles}, int @var{count}, int @var{root}, MPI_Comm @var{comm})
  347. Gather data from the different processes of the communicator onto the
  348. process @var{root}. Each process owning data handle in the array
  349. @var{data_handles} will send them to the process @var{root}. The
  350. process @var{root} must have valid data handles to receive the data.
  351. @end deftypefun
  352. @page
  353. @cartouche
  354. @smallexample
  355. if (rank == root)
  356. @{
  357. /* Allocate the vector */
  358. vector = malloc(nblocks * sizeof(float *));
  359. for(x=0 ; x<nblocks ; x++)
  360. @{
  361. starpu_malloc((void **)&vector[x], block_size*sizeof(float));
  362. @}
  363. @}
  364. /* Allocate data handles and register data to StarPU */
  365. data_handles = malloc(nblocks*sizeof(starpu_data_handle_t *));
  366. for(x = 0; x < nblocks ; x++)
  367. @{
  368. int mpi_rank = my_distrib(x, nodes);
  369. if (rank == root) @{
  370. starpu_vector_data_register(&data_handles[x], 0, (uintptr_t)vector[x],
  371. blocks_size, sizeof(float));
  372. @}
  373. else if ((mpi_rank == rank) || ((rank == mpi_rank+1 || rank == mpi_rank-1))) @{
  374. /* I own that index, or i will need it for my computations */
  375. starpu_vector_data_register(&data_handles[x], -1, (uintptr_t)NULL,
  376. block_size, sizeof(float));
  377. @}
  378. else @{
  379. /* I know it's useless to allocate anything for this */
  380. data_handles[x] = NULL;
  381. @}
  382. if (data_handles[x]) @{
  383. starpu_data_set_rank(data_handles[x], mpi_rank);
  384. @}
  385. @}
  386. /* Scatter the matrix among the nodes */
  387. starpu_mpi_scatter_detached(data_handles, nblocks, root, MPI_COMM_WORLD);
  388. /* Calculation */
  389. for(x = 0; x < nblocks ; x++) @{
  390. if (data_handles[x]) @{
  391. int owner = starpu_data_get_rank(data_handles[x]);
  392. if (owner == rank) @{
  393. starpu_insert_task(&cl, STARPU_RW, data_handles[x], 0);
  394. @}
  395. @}
  396. @}
  397. /* Gather the matrix on main node */
  398. starpu_mpi_gather_detached(data_handles, nblocks, 0, MPI_COMM_WORLD);
  399. @end smallexample
  400. @end cartouche