unofficial mirror of guix-devel@gnu.org 
 help / color / mirror / code / Atom feed
blob ba191f765d2e4e297c264e92441cb7a0bf7aaf1c 3574 bytes (raw)
name: packages/patches/guile-fibers-epoll-instance-is-dead.patch 	 # note: path name is non-authoritative(*)

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
 
From 5db4077e9f5166033637d2af9532ec6144b85646 Mon Sep 17 00:00:00 2001
From: Maxime Devos <maximedevos@telenet.be>
Date: Thu, 30 Jun 2022 14:21:47 +0000
Subject: [PATCH 1/2] Fix behaviour of 'epoll-wake!' after 'run-fibers'.

This avoids the "epoll instance is dead" error noticed in
GNUnet-Scheme's test suite, as reported at
<https://github.com/wingo/fibers/issues/61>.
A test is added in the next commit.

This patch has been applied upstream, but there hasn't been
a new release yet at time of writing.

* fibers/epoll.scm (epoll-wake!)[dead]: Instead of throwing an error,
just return #t.
---
 fibers/epoll.scm | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/fibers/epoll.scm b/fibers/epoll.scm
index d26db4d..eb63242 100644
--- a/fibers/epoll.scm
+++ b/fibers/epoll.scm
@@ -1,6 +1,7 @@
 ;; epoll
 
 ;;;; Copyright (C) 2016 Andy Wingo <wingo@pobox.com>
+;;;; Copyright (C) 2022 Maxime Devos <maximedevos@telenet.be>
 ;;;; 
 ;;;; This library is free software; you can redistribute it and/or
 ;;;; modify it under the terms of the GNU Lesser General Public
@@ -135,7 +136,12 @@ epoll wait (if appropriate)."
     ('waiting
      (primitive-epoll-wake (fileno (epoll-wake-write-pipe epoll))))
     ('not-waiting #t)
-    ('dead (error "epoll instance is dead"))))
+    ;; This can happen if a fiber was waiting on a condition and
+    ;; run-fibers completes before the fiber completes and afterwards
+    ;; the condition is signalled.  In that case, we don't have to
+    ;; resurrect the fiber or something, we can just do nothing.
+    ;; (Bug report: https://github.com/wingo/fibers/issues/61)
+    ('dead #t)))
 
 (define (epoll-default-folder fd events seed)
   (acons fd events seed))

From c01d3853eb56ea4adacc31f51f6e917f8c0abe1c Mon Sep 17 00:00:00 2001
From: Maxime Devos <maximedevos@telenet.be>
Date: Thu, 30 Jun 2022 14:18:36 +0000
Subject: [PATCH 2/2] Test for issue #61.

* tests/conditions.scm: Add a test.
---
 tests/conditions.scm | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)

diff --git a/tests/conditions.scm b/tests/conditions.scm
index 505c42a..179605a 100644
--- a/tests/conditions.scm
+++ b/tests/conditions.scm
@@ -1,6 +1,7 @@
 ;; Fibers: cooperative, event-driven user-space threads.
 
 ;;;; Copyright (C) 2016 Free Software Foundation, Inc.
+;;;; Copyright (C) 2022 Maxime Devos <maximedevos@telenet.be>
 ;;;;
 ;;;; This library is free software; you can redistribute it and/or
 ;;;; modify it under the terms of the GNU Lesser General Public
@@ -21,6 +22,7 @@
   #:use-module (fibers)
   #:use-module (fibers conditions)
   #:use-module (fibers operations)
+  #:use-module (fibers scheduler)
   #:use-module (fibers timers))
 
 (define failed? #f)
@@ -78,4 +80,22 @@
                              (wait cv)
                              #t))
 
+;; Make a condition, wait for it inside a fiber, let the fiber abruptly
+;; terminate and signal the condition afterwards.  This tests for the bug
+;; noticed at <https://github.com/wingo/fibers/issues/61>.
+(assert-equal #t
+	      (let ((cv (make-condition)))
+		(run-fibers
+		 (lambda ()
+		   (spawn-fiber (lambda () (wait cv)))
+		   (yield-current-task)) ; let the other fiber wait forever
+		 ;; This test relies on not draining -- this is the default,
+		 ;; but let's make this explicit.
+		 #:drain? #false ;
+		 ;; For simplicity, disable concurrency and preemption.
+		 ;; That way, we can use 'yield-current-task' instead of an
+		 ;; arbitrary sleep time.
+		 #:hz 0 #:parallelism 1)
+		(signal-condition! cv)))
+
 (exit (if failed? 1 0))

debug log:

solving ba191f765d2e4e297c264e92441cb7a0bf7aaf1c ...
found ba191f765d2e4e297c264e92441cb7a0bf7aaf1c in https://git.savannah.gnu.org/cgit/guix.git

(*) Git path names are given by the tree(s) the blob belongs to.
    Blobs themselves have no identifier aside from the hash of its contents.^

Code repositories for project(s) associated with this public inbox

	https://git.savannah.gnu.org/cgit/guix.git

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).