From 62c0ce18a439d48ef1aa18f38d0c2c33c38b3aa9 Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Sat, 20 Feb 2016 11:41:07 -0500 Subject: [PATCH] Comment explaining a little of the motivation for the previous commit. --- prospect/actor.rkt | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/prospect/actor.rkt b/prospect/actor.rkt index 8c83e9d..8192e8e 100644 --- a/prospect/actor.rkt +++ b/prospect/actor.rkt @@ -288,6 +288,15 @@ (quit) #f)] [(message (link-result (== (actor-state-self-id s)) callee-id reply-values)) + ;; ^ NB. We, in principle, shouldn't need to check the + ;; link-result's caller against our own self-id here, because + ;; events should be routed to us only when generally falling + ;; within our interests. First, the current implementation + ;; overapproximates (though it could use a mux to be precise); + ;; second, *in principle*, overapproximation should perhaps be + ;; seen as OK, since routing may be able to be done much more + ;; efficiently by overapproximating interest slightly. Imagine + ;; using a bloom filter, for instance. (invoke-stored-continuation s callee-id reply-values)] [_ #f]))