diff options
Diffstat (limited to 'notes/5c6faa9f-2ae4-4dda-83a6-00f283ce2ea3.org')
-rw-r--r-- | notes/5c6faa9f-2ae4-4dda-83a6-00f283ce2ea3.org | 250 |
1 files changed, 125 insertions, 125 deletions
diff --git a/notes/5c6faa9f-2ae4-4dda-83a6-00f283ce2ea3.org b/notes/5c6faa9f-2ae4-4dda-83a6-00f283ce2ea3.org index 3f63518..26ced2a 100644 --- a/notes/5c6faa9f-2ae4-4dda-83a6-00f283ce2ea3.org +++ b/notes/5c6faa9f-2ae4-4dda-83a6-00f283ce2ea3.org @@ -1,131 +1,6 @@ #+title: Vericert Scheduling Results #+html_head_extra: <style>.outline-text-2{display:flex;flex-direction: row;flex-wrap:wrap}</style> -* Plots -:PROPERTIES: -:CUSTOM_ID: plots -:END: - -#+begin_src gnuplot :var data=vericert-processed-size :file ./static/5a22847d-9bd6-46e9-9e2c-1291d3f8c7b9.svg -reset - -red = "#e07a5f" -blue = "#81b29a" - -set style data histogram -set style fill solid - -set log y -set yrange [1:3] -set ytics 0.5 nologscale -set ylabel "Design size relative to Vericert" - -set xtics rotate nomirror - -set title "Vericert size comparison" -plot data using 2:xtic(1) title "list" linecolor rgb red, \ - data using 3 title "hyper" linecolor rgb blue -#+end_src - -#+RESULTS: -[[file:./static/5a22847d-9bd6-46e9-9e2c-1291d3f8c7b9.svg]] - -#+begin_src gnuplot :var data=vericert-processed-speed :file ./static/a95a49aa-9aa3-4e83-b3e0-767756736ec1.svg -reset - -red = "#3d405b" -blue = "#f2cc8f" - -set style data histogram -set style fill solid - -set log y -set yrange [0.05:1.2] -set ytics 0.01,0.1,1 -set ylabel "Execution time relative to Vericert" - -set xtics rotate nomirror - -set title "Vericert speed comparison" -plot data using 2:xtic(1) title "list" linecolor rgb red, \ - data using 3 title "hyper" linecolor rgb blue -#+end_src - -#+RESULTS: -[[file:./static/a95a49aa-9aa3-4e83-b3e0-767756736ec1.svg]] - -* Processing - -#+name: vericert-processed-size -#+caption: Design size relative to Vericert. -| benchmark | vericert-list | vericert-hyper | -|----------------+---------------+----------------| -| 2mm | 1.8148148 | 1.5555556 | -| 3mm | 1.6247906 | 1.5311760 | -| adi | 1.6864583 | 1.3051189 | -| atas | 1.4228029 | 1.1908549 | -| bicg | 1.3006993 | 1.1137725 | -| cholesky | 2.2895054 | 1.7804878 | -| covariance | 1.0145719 | 0.98584071 | -| doitgen | 1.8436019 | 1.7212389 | -| durbin | 1.2598291 | 0.94487179 | -| fdtd-2d | 1.8102625 | 1.5752856 | -| floyd-warshall | 1.2016129 | 0.90211907 | -| gemm | 1.3737624 | 1.1948332 | -| gemver | 1.3281991 | 1.2497213 | -| gesummv | 1.3213333 | 1.0667384 | -| heat-3d | 1.7933579 | 1.7587455 | -| jacobi-1d | 1.6877323 | 1.3841463 | -| jacobi-2d | 1.5256849 | 1.3707692 | -| lu | 2.1350365 | 1.6447985 | -| ludcmp | 2.2989324 | 1.7845304 | -| mvt | 1.7512847 | 1.3708769 | -| nussinov | 1.4447717 | 1.1678571 | -| seidel-2d | 1.6851852 | 1.6545455 | -| symm | 1.7689694 | 1.4516729 | -| syr2k | 1.5592255 | 1.3608350 | -| syrk | 1.3641882 | 1.2148649 | -| trisolv | 1.3314607 | 1.3699422 | -| trmm | 1.5706714 | 1.2772989 | -#+tblfm: $1='(identity remote(raw-vericert,@@#$1)) -#+tblfm: $2=(remote(raw-vericert,@@#$2))/(remote(raw-vericert-list,@@#$2)) -#+tblfm: $3=(remote(raw-vericert,@@#$2))/(remote(raw-vericert-hyper,@@#$2)) - -#+name: vericert-processed-speed -#+caption: Execution time relative to Vericert. -| benchmark | vericert-list | vericert-hyper | -|----------------+---------------+----------------| -| 2mm | 0.10964074 | 0.11388448 | -| 3mm | 0.11272619 | 0.11380653 | -| adi | 0.11254961 | 0.11188351 | -| atas | 0.25071807 | 0.25060733 | -| bicg | 0.25128535 | 0.25837004 | -| cholesky | 0.10709267 | 0.10837778 | -| covariance | 0.23328600 | 0.23503192 | -| doitgen | 0.10006043 | 0.10025617 | -| durbin | 0.91718661 | 0.88748628 | -| fdtd-2d | 0.25191744 | 0.24256082 | -| floyd-warshall | 0.24512275 | 0.24528405 | -| gemm | 0.24217108 | 0.23782250 | -| gemver | 0.080719653 | 0.082348805 | -| gesummv | 0.11018493 | 0.11693428 | -| heat-3d | 0.26189422 | 0.26387960 | -| jacobi-1d | 1.0273277 | 0.99205979 | -| jacobi-2d | 0.24812968 | 0.24891972 | -| lu | 0.10784972 | 0.10553413 | -| ludcmp | 0.10642397 | 0.11109796 | -| mvt | 0.096198062 | 0.099829570 | -| nussinov | 0.23680025 | 0.24543956 | -| seidel-2d | 0.25317479 | 0.24189279 | -| symm | 0.23900415 | 0.24417126 | -| syr2k | 0.23700960 | 0.24042125 | -| syrk | 0.24829032 | 0.24812610 | -| trisolv | 0.11345693 | 0.11485735 | -| trmm | 0.25103069 | 0.24199603 | -#+tblfm: $1='(identity remote(raw-vericert,@@#$1)) -#+tblfm: $2=(remote(raw-vericert,@@#$3) * remote(raw-vericert,@@#$4))/(remote(raw-vericert-list,@@#$3) * remote(raw-vericert-list,@@#$4)) -#+tblfm: $3=(remote(raw-vericert,@@#$3) * remote(raw-vericert,@@#$4))/(remote(raw-vericert-hyper,@@#$3) * remote(raw-vericert-hyper,@@#$4)) - * Raw results #+name: raw-vericert @@ -223,3 +98,128 @@ plot data using 2:xtic(1) title "list" linecolor rgb red, \ | syrk | 740 | 16 | 4.536 | 180421 | | trisolv | 346 | 16 | 9.884 | 16849 | | trmm | 696 | 8 | 4.529 | 87568 | + +* Processing + +#+name: vericert-processed-size +#+caption: Design size relative to Vericert. +| benchmark | vericert-list | vericert-hyper | +|----------------+---------------+----------------| +| 2mm | 1.8148148 | 1.5555556 | +| 3mm | 1.6247906 | 1.5311760 | +| adi | 1.6864583 | 1.3051189 | +| atas | 1.4228029 | 1.1908549 | +| bicg | 1.3006993 | 1.1137725 | +| cholesky | 2.2895054 | 1.7804878 | +| covariance | 1.0145719 | 0.98584071 | +| doitgen | 1.8436019 | 1.7212389 | +| durbin | 1.2598291 | 0.94487179 | +| fdtd-2d | 1.8102625 | 1.5752856 | +| floyd-warshall | 1.2016129 | 0.90211907 | +| gemm | 1.3737624 | 1.1948332 | +| gemver | 1.3281991 | 1.2497213 | +| gesummv | 1.3213333 | 1.0667384 | +| heat-3d | 1.7933579 | 1.7587455 | +| jacobi-1d | 1.6877323 | 1.3841463 | +| jacobi-2d | 1.5256849 | 1.3707692 | +| lu | 2.1350365 | 1.6447985 | +| ludcmp | 2.2989324 | 1.7845304 | +| mvt | 1.7512847 | 1.3708769 | +| nussinov | 1.4447717 | 1.1678571 | +| seidel-2d | 1.6851852 | 1.6545455 | +| symm | 1.7689694 | 1.4516729 | +| syr2k | 1.5592255 | 1.3608350 | +| syrk | 1.3641882 | 1.2148649 | +| trisolv | 1.3314607 | 1.3699422 | +| trmm | 1.5706714 | 1.2772989 | +#+tblfm: $1='(identity remote(raw-vericert,@@#$1)) +#+tblfm: $2=(remote(raw-vericert,@@#$2))/(remote(raw-vericert-list,@@#$2)) +#+tblfm: $3=(remote(raw-vericert,@@#$2))/(remote(raw-vericert-hyper,@@#$2)) + +#+name: vericert-processed-speed +#+caption: Execution time relative to Vericert. +| benchmark | vericert-list | vericert-hyper | +|----------------+---------------+----------------| +| 2mm | 0.10964074 | 0.11388448 | +| 3mm | 0.11272619 | 0.11380653 | +| adi | 0.11254961 | 0.11188351 | +| atas | 0.25071807 | 0.25060733 | +| bicg | 0.25128535 | 0.25837004 | +| cholesky | 0.10709267 | 0.10837778 | +| covariance | 0.23328600 | 0.23503192 | +| doitgen | 0.10006043 | 0.10025617 | +| durbin | 0.91718661 | 0.88748628 | +| fdtd-2d | 0.25191744 | 0.24256082 | +| floyd-warshall | 0.24512275 | 0.24528405 | +| gemm | 0.24217108 | 0.23782250 | +| gemver | 0.080719653 | 0.082348805 | +| gesummv | 0.11018493 | 0.11693428 | +| heat-3d | 0.26189422 | 0.26387960 | +| jacobi-1d | 1.0273277 | 0.99205979 | +| jacobi-2d | 0.24812968 | 0.24891972 | +| lu | 0.10784972 | 0.10553413 | +| ludcmp | 0.10642397 | 0.11109796 | +| mvt | 0.096198062 | 0.099829570 | +| nussinov | 0.23680025 | 0.24543956 | +| seidel-2d | 0.25317479 | 0.24189279 | +| symm | 0.23900415 | 0.24417126 | +| syr2k | 0.23700960 | 0.24042125 | +| syrk | 0.24829032 | 0.24812610 | +| trisolv | 0.11345693 | 0.11485735 | +| trmm | 0.25103069 | 0.24199603 | +#+tblfm: $1='(identity remote(raw-vericert,@@#$1)) +#+tblfm: $2=(remote(raw-vericert,@@#$3) * remote(raw-vericert,@@#$4))/(remote(raw-vericert-list,@@#$3) * remote(raw-vericert-list,@@#$4)) +#+tblfm: $3=(remote(raw-vericert,@@#$3) * remote(raw-vericert,@@#$4))/(remote(raw-vericert-hyper,@@#$3) * remote(raw-vericert-hyper,@@#$4)) + +* Plots +:PROPERTIES: +:CUSTOM_ID: plots +:END: + +#+begin_src gnuplot :var data=vericert-processed-size :file ./static/5a22847d-9bd6-46e9-9e2c-1291d3f8c7b9.svg :exports results +reset + +red = "#e07a5f" +blue = "#81b29a" + +set style data histogram +set style fill solid + +set log y +set yrange [1:3] +set ytics 0.5 nologscale +set ylabel "Design size relative to Vericert" + +set xtics rotate nomirror + +set title "Vericert size comparison" +plot data using 2:xtic(1) title "list" linecolor rgb red, \ + data using 3 title "hyper" linecolor rgb blue +#+end_src + +#+RESULTS: +[[file:./static/5a22847d-9bd6-46e9-9e2c-1291d3f8c7b9.svg]] + +#+begin_src gnuplot :var data=vericert-processed-speed :file ./static/a95a49aa-9aa3-4e83-b3e0-767756736ec1.svg :exports results +reset + +red = "#3d405b" +blue = "#f2cc8f" + +set style data histogram +set style fill solid + +set log y +set yrange [0.05:1.2] +set ytics 0.01,0.1,1 +set ylabel "Execution time relative to Vericert" + +set xtics rotate nomirror + +set title "Vericert speed comparison" +plot data using 2:xtic(1) title "list" linecolor rgb red, \ + data using 3 title "hyper" linecolor rgb blue +#+end_src + +#+RESULTS: +[[file:./static/a95a49aa-9aa3-4e83-b3e0-767756736ec1.svg]] |