xlu_pivot.c 12 KB

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