diff_op_row as function factory

This commit is contained in:
Magnus Ulimoen 2020-04-29 19:52:55 +02:00
parent 615b2a6990
commit ff2a141505
6 changed files with 60 additions and 80 deletions

View File

@ -232,65 +232,66 @@ pub(crate) fn diff_op_col(
#[inline(always)] #[inline(always)]
pub(crate) fn diff_op_row( pub(crate) fn diff_op_row(
block: &[&[Float]], block: &'static [&'static [Float]],
diag: &[Float], diag: &'static [Float],
symmetric: bool, symmetric: bool,
is_h2: bool, is_h2: bool,
prev: ArrayView2<Float>, ) -> impl Fn(ArrayView2<Float>, ArrayViewMut2<Float>) {
mut fut: ArrayViewMut2<Float>, #[inline(always)]
) { move |prev: ArrayView2<Float>, mut fut: ArrayViewMut2<Float>| {
assert_eq!(prev.shape(), fut.shape()); assert_eq!(prev.shape(), fut.shape());
let nx = prev.shape()[1]; let nx = prev.shape()[1];
assert!(nx >= 2 * block.len()); assert!(nx >= 2 * block.len());
assert_eq!(prev.strides()[1], 1); assert_eq!(prev.strides()[1], 1);
assert_eq!(fut.strides()[1], 1); assert_eq!(fut.strides()[1], 1);
let dx = if is_h2 { let dx = if is_h2 {
1.0 / (nx - 2) as Float 1.0 / (nx - 2) as Float
} else { } else {
1.0 / (nx - 1) as Float 1.0 / (nx - 1) as Float
}; };
let idx = 1.0 / dx; let idx = 1.0 / dx;
for (prev, mut fut) in prev for (prev, mut fut) in prev
.axis_iter(ndarray::Axis(0)) .axis_iter(ndarray::Axis(0))
.zip(fut.axis_iter_mut(ndarray::Axis(0))) .zip(fut.axis_iter_mut(ndarray::Axis(0)))
{
let prev = prev.as_slice().unwrap();
let fut = fut.as_slice_mut().unwrap();
for (bl, f) in block.iter().zip(fut.iter_mut()) {
let diff = bl
.iter()
.zip(prev.iter())
.map(|(x, y)| x * y)
.sum::<Float>();
*f = diff * idx;
}
// The window needs to be aligned to the diagonal elements,
// based on the block size
let window_elems_to_skip = block.len() - ((diag.len() - 1) / 2);
for (window, f) in prev
.windows(diag.len())
.skip(window_elems_to_skip)
.zip(fut.iter_mut().skip(block.len()))
.take(nx - 2 * block.len())
{ {
let diff = diag.iter().zip(window).map(|(&x, &y)| x * y).sum::<Float>(); let prev = prev.as_slice().unwrap();
*f = diff * idx; let fut = fut.as_slice_mut().unwrap();
}
for (bl, f) in block.iter().zip(fut.iter_mut().rev()) { for (bl, f) in block.iter().zip(fut.iter_mut()) {
let diff = bl let diff = bl
.iter() .iter()
.zip(prev.iter().rev()) .zip(prev.iter())
.map(|(x, y)| x * y) .map(|(x, y)| x * y)
.sum::<Float>(); .sum::<Float>();
*f = diff * idx;
}
*f = idx * if symmetric { diff } else { -diff }; // The window needs to be aligned to the diagonal elements,
// based on the block size
let window_elems_to_skip = block.len() - ((diag.len() - 1) / 2);
for (window, f) in prev
.windows(diag.len())
.skip(window_elems_to_skip)
.zip(fut.iter_mut().skip(block.len()))
.take(nx - 2 * block.len())
{
let diff = diag.iter().zip(window).map(|(&x, &y)| x * y).sum::<Float>();
*f = diff * idx;
}
for (bl, f) in block.iter().zip(fut.iter_mut().rev()) {
let diff = bl
.iter()
.zip(prev.iter().rev())
.map(|(x, y)| x * y)
.sum::<Float>();
*f = idx * if symmetric { diff } else { -diff };
}
} }
} }
} }

View File

