Merge remote-tracking branch 'origin/fix/1165-fill-retry' into feat/the-checker

# Conflicts:
#	modules/mesh-provisioner-client/cmd/mesh-provisioner-client/client_test.go
This commit is contained in:
2026-10-21 21:50:26 +02:00
5 changed files with 260 additions and 6 deletions
@@ -119,6 +119,9 @@ type Client struct {
Templates *templateStore
// Now dates the reports; nil is time.Now.
Now func() time.Time
// SocketUp wakes the client when the node-engine's write socket is made again (watchSocket); nil never does.
// A module whose write failed for want of the socket is filled again then (issue 1165), and nothing else is.
SocketUp <-chan struct{}
// watchBound watches a provider's bucket of entries for this machine's keys, once per run (consumers.go); set by
// Run.
@@ -147,6 +150,8 @@ type state struct {
// of the consumers left out of one of its files.
providing map[string]bool
leftOut map[string]string
// unplaced is a module whose last fill failed for want of the node-engine's write socket (issue 1165).
unplaced map[string]bool
// bound is each provider's bucket of entries this client watches, by key: this machine's consumers' entries alone;
// boundReady is a bucket whose current entries are all read, and boundUsers the modules filled from each.
bound map[string]map[string][]byte
@@ -161,6 +166,8 @@ type update struct {
changed []byte
// asked is the tool runner asking for a module's value (asks.go). Set, entry is nil.
asked *nats.Msg
// socketUp is the node-engine's write socket made again (issue 1165). Set, entry is nil.
socketUp bool
}
// Run serves until ctx ends or a watch stops, which it returns: run again, it starts from the current values.
@@ -248,6 +255,23 @@ func (c *Client) Run(ctx context.Context) error {
return fmt.Errorf("listening for %s: %w", SecretChangedSubject, err)
}
defer func() { _ = said.Unsubscribe() }()
// The node-engine's write socket made again: what failed for want of it is filled again, in the loop below.
if c.SocketUp != nil {
go func() {
for {
select {
case <-ctx.Done():
return
case <-c.SocketUp:
select {
case updates <- update{socketUp: true}:
case <-ctx.Done():
return
}
}
}
}()
}
// This machine's tool runner asking for a module's config value (asks.go): answered from this run's state, in
// its loop, so an answer is never read from half an update.
asks, err := c.Conn.Subscribe(AskSubject(c.Node), func(m *nats.Msg) {
@@ -266,7 +290,7 @@ func (c *Client) Run(ctx context.Context) error {
reported: map[string][]byte{}, secrets: map[string]heldSecret{}, items: map[string]map[string]itemValue{},
recorded: map[string][]byte{}, assigned: map[string]bool{}, binds: map[string]binding{},
providing: map[string]bool{}, leftOut: map[string]string{}, bound: map[string]map[string][]byte{},
boundReady: map[string]bool{}, boundUsers: map[string]map[string]bool{}}
boundReady: map[string]bool{}, unplaced: map[string]bool{}, boundUsers: map[string]map[string]bool{}}
// Every current value first: nothing is filled from half of them.
current := map[string]bool{}
var early []*nats.Msg
@@ -282,6 +306,9 @@ func (c *Client) Run(ctx context.Context) error {
early = append(early, u.asked)
continue
}
if u.socketUp {
continue // the first fill below tries every file
}
if u.changed != nil {
// Nothing is held yet: every secret is asked for when it is first filled.
continue
@@ -326,6 +353,10 @@ func (c *Client) Run(ctx context.Context) error {
switch {
case u.asked != nil:
c.respond(s, u.asked)
case u.socketUp:
for m := range s.unplaced {
dirty[m] = true
}
case u.changed != nil:
for _, m := range c.secretChanged(s, u.changed) {
dirty[m] = true
@@ -550,6 +581,7 @@ func (c *Client) leftModules(s *state) []string {
// leave removes a module's needs and its report: it is no longer the provisioner's on this node.
func (c *Client) leave(ctx context.Context, kvs map[string]jetstream.KeyValue, s *state, module string) {
prefix := c.Node + "." + module + "."
delete(s.unplaced, module)
removed := 0
for _, key := range sortedKeys(s.needs) {
if strings.HasPrefix(key, prefix) {
@@ -660,6 +692,7 @@ func (c *Client) reconcile(ctx context.Context, kvs map[string]jetstream.KeyValu
c.forgetItems(ctx, kvs, s, module, keep)
}
moved := false
delete(s.unplaced, module)
for _, f := range targets {
// File by file (issue 1553, ADR 0349 clause 4): a target with a value that waits keeps the file there is.
if !allKnown(f.text, values) {
@@ -672,6 +705,9 @@ func (c *Client) reconcile(ctx context.Context, kvs map[string]jetstream.KeyValu
err = errFill(a)
}
if err != nil {
if socketAbsent(err) {
s.unplaced[module] = true
}
failed = append(failed, fmt.Sprintf("%s: %v", f.Path, err))
continue
}
@@ -200,6 +200,14 @@ type engine struct {
}
func startEngine(t *testing.T, owners map[string]string) *engine {
t.Helper()
e := newEngine(t, owners)
e.listen(t)
return e
}
// newEngine is an engine whose socket is not made yet: a node-engine not started, or replacing itself.
func newEngine(t *testing.T, owners map[string]string) *engine {
t.Helper()
// A unix socket's path is short: under /tmp, not the test's own directory.
dir, err := os.MkdirTemp("/tmp", "p5-")
@@ -209,6 +217,12 @@ func startEngine(t *testing.T, owners map[string]string) *engine {
t.Cleanup(func() { os.RemoveAll(dir) })
e := &engine{root: t.TempDir(), socket: filepath.Join(dir, "fill.sock"), owner: owners,
moved: map[string]int{}, asked: map[string]int{}, wrote: map[string]string{}}
return e
}
// listen makes the socket and answers on it until stop, which removes it as a node-engine stopping does.
func (e *engine) listen(t *testing.T) (stop func()) {
t.Helper()
l, err := net.Listen("unix", e.socket)
if err != nil {
t.Fatal(err)
@@ -233,7 +247,7 @@ func startEngine(t *testing.T, owners map[string]string) *engine {
}()
}
}()
return e
return func() { l.Close(); os.Remove(e.socket) }
}
func (e *engine) at(path string) string { return filepath.Join(e.root, path) }
@@ -349,10 +363,14 @@ func aClient(t *testing.T, b *aBus, e *engine, state string) (*Client, func()) {
t.Fatal(err)
}
secrets.Within = 2 * time.Second
c := &Client{Node: node, JS: js, Conn: nc, Secrets: secrets,
ctx, cancel := context.WithCancel(context.Background())
up, err := watchSocket(ctx, e.socket)
if err != nil {
t.Fatal(err)
}
c := &Client{Node: node, JS: js, Conn: nc, Secrets: secrets, SocketUp: up,
Fill: SocketFiller{Socket: e.socket, Busy: 10 * time.Millisecond, Tries: 3},
Templates: &templateStore{dir: state, fetch: HTTPFetch}}
ctx, cancel := context.WithCancel(context.Background())
done := make(chan error, 1)
go func() { done <- c.Run(ctx) }()
stopped := false
@@ -723,3 +741,96 @@ func (b *aBus) defaults(t *testing.T, module string, manifest []byte) {
}
}
}
// Issue 1165: a file whose write failed because the node-engine's socket was gone is written when the socket is made
// again, with no timer; a file that was placed is not asked again by it.
func TestNatsAFillThatFailedForWantOfTheSocketIsTriedWhenTheSocketReturns(t *testing.T) {
b := startBus(t)
heard := b.listen(t)
e := newEngine(t, map[string]string{dunstrc: "owned"})
b.config(t, "dunst", "font-size", "13")
b.assign(t, "dunst", dunst(t))
aClient(t, b, e, t.TempDir())
eventually(t, "the failure is said", func() bool {
r, _ := heard.last("dunst")
return r.Status == StatusFailed && strings.Contains(r.Reason, "fill.sock")
})
if got := e.read(t, dunstrc); got != "" {
t.Fatalf("written without a socket: %q", got)
}
e.listen(t)
eventually(t, "dunstrc is written once the socket is back", func() bool {
return strings.Contains(e.read(t, dunstrc), "Monospace 13")
})
eventually(t, "and the report says applied", func() bool {
r, _ := heard.last("dunst")
return r.Status == StatusApplied
})
}
func TestNatsAReturningSocketAsksNothingOfAModuleThatWasPlaced(t *testing.T) {
b := startBus(t)
e := newEngine(t, map[string]string{dunstrc: "owned"})
stop := e.listen(t)
b.config(t, "dunst", "font-size", "13")
b.assign(t, "dunst", dunst(t))
aClient(t, b, e, t.TempDir())
eventually(t, "dunstrc is filled", func() bool { return strings.Contains(e.read(t, dunstrc), "Monospace 13") })
_, before := e.counts(dunstrc)
// The node-engine replaces itself: the socket goes and returns, and a later change proves the loop ran past it.
stop()
e.listen(t)
b.config(t, "dunst", "font-size", "15")
eventually(t, "the change is written", func() bool { return strings.Contains(e.read(t, dunstrc), "Monospace 15") })
_, after := e.counts(dunstrc)
if after-before != 1 {
t.Errorf("dunstrc was asked %d times for one change", after-before)
}
}
func TestWatchSocketWakesWhenTheSocketIsMadeAndWhenItsDirectoryReturns(t *testing.T) {
base, err := os.MkdirTemp("/tmp", "ws-")
if err != nil {
t.Fatal(err)
}
t.Cleanup(func() { os.RemoveAll(base) })
dir := filepath.Join(base, "engine")
if err := os.Mkdir(dir, 0o755); err != nil {
t.Fatal(err)
}
socket := filepath.Join(dir, "fill.sock")
ctx, cancel := context.WithCancel(context.Background())
defer cancel()
up, err := watchSocket(ctx, socket)
if err != nil {
t.Fatal(err)
}
heard := func(what string) {
t.Helper()
select {
case <-up:
case <-time.After(5 * time.Second):
t.Fatalf("no wake for %s", what)
}
}
l, err := net.Listen("unix", socket)
if err != nil {
t.Fatal(err)
}
heard("the socket made")
l.Close()
// The whole directory goes, as with a runtime directory removed on stop, and returns with the socket.
if err := os.RemoveAll(dir); err != nil {
t.Fatal(err)
}
if err := os.Mkdir(dir, 0o755); err != nil {
t.Fatal(err)
}
if l, err = net.Listen("unix", socket); err != nil {
t.Fatal(err)
}
defer l.Close()
heard("the directory and socket back")
}
@@ -133,7 +133,11 @@ func serve(ctx context.Context, credential, socket, stateDir string) error {
if err != nil {
return err
}
client := &Client{Node: c.Node, JS: js, Conn: nc, Secrets: secrets,
up, err := watchSocket(ctx, socket)
if err != nil {
return err
}
client := &Client{Node: c.Node, SocketUp: up, JS: js, Conn: nc, Secrets: secrets,
Fill: SocketFiller{Socket: socket, Busy: time.Second, Tries: 10},
Templates: &templateStore{dir: filepath.Join(stateDir, "templates"), fetch: HTTPFetch}}
wait := time.Second
@@ -0,0 +1,103 @@
package main
import (
"context"
"errors"
"fmt"
"os"
"path/filepath"
"syscall"
"unsafe"
"golang.org/x/sys/unix"
)
// socketAbsent says whether a write failed because nothing answers at the node-engine's write socket: its file is
// gone, or it is there with no one listening. That is the node-engine replacing itself (issue 1165); the write is
// tried again when the socket is back (watchSocket).
func socketAbsent(err error) bool {
return errors.Is(err, syscall.ENOENT) || errors.Is(err, syscall.ECONNREFUSED)
}
// watchSocket tells, on the channel it returns, each time the file at socket is made, moved in or changed in its
// attributes — a node-engine that starts makes its write socket and sets its mode — until ctx ends. It is the
// operating system's own event (inotify), not a timer: the client is on the node-engine's machine. Events that
// come while one is unread are one. When the socket's directory is gone it watches the directory above for its
// return. The channel only wakes: what is owed a write is the client's to read.
func watchSocket(ctx context.Context, socket string) (<-chan struct{}, error) {
fd, err := unix.InotifyInit1(unix.IN_CLOEXEC | unix.IN_NONBLOCK)
if err != nil {
return nil, fmt.Errorf("watching %s: %w", socket, err)
}
f := os.NewFile(uintptr(fd), "inotify")
out := make(chan struct{}, 1)
dir := filepath.Dir(socket)
// The directory's watch and, while the directory is absent, its parent's.
if err := addWatches(fd, dir); err != nil {
_ = f.Close()
return nil, fmt.Errorf("watching %s: %w", socket, err)
}
go func() { <-ctx.Done(); _ = f.Close() }()
go func() {
buf := make([]byte, 16*(unix.SizeofInotifyEvent+unix.NAME_MAX+1))
for {
n, err := f.Read(buf)
if err != nil {
return
}
wake, rewatch := false, false
for off := 0; off+unix.SizeofInotifyEvent <= n; {
ev := (*unix.InotifyEvent)(unsafe.Pointer(&buf[off]))
name := ""
if ev.Len > 0 {
raw := buf[off+unix.SizeofInotifyEvent : off+unix.SizeofInotifyEvent+int(ev.Len)]
for i, b := range raw {
if b == 0 {
raw = raw[:i]
break
}
}
name = string(raw)
}
off += unix.SizeofInotifyEvent + int(ev.Len)
switch {
case ev.Mask&(unix.IN_DELETE_SELF|unix.IN_MOVE_SELF|unix.IN_IGNORED) != 0:
rewatch = true
case name == filepath.Base(socket):
wake = true
case name == filepath.Base(dir):
// The directory came back: watched again, and the socket may already be in it.
rewatch, wake = true, true
}
}
if rewatch {
if err := addWatches(fd, dir); err != nil {
logf("[provisioner-client] watching %s again: %v", socket, err)
}
if _, err := os.Lstat(socket); err == nil {
wake = true
}
}
if wake {
select {
case out <- struct{}{}:
default:
}
}
}
}()
return out, nil
}
// addWatches watches dir for what is made in it, and its parent for dir's own return; a watch already there is kept.
func addWatches(fd int, dir string) error {
if _, err := unix.InotifyAddWatch(fd, filepath.Dir(dir), unix.IN_CREATE|unix.IN_MOVED_TO); err != nil {
return err
}
_, err := unix.InotifyAddWatch(fd, dir, unix.IN_CREATE|unix.IN_MOVED_TO|unix.IN_ATTRIB|unix.IN_DELETE_SELF|
unix.IN_MOVE_SELF)
if errors.Is(err, syscall.ENOENT) {
return nil // absent: its parent's watch tells when it is made
}
return err
}
+1 -1
View File
@@ -6,6 +6,7 @@ require (
git.novox.be/novox/mesh-sdk/go v0.1.14-0.20261021114014-66e8fdaa62e2
github.com/nats-io/nats-server/v2 v2.11.17
github.com/nats-io/nats.go v1.54.0
golang.org/x/sys v0.48.0
)
require (
@@ -17,6 +18,5 @@ require (
github.com/nats-io/nkeys v0.4.16 // indirect
github.com/nats-io/nuid v1.0.1 // indirect
golang.org/x/crypto v0.57.0 // indirect
golang.org/x/sys v0.48.0 // indirect
golang.org/x/time v0.15.0 // indirect
)