From: Francis Russell <francis@unchartedbackwaters.co.uk>
Date: Fri, 30 Mar 2012 14:50:30 +0000 (+0100)
Subject: Add incoherent thoughts about DSL operator semantics.
X-Git-Url: https://git.unchartedbackwaters.co.uk/w/?a=commitdiff_plain;h=37039453add715dc60428ded377318bb146b58ee;p=francis%2Fofc.git

Add incoherent thoughts about DSL operator semantics.
---

diff --git a/docs/operator_semantics.txt b/docs/operator_semantics.txt
new file mode 100644
index 0000000..b02f74d
--- /dev/null
+++ b/docs/operator_semantics.txt
@@ -0,0 +1,30 @@
+- fftbox
+
+Conceptually, this is a block-wise operator. However, it is just a
+spatial restriction that can be applied on a per-point basis, but
+requires point co-ordinate information to do so.
+
+- *
+
+The scaling operator is point-wise and does not require access to any
+index values.
+
+- reciprocal
+
+This operator is block-wise. Since we intend to implement is as a black
+box, we need to incorporate reading into and out of a buffer passed to
+a FFT implementation.
+
+This operator will define new output indices.
+
+- laplacian
+
+Like the fftbox operator, this is conceptually block-wise but can be
+applied on a per-point basis.
+
+- inner
+
+Operates on blocks, can be applied point-wise. Is the only operator we
+currently have that binds spatial indices together. Typically will
+require one of the operands to support random access. Which one should
+be a choice for the compiler.