Serge Bazanski | 0d93777 | 2021-06-17 15:54:40 +0200 | [diff] [blame] | 1 | // package roleserve implements the roleserver/“Role Server”. |
| 2 | // |
Serge Bazanski | 6dff6d6 | 2022-01-28 18:15:14 +0100 | [diff] [blame] | 3 | // The Role Server runs on every node and is responsible for running all of the |
| 4 | // node's role dependant services, like the control plane (Consensus/etcd and |
| 5 | // Curator) and Kubernetes. It watches the node roles as assigned by the |
| 6 | // cluster's curator, updates the status of the node within the curator, and |
| 7 | // spawns on-demand services. |
Serge Bazanski | 0d93777 | 2021-06-17 15:54:40 +0200 | [diff] [blame] | 8 | // |
Serge Bazanski | 37110c3 | 2023-03-01 13:57:27 +0000 | [diff] [blame] | 9 | // .-----------. .--------. Watches .------------. |
| 10 | // | Cluster |--------->| Role |<----------| Node Roles | |
| 11 | // | Enrolment | Provides | Server | Updates '------------' |
| 12 | // '-----------' Data | |----. .-------------. |
| 13 | // '--------' '----->| Node Status | |
| 14 | // Spawns | | Spawns '-------------' |
| 15 | // .-----' '-----. |
| 16 | // V V |
| 17 | // .-----------. .------------. |
| 18 | // | Consensus | | Kubernetes | |
| 19 | // | & Curator | | | |
| 20 | // '-----------' '------------' |
Serge Bazanski | 6dff6d6 | 2022-01-28 18:15:14 +0100 | [diff] [blame] | 21 | // |
| 22 | // The internal state of the Role Server (eg. status of services, input from |
| 23 | // Cluster Enrolment, current node roles as retrieved from the cluster) is |
| 24 | // stored as in-memory Event Value variables, with some of them being exposed |
| 25 | // externally for other services to consume (ie. ones that wish to depend on |
| 26 | // some information managed by the Role Server but which do not need to be |
| 27 | // spawned on demand by the Role Server). These Event Values and code which acts |
| 28 | // upon them form a reactive/dataflow-driven model which drives the Role Server |
| 29 | // logic forward. |
| 30 | // |
| 31 | // The Role Server also has to handle the complex bootstrap problem involved in |
| 32 | // simultaneously accessing the control plane (for node roles and other cluster |
| 33 | // data) while maintaining (possibly the only one in the cluster) control plane |
| 34 | // instance. The state of of resolution of this bootstrap problem is maintained |
| 35 | // within ClusterMembership, which contains critical information about the |
| 36 | // control plane, like the information required to connect to a Curator (local |
| 37 | // or remote). It is updated both by external processes (ie. data from the |
| 38 | // Cluster Enrolment) as well as logic responsible for spawning the control |
| 39 | // plane. |
Serge Bazanski | 0d93777 | 2021-06-17 15:54:40 +0200 | [diff] [blame] | 40 | package roleserve |
| 41 | |
| 42 | import ( |
| 43 | "context" |
Serge Bazanski | 6dff6d6 | 2022-01-28 18:15:14 +0100 | [diff] [blame] | 44 | "crypto/ed25519" |
Serge Bazanski | 0d93777 | 2021-06-17 15:54:40 +0200 | [diff] [blame] | 45 | |
Serge Bazanski | b43d0f0 | 2022-06-23 17:32:10 +0200 | [diff] [blame] | 46 | common "source.monogon.dev/metropolis/node" |
Serge Bazanski | 7920852 | 2023-03-28 20:14:58 +0200 | [diff] [blame] | 47 | "source.monogon.dev/metropolis/node/core/clusternet" |
Lorenz Brun | 1de8b18 | 2021-12-21 17:15:18 +0100 | [diff] [blame] | 48 | "source.monogon.dev/metropolis/node/core/identity" |
Serge Bazanski | 0d93777 | 2021-06-17 15:54:40 +0200 | [diff] [blame] | 49 | "source.monogon.dev/metropolis/node/core/localstorage" |
| 50 | "source.monogon.dev/metropolis/node/core/network" |
Serge Bazanski | b43d0f0 | 2022-06-23 17:32:10 +0200 | [diff] [blame] | 51 | "source.monogon.dev/metropolis/node/core/rpc/resolver" |
Serge Bazanski | 37110c3 | 2023-03-01 13:57:27 +0000 | [diff] [blame] | 52 | "source.monogon.dev/metropolis/pkg/event/memory" |
Serge Bazanski | e012b72 | 2023-03-29 17:49:04 +0200 | [diff] [blame] | 53 | "source.monogon.dev/metropolis/pkg/logtree" |
Serge Bazanski | 0d93777 | 2021-06-17 15:54:40 +0200 | [diff] [blame] | 54 | "source.monogon.dev/metropolis/pkg/supervisor" |
Serge Bazanski | e012b72 | 2023-03-29 17:49:04 +0200 | [diff] [blame] | 55 | |
Serge Bazanski | 6dff6d6 | 2022-01-28 18:15:14 +0100 | [diff] [blame] | 56 | cpb "source.monogon.dev/metropolis/proto/common" |
Serge Bazanski | 0d93777 | 2021-06-17 15:54:40 +0200 | [diff] [blame] | 57 | ) |
| 58 | |
| 59 | // Config is the configuration of the role server. |
| 60 | type Config struct { |
Serge Bazanski | 0d93777 | 2021-06-17 15:54:40 +0200 | [diff] [blame] | 61 | // StorageRoot is a handle to access all of the Node's storage. This is needed |
| 62 | // as the roleserver spawns complex workloads like Kubernetes which need access |
| 63 | // to a broad range of storage. |
| 64 | StorageRoot *localstorage.Root |
| 65 | |
| 66 | // Network is a handle to the network service, used by workloads. |
| 67 | Network *network.Service |
Serge Bazanski | 58ddc09 | 2022-06-30 18:23:33 +0200 | [diff] [blame] | 68 | |
| 69 | // resolver is the main, long-lived, authenticated cluster resolver that is used |
| 70 | // for all subsequent gRPC calls by the subordinates of the roleserver. It is |
| 71 | // created early in the roleserver lifecycle, and is seeded with node |
| 72 | // information as the first subordinate runs DialCurator(). |
| 73 | Resolver *resolver.Resolver |
Serge Bazanski | e012b72 | 2023-03-29 17:49:04 +0200 | [diff] [blame] | 74 | |
| 75 | LogTree *logtree.LogTree |
Serge Bazanski | 0d93777 | 2021-06-17 15:54:40 +0200 | [diff] [blame] | 76 | } |
| 77 | |
| 78 | // Service is the roleserver/“Role Server” service. See the package-level |
| 79 | // documentation for more details. |
| 80 | type Service struct { |
| 81 | Config |
| 82 | |
Serge Bazanski | 37110c3 | 2023-03-01 13:57:27 +0000 | [diff] [blame] | 83 | ClusterMembership memory.Value[*ClusterMembership] |
| 84 | KubernetesStatus memory.Value[*KubernetesStatus] |
| 85 | bootstrapData memory.Value[*bootstrapData] |
| 86 | localRoles memory.Value[*cpb.NodeRoles] |
Serge Bazanski | 7920852 | 2023-03-28 20:14:58 +0200 | [diff] [blame] | 87 | podNetwork memory.Value[*clusternet.Prefixes] |
Serge Bazanski | 0d93777 | 2021-06-17 15:54:40 +0200 | [diff] [blame] | 88 | |
Serge Bazanski | 6dff6d6 | 2022-01-28 18:15:14 +0100 | [diff] [blame] | 89 | controlPlane *workerControlPlane |
| 90 | statusPush *workerStatusPush |
Mateusz Zalega | 32b1929 | 2022-05-17 13:26:55 +0200 | [diff] [blame] | 91 | heartbeat *workerHeartbeat |
Serge Bazanski | 6dff6d6 | 2022-01-28 18:15:14 +0100 | [diff] [blame] | 92 | kubernetes *workerKubernetes |
| 93 | rolefetch *workerRoleFetch |
Serge Bazanski | b40c008 | 2023-03-29 14:28:04 +0200 | [diff] [blame] | 94 | nodeMgmt *workerNodeMgmt |
Serge Bazanski | 7920852 | 2023-03-28 20:14:58 +0200 | [diff] [blame] | 95 | clusternet *workerClusternet |
Serge Bazanski | 0d93777 | 2021-06-17 15:54:40 +0200 | [diff] [blame] | 96 | } |
| 97 | |
| 98 | // New creates a Role Server services from a Config. |
| 99 | func New(c Config) *Service { |
Serge Bazanski | b43d0f0 | 2022-06-23 17:32:10 +0200 | [diff] [blame] | 100 | s := &Service{ |
Serge Bazanski | 58ddc09 | 2022-06-30 18:23:33 +0200 | [diff] [blame] | 101 | Config: c, |
Serge Bazanski | b43d0f0 | 2022-06-23 17:32:10 +0200 | [diff] [blame] | 102 | } |
Serge Bazanski | 6dff6d6 | 2022-01-28 18:15:14 +0100 | [diff] [blame] | 103 | s.controlPlane = &workerControlPlane{ |
| 104 | storageRoot: s.StorageRoot, |
| 105 | |
| 106 | bootstrapData: &s.bootstrapData, |
| 107 | clusterMembership: &s.ClusterMembership, |
| 108 | localRoles: &s.localRoles, |
Serge Bazanski | 58ddc09 | 2022-06-30 18:23:33 +0200 | [diff] [blame] | 109 | resolver: s.Resolver, |
Serge Bazanski | 6dff6d6 | 2022-01-28 18:15:14 +0100 | [diff] [blame] | 110 | } |
| 111 | |
| 112 | s.statusPush = &workerStatusPush{ |
| 113 | network: s.Network, |
| 114 | |
| 115 | clusterMembership: &s.ClusterMembership, |
| 116 | } |
| 117 | |
Mateusz Zalega | 32b1929 | 2022-05-17 13:26:55 +0200 | [diff] [blame] | 118 | s.heartbeat = &workerHeartbeat{ |
| 119 | network: s.Network, |
| 120 | |
| 121 | clusterMembership: &s.ClusterMembership, |
| 122 | } |
| 123 | |
Serge Bazanski | 6dff6d6 | 2022-01-28 18:15:14 +0100 | [diff] [blame] | 124 | s.kubernetes = &workerKubernetes{ |
| 125 | network: s.Network, |
| 126 | storageRoot: s.StorageRoot, |
| 127 | |
| 128 | localRoles: &s.localRoles, |
| 129 | clusterMembership: &s.ClusterMembership, |
| 130 | |
| 131 | kubernetesStatus: &s.KubernetesStatus, |
Serge Bazanski | 7920852 | 2023-03-28 20:14:58 +0200 | [diff] [blame] | 132 | podNetwork: &s.podNetwork, |
Serge Bazanski | 6dff6d6 | 2022-01-28 18:15:14 +0100 | [diff] [blame] | 133 | } |
| 134 | |
| 135 | s.rolefetch = &workerRoleFetch{ |
| 136 | clusterMembership: &s.ClusterMembership, |
| 137 | |
| 138 | localRoles: &s.localRoles, |
| 139 | } |
| 140 | |
Serge Bazanski | b40c008 | 2023-03-29 14:28:04 +0200 | [diff] [blame] | 141 | s.nodeMgmt = &workerNodeMgmt{ |
| 142 | clusterMembership: &s.ClusterMembership, |
Serge Bazanski | e012b72 | 2023-03-29 17:49:04 +0200 | [diff] [blame] | 143 | logTree: s.LogTree, |
Serge Bazanski | b40c008 | 2023-03-29 14:28:04 +0200 | [diff] [blame] | 144 | } |
Serge Bazanski | 7920852 | 2023-03-28 20:14:58 +0200 | [diff] [blame] | 145 | s.clusternet = &workerClusternet{ |
| 146 | storageRoot: s.StorageRoot, |
| 147 | |
| 148 | clusterMembership: &s.ClusterMembership, |
| 149 | podNetwork: &s.podNetwork, |
| 150 | } |
Serge Bazanski | b40c008 | 2023-03-29 14:28:04 +0200 | [diff] [blame] | 151 | |
Serge Bazanski | 6dff6d6 | 2022-01-28 18:15:14 +0100 | [diff] [blame] | 152 | return s |
Serge Bazanski | 0d93777 | 2021-06-17 15:54:40 +0200 | [diff] [blame] | 153 | } |
| 154 | |
Mateusz Zalega | 2930e99 | 2022-04-25 12:52:35 +0200 | [diff] [blame] | 155 | func (s *Service) ProvideBootstrapData(privkey ed25519.PrivateKey, iok, cuk, nuk, jkey []byte) { |
Serge Bazanski | b43d0f0 | 2022-06-23 17:32:10 +0200 | [diff] [blame] | 156 | pubkey := privkey.Public().(ed25519.PublicKey) |
| 157 | nid := identity.NodeID(pubkey) |
| 158 | |
| 159 | // This is the first time we have the node ID, tell the resolver that it's |
| 160 | // available on the loopback interface. |
Serge Bazanski | 58ddc09 | 2022-06-30 18:23:33 +0200 | [diff] [blame] | 161 | s.Resolver.AddOverride(nid, resolver.NodeByHostPort("127.0.0.1", uint16(common.CuratorServicePort))) |
Serge Bazanski | b43d0f0 | 2022-06-23 17:32:10 +0200 | [diff] [blame] | 162 | |
Serge Bazanski | 37110c3 | 2023-03-01 13:57:27 +0000 | [diff] [blame] | 163 | s.ClusterMembership.Set(&ClusterMembership{ |
Serge Bazanski | b43d0f0 | 2022-06-23 17:32:10 +0200 | [diff] [blame] | 164 | pubkey: pubkey, |
Serge Bazanski | 58ddc09 | 2022-06-30 18:23:33 +0200 | [diff] [blame] | 165 | resolver: s.Resolver, |
Serge Bazanski | 6dff6d6 | 2022-01-28 18:15:14 +0100 | [diff] [blame] | 166 | }) |
Serge Bazanski | 37110c3 | 2023-03-01 13:57:27 +0000 | [diff] [blame] | 167 | s.bootstrapData.Set(&bootstrapData{ |
Mateusz Zalega | 2930e99 | 2022-04-25 12:52:35 +0200 | [diff] [blame] | 168 | nodePrivateKey: privkey, |
| 169 | initialOwnerKey: iok, |
| 170 | clusterUnlockKey: cuk, |
| 171 | nodeUnlockKey: nuk, |
| 172 | nodePrivateJoinKey: jkey, |
Serge Bazanski | 6dff6d6 | 2022-01-28 18:15:14 +0100 | [diff] [blame] | 173 | }) |
Serge Bazanski | 0d93777 | 2021-06-17 15:54:40 +0200 | [diff] [blame] | 174 | } |
| 175 | |
Serge Bazanski | 6dff6d6 | 2022-01-28 18:15:14 +0100 | [diff] [blame] | 176 | func (s *Service) ProvideRegisterData(credentials identity.NodeCredentials, directory *cpb.ClusterDirectory) { |
Serge Bazanski | b43d0f0 | 2022-06-23 17:32:10 +0200 | [diff] [blame] | 177 | // This is the first time we have the node ID, tell the resolver that it's |
| 178 | // available on the loopback interface. |
Serge Bazanski | 58ddc09 | 2022-06-30 18:23:33 +0200 | [diff] [blame] | 179 | s.Resolver.AddOverride(credentials.ID(), resolver.NodeByHostPort("127.0.0.1", uint16(common.CuratorServicePort))) |
Serge Bazanski | b43d0f0 | 2022-06-23 17:32:10 +0200 | [diff] [blame] | 180 | |
Serge Bazanski | 37110c3 | 2023-03-01 13:57:27 +0000 | [diff] [blame] | 181 | s.ClusterMembership.Set(&ClusterMembership{ |
Serge Bazanski | 6dff6d6 | 2022-01-28 18:15:14 +0100 | [diff] [blame] | 182 | remoteCurators: directory, |
| 183 | credentials: &credentials, |
| 184 | pubkey: credentials.PublicKey(), |
Serge Bazanski | 58ddc09 | 2022-06-30 18:23:33 +0200 | [diff] [blame] | 185 | resolver: s.Resolver, |
Serge Bazanski | 6dff6d6 | 2022-01-28 18:15:14 +0100 | [diff] [blame] | 186 | }) |
Serge Bazanski | 0d93777 | 2021-06-17 15:54:40 +0200 | [diff] [blame] | 187 | } |
| 188 | |
Mateusz Zalega | 2930e99 | 2022-04-25 12:52:35 +0200 | [diff] [blame] | 189 | func (s *Service) ProvideJoinData(credentials identity.NodeCredentials, directory *cpb.ClusterDirectory) { |
Serge Bazanski | b43d0f0 | 2022-06-23 17:32:10 +0200 | [diff] [blame] | 190 | // This is the first time we have the node ID, tell the resolver that it's |
| 191 | // available on the loopback interface. |
Serge Bazanski | 58ddc09 | 2022-06-30 18:23:33 +0200 | [diff] [blame] | 192 | s.Resolver.AddOverride(credentials.ID(), resolver.NodeByHostPort("127.0.0.1", uint16(common.CuratorServicePort))) |
Serge Bazanski | b43d0f0 | 2022-06-23 17:32:10 +0200 | [diff] [blame] | 193 | |
Serge Bazanski | 37110c3 | 2023-03-01 13:57:27 +0000 | [diff] [blame] | 194 | s.ClusterMembership.Set(&ClusterMembership{ |
Mateusz Zalega | 2930e99 | 2022-04-25 12:52:35 +0200 | [diff] [blame] | 195 | remoteCurators: directory, |
| 196 | credentials: &credentials, |
| 197 | pubkey: credentials.PublicKey(), |
Serge Bazanski | 58ddc09 | 2022-06-30 18:23:33 +0200 | [diff] [blame] | 198 | resolver: s.Resolver, |
Mateusz Zalega | 2930e99 | 2022-04-25 12:52:35 +0200 | [diff] [blame] | 199 | }) |
| 200 | } |
| 201 | |
Serge Bazanski | 0d93777 | 2021-06-17 15:54:40 +0200 | [diff] [blame] | 202 | // Run the Role Server service, which uses intermediary workload launchers to |
| 203 | // start/stop subordinate services as the Node's roles change. |
| 204 | func (s *Service) Run(ctx context.Context) error { |
Serge Bazanski | 6dff6d6 | 2022-01-28 18:15:14 +0100 | [diff] [blame] | 205 | supervisor.Run(ctx, "controlplane", s.controlPlane.run) |
| 206 | supervisor.Run(ctx, "kubernetes", s.kubernetes.run) |
| 207 | supervisor.Run(ctx, "statuspush", s.statusPush.run) |
Mateusz Zalega | 32b1929 | 2022-05-17 13:26:55 +0200 | [diff] [blame] | 208 | supervisor.Run(ctx, "heartbeat", s.heartbeat.run) |
Serge Bazanski | 6dff6d6 | 2022-01-28 18:15:14 +0100 | [diff] [blame] | 209 | supervisor.Run(ctx, "rolefetch", s.rolefetch.run) |
Serge Bazanski | b40c008 | 2023-03-29 14:28:04 +0200 | [diff] [blame] | 210 | supervisor.Run(ctx, "nodemgmt", s.nodeMgmt.run) |
Serge Bazanski | 7920852 | 2023-03-28 20:14:58 +0200 | [diff] [blame] | 211 | supervisor.Run(ctx, "clusternet", s.clusternet.run) |
Serge Bazanski | 0d93777 | 2021-06-17 15:54:40 +0200 | [diff] [blame] | 212 | supervisor.Signal(ctx, supervisor.SignalHealthy) |
| 213 | |
Serge Bazanski | 6dff6d6 | 2022-01-28 18:15:14 +0100 | [diff] [blame] | 214 | <-ctx.Done() |
| 215 | return ctx.Err() |
Serge Bazanski | 0d93777 | 2021-06-17 15:54:40 +0200 | [diff] [blame] | 216 | } |