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=. |
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) { |