xlu_pivot.c 12 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481
  1. /* StarPU --- Runtime system for heterogeneous multicore architectures.
  2. *
  3. * Copyright (C) 2009-2021 Université de Bordeaux, CNRS (LaBRI UMR 5800), Inria
  4. *
  5. * StarPU is free software; you can redistribute it and/or modify
  6. * it under the terms of the GNU Lesser General Public License as published by
  7. * the Free Software Foundation; either version 2.1 of the License, or (at
  8. * your option) any later version.
  9. *
  10. * StarPU is distributed in the hope that it will be useful, but
  11. * WITHOUT ANY WARRANTY; without even the implied warranty of
  12. * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
  13. *
  14. * See the GNU Lesser General Public License in COPYING.LGPL for more details.
  15. */
  16. /* LU Kernels with partial pivoting */
  17. #include "xlu.h"
  18. #include "xlu_kernels.h"
  19. /*
  20. * Construct the DAG
  21. */
  22. static struct starpu_task *create_task(starpu_tag_t id)
  23. {
  24. struct starpu_task *task = starpu_task_create();
  25. task->cl_arg = NULL;
  26. task->use_tag = 1;
  27. task->tag_id = id;
  28. return task;
  29. }
  30. static int create_task_pivot(starpu_data_handle_t *dataAp, unsigned nblocks,
  31. struct piv_s *piv_description,
  32. unsigned k, unsigned i,
  33. starpu_data_handle_t (* get_block)(starpu_data_handle_t *, unsigned, unsigned, unsigned), unsigned no_prio)
  34. {
  35. int ret;
  36. struct starpu_task *task = create_task(PIVOT(k, i));
  37. task->cl = &cl_pivot;
  38. task->color = 0xc0c000;
  39. /* which sub-data is manipulated ? */
  40. task->handles[0] = get_block(dataAp, nblocks, k, i);
  41. task->cl_arg = &piv_description[k];
  42. /* this is an important task */
  43. if (!no_prio && (i == k+1))
  44. task->priority = STARPU_MAX_PRIO;
  45. /* enforce dependencies ... */
  46. if (k == 0)
  47. {
  48. starpu_tag_declare_deps(PIVOT(k, i), 1, TAG11(k));
  49. }
  50. else
  51. {
  52. if (i > k)
  53. {
  54. starpu_tag_declare_deps(PIVOT(k, i), 2, TAG11(k), TAG22(k-1, i, k));
  55. }
  56. else
  57. {
  58. starpu_tag_t *tags = malloc((nblocks - k)*sizeof(starpu_tag_t));
  59. tags[0] = TAG11(k);
  60. unsigned ind, ind2;
  61. for (ind = k + 1, ind2 = 0; ind < nblocks; ind++, ind2++)
  62. {
  63. tags[1 + ind2] = TAG22(k-1, ind, k);
  64. }
  65. /* perhaps we could do better ... :/ */
  66. starpu_tag_declare_deps_array(PIVOT(k, i), (nblocks-k), tags);
  67. free(tags);
  68. }
  69. }
  70. ret = starpu_task_submit(task);
  71. if (ret != -ENODEV) STARPU_CHECK_RETURN_VALUE(ret, "starpu_task_submit");
  72. return ret;
  73. }
  74. static struct starpu_task *create_task_11_pivot(starpu_data_handle_t *dataAp, unsigned nblocks,
  75. unsigned k, struct piv_s *piv_description,
  76. starpu_data_handle_t (* get_block)(starpu_data_handle_t *, unsigned, unsigned, unsigned), unsigned no_prio)
  77. {
  78. struct starpu_task *task = create_task(TAG11(k));
  79. task->cl = &cl11_pivot;
  80. task->color = 0xffff00;
  81. task->cl_arg = &piv_description[k];
  82. /* which sub-data is manipulated ? */
  83. task->handles[0] = get_block(dataAp, nblocks, k, k);
  84. /* this is an important task */
  85. if (!no_prio)
  86. task->priority = STARPU_MAX_PRIO;
  87. /* enforce dependencies ... */
  88. if (k > 0)
  89. {
  90. starpu_tag_declare_deps(TAG11(k), 1, TAG22(k-1, k, k));
  91. }
  92. return task;
  93. }
  94. static int create_task_12(starpu_data_handle_t *dataAp, unsigned nblocks, unsigned k, unsigned j,
  95. starpu_data_handle_t (* get_block)(starpu_data_handle_t *, unsigned, unsigned, unsigned), unsigned no_prio)
  96. {
  97. int ret;
  98. /* printf("task 12 k,i = %d,%d TAG = %llx\n", k,i, TAG12(k,i)); */
  99. struct starpu_task *task = create_task(TAG12(k, j));
  100. task->cl = &cl12;
  101. task->color = 0x8080ff;
  102. task->cl_arg = (void *)(uintptr_t)(task->tag_id);
  103. /* which sub-data is manipulated ? */
  104. task->handles[0] = get_block(dataAp, nblocks, k, k);
  105. task->handles[1] = get_block(dataAp, nblocks, j, k);
  106. if (!no_prio && (j == k+1))
  107. {
  108. task->priority = STARPU_MAX_PRIO;
  109. }
  110. /* enforce dependencies ... */
  111. #if 0
  112. starpu_tag_declare_deps(TAG12(k, i), 1, PIVOT(k, i));
  113. #endif
  114. if (k > 0)
  115. {
  116. starpu_tag_declare_deps(TAG12(k, j), 2, TAG11(k), TAG22(k-1, k, j));
  117. }
  118. else
  119. {
  120. starpu_tag_declare_deps(TAG12(k, j), 1, TAG11(k));
  121. }
  122. ret = starpu_task_submit(task);
  123. if (ret != -ENODEV) STARPU_CHECK_RETURN_VALUE(ret, "starpu_task_submit");
  124. return ret;
  125. }
  126. static int create_task_21(starpu_data_handle_t *dataAp, unsigned nblocks, unsigned k, unsigned i,
  127. starpu_data_handle_t (* get_block)(starpu_data_handle_t *, unsigned, unsigned, unsigned), unsigned no_prio)
  128. {
  129. int ret;
  130. struct starpu_task *task = create_task(TAG21(k, i));
  131. task->cl = &cl21;
  132. task->color = 0x8080c0;
  133. /* which sub-data is manipulated ? */
  134. task->handles[0] = get_block(dataAp, nblocks, k, k);
  135. task->handles[1] = get_block(dataAp, nblocks, k, i);
  136. if (!no_prio && (i == k+1))
  137. {
  138. task->priority = STARPU_MAX_PRIO;
  139. }
  140. task->cl_arg = (void *)(uintptr_t)(task->tag_id);
  141. /* enforce dependencies ... */
  142. starpu_tag_declare_deps(TAG21(k, i), 1, PIVOT(k, i));
  143. ret = starpu_task_submit(task);
  144. if (ret != -ENODEV) STARPU_CHECK_RETURN_VALUE(ret, "starpu_task_submit");
  145. return ret;
  146. }
  147. static int create_task_22(starpu_data_handle_t *dataAp, unsigned nblocks, unsigned k, unsigned i, unsigned j,
  148. starpu_data_handle_t (* get_block)(starpu_data_handle_t *, unsigned, unsigned, unsigned), unsigned no_prio)
  149. {
  150. int ret;
  151. /* printf("task 22 k,i,j = %d,%d,%d TAG = %llx\n", k,i,j, TAG22(k,i,j)); */
  152. struct starpu_task *task = create_task(TAG22(k, i, j));
  153. task->cl = &cl22;
  154. task->color = 0x00ff00;
  155. task->cl_arg = (void *)(uintptr_t)(task->tag_id);
  156. /* which sub-data is manipulated ? */
  157. task->handles[0] = get_block(dataAp, nblocks, k, i); /* produced by TAG21(k, i) */
  158. task->handles[1] = get_block(dataAp, nblocks, j, k); /* produced by TAG12(k, j) */
  159. task->handles[2] = get_block(dataAp, nblocks, j, i); /* produced by TAG22(k-1, i, j) */
  160. if (!no_prio && (i == k + 1) && (j == k +1) )
  161. {
  162. task->priority = STARPU_MAX_PRIO;
  163. }
  164. /* enforce dependencies ... */
  165. if (k > 0)
  166. {
  167. starpu_tag_declare_deps(TAG22(k, i, j), 3, TAG22(k-1, i, j), TAG12(k, j), TAG21(k, i));
  168. }
  169. else
  170. {
  171. starpu_tag_declare_deps(TAG22(k, i, j), 2, TAG12(k, j), TAG21(k, i));
  172. }
  173. ret = starpu_task_submit(task);
  174. if (ret != -ENODEV) STARPU_CHECK_RETURN_VALUE(ret, "starpu_task_submit");
  175. return ret;
  176. }
  177. /*
  178. * code to bootstrap the factorization
  179. */
  180. static int dw_codelet_facto_pivot(starpu_data_handle_t *dataAp,
  181. struct piv_s *piv_description,
  182. unsigned nblocks,
  183. starpu_data_handle_t (* get_block)(starpu_data_handle_t *, unsigned, unsigned, unsigned),
  184. double *timing, unsigned no_prio)
  185. {
  186. int ret;
  187. double start;
  188. double end;
  189. struct starpu_task *entry_task = NULL;
  190. /* create all the DAG nodes */
  191. unsigned i,j,k;
  192. if (bound)
  193. starpu_bound_start(bounddeps, boundprio);
  194. for (k = 0; k < nblocks; k++)
  195. {
  196. starpu_iteration_push(k);
  197. struct starpu_task *task = create_task_11_pivot(dataAp, nblocks, k, piv_description, get_block, no_prio);
  198. /* we defer the launch of the first task */
  199. if (k == 0)
  200. {
  201. entry_task = task;
  202. }
  203. else
  204. {
  205. ret = starpu_task_submit(task);
  206. if (ret != -ENODEV) STARPU_CHECK_RETURN_VALUE(ret, "starpu_task_submit");
  207. if (ret == -ENODEV) return ret;
  208. }
  209. for (i = 0; i < nblocks; i++)
  210. {
  211. if (i != k)
  212. {
  213. ret = create_task_pivot(dataAp, nblocks, piv_description, k, i, get_block, no_prio);
  214. if (ret == -ENODEV) return ret;
  215. }
  216. }
  217. for (i = k+1; i<nblocks; i++)
  218. {
  219. ret = create_task_12(dataAp, nblocks, k, i, get_block, no_prio);
  220. if (ret == -ENODEV) return ret;
  221. ret = create_task_21(dataAp, nblocks, k, i, get_block, no_prio);
  222. if (ret == -ENODEV) return ret;
  223. }
  224. for (i = k+1; i<nblocks; i++)
  225. {
  226. for (j = k+1; j<nblocks; j++)
  227. {
  228. ret = create_task_22(dataAp, nblocks, k, i, j, get_block, no_prio);
  229. if (ret == -ENODEV) return ret;
  230. }
  231. }
  232. starpu_iteration_pop();
  233. }
  234. /* we wait the last task (TAG11(nblocks - 1)) and all the pivot tasks */
  235. starpu_tag_t *tags = malloc(nblocks*nblocks*sizeof(starpu_tag_t));
  236. unsigned ndeps = 0;
  237. tags[ndeps++] = TAG11(nblocks - 1);
  238. for (j = 0; j < nblocks; j++)
  239. {
  240. for (i = 0; i < j; i++)
  241. {
  242. tags[ndeps++] = PIVOT(j, i);
  243. }
  244. }
  245. /* schedule the codelet */
  246. start = starpu_timing_now();
  247. ret = starpu_task_submit(entry_task);
  248. if (ret != -ENODEV) STARPU_CHECK_RETURN_VALUE(ret, "starpu_task_submit");
  249. /* stall the application until the end of computations */
  250. starpu_tag_wait_array(ndeps, tags);
  251. /* starpu_task_wait_for_all(); */
  252. free(tags);
  253. end = starpu_timing_now();
  254. if (bound)
  255. starpu_bound_stop();
  256. *timing = end - start;
  257. return 0;
  258. }
  259. starpu_data_handle_t get_block_with_striding(starpu_data_handle_t *dataAp, unsigned nblocks, unsigned j, unsigned i)
  260. {
  261. /* we use filters */
  262. (void)nblocks;
  263. return starpu_data_get_sub_data(*dataAp, 2, j, i);
  264. }
  265. int STARPU_LU(lu_decomposition_pivot)(TYPE *matA, unsigned *ipiv, unsigned size, unsigned ld, unsigned nblocks, unsigned no_prio)
  266. {
  267. starpu_data_handle_t dataA;
  268. /* monitor and partition the A matrix into blocks :
  269. * one block is now determined by 2 unsigned (i,j) */
  270. starpu_matrix_data_register(&dataA, STARPU_MAIN_RAM, (uintptr_t)matA, ld, size, size, sizeof(TYPE));
  271. /* We already enforce deps by hand */
  272. starpu_data_set_sequential_consistency_flag(dataA, 0);
  273. struct starpu_data_filter f =
  274. {
  275. .filter_func = starpu_matrix_filter_vertical_block,
  276. .nchildren = nblocks
  277. };
  278. struct starpu_data_filter f2 =
  279. {
  280. .filter_func = starpu_matrix_filter_block,
  281. .nchildren = nblocks
  282. };
  283. starpu_data_map_filters(dataA, 2, &f, &f2);
  284. unsigned i;
  285. for (i = 0; i < size; i++)
  286. ipiv[i] = i;
  287. struct piv_s *piv_description = malloc(nblocks*sizeof(struct piv_s));
  288. unsigned block;
  289. for (block = 0; block < nblocks; block++)
  290. {
  291. piv_description[block].piv = ipiv;
  292. piv_description[block].first = block * (size / nblocks);
  293. piv_description[block].last = (block + 1) * (size / nblocks);
  294. }
  295. #if 0
  296. unsigned j;
  297. for (j = 0; j < nblocks; j++)
  298. for (i = 0; i < nblocks; i++)
  299. {
  300. printf("BLOCK %d %d %p\n", i, j, &matA[i*(size/nblocks) + j * (size/nblocks)*ld]);
  301. }
  302. #endif
  303. double timing=0.0;
  304. int ret = dw_codelet_facto_pivot(&dataA, piv_description, nblocks, get_block_with_striding, &timing, no_prio);
  305. unsigned n = starpu_matrix_get_nx(dataA);
  306. double flop = (2.0f*n*n*n)/3.0f;
  307. PRINTF("# size\tms\tGFlops");
  308. if (bound)
  309. PRINTF("\tTms\tTGFlops");
  310. PRINTF("\n");
  311. PRINTF("%u\t%.0f\t%.1f", n, timing/1000, flop/timing/1000.0f);
  312. if (bound)
  313. {
  314. double min;
  315. starpu_bound_compute(&min, NULL, 0);
  316. PRINTF("\t%.0f\t%.1f", min, flop/min/1000000.0f);
  317. }
  318. PRINTF("\n");
  319. /* gather all the data */
  320. starpu_data_unpartition(dataA, STARPU_MAIN_RAM);
  321. starpu_data_unregister(dataA);
  322. free(piv_description);
  323. return ret;
  324. }
  325. starpu_data_handle_t get_block_with_no_striding(starpu_data_handle_t *dataAp, unsigned nblocks, unsigned j, unsigned i)
  326. {
  327. /* dataAp is an array of data handle */
  328. return dataAp[i+j*nblocks];
  329. }
  330. int STARPU_LU(lu_decomposition_pivot_no_stride)(TYPE **matA, unsigned *ipiv, unsigned size, unsigned ld, unsigned nblocks, unsigned no_prio)
  331. {
  332. (void)ld;
  333. if (starpu_mpi_ms_worker_get_count())
  334. /* These won't work with pivoting: we pass a pointer in cl_args */
  335. return -ENODEV;
  336. starpu_data_handle_t *dataAp = malloc(nblocks*nblocks*sizeof(starpu_data_handle_t));
  337. /* monitor and partition the A matrix into blocks :
  338. * one block is now determined by 2 unsigned (i,j) */
  339. unsigned bi, bj;
  340. for (bj = 0; bj < nblocks; bj++)
  341. for (bi = 0; bi < nblocks; bi++)
  342. {
  343. starpu_matrix_data_register(&dataAp[bi+nblocks*bj], STARPU_MAIN_RAM,
  344. (uintptr_t)matA[bi+nblocks*bj], size/nblocks,
  345. size/nblocks, size/nblocks, sizeof(TYPE));
  346. /* We already enforce deps by hand */
  347. starpu_data_set_sequential_consistency_flag(dataAp[bi+nblocks*bj], 0);
  348. }
  349. unsigned i;
  350. for (i = 0; i < size; i++)
  351. ipiv[i] = i;
  352. struct piv_s *piv_description = malloc(nblocks*sizeof(struct piv_s));
  353. unsigned block;
  354. for (block = 0; block < nblocks; block++)
  355. {
  356. piv_description[block].piv = ipiv;
  357. piv_description[block].first = block * (size / nblocks);
  358. piv_description[block].last = (block + 1) * (size / nblocks);
  359. }
  360. double timing=0.0;
  361. int ret = dw_codelet_facto_pivot(dataAp, piv_description, nblocks, get_block_with_no_striding, &timing, no_prio);
  362. unsigned n = starpu_matrix_get_nx(dataAp[0])*nblocks;
  363. double flop = (2.0f*n*n*n)/3.0f;
  364. PRINTF("# size\tms\tGFlops");
  365. if (bound)
  366. PRINTF("\tTms\tTGFlops");
  367. PRINTF("\n");
  368. PRINTF("%u\t%.0f\t%.1f", n, timing/1000, flop/timing/1000.0f);
  369. if (bound)
  370. {
  371. double min;
  372. starpu_bound_compute(&min, NULL, 0);
  373. PRINTF("\t%.0f\t%.1f", min, flop/min/1000000.0f);
  374. }
  375. PRINTF("\n");
  376. for (bj = 0; bj < nblocks; bj++)
  377. for (bi = 0; bi < nblocks; bi++)
  378. {
  379. starpu_data_unregister(dataAp[bi+nblocks*bj]);
  380. }
  381. free(dataAp);
  382. return ret;
  383. }