From: "João Távora" <joaotavora@gmail.com>
To: emacs-devel@gnu.org
Subject: Re: A question regarding sit-for (and while-no-input)
Date: Thu, 06 Sep 2018 12:59:00 +0100 [thread overview]
Message-ID: <87ftymzvjv.fsf@gmail.com> (raw)
In-Reply-To: <87k1nyzwx5.fsf@gmail.com> ("João Távora"'s message of "Thu, 06 Sep 2018 12:29:26 +0100")
João Távora <joaotavora@gmail.com> writes:
> Hi,
>
> In a couple of my extensions (jsonrpc.el and sly), I am using a
> technique for synchronously fetching completion candidates from an
> external process while still maintaining high responsiveness to the
> user's input.
>
> This is very useful for working with company.el, for example. If the
> user types the first few letters of a completion, the system goes to
> work immediately fetching candidates. If the candidates don't arrive in
> time, they are silently discarded.
>
> I am running into a bug in my program, which only happens sometimes and
> is hard to reproduce. I don't know how to fix it.
>
> I hope this simplified snippet from the function jsonrpc-request in
> lisp/jsonrpc.el illustrates the problem sufficiently for someone to
> provide some hint as to what might be going askew:
>
> (let ((tag (some-unique-symbol))
> (cancelled nil))
> (catch tag
> ...
> (lambda (...) (unless cancelled (throw tag result-or-error)))
> ...
> (cond (cancel-on-input
> (while (sit-for 30))
> (setq cancelled t)
> `(cancelled ,cancel-on-input-retval))
> (t (while t (accept-process-output nil 30)))))
> ...
> )
>
> 'cancel-on-input' is a parameter to jsonrpc-request. If the caller
> provides it as 't', it means he/she wants that call to block as long as
> there is no input from the user. A response from the server before that
> happens, which takes the form of a call to anonymous lambda, will also
> cause the function to return.
>
> Most of the time, this works flawlessly, as intended. But the behaviour
> I'm witnessing is that (throw tag) sometimes happens after the (catch
> tag ...) has been torn down.
>
> What am I missing?? If the catch has been torn down then surely (setq
> cancelled t) must have run, right? Otherwise I would be seeing an error
> from sit-for, which I'm not.
>
> Thanks,
> João
A quick followup to my question. I did some more tests and it seems an
using unwind-protect fixes the issue.
(unwind-protect
(while (sit-for 30))
(setq cancelled t)
...)
Without it, it seems multiple "sit-for" are entered without ever exiting
properly (properly = "executing through the (setq cancelled t)
instruction"). With it, every sit-for has a corresponding proper exit.
I don't understand the need for the "unwind-protect" and my question
stands. Is the sit-for call silently quitting or what? I don't see any
"Quit" in my *Messages* buffer and I'm not pressing C-g at any moment.
I bore down a little bit to keyboard.c's read_char() and it does have
some mentions of quitting, but I honestly don't know if I'm reading it
correctly...
João
next prev parent reply other threads:[~2018-09-06 11:59 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-09-06 11:29 A question regarding sit-for (and while-no-input) João Távora
2018-09-06 11:59 ` João Távora [this message]
2018-09-06 12:33 ` Stefan Monnier
2018-10-04 16:33 ` João Távora
2018-10-05 12:36 ` Stefan Monnier
2018-10-06 10:35 ` João Távora
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=87ftymzvjv.fsf@gmail.com \
--to=joaotavora@gmail.com \
--cc=emacs-devel@gnu.org \
/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.