mirror of
https://github.com/slackhq/nebula.git
synced 2026-11-15 07:16:52 +01:00
Build slackhq/nebula#1821 ("who is this vpn address?" over a local HTTP+JSON socket) on the command registry, so the lookup is one command on every surface and the socket is one more local API. identity - `identity [-address <vpn addr>[:port]]`: no address reports this node; with one, this node or the peer behind an established tunnel - Certificate fields only: name, vpn addresses, networks, unsafe networks, groups, fingerprint, issuer, validity, cert version; a peer's fingerprint is the one nebula computed when it verified the cert - Port accepted and stripped, 4in6 unmapped, so a RemoteAddr passes straight through - No tunnel is a commands.NotFound; an empty -address is refused - Lighthouse TXT lookup shares the owner and peer lookups, keeps answering with the initiating certificate, and no longer panics without a default cert - Served on ssh and nebula ctl too Info API - Off until `local_api.info.enabled` with `socket` and optional quoted octal `socket_mode` (default "0600"); nothing derived - Serves commands declaring Command.Identity plus help; others 403 naming their surfaces. TestInfoAPISurface pins the set to identity - GET /v1 is the schema; GET /v1/<cmd>?<flag>=<value> runs one; body is the -json rendering via commands.Render; commands.PresentationFormat reads json/pretty from the query the way a line is read - 400 commands.ParamError, 403 commands.WithheldError (what Resolve now returns for a withheld name, so help and dispatch type-check it too), 404 NotFound or unknown, 500 Run error, refusal with no reason, or recovered panic with no detail; no redirects; every miss is JSON - listen takes a mode: bind under umask 0077 then chmod; "0660" plus a searchable dir opens it to a group - The chmod, at bind and on a mode-only reload, goes through chmodSocket, which never follows a link: a user who can write the socket's directory could otherwise swap the node for a link and have a root daemon put 0660 or 0666 on any file. Only a socket we own is chmoded. On linux the node is held open O_PATH|O_NOFOLLOW, checked by fstat, and chmoded through /proc/self/fd, so the check and the chmod land on one inode; fchmodat2 is the fallback without /proc. On darwin and the BSDs it is an Lstat check and fchmodat(AT_SYMLINK_NOFOLLOW). clearStale Lstats too, so a dangling link is refused rather than followed by bind on darwin - One endpoint type owns bind under mutex, bind-before-release move, context watch and stop/unlink; each server supplies what it serves - Reloadable through the same reconcile shape as the control socket: mode applied in place, unparsable section keeps what runs, control socket path refused by name - Wire returns Endpoints{Control, Info} with one Stop - Windows unsupported for now (a pipe has no mode); warned once Tests: identity lookups and shapes; API filter, status codes, panic recovery, socket mode, rebind, cancellation; config parsing incl. bare 0660; Wire transitions; e2e of two nebulas with the info API resolving the peer by address and port, through shared test.HTTPDo/HTTPGet helpers. Goldens gain identity. Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
426 lines
14 KiB
Go
426 lines
14 KiB
Go
package localapi
|
|
|
|
import (
|
|
"bytes"
|
|
"context"
|
|
"encoding/json"
|
|
"errors"
|
|
"fmt"
|
|
"io"
|
|
"log/slog"
|
|
"math"
|
|
"net"
|
|
"runtime/debug"
|
|
"strconv"
|
|
"sync/atomic"
|
|
"time"
|
|
|
|
"github.com/slackhq/nebula/commands"
|
|
)
|
|
|
|
const (
|
|
// defaultMaxConns caps concurrent connections. Exceeding it is rejected rather than
|
|
// queued: a queue turns a load problem into a latency problem and hides it.
|
|
defaultMaxConns = 8
|
|
|
|
// readTimeout bounds how long a client may take to send its request line.
|
|
readTimeout = 10 * time.Second
|
|
|
|
// writeTimeout bounds a single write. A client that stops reading is dropped rather
|
|
// than waited on, so a paused terminal cannot pin daemon resources.
|
|
writeTimeout = 30 * time.Second
|
|
|
|
// defaultSlowAfter is how long a command may run before the daemon says so. A
|
|
// command holds a connection slot until it returns, and one that never returns
|
|
// holds it for good; after enough of those the socket answers only "busy". The
|
|
// warning is what tells an operator that from load, and names the command.
|
|
defaultSlowAfter = 30 * time.Second
|
|
)
|
|
|
|
// Server serves a command registry over a local socket to the user who ran nebula.
|
|
type Server struct {
|
|
endpoint
|
|
src *commands.Registry
|
|
|
|
maxConns int
|
|
slowAfter time.Duration
|
|
|
|
sem chan struct{}
|
|
euid uint32
|
|
|
|
// trustSocket is set while a group shares the socket. The kernel admitted the peer
|
|
// through the socket's mode and group, which is the whole access control then, and
|
|
// the peer check below stands aside: on unix it sees the peer's uid and primary gid
|
|
// only, so it could not tell a member of the group from anyone else.
|
|
trustSocket atomic.Bool
|
|
}
|
|
|
|
// NewServer returns a Server that will serve every command in reg, including one
|
|
// registered on it after the server is built.
|
|
func NewServer(l *slog.Logger, reg *commands.Registry) *Server {
|
|
return &Server{
|
|
endpoint: endpoint{l: l, name: "local control socket"},
|
|
src: reg,
|
|
maxConns: defaultMaxConns,
|
|
slowAfter: defaultSlowAfter,
|
|
// The same identity the client's owner check is made for, so the peer check
|
|
// cannot disagree with it, and so a test can stand in for it the same way.
|
|
euid: currentUID(),
|
|
}
|
|
}
|
|
|
|
// Rebind brings the server up at path, moves a running server there, and serves it until
|
|
// Stop or ctx cancellation; endpoint.rebindLocked says what that promises. An error here
|
|
// is never fatal to the caller: nebula keeps forwarding packets without a control
|
|
// endpoint, and the caller is expected to log and carry on.
|
|
func (s *Server) Rebind(ctx context.Context, path string, acc Access) error {
|
|
s.mu.Lock()
|
|
defer s.mu.Unlock()
|
|
|
|
// Set before the access is applied, not after, so no connection the new access
|
|
// admits is checked against the old setting. Early is safe either way: a member
|
|
// arriving before a group's mode is set is refused by the kernel, and with a group
|
|
// being taken away the peer check applies a moment before the mode tightens.
|
|
prev := s.trustSocket.Swap(acc.shared())
|
|
err := s.rebindLocked(ctx, path, acc, func(ln net.Listener) io.Closer {
|
|
s.l.Info("Local control socket listening", "path", path, "access", acc.String())
|
|
// Closing the listener, when it is given up, ends the accept loop on the
|
|
// closed-listener error; in flight commands keep their connections, which stay
|
|
// usable until they finish.
|
|
go s.accept(ln, s.semaphore())
|
|
return ln
|
|
})
|
|
if err != nil {
|
|
// Whatever was serving still is, with the access it had.
|
|
s.trustSocket.Store(prev)
|
|
}
|
|
return err
|
|
}
|
|
|
|
// semaphore returns the connection limiter, creating it on first use. It is made once
|
|
// and never replaced: a handler releases into the channel it acquired from, so swapping
|
|
// in a fresh one across a Stop and Rebind would leave any handler still in flight
|
|
// blocked forever on a channel nothing had filled. Callers hold s.mu.
|
|
func (s *Server) semaphore() chan struct{} {
|
|
if s.sem == nil {
|
|
s.sem = make(chan struct{}, s.maxConns)
|
|
}
|
|
return s.sem
|
|
}
|
|
|
|
// Accept failures that are not the listener closing are retried after a pause that
|
|
// doubles from acceptRetryMin up to acceptRetryMax, the same shape as net/http.Serve.
|
|
const (
|
|
acceptRetryMin = 5 * time.Millisecond
|
|
acceptRetryMax = time.Second
|
|
)
|
|
|
|
// accept serves connections from ln until it is closed. sem is the limiter to acquire
|
|
// from and release into; it is passed rather than read from s so the handlers spawned
|
|
// here never touch s.sem without the lock.
|
|
//
|
|
// Only a closed listener ends the loop; Stop and Rebind are the two things that close
|
|
// it. Every other error is retried: the process being out of descriptors (EMFILE,
|
|
// ENFILE) or a client that hung up between the kernel's queue and us (ECONNABORTED)
|
|
// are passing conditions, and giving up on them would leave a socket on disk that
|
|
// nothing answers, with the reason buried in a log line from minutes or days earlier.
|
|
func (s *Server) accept(ln net.Listener, sem chan struct{}) {
|
|
var delay time.Duration
|
|
for {
|
|
conn, err := ln.Accept()
|
|
if err != nil {
|
|
if errors.Is(err, net.ErrClosed) {
|
|
return
|
|
}
|
|
|
|
if ne, ok := err.(net.Error); ok && ne.Timeout() {
|
|
continue
|
|
}
|
|
|
|
if delay == 0 {
|
|
delay = acceptRetryMin
|
|
} else {
|
|
delay = min(delay*2, acceptRetryMax)
|
|
}
|
|
s.l.Warn("Local control socket could not accept a connection, retrying", "error", err, "retry_in", delay)
|
|
time.Sleep(delay)
|
|
continue
|
|
}
|
|
delay = 0
|
|
|
|
select {
|
|
case sem <- struct{}{}:
|
|
default:
|
|
// At capacity. Say so and hang up rather than holding the connection open.
|
|
// Logged too: a slot is held for as long as a command runs, and the slow
|
|
// command warning in serve says which ones are still running.
|
|
s.l.Warn("Local control socket is at capacity, refusing a connection", "max", s.maxConns)
|
|
s.reply(conn, &Response{Version: ProtocolVersion, Error: "local control socket is busy, try again"})
|
|
_ = conn.Close()
|
|
continue
|
|
}
|
|
|
|
go func() {
|
|
defer func() { <-sem }()
|
|
s.handle(conn)
|
|
}()
|
|
}
|
|
}
|
|
|
|
// handle serves one request. It recovers from panics in command callbacks: this
|
|
// surface is present on every install and reachable by any local process running as
|
|
// the daemon's user, so a malformed argument must cost a connection rather than the
|
|
// overlay.
|
|
func (s *Server) handle(conn net.Conn) {
|
|
defer conn.Close()
|
|
|
|
var args []string
|
|
defer func() {
|
|
if r := recover(); r != nil {
|
|
s.l.Error("Recovered from panic serving a local control command",
|
|
"panic", r,
|
|
"args", args,
|
|
"stack", string(debug.Stack()),
|
|
)
|
|
s.reply(conn, &Response{Version: ProtocolVersion, Error: "command failed"})
|
|
}
|
|
}()
|
|
|
|
// Where the platform can identify the caller, check it, unless a group shares the
|
|
// socket; see trustSocket. Otherwise listen's mode or security descriptor stands.
|
|
if peerCheckSupported && !s.trustSocket.Load() {
|
|
uid, err := peerUID(conn)
|
|
if err != nil {
|
|
s.l.Warn("Refusing local control connection with unreadable credentials", "error", err)
|
|
return
|
|
}
|
|
|
|
// Access is restricted to the user who ran nebula. Root is allowed through
|
|
// because it can reach the daemon's memory regardless of what this check says.
|
|
if uid != s.euid && uid != 0 {
|
|
s.l.Warn("Refusing local control connection from another user", "peerUid", uid)
|
|
s.reply(conn, &Response{Version: ProtocolVersion, Error: "not permitted"})
|
|
return
|
|
}
|
|
}
|
|
|
|
_ = conn.SetReadDeadline(time.Now().Add(readTimeout))
|
|
|
|
req, err := readRequest(conn)
|
|
if err != nil {
|
|
s.reply(conn, &Response{Version: ProtocolVersion, Error: err.Error()})
|
|
return
|
|
}
|
|
args = req.Args
|
|
|
|
// No deadline while a command runs; the write deadline below is what bounds a client
|
|
// that stops reading.
|
|
_ = conn.SetReadDeadline(time.Time{})
|
|
_ = conn.SetWriteDeadline(time.Now().Add(writeTimeout))
|
|
|
|
s.reply(conn, s.serve(req))
|
|
}
|
|
|
|
// serve runs one request and describes the outcome.
|
|
//
|
|
// Nothing bounds a command's run; a context would have to reach every Run. What is
|
|
// bounded is the silence: a command still running at slowAfter is named in the log, with
|
|
// the slot it is holding, so a socket that has gone "busy" can be traced to the commands
|
|
// that wedged it. The timer is stopped however the command ends, a panic included, so
|
|
// the line is only ever written about a command that is still running.
|
|
func (s *Server) serve(req *Request) *Response {
|
|
slow := time.AfterFunc(s.slowAfter, func() {
|
|
s.l.Warn("Local control command is still running and holding a connection slot",
|
|
"command", req.Command,
|
|
"args", req.Args,
|
|
"after", s.slowAfter,
|
|
"max", s.maxConns,
|
|
)
|
|
})
|
|
defer slow.Stop()
|
|
|
|
res := &Response{Version: ProtocolVersion}
|
|
reg := s.src
|
|
|
|
if req.Describe {
|
|
schema, err := json.Marshal(reg.Schema())
|
|
if err != nil {
|
|
res.Error = err.Error()
|
|
return res
|
|
}
|
|
|
|
res.Result = schema
|
|
return res
|
|
}
|
|
|
|
if req.Command == "" {
|
|
res.Error = "no command given"
|
|
return res
|
|
}
|
|
|
|
params, err := stringParams(req.Params)
|
|
if err != nil {
|
|
res.Error = err.Error()
|
|
return res
|
|
}
|
|
|
|
format, err := parseFormat(req.Format)
|
|
if err != nil {
|
|
res.Error = err.Error()
|
|
return res
|
|
}
|
|
|
|
cmd, err := reg.Resolve(commands.Name(req.Command))
|
|
if err != nil {
|
|
s.l.Debug("Local control command refused", "command", req.Command, "error", err)
|
|
res.Error = err.Error()
|
|
return res
|
|
}
|
|
|
|
r, err := commands.Invoke(commands.Request{Command: cmd, Params: params, Args: req.Args})
|
|
if err != nil {
|
|
s.l.Debug("Local control command failed", "command", req.Command, "error", err)
|
|
res.Error = err.Error()
|
|
return res
|
|
}
|
|
|
|
// A command that acts does so now, before the one reply this surface gives, and the
|
|
// reply carries both halves: the line Run promised and the outcome Then produced.
|
|
// In JSON only the outcome travels, since the promise is for a person to read.
|
|
var preface []byte
|
|
if cmd.Then != nil && r.OK {
|
|
if format == commands.FormatText && !r.Empty() {
|
|
buf := &bytes.Buffer{}
|
|
if err := commands.Render(cmd, r, format, buf); err == nil {
|
|
preface = buf.Bytes()
|
|
}
|
|
}
|
|
r = cmd.Then()
|
|
}
|
|
|
|
// A command with nothing to say gets an empty, successful reply.
|
|
if r.Empty() {
|
|
res.Text = preface
|
|
return res
|
|
}
|
|
|
|
return render(res, cmd, r, format, preface)
|
|
}
|
|
|
|
// render turns a command's Result into the response, in the format the caller asked for,
|
|
// through commands.Render, so the JSON is byte for byte what -json prints over ssh.
|
|
func render(res *Response, cmd *commands.Command, r commands.Result, format commands.Format, preface []byte) *Response {
|
|
buf := &bytes.Buffer{}
|
|
if err := commands.Render(cmd, r, format, buf); err != nil {
|
|
res.Error = err.Error()
|
|
return res
|
|
}
|
|
|
|
if format != commands.FormatText {
|
|
// The caller is a program. Carry the payload as JSON rather than as a string that
|
|
// happens to contain some; the newline Render ends a line with is not the value's.
|
|
res.Result = bytes.TrimSuffix(buf.Bytes(), []byte("\n"))
|
|
|
|
// A command that ran and refused is a failure to whoever asked, in either format.
|
|
// The structured outcome still travels in Result for a program to read; Error
|
|
// carries the reason so the one rule, Error set means failed, holds here too and
|
|
// a client never has to guess from the payload.
|
|
if !r.OK {
|
|
res.Error = r.Reason
|
|
}
|
|
|
|
return res
|
|
}
|
|
|
|
// A command that ran and refused reads as an error to whoever asked for text: they
|
|
// are a person or a script, and both expect a refusal on the error stream.
|
|
if !r.OK {
|
|
res.Error = string(append(preface, buf.Bytes()...))
|
|
return res
|
|
}
|
|
|
|
// The bytes the command wrote, as they are; see Response.Text.
|
|
res.Text = append(preface, buf.Bytes()...)
|
|
return res
|
|
}
|
|
|
|
// parseFormat turns the request's format into the one the registry understands. An
|
|
// unknown value is an error rather than a silent default, so a client that asks for
|
|
// something this daemon cannot do hears about it.
|
|
func parseFormat(s string) (commands.Format, error) {
|
|
switch s {
|
|
case "", "json":
|
|
return commands.FormatJSON, nil
|
|
case "text":
|
|
return commands.FormatText, nil
|
|
default:
|
|
return commands.FormatJSON, fmt.Errorf("unknown format %q, expected \"json\" or \"text\"", s)
|
|
}
|
|
}
|
|
|
|
// reply writes one response frame.
|
|
func (s *Server) reply(conn net.Conn, res *Response) {
|
|
_ = conn.SetWriteDeadline(time.Now().Add(writeTimeout))
|
|
if err := writeFrame(conn, res); err != nil {
|
|
s.l.Debug("Could not send a local control response", "error", err)
|
|
}
|
|
}
|
|
|
|
// stringParams converts JSON's types into the strings flag.Value.Set expects, so a
|
|
// caller writes true and 3 rather than "true" and "3".
|
|
func stringParams(in map[string]any) (map[string]string, error) {
|
|
if len(in) == 0 {
|
|
return nil, nil
|
|
}
|
|
|
|
out := make(map[string]string, len(in))
|
|
for k, v := range in {
|
|
switch t := v.(type) {
|
|
case bool:
|
|
out[k] = strconv.FormatBool(t)
|
|
case string:
|
|
out[k] = t
|
|
case float64:
|
|
// encoding/json gives every number as a float64; render whole ones without
|
|
// a decimal point so an int flag accepts them.
|
|
if t != math.Trunc(t) {
|
|
out[k] = strconv.FormatFloat(t, 'f', -1, 64)
|
|
continue
|
|
}
|
|
|
|
// A whole float64 can be far outside int64, and Go's conversion of one that is
|
|
// gives an unspecified value rather than an error, so the bounds are checked
|
|
// first. MinInt64 is exactly representable and is in range. MaxInt64 is not:
|
|
// as a float64 it rounds up to 2^63, which is the first value out of range,
|
|
// hence the >= on that side.
|
|
if t < math.MinInt64 || t >= math.MaxInt64 {
|
|
return nil, fmt.Errorf("parameter %q is %s, outside the range of a 64-bit integer",
|
|
k, strconv.FormatFloat(t, 'g', -1, 64))
|
|
}
|
|
out[k] = strconv.FormatInt(int64(t), 10)
|
|
case nil:
|
|
return nil, fmt.Errorf("parameter %q has no value", k)
|
|
default:
|
|
return nil, fmt.Errorf("parameter %q is not a string, number or boolean", k)
|
|
}
|
|
}
|
|
|
|
return out, nil
|
|
}
|
|
|
|
func readRequest(conn net.Conn) (*Request, error) {
|
|
req := &Request{}
|
|
if err := readFrame(conn, MaxRequestBytes, "request", req, true); err != nil {
|
|
return nil, err
|
|
}
|
|
|
|
if req.Version != ProtocolVersion {
|
|
return nil, fmt.Errorf(
|
|
"this nebula speaks local control protocol v%d, the client sent v%d; the two binaries are different versions",
|
|
ProtocolVersion, req.Version,
|
|
)
|
|
}
|
|
|
|
return req, nil
|
|
}
|