// SPDX-License-Identifier: AGPL-3.0-only
// Provenance-includes-location: https://github.com/tilt-dev/tilt-apiserver/blob/main/pkg/storage/filepath/watchset.go
// Provenance-includes-license: Apache-2.0
// Provenance-includes-copyright: The Kubernetes Authors.

package file

import (
	"context"
	"fmt"
	"sync"
	"sync/atomic"

	"k8s.io/apimachinery/pkg/api/meta"
	"k8s.io/apimachinery/pkg/runtime"
	"k8s.io/apimachinery/pkg/watch"
	"k8s.io/apiserver/pkg/storage"
	"k8s.io/klog/v2"
)

const (
	UpdateChannelSize         = 25
	InitialWatchNodesSize     = 20
	InitialBufferedEventsSize = 25
)

type eventWrapper struct {
	ev watch.Event
	// optional: oldObject is only set for modifications for determining their type as necessary (when using predicate filtering)
	oldObject runtime.Object
}

type watchNode struct {
	ctx         context.Context
	s           *WatchSet
	id          uint64
	updateCh    chan eventWrapper
	outCh       chan watch.Event
	requestedRV uint64
	// the watch may or may not be namespaced for a namespaced resource. This is always nil for cluster-scoped kinds
	watchNamespace *string
	predicate      storage.SelectionPredicate
	versioner      storage.Versioner
}

// Keeps track of which watches need to be notified
type WatchSet struct {
	mu sync.RWMutex
	// mu protects both nodes and counter
	nodes         map[uint64]*watchNode
	counter       atomic.Uint64
	buffered      []eventWrapper
	bufferedMutex sync.RWMutex
}

func NewWatchSet() *WatchSet {
	return &WatchSet{
		buffered: make([]eventWrapper, 0, InitialBufferedEventsSize),
		nodes:    make(map[uint64]*watchNode, InitialWatchNodesSize),
	}
}

// Creates a new watch with a unique id, but
// does not start sending events to it until start() is called.
func (s *WatchSet) newWatch(ctx context.Context, requestedRV uint64, p storage.SelectionPredicate, versioner storage.Versioner, namespace *string) *watchNode {
	s.counter.Add(1)

	node := &watchNode{
		ctx:         ctx,
		requestedRV: requestedRV,
		id:          s.counter.Load(),
		s:           s,
		// updateCh size needs to be > 1 to allow slower clients to not block passing new events
		updateCh: make(chan eventWrapper, UpdateChannelSize),
		// outCh size needs to be > 1 for single process use-cases such as tests where watch and event seeding from CUD
		// events is happening on the same thread
		outCh:          make(chan watch.Event, UpdateChannelSize),
		predicate:      p,
		watchNamespace: namespace,
		versioner:      versioner,
	}

	return node
}

func (s *WatchSet) cleanupWatchers() {
	s.mu.Lock()
	defer s.mu.Unlock()
	for _, w := range s.nodes {
		w.stop()
	}
}

// oldObject is only passed in the event of a modification
// in case a predicate filtered watch is impacted as a result of modification
// NOTE: this function gives one the misperception that a newly added node will never
// get a double event, one from buffered and one from the update channel
// That perception is not true. Even though this function maintains the lock throughout the function body
// it is not true of the Start function. So basically, the Start function running after this function
// fully stands the chance of another future notifyWatchers double sending it the event through the two means mentioned
func (s *WatchSet) notifyWatchers(ev watch.Event, oldObject runtime.Object) {
	s.mu.RLock()
	defer s.mu.RUnlock()

	updateEv := eventWrapper{
		ev: ev,
	}
	if oldObject != nil {
		updateEv.oldObject = oldObject
	}

	// Events are always buffered.
	// this is because of an inadvertent delay which is built into the watch process
	// Watch() from storage returns Watch.Interface with a async start func.
	// The only way to guarantee that we can interpret the passed RV correctly is to play it against missed events
	// (notice the loop below over s.nodes isn't exactly going to work on a new node
	// unless start is called on it)
	s.bufferedMutex.Lock()
	s.buffered = append(s.buffered, updateEv)
	s.bufferedMutex.Unlock()

	for _, w := range s.nodes {
		w.updateCh <- updateEv
	}
}

// isValid is not necessary to be called on oldObject in UpdateEvents - assuming the Watch pushes correctly setup eventWrapper our way
// first bool is whether the event is valid for current watcher
// second bool is whether checking the old value against the predicate may be valuable to the caller
// second bool may be a helpful aid to establish context around MODIFIED events
// (note that this second bool is only marked true if we pass other checks first, namely RV and namespace)
func (w *watchNode) isValid(e eventWrapper) (bool, bool, error) {
	obj, err := meta.Accessor(e.ev.Object)
	if err != nil {
		klog.Error("Could not get accessor to object in event")
		return false, false, nil
	}

	eventRV, err := w.getResourceVersionAsInt(e.ev.Object)
	if err != nil {
		return false, false, err
	}

	if eventRV < w.requestedRV {
		return false, false, nil
	}

	if w.watchNamespace != nil && *w.watchNamespace != obj.GetNamespace() {
		return false, false, err
	}

	valid, err := w.predicate.Matches(e.ev.Object)
	if err != nil {
		return false, false, err
	}

	return valid, e.ev.Type == watch.Modified, nil
}

