// Copyright © 2017 The virtual-kubelet authors // // Licensed under the Apache License, Version 2.0 (the "License"); // you may not use this file except in compliance with the License. // You may obtain a copy of the License at // // http://www.apache.org/licenses/LICENSE-2.0 // // Unless required by applicable law or agreed to in writing, software // distributed under the License is distributed on an "AS IS" BASIS, // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. // See the License for the specific language governing permissions and // limitations under the License. package node import ( "context" "fmt" "reflect" "strconv" "sync" "time" pkgerrors "github.com/pkg/errors" "github.com/virtual-kubelet/virtual-kubelet/errdefs" "github.com/virtual-kubelet/virtual-kubelet/internal/manager" "github.com/virtual-kubelet/virtual-kubelet/log" "github.com/virtual-kubelet/virtual-kubelet/trace" corev1 "k8s.io/api/core/v1" "k8s.io/apimachinery/pkg/api/errors" "k8s.io/apimachinery/pkg/util/wait" corev1informers "k8s.io/client-go/informers/core/v1" corev1client "k8s.io/client-go/kubernetes/typed/core/v1" corev1listers "k8s.io/client-go/listers/core/v1" "k8s.io/client-go/tools/cache" "k8s.io/client-go/tools/record" "k8s.io/client-go/util/workqueue" ) // PodLifecycleHandler defines the interface used by the PodController to react // to new and changed pods scheduled to the node that is being managed. // // Errors produced by these methods should implement an interface from // github.com/virtual-kubelet/virtual-kubelet/errdefs package in order for the // core logic to be able to understand the type of failure. type PodLifecycleHandler interface { // CreatePod takes a Kubernetes Pod and deploys it within the provider. CreatePod(ctx context.Context, pod *corev1.Pod) error // UpdatePod takes a Kubernetes Pod and updates it within the provider. UpdatePod(ctx context.Context, pod *corev1.Pod) error // DeletePod takes a Kubernetes Pod and deletes it from the provider. DeletePod(ctx context.Context, pod *corev1.Pod) error // GetPod retrieves a pod by name from the provider (can be cached). GetPod(ctx context.Context, namespace, name string) (*corev1.Pod, error) // GetPodStatus retrieves the status of a pod by name from the provider. GetPodStatus(ctx context.Context, namespace, name string) (*corev1.PodStatus, error) // GetPods retrieves a list of all pods running on the provider (can be cached). GetPods(context.Context) ([]*corev1.Pod, error) } // PodNotifier notifies callers of pod changes. // Providers should implement this interface to enable callers to be notified // of pod status updates asynchronously. type PodNotifier interface { // NotifyPods instructs the notifier to call the passed in function when // the pod status changes. It should be called when a pod's status changes. // // The provided pointer to a Pod is guaranteed to be used in a read-only // fashion. The provided pod's PodStatus should be up to date when // this function is called. // // NotifyPods will not block callers. NotifyPods(context.Context, func(*corev1.Pod)) } // PodController is the controller implementation for Pod resources. type PodController struct { provider PodLifecycleHandler // podsInformer is an informer for Pod resources. podsInformer corev1informers.PodInformer // podsLister is able to list/get Pod resources from a shared informer's store. podsLister corev1listers.PodLister // recorder is an event recorder for recording Event resources to the Kubernetes API. recorder record.EventRecorder // ready is a channel which will be closed once the pod controller is fully up and running. // this channel will never be closed if there is an error on startup. ready chan struct{} client corev1client.PodsGetter resourceManager *manager.ResourceManager k8sQ workqueue.RateLimitingInterface } // PodControllerConfig is used to configure a new PodController. type PodControllerConfig struct { // PodClient is used to perform actions on the k8s API, such as updating pod status // This field is required PodClient corev1client.PodsGetter // PodInformer is used as a local cache for pods // This should be configured to only look at pods scheduled to the node which the controller will be managing PodInformer corev1informers.PodInformer EventRecorder record.EventRecorder Provider PodLifecycleHandler // Informers used for filling details for things like downward API in pod spec. // // We are using informers here instead of listeners because we'll need the // informer for certain features (like notifications for updated ConfigMaps) ConfigMapInformer corev1informers.ConfigMapInformer SecretInformer corev1informers.SecretInformer ServiceInformer corev1informers.ServiceInformer } func NewPodController(cfg PodControllerConfig) (*PodController, error) { if cfg.PodClient == nil { return nil, errdefs.InvalidInput("missing core client") } if cfg.EventRecorder == nil { return nil, errdefs.InvalidInput("missing event recorder") } if cfg.PodInformer == nil { return nil, errdefs.InvalidInput("missing pod informer") } if cfg.ConfigMapInformer == nil { return nil, errdefs.InvalidInput("missing config map informer") } if cfg.SecretInformer == nil { return nil, errdefs.InvalidInput("missing secret informer") } if cfg.ServiceInformer == nil { return nil, errdefs.InvalidInput("missing service informer") } if cfg.Provider == nil { return nil, errdefs.InvalidInput("missing provider") } rm, err := manager.NewResourceManager(cfg.PodInformer.Lister(), cfg.SecretInformer.Lister(), cfg.ConfigMapInformer.Lister(), cfg.ServiceInformer.Lister()) if err != nil { return nil, pkgerrors.Wrap(err, "could not create resource manager") } pc := &PodController{ client: cfg.PodClient, podsInformer: cfg.PodInformer, podsLister: cfg.PodInformer.Lister(), provider: cfg.Provider, resourceManager: rm, ready: make(chan struct{}), recorder: cfg.EventRecorder, k8sQ: workqueue.NewNamedRateLimitingQueue(workqueue.DefaultControllerRateLimiter(), "syncPodsFromKubernetes"), } // Set up event handlers for when Pod resources change. pc.podsInformer.Informer().AddEventHandler(cache.ResourceEventHandlerFuncs{ AddFunc: func(pod interface{}) { if key, err := cache.MetaNamespaceKeyFunc(pod); err != nil { log.L.Error(err) } else { pc.k8sQ.AddRateLimited(key) } }, UpdateFunc: func(oldObj, newObj interface{}) { // Create a copy of the old and new pod objects so we don't mutate the cache. oldPod := oldObj.(*corev1.Pod).DeepCopy() newPod := newObj.(*corev1.Pod).DeepCopy() // We want to check if the two objects differ in anything other than their resource versions. // Hence, we make them equal so that this change isn't picked up by reflect.DeepEqual. newPod.ResourceVersion = oldPod.ResourceVersion // Skip adding this pod's key to the work queue if its .metadata (except .metadata.resourceVersion) and .spec fields haven't changed. // This guarantees that we don't attempt to sync the pod every time its .status field is updated. if reflect.DeepEqual(oldPod.ObjectMeta, newPod.ObjectMeta) && reflect.DeepEqual(oldPod.Spec, newPod.Spec) { return } // At this point we know that something in .metadata or .spec has changed, so we must proceed to sync the pod. if key, err := cache.MetaNamespaceKeyFunc(newPod); err != nil { log.L.Error(err) } else { pc.k8sQ.AddRateLimited(key) } }, DeleteFunc: func(pod interface{}) { if key, err := cache.DeletionHandlingMetaNamespaceKeyFunc(pod); err != nil { log.L.Error(err) } else { pc.k8sQ.AddRateLimited(key) } }, }) return pc, nil } // Run will set up the event handlers for types we are interested in, as well as syncing informer caches and starting workers. // It will block until the context is cancelled, at which point it will shutdown the work queue and wait for workers to finish processing their current work items. func (pc *PodController) Run(ctx context.Context, podSyncWorkers int) error { defer pc.k8sQ.ShutDown() podStatusQueue := workqueue.NewNamedRateLimitingQueue(workqueue.DefaultControllerRateLimiter(), "syncPodStatusFromProvider") pc.runSyncFromProvider(ctx, podStatusQueue) pc.runProviderSyncWorkers(ctx, podStatusQueue, podSyncWorkers) defer podStatusQueue.ShutDown() // Wait for the caches to be synced *before* starting workers. if ok := cache.WaitForCacheSync(ctx.Done(), pc.podsInformer.Informer().HasSynced); !ok { return pkgerrors.New("failed to wait for caches to sync") } log.G(ctx).Info("Pod cache in-sync") // Perform a reconciliation step that deletes any dangling pods from the provider. // This happens only when the virtual-kubelet is starting, and operates on a "best-effort" basis. // If by any reason the provider fails to delete a dangling pod, it will stay in the provider and deletion won't be retried. pc.deleteDanglingPods(ctx, podSyncWorkers) log.G(ctx).Info("starting workers") for id := 0; id < podSyncWorkers; id++ { go wait.Until(func() { // Use the worker's "index" as its ID so we can use it for tracing. pc.runWorker(ctx, strconv.Itoa(id), pc.k8sQ) }, time.Second, ctx.Done()) } close(pc.ready) log.G(ctx).Info("started workers") <-ctx.Done() log.G(ctx).Info("shutting down workers") return nil } // Ready returns a channel which gets closed once the PodController is ready to handle scheduled pods. // This channel will never close if there is an error on startup. // The status of this channel after shutdown is indeterminate. func (pc *PodController) Ready() <-chan struct{} { return pc.ready } // runWorker is a long-running function that will continually call the processNextWorkItem function in order to read and process an item on the work queue. func (pc *PodController) runWorker(ctx context.Context, workerId string, q workqueue.RateLimitingInterface) { for pc.processNextWorkItem(ctx, workerId, q) { } } // processNextWorkItem will read a single work item off the work queue and attempt to process it,by calling the syncHandler. func (pc *PodController) processNextWorkItem(ctx context.Context, workerId string, q workqueue.RateLimitingInterface) bool { // We create a span only after popping from the queue so that we can get an adequate picture of how long it took to process the item. ctx, span := trace.StartSpan(ctx, "processNextWorkItem") defer span.End() // Add the ID of the current worker as an attribute to the current span. ctx = span.WithField(ctx, "workerId", workerId) return handleQueueItem(ctx, q, pc.syncHandler) } // syncHandler compares the actual state with the desired, and attempts to converge the two. func (pc *PodController) syncHandler(ctx context.Context, key string) error { ctx, span := trace.StartSpan(ctx, "syncHandler") defer span.End() // Add the current key as an attribute to the current span. ctx = span.WithField(ctx, "key", key) // Convert the namespace/name string into a distinct namespace and name. namespace, name, err := cache.SplitMetaNamespaceKey(key) if err != nil { // Log the error as a warning, but do not requeue the key as it is invalid. log.G(ctx).Warn(pkgerrors.Wrapf(err, "invalid resource key: %q", key)) return nil } // Get the Pod resource with this namespace/name. pod, err := pc.podsLister.Pods(namespace).Get(name) if err != nil { if !errors.IsNotFound(err) { // We've failed to fetch the pod from the lister, but the error is not a 404. // Hence, we add the key back to the work queue so we can retry processing it later. err := pkgerrors.Wrapf(err, "failed to fetch pod with key %q from lister", key) span.SetStatus(err) return err } // At this point we know the Pod resource doesn't exist, which most probably means it was deleted. // Hence, we must delete it from the provider if it still exists there. if err := pc.deletePod(ctx, namespace, name); err != nil { err := pkgerrors.Wrapf(err, "failed to delete pod %q in the provider", loggablePodNameFromCoordinates(namespace, name)) span.SetStatus(err) return err } return nil } // At this point we know the Pod resource has either been created or updated (which includes being marked for deletion). return pc.syncPodInProvider(ctx, pod) } // syncPodInProvider tries and reconciles the state of a pod by comparing its Kubernetes representation and the provider's representation. func (pc *PodController) syncPodInProvider(ctx context.Context, pod *corev1.Pod) error { ctx, span := trace.StartSpan(ctx, "syncPodInProvider") defer span.End() // Add the pod's attributes to the current span. ctx = addPodAttributes(ctx, span, pod) // Check whether the pod has been marked for deletion. // If it does, guarantee it is deleted in the provider and Kubernetes. if pod.DeletionTimestamp != nil { if err := pc.deletePod(ctx, pod.Namespace, pod.Name); err != nil { err := pkgerrors.Wrapf(err, "failed to delete pod %q in the provider", loggablePodName(pod)) span.SetStatus(err) return err } return nil } // Ignore the pod if it is in the "Failed" or "Succeeded" state. if pod.Status.Phase == corev1.PodFailed || pod.Status.Phase == corev1.PodSucceeded { log.G(ctx).Warnf("skipping sync of pod %q in %q phase", loggablePodName(pod), pod.Status.Phase) return nil } // Create or update the pod in the provider. if err := pc.createOrUpdatePod(ctx, pod); err != nil { err := pkgerrors.Wrapf(err, "failed to sync pod %q in the provider", loggablePodName(pod)) span.SetStatus(err) return err } return nil } // deleteDanglingPods checks whether the provider knows about any pods which Kubernetes doesn't know about, and deletes them. func (pc *PodController) deleteDanglingPods(ctx context.Context, threadiness int) { ctx, span := trace.StartSpan(ctx, "deleteDanglingPods") defer span.End() // Grab the list of pods known to the provider. pps, err := pc.provider.GetPods(ctx) if err != nil { err := pkgerrors.Wrap(err, "failed to fetch the list of pods from the provider") span.SetStatus(err) log.G(ctx).Error(err) return } // Create a slice to hold the pods we will be deleting from the provider. ptd := make([]*corev1.Pod, 0) // Iterate over the pods known to the provider, marking for deletion those that don't exist in Kubernetes. // Take on this opportunity to populate the list of key that correspond to pods known to the provider. for _, pp := range pps { if _, err := pc.podsLister.Pods(pp.Namespace).Get(pp.Name); err != nil { if errors.IsNotFound(err) { // The current pod does not exist in Kubernetes, so we mark it for deletion. ptd = append(ptd, pp) continue } // For some reason we couldn't fetch the pod from the lister, so we propagate the error. err := pkgerrors.Wrap(err, "failed to fetch pod from the lister") span.SetStatus(err) log.G(ctx).Error(err) return } } // We delete each pod in its own goroutine, allowing a maximum of "threadiness" concurrent deletions. semaphore := make(chan struct{}, threadiness) var wg sync.WaitGroup wg.Add(len(ptd)) // Iterate over the slice of pods to be deleted and delete them in the provider. for _, pod := range ptd { go func(ctx context.Context, pod *corev1.Pod) { defer wg.Done() ctx, span := trace.StartSpan(ctx, "deleteDanglingPod") defer span.End() semaphore <- struct{}{} defer func() { <-semaphore }() // Add the pod's attributes to the current span. ctx = addPodAttributes(ctx, span, pod) // Actually delete the pod. if err := pc.deletePod(ctx, pod.Namespace, pod.Name); err != nil { span.SetStatus(err) log.G(ctx).Errorf("failed to delete pod %q in provider", loggablePodName(pod)) } else { log.G(ctx).Infof("deleted leaked pod %q in provider", loggablePodName(pod)) } }(ctx, pod) } // Wait for all pods to be deleted. wg.Wait() return } // loggablePodName returns the "namespace/name" key for the specified pod. // If the key cannot be computed, "(unknown)" is returned. // This method is meant to be used for logging purposes only. func loggablePodName(pod *corev1.Pod) string { k, err := cache.MetaNamespaceKeyFunc(pod) if err != nil { return "(unknown)" } return k } // loggablePodNameFromCoordinates returns the "namespace/name" key for the pod identified by the specified namespace and name (coordinates). func loggablePodNameFromCoordinates(namespace, name string) string { return fmt.Sprintf("%s/%s", namespace, name) }