@ -40,7 +40,7 @@ impl<SBP: SbpOperator1d> SbpOperator2d for (&SBP, &SBP4) {
match (prev.strides(), fut.strides()) { match (prev.strides(), fut.strides()) {
([_, 1], [_, 1]) => { ([_, 1], [_, 1]) => {
diff_op_row(SBP4::BLOCK, SBP4::DIAG, false, false, prev, fut); diff_op_row(SBP4::BLOCK, SBP4::DIAG, false, false)(prev, fut);
} }
([1, _], [1, _]) => { ([1, _], [1, _]) => {
diff_op_col(SBP4::BLOCK, SBP4::DIAG, false, false, prev, fut); diff_op_col(SBP4::BLOCK, SBP4::DIAG, false, false, prev, fut);

View File

@ -44,7 +44,7 @@ impl<SBP: SbpOperator1d> SbpOperator2d for (&SBP, &SBP8) {
match (prev.strides(), fut.strides()) { match (prev.strides(), fut.strides()) {
([_, 1], [_, 1]) => { ([_, 1], [_, 1]) => {
diff_op_row(SBP8::BLOCK, SBP8::DIAG, false, false, prev, fut); diff_op_row(SBP8::BLOCK, SBP8::DIAG, false, false)(prev, fut);
} }
([1, _], [1, _]) => { ([1, _], [1, _]) => {
diff_op_col(SBP8::BLOCK, SBP8::DIAG, false, false, prev, fut); diff_op_col(SBP8::BLOCK, SBP8::DIAG, false, false, prev, fut);

View File

@ -58,7 +58,7 @@ impl<SBP: SbpOperator1d> SbpOperator2d for (&SBP, &Upwind4h2) {
match (prev.strides(), fut.strides()) { match (prev.strides(), fut.strides()) {
([_, 1], [_, 1]) => { ([_, 1], [_, 1]) => {
diff_op_row(Upwind4h2::BLOCK, Upwind4h2::DIAG, false, true, prev, fut); diff_op_row(Upwind4h2::BLOCK, Upwind4h2::DIAG, false, true)(prev, fut);
} }
([1, _], [1, _]) => { ([1, _], [1, _]) => {
diff_op_col(Upwind4h2::BLOCK, Upwind4h2::DIAG, false, true, prev, fut); diff_op_col(Upwind4h2::BLOCK, Upwind4h2::DIAG, false, true, prev, fut);
@ -81,14 +81,7 @@ impl<UO: UpwindOperator1d> UpwindOperator2d for (&UO, &Upwind4h2) {
match (prev.strides(), fut.strides()) { match (prev.strides(), fut.strides()) {
([_, 1], [_, 1]) => { ([_, 1], [_, 1]) => {
diff_op_row( diff_op_row(Upwind4h2::DISS_BLOCK, Upwind4h2::DISS_DIAG, true, true)(prev, fut);
Upwind4h2::DISS_BLOCK,
Upwind4h2::DISS_DIAG,
true,
true,
prev,
fut,
);
} }
([1, _], [1, _]) => { ([1, _], [1, _]) => {
diff_op_col( diff_op_col(

View File

@ -63,7 +63,7 @@ impl<SBP: SbpOperator1d> SbpOperator2d for (&SBP, &Upwind9) {
match (prev.strides(), fut.strides()) { match (prev.strides(), fut.strides()) {
([_, 1], [_, 1]) => { ([_, 1], [_, 1]) => {
diff_op_row(Upwind9::BLOCK, Upwind9::DIAG, false, false, prev, fut); diff_op_row(Upwind9::BLOCK, Upwind9::DIAG, false, false)(prev, fut);
} }
([1, _], [1, _]) => { ([1, _], [1, _]) => {
diff_op_col(Upwind9::BLOCK, Upwind9::DIAG, false, false, prev, fut); diff_op_col(Upwind9::BLOCK, Upwind9::DIAG, false, false, prev, fut);
@ -96,14 +96,7 @@ impl<UO: UpwindOperator1d> UpwindOperator2d for (&UO, &Upwind9) {
match (prev.strides(), fut.strides()) { match (prev.strides(), fut.strides()) {
([_, 1], [_, 1]) => { ([_, 1], [_, 1]) => {
diff_op_row( diff_op_row(Upwind9::DISS_BLOCK, Upwind9::DISS_DIAG, true, false)(prev, fut);
Upwind9::DISS_BLOCK,
Upwind9::DISS_DIAG,
true,
false,
prev,
fut,
);
} }
([1, _], [1, _]) => { ([1, _], [1, _]) => {
diff_op_col( diff_op_col(

View File

@ -66,7 +66,7 @@ impl<SBP: SbpOperator1d> SbpOperator2d for (&SBP, &Upwind9h2) {
match (prev.strides(), fut.strides()) { match (prev.strides(), fut.strides()) {
([_, 1], [_, 1]) => { ([_, 1], [_, 1]) => {
diff_op_row(Upwind9h2::BLOCK, Upwind9h2::DIAG, false, true, prev, fut); diff_op_row(Upwind9h2::BLOCK, Upwind9h2::DIAG, false, true)(prev, fut);
} }
([1, _], [1, _]) => { ([1, _], [1, _]) => {
diff_op_col(Upwind9h2::BLOCK, Upwind9h2::DIAG, false, true, prev, fut); diff_op_col(Upwind9h2::BLOCK, Upwind9h2::DIAG, false, true, prev, fut);
@ -123,14 +123,7 @@ impl<UO: UpwindOperator1d> UpwindOperator2d for (&UO, &Upwind9h2) {
match (prev.strides(), fut.strides()) { match (prev.strides(), fut.strides()) {
([_, 1], [_, 1]) => { ([_, 1], [_, 1]) => {
diff_op_row( diff_op_row(Upwind9h2::DISS_BLOCK, Upwind9h2::DISS_DIAG, true, true)(prev, fut);
Upwind9h2::DISS_BLOCK,
Upwind9h2::DISS_DIAG,
true,
true,
prev,
fut,
);
} }
([1, _], [1, _]) => { ([1, _], [1, _]) => {
diff_op_col( diff_op_col(