(address . bug-guix@gnu.org)
87ses073i9.fsf@wolfsden.cz
Hello,
I think I found a bug in the GNU Shepherd. Dependencies between
one-shot? #t services do not seem to be respected.
Documentation for #:requirement says the following (emphasis mine):
Toggle snippet (9 lines)
#:requirement is, like provision, a list of symbols that specify
services. In this case, they name what this service depends on: before
the service can be started, services that provide those symbols *must be
started*.
Note that every name listed in #:requirement must be registered so it
can be resolved (see Service Registry).
Documentation for #:one-shot? says the following:
Toggle snippet (10 lines)
Whether the service is a one-shot service. A one-shot service is a
service that, as soon as it has been successfully started, is marked as
“stopped.” Other services can nonetheless require one-shot
services. One-shot services are useful to trigger an action before other
services are started, such as a cleanup or an initialization action.
As for other services, the start method of a one-shot service must
return a truth value to indicate success, and false to indicate failure.
Nothing in there seems to mention that one-shot? services do not
actually wait on each other. To reproduce I wrote a simple
configuration file:
Toggle snippet (25 lines)
(define %one-shot #f)
(use-modules (srfi srfi-1))
(define (make-waiting-service name wait requirement)
(service (list name)
#:requirement requirement
#:start (λ _
(sleep wait)
(format #t "~a\n" name)
#t)
#:one-shot? %one-shot))
(let ((svcs (pair-fold (λ (names waits svcs)
(cons (make-waiting-service (car names)
(car waits)
(cdr names))
svcs))
'()
'(a b c d)
'(1 2 3 4))))
(register-services svcs)
(start-in-the-background (map service-canonical-name svcs)))
Each service sleeps for `wait' seconds to simulate some slow work being
done. In effect that means that each of the services takes different
time to start up.
Now, when we run it as it is, we get the following (correct) output:
Toggle snippet (29 lines)
$ shepherd -c conf.scm
Starting service root...
Service root started.
Service root running with value #t.
Service root has been started.
Configuration successfully loaded from 'conf.scm'.
Starting service d...
d
Service d has been started.
Service d started.
Service d running with value #t.
Starting service c...
c
Service c has been started.
Service c started.
Service c running with value #t.
Starting service b...
b
Service b has been started.
Service b started.
Service b running with value #t.
Starting service a...
a
Service a has been started.
Service a started.
Successfully started 4 services in the background.
Service a running with value #t.
Notice the start-up order (d c b a). If you run it, you will also
notice that `d' takes 4 seconds to start up, `c' 3 seconds etc.
However if we change the define at the top of the configuration file to
#t, hence:
Toggle snippet (3 lines)
(define %one-shot #t)
The behavior changes:
Toggle snippet (29 lines)
$ shepherd -c conf.scm
Starting service root...
Service root started.
Service root running with value #t.
Service root has been started.
Configuration successfully loaded from 'conf.scm'.
Starting service d...
Starting service c...
Starting service b...
Starting service a...
a
Service a has been started.
Service a started.
Service a running with value #t.
b
Service b has been started.
Service b started.
Service b running with value #t.
c
Service c has been started.
Service c started.
Service c running with value #t.
d
Service d has been started.
Service d started.
Successfully started 4 services in the background.
Service d running with value #t.
Notice that the order changed to (a b c d, this matches the increasing
wait time), the initial messages are all together:
Toggle snippet (6 lines)
Starting service d...
Starting service c...
Starting service b...
Starting service a...
and the whole start-up takes 4 seconds (the wait time of `d'). That
seems to indicate that all 4 services are actually starting at the same
time without waiting as they should per the #:requirement argument.
Have a nice day,
Tomas
--
There are only two hard things in Computer Science:
cache invalidation, naming things and off-by-one errors.