xlu_pivot.c 12 KB

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