about summary refs log tree commit diff
diff options
context:
space:
mode:
authorArun Isaac2024-10-02 01:07:28 +0100
committerArun Isaac2024-10-02 02:08:58 +0100
commit0e5de7766173a2812183c5c26759c1c27e8d8e40 (patch)
tree69e11d827936e158b9da42f03238fe6cb1845a3b
parent707774f68f11f82cf2756bae406938b380c35d8b (diff)
downloadravanan-0e5de7766173a2812183c5c26759c1c27e8d8e40.tar.gz
ravanan-0e5de7766173a2812183c5c26759c1c27e8d8e40.tar.lz
ravanan-0e5de7766173a2812183c5c26759c1c27e8d8e40.zip
propnet: Explain in detail why we never cancel running propagators.
* ravanan/propnet.scm (poll-propnet): Add detailed comment elaborating
on why we never cancel or forget about running propagators.
-rw-r--r--ravanan/propnet.scm11
1 files changed, 9 insertions, 2 deletions
diff --git a/ravanan/propnet.scm b/ravanan/propnet.scm
index ca5c629..e6155d8 100644
--- a/ravanan/propnet.scm
+++ b/ravanan/propnet.scm
@@ -210,8 +210,15 @@ add to the inbox."
                 cell-values-inbox
                 other-propagators
                 ;; We don't need to cancel or forget about previous runs of the
-                ;; same propagator because cells only "accumulate" information;
-                ;; they never remove it.
+                ;; same propagator because cells only *accumulate* information;
+                ;; they never remove it. Any previous runs of the same
+                ;; propagator will only *add to* the information in the output
+                ;; cells. Previous runs may be closer to completion and taking
+                ;; advantage of their output may allow later stages to start
+                ;; running sooner, thus improving throughput. In our CWL
+                ;; application of propnets, this will never result in the same
+                ;; step being recomputed; so this approach does not come at a
+                ;; higher computational cost.
                 (append (maybe-alist
                          (cons (propagator-name propagator)
                                (activate-propagator