From: Thien-Thi Nguyen <ttn@gnu.org>
To: emacs-devel <emacs-devel@gnu.org>
Cc: "João Távora" <joaotavora@gmail.com>
Subject: Re: run-with-timer vs run-with-idle-timer
Date: Thu, 10 May 2018 20:50:50 +0200 [thread overview]
Message-ID: <87603v4a5x.fsf@gnuvola.org> (raw)
In-Reply-To: <CALDnm53XYB8VbCnRGz+1CQfKS4Ab9VohLA8Ve=ZTa8=_2=ZS_g@mail.gmail.com> ("João Távora"'s message of "Thu, 10 May 2018 13:28:20 +0100")
[-- Attachment #1: Type: text/plain, Size: 2777 bytes --]
() João Távora <joaotavora@gmail.com>
() Thu, 10 May 2018 13:28:20 +0100
I'm using throw/catch because there are lambdas setup inside
that block (but outside the while t).
Inside the lambda is the throw. I then store these lambdas
in a global CONTINUATIONS var that the process filter looks
up and calls if appropriate. The infloop breaks then.
If you can structure whatever ‘catch’es the ‘throw’s to mutate
state visible to CONDITION, then you can use ‘while CONDITION’.
If that state is dynamic (e.g., declared w/ ‘defvar’), you can
can reconfigure the ‘throw’ to simply mutate it directly, and
eliminate the ‘catch’ part (and still use ‘while CONDITION’).
It's much harder (and much less efficient at first sight) to
do it by polling CONDITION, but I may be missing something.
Hmmm.
Let me know if you want to look at a concrete example of the
lambda strategy.
I'd appreciate seeing a skeleton of the code, because what i
imagine it to be is probably not exactly what it is. (I could
be misunderstanding your description grossly.)
BTW I learned this strategy reading SLIME, I just simplified
it when lexical binding came along. It's been working there
and in other projects for a long time.
I confess i've never looked deeply at SLIME innards. Aside from
some simple toys, my only deep experience w/ async code is w/
gnugo.el -- in func ‘gnugo--q’ you can see:
(while (process-get proc :incomplete)
(accept-process-output proc 30))
Here, CONDITION is ‘(process-get proc :incomplete)’ and the
process filter is the one responsible for evaluating:
(process-put proc :incomplete nil)
The state is not in a variable but in a process object property
(named ‘:incomplete’). Its value is initialized to ‘t’ prior to
looping. The change from ‘t’ to ‘nil’ breaks the loop. Another
precision to note is that the ‘accept-process-output’ 1st arg is
specified. I believe (but have never actually measured) this
helps performance slightly.
This has also worked for quite a while.
I suppose it's a matter of style. I feel uncomfortable writing
‘while t’ + ‘throw’ (or similar) in gnugo.el because one of its
design goals (fulfilled, AFAICT, knock on wood! :-D) is to be
able to play multiple games simultaneously (i.e., run multiple
independent child processes), and greedily spinning borks that.
--
Thien-Thi Nguyen -----------------------------------------------
(defun responsep (query)
(pcase (context query)
(`(technical ,ml) (correctp ml))
...)) 748E A0E8 1CB8 A748 9BFA
--------------------------------------- 6CE4 6703 2224 4C80 7502
[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 197 bytes --]
next prev parent reply other threads:[~2018-05-10 18:50 UTC|newest]
Thread overview: 17+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-05-09 17:34 run-with-timer vs run-with-idle-timer João Távora
2018-05-09 18:10 ` Eli Zaretskii
2018-05-09 18:17 ` Eli Zaretskii
2018-05-09 18:40 ` João Távora
2018-05-09 18:59 ` Eli Zaretskii
2018-05-09 19:15 ` João Távora
2018-05-09 19:21 ` Eli Zaretskii
2018-05-09 19:34 ` João Távora
2018-05-09 20:00 ` Davis Herring
2018-05-09 20:18 ` João Távora
2018-05-10 11:46 ` Thien-Thi Nguyen
2018-05-10 12:28 ` João Távora
2018-05-10 18:50 ` Thien-Thi Nguyen [this message]
2018-05-11 10:39 ` João Távora
2018-05-11 11:05 ` João Távora
2018-05-12 17:57 ` Thien-Thi Nguyen
2018-05-12 17:37 ` Thien-Thi Nguyen
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=87603v4a5x.fsf@gnuvola.org \
--to=ttn@gnu.org \
--cc=emacs-devel@gnu.org \
--cc=joaotavora@gmail.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
Code repositories for project(s) associated with this external index
https://git.savannah.gnu.org/cgit/emacs.git
https://git.savannah.gnu.org/cgit/emacs/org-mode.git
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.