mpi-support.texi 15 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411
  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, 2013 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. * Simple Example::
  20. * Point to point communication::
  21. * Exchanging User Defined Data Interface::
  22. * MPI Insert Task Utility::
  23. * MPI Collective Operations::
  24. @end menu
  25. @node Simple Example
  26. @section Simple Example
  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. @cartouche
  35. @smallexample
  36. void increment_token(void)
  37. @{
  38. struct starpu_task *task = starpu_task_create();
  39. task->cl = &increment_cl;
  40. task->handles[0] = token_handle;
  41. starpu_task_submit(task);
  42. @}
  43. @end smallexample
  44. @end cartouche
  45. @cartouche
  46. @smallexample
  47. int main(int argc, char **argv)
  48. @{
  49. int rank, size;
  50. starpu_init(NULL);
  51. starpu_mpi_initialize_extended(&rank, &size);
  52. starpu_vector_data_register(&token_handle, 0, (uintptr_t)&token, 1, sizeof(unsigned));
  53. unsigned nloops = NITER;
  54. unsigned loop;
  55. unsigned last_loop = nloops - 1;
  56. unsigned last_rank = size - 1;
  57. @end smallexample
  58. @end cartouche
  59. @cartouche
  60. @smallexample
  61. for (loop = 0; loop < nloops; loop++) @{
  62. int tag = loop*size + rank;
  63. if (loop == 0 && rank == 0)
  64. @{
  65. token = 0;
  66. fprintf(stdout, "Start with token value %d\n", token);
  67. @}
  68. else
  69. @{
  70. starpu_mpi_irecv_detached(token_handle, (rank+size-1)%size, tag,
  71. MPI_COMM_WORLD, NULL, NULL);
  72. @}
  73. increment_token();
  74. if (loop == last_loop && rank == last_rank)
  75. @{
  76. starpu_data_acquire(token_handle, STARPU_R);
  77. fprintf(stdout, "Finished: token value %d\n", token);
  78. starpu_data_release(token_handle);
  79. @}
  80. else
  81. @{
  82. starpu_mpi_isend_detached(token_handle, (rank+1)%size, tag+1,
  83. MPI_COMM_WORLD, NULL, NULL);
  84. @}
  85. @}
  86. starpu_task_wait_for_all();
  87. @end smallexample
  88. @end cartouche
  89. @cartouche
  90. @smallexample
  91. starpu_mpi_shutdown();
  92. starpu_shutdown();
  93. if (rank == last_rank)
  94. @{
  95. fprintf(stderr, "[%d] token = %d == %d * %d ?\n", rank, token, nloops, size);
  96. STARPU_ASSERT(token == nloops*size);
  97. @}
  98. @end smallexample
  99. @end cartouche
  100. @node Point to point communication
  101. @section Point to point communication
  102. The standard point to point communications of MPI have been
  103. implemented. The semantic is similar to the MPI one, but adapted to
  104. the DSM provided by StarPU. A MPI request will only be submitted when
  105. the data is available in the main memory of the node submitting the
  106. request.
  107. There is two types of asynchronous communications: the classic
  108. asynchronous communications and the detached communications. The
  109. classic asynchronous communications (@code{starpu_mpi_isend} and
  110. @code{starpu_mpi_irecv}) need to be followed by a call to
  111. @code{starpu_mpi_wait} or to @code{starpu_mpi_test} to wait for or to
  112. test the completion of the communication. Waiting for or testing the
  113. completion of detached communications is not possible, this is done
  114. internally by StarPU-MPI, on completion, the resources are
  115. automatically released. This mechanism is similar to the pthread
  116. detach state attribute which determines whether a thread will be
  117. created in a joinable or a detached state.
  118. For any communication, the call of the function will result in the
  119. creation of a StarPU-MPI request, the function
  120. @code{starpu_data_acquire_cb} is then called to asynchronously request
  121. StarPU to fetch the data in main memory; when the data is available in
  122. main memory, a StarPU-MPI function is called to put the new request in
  123. the list of the ready requests.
  124. The StarPU-MPI progression thread regularly polls this list of ready
  125. requests. For each new ready request, the appropriate function is
  126. called to post the corresponding MPI call. For example, calling
  127. @code{starpu_mpi_isend} will result in posting @code{MPI_Isend}. If
  128. the request is marked as detached, the request will be put in the list
  129. of detached requests.
  130. The StarPU-MPI progression thread also polls the list of detached
  131. requests. For each detached request, it regularly tests the completion
  132. of the MPI request by calling @code{MPI_Test}. On completion, the data
  133. handle is released, and if a callback was defined, it is called.
  134. @ref{Communication} gives the list of all the point to point
  135. communications defined in StarPU-MPI.
  136. @node Exchanging User Defined Data Interface
  137. @section Exchanging User Defined Data Interface
  138. New data interfaces defined as explained in @ref{Defining a New Data
  139. Interface} can also be used within StarPU-MPI and exchanged between
  140. nodes. Two functions needs to be defined through
  141. the type @code{struct starpu_data_interface_ops} (@pxref{Defining
  142. Interface}). The pack function takes a handle and returns a
  143. contiguous memory buffer along with its size where data to be conveyed to another node
  144. should be copied. The reversed operation is implemented in the unpack
  145. function which takes a contiguous memory buffer and recreates the data
  146. handle.
  147. @cartouche
  148. @smallexample
  149. static int complex_pack_data(starpu_data_handle_t handle, unsigned node, void **ptr, ssize_t *count)
  150. @{
  151. STARPU_ASSERT(starpu_data_test_if_allocated_on_node(handle, node));
  152. struct starpu_complex_interface *complex_interface =
  153. (struct starpu_complex_interface *) starpu_data_get_interface_on_node(handle, node);
  154. *count = complex_get_size(handle);
  155. *ptr = malloc(*count);
  156. memcpy(*ptr, complex_interface->real, complex_interface->nx*sizeof(double));
  157. memcpy(*ptr+complex_interface->nx*sizeof(double), complex_interface->imaginary,
  158. complex_interface->nx*sizeof(double));
  159. return 0;
  160. @}
  161. @end smallexample
  162. @end cartouche
  163. @cartouche
  164. @smallexample
  165. static int complex_unpack_data(starpu_data_handle_t handle, unsigned node, void *ptr, size_t count)
  166. @{
  167. STARPU_ASSERT(starpu_data_test_if_allocated_on_node(handle, node));
  168. struct starpu_complex_interface *complex_interface =
  169. (struct starpu_complex_interface *) starpu_data_get_interface_on_node(handle, node);
  170. memcpy(complex_interface->real, ptr, complex_interface->nx*sizeof(double));
  171. memcpy(complex_interface->imaginary, ptr+complex_interface->nx*sizeof(double),
  172. complex_interface->nx*sizeof(double));
  173. return 0;
  174. @}
  175. @end smallexample
  176. @end cartouche
  177. @cartouche
  178. @smallexample
  179. static struct starpu_data_interface_ops interface_complex_ops =
  180. @{
  181. ...
  182. .pack_data = complex_pack_data,
  183. .unpack_data = complex_unpack_data
  184. @};
  185. @end smallexample
  186. @end cartouche
  187. @node MPI Insert Task Utility
  188. @section MPI Insert Task Utility
  189. To save the programmer from having to explicit all communications, StarPU
  190. provides an "MPI Insert Task Utility". The principe is that the application
  191. decides a distribution of the data over the MPI nodes by allocating it and
  192. notifying StarPU of that decision, i.e. tell StarPU which MPI node "owns"
  193. which data. It also decides, for each handle, an MPI tag which will be used to
  194. exchange the content of the handle. All MPI nodes then process the whole task
  195. graph, and StarPU automatically determines which node actually execute which
  196. task, and trigger the required MPI transfers.
  197. The list of functions are described in @ref{MPI Insert Task}.
  198. Here an stencil example showing how to use @code{starpu_mpi_insert_task}. One
  199. first needs to define a distribution function which specifies the
  200. locality of the data. Note that that distribution information needs to
  201. be given to StarPU by calling @code{starpu_data_set_rank}. A MPI tag
  202. should also be defined for each data handle by calling
  203. @code{starpu_data_set_tag}.
  204. @cartouche
  205. @smallexample
  206. /* Returns the MPI node number where data is */
  207. int my_distrib(int x, int y, int nb_nodes) @{
  208. /* Block distrib */
  209. return ((int)(x / sqrt(nb_nodes) + (y / sqrt(nb_nodes)) * sqrt(nb_nodes))) % nb_nodes;
  210. // /* Other examples useful for other kinds of computations */
  211. // /* / distrib */
  212. // return (x+y) % nb_nodes;
  213. // /* Block cyclic distrib */
  214. // unsigned side = sqrt(nb_nodes);
  215. // return x % side + (y % side) * size;
  216. @}
  217. @end smallexample
  218. @end cartouche
  219. Now the data can be registered within StarPU. Data which are not
  220. owned but will be needed for computations can be registered through
  221. the lazy allocation mechanism, i.e. with a @code{home_node} set to -1.
  222. StarPU will automatically allocate the memory when it is used for the
  223. first time.
  224. One can note an optimization here (the @code{else if} test): we only register
  225. data which will be needed by the tasks that we will execute.
  226. @cartouche
  227. @smallexample
  228. unsigned matrix[X][Y];
  229. starpu_data_handle_t data_handles[X][Y];
  230. for(x = 0; x < X; x++) @{
  231. for (y = 0; y < Y; y++) @{
  232. int mpi_rank = my_distrib(x, y, size);
  233. if (mpi_rank == my_rank)
  234. /* Owning data */
  235. starpu_variable_data_register(&data_handles[x][y], 0,
  236. (uintptr_t)&(matrix[x][y]), sizeof(unsigned));
  237. else if (my_rank == my_distrib(x+1, y, size) || my_rank == my_distrib(x-1, y, size)
  238. || my_rank == my_distrib(x, y+1, size) || my_rank == my_distrib(x, y-1, size))
  239. /* I don't own that index, but will need it for my computations */
  240. starpu_variable_data_register(&data_handles[x][y], -1,
  241. (uintptr_t)NULL, sizeof(unsigned));
  242. else
  243. /* I know it's useless to allocate anything for this */
  244. data_handles[x][y] = NULL;
  245. if (data_handles[x][y]) @{
  246. starpu_data_set_rank(data_handles[x][y], mpi_rank);
  247. starpu_data_set_tag(data_handles[x][y], x*X+y);
  248. @}
  249. @}
  250. @}
  251. @end smallexample
  252. @end cartouche
  253. Now @code{starpu_mpi_insert_task()} can be called for the different
  254. steps of the application.
  255. @cartouche
  256. @smallexample
  257. for(loop=0 ; loop<niter; loop++)
  258. for (x = 1; x < X-1; x++)
  259. for (y = 1; y < Y-1; y++)
  260. starpu_mpi_insert_task(MPI_COMM_WORLD, &stencil5_cl,
  261. STARPU_RW, data_handles[x][y],
  262. STARPU_R, data_handles[x-1][y],
  263. STARPU_R, data_handles[x+1][y],
  264. STARPU_R, data_handles[x][y-1],
  265. STARPU_R, data_handles[x][y+1],
  266. 0);
  267. starpu_task_wait_for_all();
  268. @end smallexample
  269. @end cartouche
  270. I.e. all MPI nodes process the whole task graph, but as mentioned above, for
  271. each task, only the MPI node which owns the data being written to (here,
  272. @code{data_handles[x][y]}) will actually run the task. The other MPI nodes will
  273. automatically send the required data.
  274. This can be a concern with a growing number of nodes. To avoid this, the
  275. application can prune the task for loops according to the data distribution,
  276. so as to only submit tasks on nodes which have to care about them (either to
  277. execute them, or to send the required data).
  278. @node MPI Collective Operations
  279. @section MPI Collective Operations
  280. @deftypefun int starpu_mpi_scatter_detached (starpu_data_handle_t *@var{data_handles}, int @var{count}, int @var{root}, MPI_Comm @var{comm}, {void (*}@var{scallback})(void *), {void *}@var{sarg}, {void (*}@var{rcallback})(void *), {void *}@var{rarg})
  281. Scatter data among processes of the communicator based on the ownership of
  282. the data. For each data of the array @var{data_handles}, the
  283. process @var{root} sends the data to the process owning this data.
  284. Processes receiving data must have valid data handles to receive them.
  285. On completion of the collective communication, the @var{scallback} function is
  286. called with the argument @var{sarg} on the process @var{root}, the @var{rcallback} function is
  287. called with the argument @var{rarg} on any other process.
  288. @end deftypefun
  289. @deftypefun int starpu_mpi_gather_detached (starpu_data_handle_t *@var{data_handles}, int @var{count}, int @var{root}, MPI_Comm @var{comm}, {void (*}@var{scallback})(void *), {void *}@var{sarg}, {void (*}@var{rcallback})(void *), {void *}@var{rarg})
  290. Gather data from the different processes of the communicator onto the
  291. process @var{root}. Each process owning data handle in the array
  292. @var{data_handles} will send them to the process @var{root}. The
  293. process @var{root} must have valid data handles to receive the data.
  294. On completion of the collective communication, the @var{rcallback} function is
  295. called with the argument @var{rarg} on the process @var{root}, the @var{scallback} function is
  296. called with the argument @var{sarg} on any other process.
  297. @end deftypefun
  298. @page
  299. @cartouche
  300. @smallexample
  301. if (rank == root)
  302. @{
  303. /* Allocate the vector */
  304. vector = malloc(nblocks * sizeof(float *));
  305. for(x=0 ; x<nblocks ; x++)
  306. @{
  307. starpu_malloc((void **)&vector[x], block_size*sizeof(float));
  308. @}
  309. @}
  310. /* Allocate data handles and register data to StarPU */
  311. data_handles = malloc(nblocks*sizeof(starpu_data_handle_t *));
  312. for(x = 0; x < nblocks ; x++)
  313. @{
  314. int mpi_rank = my_distrib(x, nodes);
  315. if (rank == root) @{
  316. starpu_vector_data_register(&data_handles[x], 0, (uintptr_t)vector[x],
  317. blocks_size, sizeof(float));
  318. @}
  319. else if ((mpi_rank == rank) || ((rank == mpi_rank+1 || rank == mpi_rank-1))) @{
  320. /* I own that index, or i will need it for my computations */
  321. starpu_vector_data_register(&data_handles[x], -1, (uintptr_t)NULL,
  322. block_size, sizeof(float));
  323. @}
  324. else @{
  325. /* I know it's useless to allocate anything for this */
  326. data_handles[x] = NULL;
  327. @}
  328. if (data_handles[x]) @{
  329. starpu_data_set_rank(data_handles[x], mpi_rank);
  330. @}
  331. @}
  332. /* Scatter the matrix among the nodes */
  333. starpu_mpi_scatter_detached(data_handles, nblocks, root, MPI_COMM_WORLD);
  334. /* Calculation */
  335. for(x = 0; x < nblocks ; x++) @{
  336. if (data_handles[x]) @{
  337. int owner = starpu_data_get_rank(data_handles[x]);
  338. if (owner == rank) @{
  339. starpu_insert_task(&cl, STARPU_RW, data_handles[x], 0);
  340. @}
  341. @}
  342. @}
  343. /* Gather the matrix on main node */
  344. starpu_mpi_gather_detached(data_handles, nblocks, 0, MPI_COMM_WORLD);
  345. @end smallexample
  346. @end cartouche