CarpetLib: Reorganise prolongation and restriction operators

Reorganise prolongation and restriction operators.  This is a major
implementation change.

Most operators are now written as C++ templates instead of as Fortran
77 code.  This simplifies the code, since C++ routines can be called
more easily, and they also have access to CarpetLib's high-level data
structures.

Previously, the operators combined temporal and spatial interpolation.
Now, time interpolation and space interpolation are handled
separately.  This may be less efficient, but simplifies the code
significantly, since there are now N+M instead of N*M routines, for N
time interpolation and M space interpolation methods.

Remove the minmod prolongation operator, which was previously
disabled.

Add support for cell centering, using a method described by Simon
Hern, and suggested for Carpet by Ian Hawke.

darcs-hash:20070112205812-dae7b-5329795aa698e7bbc3671b1504134885dd830238.gz

1 files changed, 191 insertions, 0 deletions

diff --git a/Carpet/CarpetLib/src/restrict_3d_cc_rf2.cc b/Carpet/CarpetLib/src/restrict_3d_cc_rf2.cc
new file mode 100644
index 000000000..9c0fbccb0
--- /dev/null
+++ b/Carpet/CarpetLib/src/restrict_3d_cc_rf2.cc
@@ -0,0 +1,191 @@
+#include <algorithm>
+#include <cassert>
+#include <cmath>
+
+#include <cctk.h>
+#include <cctk_Parameters.h>
+
+#include "operator_prototypes.hh"
+#include "typeprops.hh"
+
+using namespace std;
+
+
+
+namespace CarpetLib {
+
+
+  
+#define SRCIND3(i,j,k)                                  \
+  index3 (srcioff + (i), srcjoff + (j), srckoff + (k),  \
+          srciext, srcjext, srckext)
+#define DSTIND3(i,j,k)                                  \
+  index3 (dstioff + (i), dstjoff + (j), dstkoff + (k),  \
+          dstiext, dstjext, dstkext)
+  
+  
+  
+  template <typename T>
+  void
+  restrict_3d_cc_rf2 (T const * restrict const src,
+                      ivect3 const & srcext,
+                      T * restrict const dst,
+                      ivect3 const & dstext,
+                      ibbox3 const & srcbbox,
+                      ibbox3 const & dstbbox,
+                      ibbox3 const & regbbox)
+  {
+    DECLARE_CCTK_PARAMETERS;
+    
+    typedef typename typeprops<T>::real RT;
+    
+    
+    
+#if 0
+    // This is already guaranteed by bbox
+    if (any (srcbbox.stride() == 0 or
+             dstbbox.stride() == 0 or
+             regbbox.stride() == 0))
+    {
+      CCTK_WARN (0, "Internal error: stride is zero");
+    }
+#endif
+    
+    if (any (srcbbox.stride() >= regbbox.stride() or
+             dstbbox.stride() != regbbox.stride()))
+    {
+      CCTK_WARN (0, "Internal error: strides disagree");
+    }
+    
+    if (any (reffact2 * srcbbox.stride() != dstbbox.stride())) {
+      CCTK_WARN (0, "Internal error: destination strides are not twice the source strides");
+    }
+    
+#if 0
+    // This needs to be allowed for cell centring
+    if (any (srcbbox.lower() % srcbbox.stride() != 0 or
+             dstbbox.lower() % dstbbox.stride() != 0 or
+             regbbox.lower() % regbbox.stride() != 0))
+    {
+      CCTK_WARN (0, "Internal error: array origins are not integer multiples of the strides");
+    }
+#endif
+    
+    // This could be handled, but is likely to point to an error
+    // elsewhere
+    if (regbbox.empty()) {
+      CCTK_WARN (0, "Internal error: region extent is empty");
+    }
+    
+#if 0
+    // This is already guaranteed by bbox
+    if (any ((srcbbox.upper() - srcbbox.lower()) % srcbbox.stride() != 0 or
+             (dstbbox.upper() - dstbbox.lower()) % dstbbox.stride() != 0 or
+             (regbbox.upper() - regbbox.lower()) % regbbox.stride() != 0))
+    {
+      CCTK_WARN (0, "Internal error: array extents are not integer multiples of the strides");
+    }
+#endif
+    
+    if (not regbbox.expanded_for(srcbbox).is_contained_in(srcbbox) or
+        not regbbox.is_contained_in(dstbbox))
+    {
+      CCTK_WARN (0, "Internal error: region extent is not contained in array extent");
+    }
+    
+    if (any (srcext != srcbbox.shape() / srcbbox.stride() or
+             dstext != dstbbox.shape() / dstbbox.stride()))
+    {
+      CCTK_WARN (0, "Internal error: array sizes don't agree with bounding boxes");
+    }
+    
+    
+    
+    ivect3 const regext = regbbox.shape() / regbbox.stride();
+    assert (all (srcbbox.stride() % 2 == 0));
+    assert (all ((regbbox.lower() - srcbbox.lower() - srcbbox.stride() / 2) %
+                 srcbbox.stride() == 0));
+    ivect3 const srcoff =
+      (regbbox.lower() - srcbbox.lower() - srcbbox.stride() / 2) /
+      srcbbox.stride();
+    assert (all ((regbbox.lower() - dstbbox.lower()) % dstbbox.stride() == 0));
+    ivect3 const dstoff =
+      (regbbox.lower() - dstbbox.lower()) / dstbbox.stride();
+    
+    
+    
+    int const srciext = srcext[0];
+    int const srcjext = srcext[1];
+    int const srckext = srcext[2];
+    
+    int const dstiext = dstext[0];
+    int const dstjext = dstext[1];
+    int const dstkext = dstext[2];
+    
+    int const regiext = regext[0];
+    int const regjext = regext[1];
+    int const regkext = regext[2];
+    
+    int const srcioff = srcoff[0];
+    int const srcjoff = srcoff[1];
+    int const srckoff = srcoff[2];
+    
+    int const dstioff = dstoff[0];
+    int const dstjoff = dstoff[1];
+    int const dstkoff = dstoff[2];
+    
+    
+    
+    RT const one = 1;
+    
+    RT const f1 = one/2;
+    RT const f2 = one/2;
+    
+    
+    
+    // Loop over coarse region
+    for (int k=0; k<regkext; ++k) {
+      for (int j=0; j<regjext; ++j) {
+        for (int i=0; i<regiext; ++i) {
+          
+          dst [DSTIND3(i, j, k)] =
+            + f1*f1*f1 * src [SRCIND3(2*i  , 2*j  , 2*k  )]
+            + f2*f1*f1 * src [SRCIND3(2*i+1, 2*j  , 2*k  )]
+            + f1*f2*f1 * src [SRCIND3(2*i  , 2*j+1, 2*k  )]
+            + f2*f2*f1 * src [SRCIND3(2*i+1, 2*j+1, 2*k  )]
+            + f1*f1*f2 * src [SRCIND3(2*i  , 2*j  , 2*k+1)]
+            + f2*f1*f2 * src [SRCIND3(2*i+1, 2*j  , 2*k+1)]
+            + f1*f2*f2 * src [SRCIND3(2*i  , 2*j+1, 2*k+1)]
+            + f2*f2*f2 * src [SRCIND3(2*i+1, 2*j+1, 2*k+1)];
+          
+        }
+      }
+    }
+    
+  }
+  
+  
+  
+  template
+  void
+  restrict_3d_cc_rf2 (CCTK_REAL const * restrict const src,
+                      ivect3 const & srcext,
+                      CCTK_REAL * restrict const dst,
+                      ivect3 const & dstext,
+                      ibbox3 const & srcbbox,
+                      ibbox3 const & dstbbox,
+                      ibbox3 const & regbbox);
+  
+  template
+  void
+  restrict_3d_cc_rf2 (CCTK_COMPLEX const * restrict const src,
+                      ivect3 const & srcext,
+                      CCTK_COMPLEX * restrict const dst,
+                      ivect3 const & dstext,
+                      ibbox3 const & srcbbox,
+                      ibbox3 const & dstbbox,
+                      ibbox3 const & regbbox);
+  
+  
+  
+} // namespace CarpetLib