zoep
/ gist:6167e14ed0ebe0887a03
Last active
August 29, 2015 14:17
Program Fixpoint and simpl/unfold
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Require Import Arith List ListSet Omega Program. | |
| Definition fvar : Type := nat. | |
| Definition bvar : Type := nat. | |
| Inductive sort : Type := | |
| | N : sort | |
| | ArrowS : sort -> sort -> sort. | |
| Definition eq_sort_dec (s1 s2 : sort) : {s1 = s2} + {s1 <> s2}. |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| /**** Tiled LU decomposition *****/ | |
| void lu(double **a, int range, int B) | |
| { | |
| int i,j,k; | |
| double ** l_inv, ** u_inv; | |
| tbb::task_group g,f; | |
| for (k=0;k<range-1;k++) { | |
| /****Compute LU decomposition on upper left tile*****/ |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| /**** Tiled LU decomposition *****/ | |
| void lu(double **a, int range, int B) | |
| { | |
| int i,j,k; | |
| double ** l_inv, ** u_inv; | |
| tbb::task_group g,f; | |
| for (k=0;k<range-1;k++) { |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| /**** Tiled LU decomposition *****/ | |
| void lu(double **a, int range, int B) | |
| { | |
| int k; | |
| double ** l_inv, ** u_inv; | |
| for (k=0;k<range-1;k++) { | |
| /****Compute LU decomposition on upper left tile*****/ | |
| lu_kernel(a,k*B,k*B,B,B); |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #!/bin/bash | |
| function speedup() { | |
| serial=$1 | |
| parallel=$2 | |
| echo "${parallel} ${serial}" | awk '{printf "%.6f\n", $2/$1}' | |
| } | |
| path=. |
zoep
/ lu_rec_grp_tasks.cpp
Last active
December 11, 2015 11:28
Parallel version of lu_rec with task groups
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| /*parallhlopoihsh sthn lower solve*/ | |
| void lower_solve(double ** a, int x1, int y1, double ** l, int x2, int y2, int N) | |
| { | |
| int hn; | |
| tbb::task_group g; | |
| /* Check base case. */ | |
| if (N <= BLOCK) { |