| Tim Windelschmidt | 6d33a43 | 2025-02-04 14:34:25 +0100 | [diff] [blame] | 1 | // Copyright The Monogon Project Authors. |
| Hendrik Hofstadt | 0d7c91e | 2019-10-23 21:44:47 +0200 | [diff] [blame] | 2 | // SPDX-License-Identifier: Apache-2.0 |
| Hendrik Hofstadt | 0d7c91e | 2019-10-23 21:44:47 +0200 | [diff] [blame] | 3 | |
| Serge Bazanski | f05e80a | 2021-10-12 11:53:34 +0200 | [diff] [blame] | 4 | // Package consensus implements a runnable that manages an etcd instance which |
| 5 | // forms part of a Metropolis etcd cluster. This cluster is a foundational |
| 6 | // building block of Metropolis and its startup/management sequencing needs to |
| 7 | // be as robust as possible. |
| Serge Bazanski | cb883e2 | 2020-07-06 17:47:55 +0200 | [diff] [blame] | 8 | // |
| Serge Bazanski | f05e80a | 2021-10-12 11:53:34 +0200 | [diff] [blame] | 9 | // Cluster Structure |
| Serge Bazanski | cb883e2 | 2020-07-06 17:47:55 +0200 | [diff] [blame] | 10 | // |
| Serge Bazanski | f05e80a | 2021-10-12 11:53:34 +0200 | [diff] [blame] | 11 | // Each etcd instance listens for two kinds of traffic: |
| Serge Bazanski | cb883e2 | 2020-07-06 17:47:55 +0200 | [diff] [blame] | 12 | // |
| Serge Bazanski | f05e80a | 2021-10-12 11:53:34 +0200 | [diff] [blame] | 13 | // 1. Peer traffic over TLS on a TCP port of the node's main interface. This is |
| 14 | // where other etcd instances connect to to exchange peer traffic, perform |
| 15 | // transactions and build quorum. The TLS credentials are stored in a PKI that |
| 16 | // is managed internally by the consensus runnable, with its state stored in |
| 17 | // etcd itself. |
| 18 | // |
| 19 | // 2. Client traffic over a local domain socket, with access control based on |
| 20 | // standard Linux user/group permissions. Currently this allows any code running |
| 21 | // as root on the host namespace full access to the etcd cluster. |
| 22 | // |
| 23 | // This means that if code running on a node wishes to perform etcd |
| 24 | // transactions, it must also run an etcd instance. This colocation of all |
| 25 | // direct etcd access and the etcd intances themselves effectively delegate all |
| 26 | // Metropolis control plane functionality to whatever subset of nodes is running |
| 27 | // consensus and all codes that connects to etcd directly (the Curator). |
| 28 | // |
| 29 | // For example, if nodes foo and bar are parts of the control plane, but node |
| 30 | // worker is not: |
| 31 | // |
| 32 | // .---------------------. |
| 33 | // | node-foo | |
| 34 | // |---------------------| |
| 35 | // | .--------------------. |
| Jan Schär | 0f8ce4c | 2025-09-04 13:27:50 +0200 | [diff] [blame] | 36 | // | | etcd |<---etcd/TLS--. (allocs.PortConsensus) |
| Serge Bazanski | f05e80a | 2021-10-12 11:53:34 +0200 | [diff] [blame] | 37 | // | '--------------------' | |
| 38 | // | ^ Domain Socket | | |
| 39 | // | | etcd/plain | | |
| 40 | // | .--------------------. | |
| Jan Schär | 0f8ce4c | 2025-09-04 13:27:50 +0200 | [diff] [blame] | 41 | // | | curator |<---gRPC/TLS----. (allocs.PortCuratorService) |
| Serge Bazanski | f05e80a | 2021-10-12 11:53:34 +0200 | [diff] [blame] | 42 | // | '--------------------' | | |
| 43 | // | ^ Domain Socket | | | |
| 44 | // | | gRPC/plain | | | |
| 45 | // | .-----------------. | | | |
| 46 | // | | node logic | | | | |
| 47 | // | '-----------------' | | | |
| 48 | // '---------------------' | | |
| 49 | // | | |
| 50 | // .---------------------. | | |
| 51 | // | node-baz | | | |
| 52 | // |---------------------| | | |
| 53 | // | .--------------------. | | |
| 54 | // | | etcd |<-------------' | |
| 55 | // | '--------------------' | |
| 56 | // | ^ Domain Socket | | |
| 57 | // | | gRPC/plain | | |
| 58 | // | .--------------------. | |
| 59 | // | | curator |<---gRPC/TLS----: |
| 60 | // | '--------------------' | |
| 61 | // | ... | | |
| 62 | // '---------------------' | |
| 63 | // | |
| 64 | // .---------------------. | |
| 65 | // | node-worker | | |
| 66 | // |---------------------| | |
| 67 | // | .-----------------. | | |
| 68 | // | | node logic |-------------------' |
| 69 | // | '-----------------' | |
| 70 | // '---------------------' |
| 71 | // |
| 72 | |
| Hendrik Hofstadt | 0d7c91e | 2019-10-23 21:44:47 +0200 | [diff] [blame] | 73 | package consensus |
| 74 | |
| 75 | import ( |
| 76 | "context" |
| Serge Bazanski | f05e80a | 2021-10-12 11:53:34 +0200 | [diff] [blame] | 77 | "crypto/x509" |
| 78 | "crypto/x509/pkix" |
| Lorenz Brun | a622379 | 2023-07-31 17:13:11 +0200 | [diff] [blame] | 79 | "errors" |
| Hendrik Hofstadt | 0d7c91e | 2019-10-23 21:44:47 +0200 | [diff] [blame] | 80 | "fmt" |
| Serge Bazanski | f05e80a | 2021-10-12 11:53:34 +0200 | [diff] [blame] | 81 | "math/big" |
| Serge Bazanski | c1cb37c | 2023-03-16 17:54:33 +0100 | [diff] [blame] | 82 | "net" |
| 83 | "net/url" |
| Lorenz Brun | a4ea9d0 | 2019-10-31 11:40:30 +0100 | [diff] [blame] | 84 | "time" |
| 85 | |
| Jan Schär | 442cf68 | 2024-09-05 18:28:48 +0200 | [diff] [blame] | 86 | "go.etcd.io/etcd/api/v3/etcdserverpb" |
| Lorenz Brun | d13c1c6 | 2022-03-30 19:58:58 +0200 | [diff] [blame] | 87 | clientv3 "go.etcd.io/etcd/client/v3" |
| 88 | "go.etcd.io/etcd/server/v3/embed" |
| Hendrik Hofstadt | 8efe51e | 2020-02-28 12:53:41 +0100 | [diff] [blame] | 89 | |
| Serge Bazanski | a105db5 | 2021-04-12 19:57:46 +0200 | [diff] [blame] | 90 | "source.monogon.dev/metropolis/node/core/consensus/client" |
| Tim Windelschmidt | 9f21f53 | 2024-05-07 15:14:20 +0200 | [diff] [blame] | 91 | "source.monogon.dev/osbase/event" |
| 92 | "source.monogon.dev/osbase/event/memory" |
| 93 | "source.monogon.dev/osbase/logtree/unraw" |
| 94 | "source.monogon.dev/osbase/pki" |
| 95 | "source.monogon.dev/osbase/supervisor" |
| Hendrik Hofstadt | 0d7c91e | 2019-10-23 21:44:47 +0200 | [diff] [blame] | 96 | ) |
| 97 | |
| Serge Bazanski | f05e80a | 2021-10-12 11:53:34 +0200 | [diff] [blame] | 98 | var ( |
| 99 | pkiNamespace = pki.Namespaced("/pki/") |
| Hendrik Hofstadt | 0d7c91e | 2019-10-23 21:44:47 +0200 | [diff] [blame] | 100 | ) |
| 101 | |
| Serge Bazanski | f05e80a | 2021-10-12 11:53:34 +0200 | [diff] [blame] | 102 | func pkiCA() *pki.Certificate { |
| 103 | return &pki.Certificate{ |
| 104 | Name: "CA", |
| 105 | Namespace: &pkiNamespace, |
| 106 | Issuer: pki.SelfSigned, |
| 107 | Template: x509.Certificate{ |
| 108 | SerialNumber: big.NewInt(1), |
| 109 | Subject: pkix.Name{ |
| 110 | CommonName: "Metropolis etcd CA Certificate", |
| 111 | }, |
| 112 | IsCA: true, |
| 113 | KeyUsage: x509.KeyUsageCertSign | x509.KeyUsageCRLSign | x509.KeyUsageDigitalSignature, |
| 114 | ExtKeyUsage: []x509.ExtKeyUsage{x509.ExtKeyUsageClientAuth, x509.ExtKeyUsageServerAuth, x509.ExtKeyUsageOCSPSigning}, |
| 115 | }, |
| 116 | } |
| 117 | } |
| 118 | |
| Jan Schär | 39d9c24 | 2024-09-24 13:49:55 +0200 | [diff] [blame] | 119 | func pkiPeerCertificate(nodeID string, extraNames []string) x509.Certificate { |
| Serge Bazanski | f05e80a | 2021-10-12 11:53:34 +0200 | [diff] [blame] | 120 | return x509.Certificate{ |
| 121 | Subject: pkix.Name{ |
| Jan Schär | 39d9c24 | 2024-09-24 13:49:55 +0200 | [diff] [blame] | 122 | CommonName: nodeID, |
| Serge Bazanski | f05e80a | 2021-10-12 11:53:34 +0200 | [diff] [blame] | 123 | }, |
| 124 | KeyUsage: x509.KeyUsageDigitalSignature | x509.KeyUsageKeyEncipherment, |
| 125 | ExtKeyUsage: []x509.ExtKeyUsage{ |
| 126 | x509.ExtKeyUsageClientAuth, x509.ExtKeyUsageServerAuth, |
| 127 | }, |
| Jan Schär | 39d9c24 | 2024-09-24 13:49:55 +0200 | [diff] [blame] | 128 | DNSNames: append(extraNames, nodeID), |
| Serge Bazanski | f05e80a | 2021-10-12 11:53:34 +0200 | [diff] [blame] | 129 | } |
| 130 | } |
| 131 | |
| Jan Schär | 442cf68 | 2024-09-05 18:28:48 +0200 | [diff] [blame] | 132 | // GetEtcdMemberNodeId returns the node ID of an etcd member. It works even for |
| 133 | // members which have not started, where member.Name is empty. |
| 134 | func GetEtcdMemberNodeId(member *etcdserverpb.Member) string { |
| 135 | if member.Name != "" { |
| 136 | return member.Name |
| 137 | } |
| 138 | if len(member.PeerURLs) == 0 { |
| 139 | return "" |
| 140 | } |
| 141 | u, err := url.Parse(member.PeerURLs[0]) |
| 142 | if err != nil { |
| 143 | return "" |
| 144 | } |
| 145 | nodeId, _, err := net.SplitHostPort(u.Host) |
| 146 | if err != nil { |
| 147 | return "" |
| 148 | } |
| 149 | return nodeId |
| 150 | } |
| 151 | |
| Serge Bazanski | f05e80a | 2021-10-12 11:53:34 +0200 | [diff] [blame] | 152 | // Service is the etcd cluster member service. See package-level documentation |
| 153 | // for more information. |
| Serge Bazanski | cb883e2 | 2020-07-06 17:47:55 +0200 | [diff] [blame] | 154 | type Service struct { |
| Serge Bazanski | cb883e2 | 2020-07-06 17:47:55 +0200 | [diff] [blame] | 155 | config *Config |
| Lorenz Brun | a4ea9d0 | 2019-10-31 11:40:30 +0100 | [diff] [blame] | 156 | |
| Serge Bazanski | 37110c3 | 2023-03-01 13:57:27 +0000 | [diff] [blame] | 157 | value memory.Value[*Status] |
| Serge Bazanski | f05e80a | 2021-10-12 11:53:34 +0200 | [diff] [blame] | 158 | ca *pki.Certificate |
| Serge Bazanski | cb883e2 | 2020-07-06 17:47:55 +0200 | [diff] [blame] | 159 | } |
| Hendrik Hofstadt | 0d7c91e | 2019-10-23 21:44:47 +0200 | [diff] [blame] | 160 | |
| Serge Bazanski | cb883e2 | 2020-07-06 17:47:55 +0200 | [diff] [blame] | 161 | func New(config Config) *Service { |
| 162 | return &Service{ |
| Hendrik Hofstadt | 0d7c91e | 2019-10-23 21:44:47 +0200 | [diff] [blame] | 163 | config: &config, |
| 164 | } |
| Hendrik Hofstadt | 0d7c91e | 2019-10-23 21:44:47 +0200 | [diff] [blame] | 165 | } |
| 166 | |
| Serge Bazanski | f05e80a | 2021-10-12 11:53:34 +0200 | [diff] [blame] | 167 | // Run is a Supervisor runnable that starts the etcd member service. It will |
| 168 | // become healthy once the member joins the cluster successfully. |
| 169 | func (s *Service) Run(ctx context.Context) error { |
| 170 | // Always re-create CA to make sure we don't have PKI state from previous runs. |
| 171 | // |
| 172 | // TODO(q3k): make the PKI library immune to this misuse. |
| 173 | s.ca = pkiCA() |
| Lorenz Brun | 52f7f29 | 2020-06-24 16:42:02 +0200 | [diff] [blame] | 174 | |
| Serge Bazanski | f05e80a | 2021-10-12 11:53:34 +0200 | [diff] [blame] | 175 | // Create log converter. This will ingest etcd logs and pipe them out to this |
| 176 | // runnable's leveled logging facilities. |
| Serge Bazanski | c1cb37c | 2023-03-16 17:54:33 +0100 | [diff] [blame] | 177 | |
| 178 | // This is not where etcd will run, but where its log ingestion machinery lives. |
| 179 | // This ensures that the (annoying verbose) etcd logs are contained into just |
| 180 | // .etcd. |
| 181 | err := supervisor.Run(ctx, "etcd", func(ctx context.Context) error { |
| 182 | converter := unraw.Converter{ |
| 183 | Parser: parseEtcdLogEntry, |
| 184 | MaximumLineLength: 8192, |
| 185 | LeveledLogger: supervisor.Logger(ctx), |
| 186 | } |
| Serge Bazanski | 5ad3144 | 2024-04-17 15:40:52 +0200 | [diff] [blame] | 187 | pipe, err := converter.NamedPipeReader(s.config.Ephemeral.ServerLogsFIFO.FullPath()) |
| Serge Bazanski | c1cb37c | 2023-03-16 17:54:33 +0100 | [diff] [blame] | 188 | if err != nil { |
| 189 | return fmt.Errorf("when creating pipe reader: %w", err) |
| 190 | } |
| 191 | if err := supervisor.Run(ctx, "piper", pipe); err != nil { |
| 192 | return fmt.Errorf("when starting log piper: %w", err) |
| 193 | } |
| 194 | supervisor.Signal(ctx, supervisor.SignalHealthy) |
| 195 | <-ctx.Done() |
| 196 | return ctx.Err() |
| 197 | }) |
| Serge Bazanski | 50009e0 | 2021-07-07 14:35:27 +0200 | [diff] [blame] | 198 | if err != nil { |
| Serge Bazanski | c1cb37c | 2023-03-16 17:54:33 +0100 | [diff] [blame] | 199 | return fmt.Errorf("when starting etcd logger: %w", err) |
| Serge Bazanski | 50009e0 | 2021-07-07 14:35:27 +0200 | [diff] [blame] | 200 | } |
| 201 | |
| Serge Bazanski | f05e80a | 2021-10-12 11:53:34 +0200 | [diff] [blame] | 202 | // Create autopromoter, which will automatically promote all learners to full |
| 203 | // etcd members. |
| 204 | if err := supervisor.Run(ctx, "autopromoter", s.autopromoter); err != nil { |
| 205 | return fmt.Errorf("when starting autopromtoer: %w", err) |
| 206 | } |
| Hendrik Hofstadt | 0d7c91e | 2019-10-23 21:44:47 +0200 | [diff] [blame] | 207 | |
| Serge Bazanski | f05e80a | 2021-10-12 11:53:34 +0200 | [diff] [blame] | 208 | // Create selfupdater, which will perform a one-shot update of this member's |
| 209 | // peer address in etcd. |
| Mateusz Zalega | 619029b | 2022-05-05 17:18:26 +0200 | [diff] [blame] | 210 | if err := supervisor.Run(ctx, "selfupdater", s.selfupdater); err != nil { |
| Serge Bazanski | f05e80a | 2021-10-12 11:53:34 +0200 | [diff] [blame] | 211 | return fmt.Errorf("when starting selfupdater: %w", err) |
| 212 | } |
| 213 | |
| 214 | // Prepare cluster PKI credentials. |
| 215 | ppki := s.config.Data.PeerPKI |
| 216 | jc := s.config.JoinCluster |
| 217 | if jc != nil { |
| Serge Bazanski | 97d6808 | 2022-06-22 13:15:21 +0200 | [diff] [blame] | 218 | supervisor.Logger(ctx).Info("JoinCluster set, writing PPKI data to disk...") |
| Serge Bazanski | f05e80a | 2021-10-12 11:53:34 +0200 | [diff] [blame] | 219 | // For nodes that join an existing cluster, or re-join it, always write whatever |
| 220 | // we've been given on startup. |
| 221 | if err := ppki.WriteAll(jc.NodeCertificate.Raw, s.config.NodePrivateKey, jc.CACertificate.Raw); err != nil { |
| 222 | return fmt.Errorf("when writing credentials for join: %w", err) |
| 223 | } |
| 224 | if err := s.config.Data.PeerCRL.Write(jc.InitialCRL.Raw, 0400); err != nil { |
| 225 | return fmt.Errorf("when writing CRL for join: %w", err) |
| 226 | } |
| 227 | } else { |
| 228 | // For other nodes, we should already have credentials from a previous join, or |
| 229 | // a previous bootstrap. If none exist, assume we need to bootstrap these |
| 230 | // credentials. |
| 231 | // |
| 232 | // TODO(q3k): once we have node join (ie. node restart from disk) flow, add a |
| 233 | // special configuration marker to prevent spurious bootstraps. |
| 234 | absent, err := ppki.AllAbsent() |
| 235 | if err != nil { |
| 236 | return fmt.Errorf("when checking for PKI file absence: %w", err) |
| 237 | } |
| 238 | if absent { |
| Serge Bazanski | 97d6808 | 2022-06-22 13:15:21 +0200 | [diff] [blame] | 239 | supervisor.Logger(ctx).Info("PKI data absent, bootstrapping.") |
| Serge Bazanski | 5ad3144 | 2024-04-17 15:40:52 +0200 | [diff] [blame] | 240 | if err := s.bootstrap(ctx); err != nil { |
| Serge Bazanski | f05e80a | 2021-10-12 11:53:34 +0200 | [diff] [blame] | 241 | return fmt.Errorf("bootstrap failed: %w", err) |
| 242 | } |
| 243 | } else { |
| 244 | supervisor.Logger(ctx).Info("PKI data present, not bootstrapping.") |
| 245 | } |
| 246 | } |
| 247 | |
| 248 | // Start etcd ... |
| Serge Bazanski | c1cb37c | 2023-03-16 17:54:33 +0100 | [diff] [blame] | 249 | supervisor.Logger(ctx).Infof("Starting etcd...") |
| Serge Bazanski | f05e80a | 2021-10-12 11:53:34 +0200 | [diff] [blame] | 250 | cfg := s.config.build(true) |
| 251 | server, err := embed.StartEtcd(cfg) |
| 252 | if err != nil { |
| 253 | return fmt.Errorf("when starting etcd: %w", err) |
| 254 | } |
| 255 | |
| 256 | // ... wait for server to be ready... |
| 257 | select { |
| 258 | case <-ctx.Done(): |
| 259 | return ctx.Err() |
| 260 | case <-server.Server.ReadyNotify(): |
| 261 | } |
| 262 | |
| 263 | // ... build a client to its' socket... |
| 264 | cl, err := s.config.localClient() |
| 265 | if err != nil { |
| 266 | return fmt.Errorf("getting local client failed: %w", err) |
| 267 | } |
| 268 | |
| 269 | // ... and wait until we're not a learner anymore. |
| 270 | for { |
| 271 | members, err := cl.MemberList(ctx) |
| 272 | if err != nil { |
| 273 | supervisor.Logger(ctx).Warningf("MemberList failed: %v", err) |
| 274 | time.Sleep(time.Second) |
| 275 | continue |
| 276 | } |
| 277 | |
| 278 | isMember := false |
| 279 | for _, member := range members.Members { |
| Lorenz Brun | 62229cf | 2025-07-07 12:47:31 +0200 | [diff] [blame] | 280 | if member.ID != uint64(server.Server.MemberID()) { |
| Serge Bazanski | f05e80a | 2021-10-12 11:53:34 +0200 | [diff] [blame] | 281 | continue |
| 282 | } |
| 283 | if !member.IsLearner { |
| 284 | isMember = true |
| 285 | break |
| 286 | } |
| 287 | } |
| 288 | if isMember { |
| 289 | break |
| 290 | } |
| 291 | supervisor.Logger(ctx).Warningf("Still a learner, waiting...") |
| 292 | time.Sleep(time.Second) |
| 293 | } |
| 294 | |
| 295 | // All done! Report status. |
| 296 | supervisor.Logger(ctx).Infof("etcd server ready") |
| 297 | |
| 298 | st := &Status{ |
| Lorenz Brun | 6211e4d | 2023-11-14 19:09:40 +0100 | [diff] [blame] | 299 | localPeerURL: cfg.AdvertisePeerUrls[0].String(), |
| Lorenz Brun | 62229cf | 2025-07-07 12:47:31 +0200 | [diff] [blame] | 300 | localMemberID: uint64(server.Server.MemberID()), |
| Serge Bazanski | f05e80a | 2021-10-12 11:53:34 +0200 | [diff] [blame] | 301 | cl: cl, |
| 302 | ca: s.ca, |
| 303 | } |
| Serge Bazanski | 98a6ccc | 2023-06-20 13:09:12 +0200 | [diff] [blame] | 304 | st2 := *st |
| 305 | s.value.Set(&st2) |
| Serge Bazanski | f05e80a | 2021-10-12 11:53:34 +0200 | [diff] [blame] | 306 | |
| 307 | // Wait until server dies for whatever reason, update status when that |
| 308 | // happens. |
| 309 | supervisor.Signal(ctx, supervisor.SignalHealthy) |
| 310 | select { |
| 311 | case err = <-server.Err(): |
| 312 | err = fmt.Errorf("server returned error: %w", err) |
| 313 | case <-ctx.Done(): |
| 314 | server.Close() |
| 315 | err = ctx.Err() |
| 316 | } |
| Serge Bazanski | 98a6ccc | 2023-06-20 13:09:12 +0200 | [diff] [blame] | 317 | |
| Serge Bazanski | f05e80a | 2021-10-12 11:53:34 +0200 | [diff] [blame] | 318 | st.stopped = true |
| Serge Bazanski | 98a6ccc | 2023-06-20 13:09:12 +0200 | [diff] [blame] | 319 | st3 := *st |
| 320 | s.value.Set(&st3) |
| Serge Bazanski | f05e80a | 2021-10-12 11:53:34 +0200 | [diff] [blame] | 321 | return err |
| Serge Bazanski | cb883e2 | 2020-07-06 17:47:55 +0200 | [diff] [blame] | 322 | } |
| 323 | |
| Serge Bazanski | f05e80a | 2021-10-12 11:53:34 +0200 | [diff] [blame] | 324 | func clientFor(kv *clientv3.Client, parts ...string) (client.Namespaced, error) { |
| 325 | var err error |
| 326 | namespaced := client.NewLocal(kv) |
| 327 | for _, el := range parts { |
| 328 | namespaced, err = namespaced.Sub(el) |
| Serge Bazanski | cb883e2 | 2020-07-06 17:47:55 +0200 | [diff] [blame] | 329 | if err != nil { |
| Serge Bazanski | f05e80a | 2021-10-12 11:53:34 +0200 | [diff] [blame] | 330 | return nil, fmt.Errorf("when getting sub client: %w", err) |
| Serge Bazanski | cb883e2 | 2020-07-06 17:47:55 +0200 | [diff] [blame] | 331 | } |
| Serge Bazanski | cb883e2 | 2020-07-06 17:47:55 +0200 | [diff] [blame] | 332 | |
| Serge Bazanski | cb883e2 | 2020-07-06 17:47:55 +0200 | [diff] [blame] | 333 | } |
| Serge Bazanski | f05e80a | 2021-10-12 11:53:34 +0200 | [diff] [blame] | 334 | return namespaced, nil |
| 335 | } |
| Serge Bazanski | cb883e2 | 2020-07-06 17:47:55 +0200 | [diff] [blame] | 336 | |
| Serge Bazanski | f05e80a | 2021-10-12 11:53:34 +0200 | [diff] [blame] | 337 | // bootstrap performs a procedure to resolve the following bootstrap problems: |
| 338 | // in order to start an etcd server for consensus, we need it to serve over TLS. |
| 339 | // However, these TLS certificates also need to be stored in etcd so that |
| 340 | // further certificates can be issued for new nodes. |
| 341 | // |
| 342 | // This was previously solved by a using a special PKI/TLS management system that |
| 343 | // could first create certificates and keys in memory, then only commit them to |
| 344 | // etcd. However, this ended up being somewhat brittle in the face of startup |
| 345 | // sequencing issues, so we're now going with a different approach. |
| 346 | // |
| 347 | // This function starts an etcd instance first without any PKI/TLS support, |
| 348 | // without listening on any external port for peer traffic. Once the instance is |
| 349 | // running, it uses the standard metropolis pki library to create all required |
| 350 | // data directly in the running etcd instance. It then writes all required |
| 351 | // startup data (node private key, member certificate, CA certificate) to disk, |
| 352 | // so that a 'full' etcd instance can be started. |
| Serge Bazanski | 5ad3144 | 2024-04-17 15:40:52 +0200 | [diff] [blame] | 353 | func (s *Service) bootstrap(ctx context.Context) error { |
| Serge Bazanski | f05e80a | 2021-10-12 11:53:34 +0200 | [diff] [blame] | 354 | supervisor.Logger(ctx).Infof("Bootstrapping PKI: starting etcd...") |
| Serge Bazanski | cb883e2 | 2020-07-06 17:47:55 +0200 | [diff] [blame] | 355 | |
| Serge Bazanski | f05e80a | 2021-10-12 11:53:34 +0200 | [diff] [blame] | 356 | cfg := s.config.build(false) |
| 357 | // This will make etcd create data directories and create a fully new cluster if |
| 358 | // needed. If we're restarting due to an error, the old cluster data will still |
| 359 | // exist. |
| 360 | cfg.ClusterState = "new" |
| Serge Bazanski | cb883e2 | 2020-07-06 17:47:55 +0200 | [diff] [blame] | 361 | |
| Serge Bazanski | f05e80a | 2021-10-12 11:53:34 +0200 | [diff] [blame] | 362 | // Start the bootstrap etcd instance... |
| Hendrik Hofstadt | 0d7c91e | 2019-10-23 21:44:47 +0200 | [diff] [blame] | 363 | server, err := embed.StartEtcd(cfg) |
| Lorenz Brun | a4ea9d0 | 2019-10-31 11:40:30 +0100 | [diff] [blame] | 364 | if err != nil { |
| Serge Bazanski | b76b8d1 | 2023-03-16 00:46:56 +0100 | [diff] [blame] | 365 | return fmt.Errorf("failed to start bootstrap etcd: %w", err) |
| Lorenz Brun | a4ea9d0 | 2019-10-31 11:40:30 +0100 | [diff] [blame] | 366 | } |
| Serge Bazanski | b76b8d1 | 2023-03-16 00:46:56 +0100 | [diff] [blame] | 367 | defer server.Close() |
| Lorenz Brun | a4ea9d0 | 2019-10-31 11:40:30 +0100 | [diff] [blame] | 368 | |
| Serge Bazanski | f05e80a | 2021-10-12 11:53:34 +0200 | [diff] [blame] | 369 | // ... wait for it to run ... |
| Serge Bazanski | cb883e2 | 2020-07-06 17:47:55 +0200 | [diff] [blame] | 370 | select { |
| Serge Bazanski | f05e80a | 2021-10-12 11:53:34 +0200 | [diff] [blame] | 371 | case <-server.Server.ReadyNotify(): |
| Serge Bazanski | cb883e2 | 2020-07-06 17:47:55 +0200 | [diff] [blame] | 372 | case <-ctx.Done(): |
| Lorenz Brun | a622379 | 2023-07-31 17:13:11 +0200 | [diff] [blame] | 373 | return errors.New("timed out waiting for etcd to become ready") |
| Lorenz Brun | 52f7f29 | 2020-06-24 16:42:02 +0200 | [diff] [blame] | 374 | } |
| 375 | |
| Serge Bazanski | f05e80a | 2021-10-12 11:53:34 +0200 | [diff] [blame] | 376 | // ... create a client to it ... |
| 377 | cl, err := s.config.localClient() |
| Lorenz Brun | 52f7f29 | 2020-06-24 16:42:02 +0200 | [diff] [blame] | 378 | if err != nil { |
| Serge Bazanski | f05e80a | 2021-10-12 11:53:34 +0200 | [diff] [blame] | 379 | return fmt.Errorf("when getting bootstrap client: %w", err) |
| Serge Bazanski | cb883e2 | 2020-07-06 17:47:55 +0200 | [diff] [blame] | 380 | } |
| 381 | |
| Serge Bazanski | f05e80a | 2021-10-12 11:53:34 +0200 | [diff] [blame] | 382 | // ... and build PKI there. This is idempotent, so we will never override |
| 383 | // anything that's already in the cluster, instead just retrieve it. |
| 384 | supervisor.Logger(ctx).Infof("Bootstrapping PKI: etcd running, building PKI...") |
| 385 | clPKI, err := clientFor(cl, "namespaced", "etcd-pki") |
| 386 | if err != nil { |
| 387 | return fmt.Errorf("when getting pki client: %w", err) |
| Serge Bazanski | cb883e2 | 2020-07-06 17:47:55 +0200 | [diff] [blame] | 388 | } |
| Serge Bazanski | f05e80a | 2021-10-12 11:53:34 +0200 | [diff] [blame] | 389 | defer clPKI.Close() |
| 390 | caCert, err := s.ca.Ensure(ctx, clPKI) |
| 391 | if err != nil { |
| 392 | return fmt.Errorf("failed to ensure CA certificate: %w", err) |
| Serge Bazanski | cb883e2 | 2020-07-06 17:47:55 +0200 | [diff] [blame] | 393 | } |
| 394 | |
| Serge Bazanski | f05e80a | 2021-10-12 11:53:34 +0200 | [diff] [blame] | 395 | // If we're running with a test overridden external address (eg. localhost), we |
| 396 | // need to also make that part of the member certificate. |
| 397 | var extraNames []string |
| 398 | if external := s.config.testOverrides.externalAddress; external != "" { |
| 399 | extraNames = []string{external} |
| 400 | } |
| 401 | memberTemplate := pki.Certificate{ |
| Jan Schär | 39d9c24 | 2024-09-24 13:49:55 +0200 | [diff] [blame] | 402 | Name: s.config.NodeID, |
| Serge Bazanski | f05e80a | 2021-10-12 11:53:34 +0200 | [diff] [blame] | 403 | Namespace: &pkiNamespace, |
| 404 | Issuer: s.ca, |
| Jan Schär | 39d9c24 | 2024-09-24 13:49:55 +0200 | [diff] [blame] | 405 | Template: pkiPeerCertificate(s.config.NodeID, extraNames), |
| Serge Bazanski | f05e80a | 2021-10-12 11:53:34 +0200 | [diff] [blame] | 406 | Mode: pki.CertificateExternal, |
| 407 | PublicKey: s.config.nodePublicKey(), |
| 408 | } |
| 409 | memberCert, err := memberTemplate.Ensure(ctx, clPKI) |
| 410 | if err != nil { |
| 411 | return fmt.Errorf("failed to ensure member certificate: %w", err) |
| 412 | } |
| Serge Bazanski | cb883e2 | 2020-07-06 17:47:55 +0200 | [diff] [blame] | 413 | |
| Serge Bazanski | f05e80a | 2021-10-12 11:53:34 +0200 | [diff] [blame] | 414 | // Retrieve CRL. |
| 415 | crlW := s.ca.WatchCRL(clPKI) |
| 416 | crl, err := crlW.Get(ctx) |
| 417 | if err != nil { |
| 418 | return fmt.Errorf("failed to retrieve initial CRL: %w", err) |
| 419 | } |
| 420 | |
| 421 | // We have everything we need. Write things to disk. |
| 422 | supervisor.Logger(ctx).Infof("Bootstrapping PKI: certificates issued, writing to disk...") |
| 423 | |
| 424 | if err := s.config.Data.PeerPKI.WriteAll(memberCert, s.config.NodePrivateKey, caCert); err != nil { |
| 425 | return fmt.Errorf("failed to write bootstrapped certificates: %w", err) |
| 426 | } |
| 427 | if err := s.config.Data.PeerCRL.Write(crl.Raw, 0400); err != nil { |
| 428 | return fmt.Errorf("failed tow rite CRL: %w", err) |
| 429 | } |
| 430 | |
| 431 | // Stop the server synchronously (blocking until it's fully shutdown), and |
| 432 | // return. The caller can now run the 'full' etcd instance with PKI. |
| 433 | supervisor.Logger(ctx).Infof("Bootstrapping PKI: done, stopping server...") |
| 434 | server.Close() |
| Serge Bazanski | cb883e2 | 2020-07-06 17:47:55 +0200 | [diff] [blame] | 435 | return ctx.Err() |
| Lorenz Brun | a4ea9d0 | 2019-10-31 11:40:30 +0100 | [diff] [blame] | 436 | } |
| 437 | |
| Serge Bazanski | f05e80a | 2021-10-12 11:53:34 +0200 | [diff] [blame] | 438 | // autopromoter is a runnable which repeatedly attempts to promote etcd learners |
| 439 | // in the cluster to full followers. This is needed to bring any new cluster |
| 440 | // members (which are always added as learners) to full membership and make them |
| 441 | // part of the etcd quorum. |
| Serge Bazanski | cb883e2 | 2020-07-06 17:47:55 +0200 | [diff] [blame] | 442 | func (s *Service) autopromoter(ctx context.Context) error { |
| Serge Bazanski | f05e80a | 2021-10-12 11:53:34 +0200 | [diff] [blame] | 443 | autopromote := func(ctx context.Context, cl *clientv3.Client) { |
| 444 | // Only autopromote if our endpoint is a leader. This is a bargain bin version |
| 445 | // of leader election: it's simple and cheap, but not very reliable. The most |
| 446 | // obvious failure mode is that the instance we contacted isn't a leader by the |
| 447 | // time we promote a member, but that's fine - the promotion is idempotent. What |
| 448 | // we really use the 'leader election' here for isn't for consistency, but to |
| 449 | // prevent the cluster from being hammered by spurious leadership promotion |
| 450 | // requests from every etcd member. |
| 451 | status, err := cl.Status(ctx, cl.Endpoints()[0]) |
| 452 | if err != nil { |
| 453 | supervisor.Logger(ctx).Warningf("Failed to get endpoint status: %v", err) |
| Jan Schär | b976967 | 2024-04-09 15:31:40 +0200 | [diff] [blame] | 454 | return |
| Serge Bazanski | f05e80a | 2021-10-12 11:53:34 +0200 | [diff] [blame] | 455 | } |
| 456 | if status.Leader != status.Header.MemberId { |
| Serge Bazanski | cb883e2 | 2020-07-06 17:47:55 +0200 | [diff] [blame] | 457 | return |
| 458 | } |
| 459 | |
| Serge Bazanski | f05e80a | 2021-10-12 11:53:34 +0200 | [diff] [blame] | 460 | members, err := cl.MemberList(ctx) |
| 461 | if err != nil { |
| 462 | supervisor.Logger(ctx).Warningf("Failed to list members: %v", err) |
| 463 | return |
| 464 | } |
| 465 | for _, member := range members.Members { |
| Serge Bazanski | cb883e2 | 2020-07-06 17:47:55 +0200 | [diff] [blame] | 466 | if !member.IsLearner { |
| Lorenz Brun | a4ea9d0 | 2019-10-31 11:40:30 +0100 | [diff] [blame] | 467 | continue |
| 468 | } |
| Jan Schär | 442cf68 | 2024-09-05 18:28:48 +0200 | [diff] [blame] | 469 | if member.Name == "" { |
| 470 | // If the name is empty, the member has not started. |
| 471 | continue |
| 472 | } |
| Serge Bazanski | f05e80a | 2021-10-12 11:53:34 +0200 | [diff] [blame] | 473 | // Always call PromoteMember since the metadata necessary to decide if we should |
| 474 | // is private. Luckily etcd already does consistency checks internally and will |
| 475 | // refuse to promote nodes that aren't connected or are still behind on |
| 476 | // transactions. |
| 477 | if _, err := cl.MemberPromote(ctx, member.ID); err != nil { |
| Serge Bazanski | c735967 | 2020-10-30 16:38:57 +0100 | [diff] [blame] | 478 | supervisor.Logger(ctx).Infof("Failed to promote consensus node %s: %v", member.Name, err) |
| Serge Bazanski | cb883e2 | 2020-07-06 17:47:55 +0200 | [diff] [blame] | 479 | } else { |
| Serge Bazanski | c735967 | 2020-10-30 16:38:57 +0100 | [diff] [blame] | 480 | supervisor.Logger(ctx).Infof("Promoted new consensus node %s", member.Name) |
| Lorenz Brun | a4ea9d0 | 2019-10-31 11:40:30 +0100 | [diff] [blame] | 481 | } |
| 482 | } |
| 483 | } |
| Lorenz Brun | a4ea9d0 | 2019-10-31 11:40:30 +0100 | [diff] [blame] | 484 | |
| Serge Bazanski | 37110c3 | 2023-03-01 13:57:27 +0000 | [diff] [blame] | 485 | w := s.value.Watch() |
| Serge Bazanski | cb883e2 | 2020-07-06 17:47:55 +0200 | [diff] [blame] | 486 | for { |
| Serge Bazanski | f05e80a | 2021-10-12 11:53:34 +0200 | [diff] [blame] | 487 | st, err := w.Get(ctx) |
| 488 | if err != nil { |
| 489 | return fmt.Errorf("status get failed: %w", err) |
| Lorenz Brun | 52f7f29 | 2020-06-24 16:42:02 +0200 | [diff] [blame] | 490 | } |
| Serge Bazanski | f05e80a | 2021-10-12 11:53:34 +0200 | [diff] [blame] | 491 | t := time.NewTicker(5 * time.Second) |
| 492 | for { |
| 493 | autopromote(ctx, st.cl) |
| 494 | select { |
| 495 | case <-ctx.Done(): |
| 496 | t.Stop() |
| 497 | return ctx.Err() |
| 498 | case <-t.C: |
| Serge Bazanski | cb883e2 | 2020-07-06 17:47:55 +0200 | [diff] [blame] | 499 | } |
| 500 | } |
| 501 | } |
| Hendrik Hofstadt | 0d7c91e | 2019-10-23 21:44:47 +0200 | [diff] [blame] | 502 | } |
| 503 | |
| Serge Bazanski | 37110c3 | 2023-03-01 13:57:27 +0000 | [diff] [blame] | 504 | func (s *Service) Watch() event.Watcher[*Status] { |
| 505 | return s.value.Watch() |
| 506 | } |
| 507 | |
| Serge Bazanski | f05e80a | 2021-10-12 11:53:34 +0200 | [diff] [blame] | 508 | // selfupdater is a runnable that performs a one-shot (once per Service Run, |
| 509 | // thus once for each configuration) update of the node's Peer URL in etcd. This |
| 510 | // is currently only really needed because the first node in the cluster |
| 511 | // bootstraps itself without any peer URLs at first, and this allows it to then |
| 512 | // add the peer URLs afterwards. Instead of a runnable, this might as well have |
| 513 | // been part of the bootstarp logic, but making it a restartable runnable is |
| 514 | // more robust. |
| 515 | func (s *Service) selfupdater(ctx context.Context) error { |
| 516 | supervisor.Signal(ctx, supervisor.SignalHealthy) |
| Serge Bazanski | 37110c3 | 2023-03-01 13:57:27 +0000 | [diff] [blame] | 517 | w := s.value.Watch() |
| Serge Bazanski | f05e80a | 2021-10-12 11:53:34 +0200 | [diff] [blame] | 518 | for { |
| 519 | st, err := w.Get(ctx) |
| 520 | if err != nil { |
| 521 | return fmt.Errorf("failed to get status: %w", err) |
| 522 | } |
| 523 | |
| Serge Bazanski | 5839e97 | 2021-11-16 15:46:19 +0100 | [diff] [blame] | 524 | if st.localPeerURL != "" { |
| 525 | supervisor.Logger(ctx).Infof("Updating local peer URL...") |
| 526 | peerURL := st.localPeerURL |
| 527 | if _, err := st.cl.MemberUpdate(ctx, st.localMemberID, []string{peerURL}); err != nil { |
| 528 | supervisor.Logger(ctx).Warningf("failed to update member: %v", err) |
| 529 | time.Sleep(1 * time.Second) |
| 530 | continue |
| 531 | } |
| 532 | } else { |
| 533 | supervisor.Logger(ctx).Infof("No local peer URL, not updating.") |
| Serge Bazanski | f05e80a | 2021-10-12 11:53:34 +0200 | [diff] [blame] | 534 | } |
| 535 | |
| 536 | supervisor.Signal(ctx, supervisor.SignalDone) |
| 537 | return nil |
| Serge Bazanski | a105db5 | 2021-04-12 19:57:46 +0200 | [diff] [blame] | 538 | } |
| Hendrik Hofstadt | 0d7c91e | 2019-10-23 21:44:47 +0200 | [diff] [blame] | 539 | } |