Email or username:

Password:

Forgot your password?
Andrew's posts Post Back to profile
Andrew Tropin

Fun fact: After calling `join-thread`, you still can get #f from `thread-exited?`

#guile #scheme #lisp
3 Oct 2023 at 7:06 | Open on fosstodon.org
7 comments
graywolf

@abcdw That is... weird. Is that a bug? Or an expected behavior?

3 Oct 2023 at 12:49 | Open on emacs.ch
Andrew Tropin

@graywolf I didn't expect such behavior, so I will ask on IRC. paste.rs/qrrYe

3 Oct 2023 at 13:32 | Open on fosstodon.org
graywolf

@abcdw Hm since there was no reaction in IRC, I wanted to send it to mailing list. But I cannot reproduce it:

(use-modules (ice-9 threads))
(let ((th (call-with-new-thread (lambda () 'hi))))
(pk (join-thread th))
(pk (thread-exited? th))
(sleep 1)
(pk (thread-exited? th)))

gives me:

$ guile /tmp/x.scm

;;; (hi)

;;; (#t)

;;; (#t)

I am on guile 3.0.9.

@abcdw Hm since there was no reaction in IRC, I wanted to send it to mailing list. But I cannot reproduce it:

(use-modules (ice-9 threads))
(let ((th (call-with-new-thread (lambda () 'hi))))
(pk (join-thread th))
(pk (thread-exited? th))
(sleep 1)
(pk (thread-exited? th)))

gives me:

$ guile /tmp/x.scm

8 Oct 2023 at 0:37 | Open on emacs.ch
Andrew Tropin

@graywolf Thank you for trying it! Yes, you are right, this is not a minimal reproducer (I just didn't check after extracting a snippet from project).

This one should reproduce the behavior:
paste.rs/tdGRS

9 Oct 2023 at 5:38 | Open on fosstodon.org
Andrew Tropin

@graywolf Have you reproduce it? (the second example).

13 Oct 2023 at 5:47 | Open on fosstodon.org
graywolf

@abcdw Yes, I managed to reproduce it, and then was thinking if this is guile or fibers bug, and then got distracted and did something else. Sorry about that.

I still have no opinion regarding who's bug it is (ok, I am leaning towards guile itself).

13 Oct 2023 at 10:10 | Open on emacs.ch
Andrew Tropin

@graywolf Good!

If you decide to report it on mailing list please Cc me, ok?)

13 Oct 2023 at 10:15 | Open on fosstodon.org
Go Up