// Only call this method if current object matches the predicate
func (w *watchNode) handleAddedForFilteredList(e eventWrapper) (*watch.Event, error) {
	if e.oldObject == nil {
		return nil, fmt.Errorf("oldObject should be set for modified events")
	}

	ok, err := w.predicate.Matches(e.oldObject)
	if err != nil {
		return nil, err
	}

	if !ok {
		e.ev.Type = watch.Added
		return &e.ev, nil
	}

	return nil, nil
}

func (w *watchNode) handleDeletedForFilteredList(e eventWrapper) (*watch.Event, error) {
	if e.oldObject == nil {
		return nil, fmt.Errorf("oldObject should be set for modified events")
	}

	ok, err := w.predicate.Matches(e.oldObject)
	if err != nil {
		return nil, err
	}

	if !ok {
		return nil, nil
	}

	// isn't a match but used to be
	e.ev.Type = watch.Deleted

	oldObjectAccessor, err := meta.Accessor(e.oldObject)
	if err != nil {
		klog.Errorf("Could not get accessor to correct the old RV of filtered out object")
		return nil, err
	}

	currentRV, err := getResourceVersion(e.ev.Object)
	if err != nil {
		klog.Errorf("Could not get accessor to object in event")
		return nil, err
	}

	oldObjectAccessor.SetResourceVersion(currentRV)
	e.ev.Object = e.oldObject

	return &e.ev, nil
}

func (w *watchNode) processEvent(e eventWrapper, isInitEvent bool) error {
	if isInitEvent {
		// Init events have already been vetted against the predicate and other RV behavior
		// Let them pass through
		w.outCh <- e.ev
		return nil
	}

	valid, runDeleteFromFilteredListHandler, err := w.isValid(e)
	if err != nil {
		klog.Errorf("Could not determine validity of the event: %v", err)
		return err
	}
	if valid {
		if e.ev.Type == watch.Modified {
			ev, err := w.handleAddedForFilteredList(e)
			if err != nil {
				return err
			}
			if ev != nil {
				w.outCh <- *ev
			} else {
				// forward the original event if add handling didn't signal any impact
				w.outCh <- e.ev
			}
		} else {
			w.outCh <- e.ev
		}
		return nil
	}

	if runDeleteFromFilteredListHandler {
		if e.ev.Type == watch.Modified {
			ev, err := w.handleDeletedForFilteredList(e)
			if err != nil {
				return err
			}
			if ev != nil {
				w.outCh <- *ev
			}
		} // explicitly doesn't have an event forward for the else case here
		return nil
	}

	return nil
}

// Start sending events to this watch.
func (w *watchNode) Start(initEvents ...watch.Event) {
	w.s.mu.Lock()
	w.s.nodes[w.id] = w
	w.s.mu.Unlock()

	go func() {
		maxRV := uint64(0)
		for _, ev := range initEvents {
			currentRV, err := w.getResourceVersionAsInt(ev.Object)
			if err != nil {
				klog.Errorf("Could not determine init event RV for deduplication of buffered events: %v", err)
				continue
			}

			if maxRV < currentRV {
				maxRV = currentRV
			}

			if err := w.processEvent(eventWrapper{ev: ev}, true); err != nil {
				klog.Errorf("Could not process event: %v", err)
			}
		}

		// If we had no init events, simply rely on the passed RV
		if maxRV == 0 {
			maxRV = w.requestedRV
		}

		w.s.bufferedMutex.RLock()
		for _, e := range w.s.buffered {
			eventRV, err := w.getResourceVersionAsInt(e.ev.Object)
			if err != nil {
				klog.Errorf("Could not determine RV for deduplication of buffered events: %v", err)
				continue
			}

			if maxRV >= eventRV {
				continue
			} else {
				maxRV = eventRV
			}

			if err := w.processEvent(e, false); err != nil {
				klog.Errorf("Could not process event: %v", err)
			}
		}
		w.s.bufferedMutex.RUnlock()

		for {
			select {
			case e, ok := <-w.updateCh:
				if !ok {
					close(w.outCh)
					return
				}

				eventRV, err := w.getResourceVersionAsInt(e.ev.Object)
				if err != nil {
					klog.Errorf("Could not determine RV for deduplication of channel events: %v", err)
					continue
				}

				if maxRV >= eventRV {
					continue
				} else {
					maxRV = eventRV
				}

				if err := w.processEvent(e, false); err != nil {
					klog.Errorf("Could not process event: %v", err)
				}
			case <-w.ctx.Done():
				close(w.outCh)
				return
			}
		}
	}()
}

func (w *watchNode) Stop() {
	w.s.mu.Lock()
	defer w.s.mu.Unlock()
	w.stop()
}

// Unprotected func: ensure mutex on the parent watch set is locked before calling
func (w *watchNode) stop() {
	if _, ok := w.s.nodes[w.id]; ok {
		delete(w.s.nodes, w.id)
		close(w.updateCh)
	}
}

func (w *watchNode) ResultChan() <-chan watch.Event {
	return w.outCh
}

func getResourceVersion(obj runtime.Object) (string, error) {
	accessor, err := meta.Accessor(obj)
	if err != nil {
		klog.Error("Could not get accessor to object in event")
		return "", err
	}
	return accessor.GetResourceVersion(), nil
}

func (w *watchNode) getResourceVersionAsInt(obj runtime.Object) (uint64, error) {
	accessor, err := meta.Accessor(obj)
	if err != nil {
		klog.Error("Could not get accessor to object in event")
		return 0, err
	}

	return w.versioner.ParseResourceVersion(accessor.GetResourceVersion())
}