mirror of https://github.com/k3s-io/k3s
315 lines
11 KiB
Go
315 lines
11 KiB
Go
|
/*
|
||
|
Copyright 2017 The Kubernetes 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 proxy
|
||
|
|
||
|
import (
|
||
|
"net"
|
||
|
"reflect"
|
||
|
"strconv"
|
||
|
"sync"
|
||
|
|
||
|
"k8s.io/klog"
|
||
|
|
||
|
"k8s.io/api/core/v1"
|
||
|
"k8s.io/apimachinery/pkg/types"
|
||
|
"k8s.io/apimachinery/pkg/util/sets"
|
||
|
"k8s.io/client-go/tools/record"
|
||
|
utilproxy "k8s.io/kubernetes/pkg/proxy/util"
|
||
|
utilnet "k8s.io/kubernetes/pkg/util/net"
|
||
|
)
|
||
|
|
||
|
// BaseEndpointInfo contains base information that defines an endpoint.
|
||
|
// This could be used directly by proxier while processing endpoints,
|
||
|
// or can be used for constructing a more specific EndpointInfo struct
|
||
|
// defined by the proxier if needed.
|
||
|
type BaseEndpointInfo struct {
|
||
|
Endpoint string // TODO: should be an endpointString type
|
||
|
// IsLocal indicates whether the endpoint is running in same host as kube-proxy.
|
||
|
IsLocal bool
|
||
|
}
|
||
|
|
||
|
var _ Endpoint = &BaseEndpointInfo{}
|
||
|
|
||
|
// String is part of proxy.Endpoint interface.
|
||
|
func (info *BaseEndpointInfo) String() string {
|
||
|
return info.Endpoint
|
||
|
}
|
||
|
|
||
|
// GetIsLocal is part of proxy.Endpoint interface.
|
||
|
func (info *BaseEndpointInfo) GetIsLocal() bool {
|
||
|
return info.IsLocal
|
||
|
}
|
||
|
|
||
|
// IP returns just the IP part of the endpoint, it's a part of proxy.Endpoint interface.
|
||
|
func (info *BaseEndpointInfo) IP() string {
|
||
|
return utilproxy.IPPart(info.Endpoint)
|
||
|
}
|
||
|
|
||
|
// Port returns just the Port part of the endpoint.
|
||
|
func (info *BaseEndpointInfo) Port() (int, error) {
|
||
|
return utilproxy.PortPart(info.Endpoint)
|
||
|
}
|
||
|
|
||
|
// Equal is part of proxy.Endpoint interface.
|
||
|
func (info *BaseEndpointInfo) Equal(other Endpoint) bool {
|
||
|
return info.String() == other.String() && info.GetIsLocal() == other.GetIsLocal()
|
||
|
}
|
||
|
|
||
|
func newBaseEndpointInfo(IP string, port int, isLocal bool) *BaseEndpointInfo {
|
||
|
return &BaseEndpointInfo{
|
||
|
Endpoint: net.JoinHostPort(IP, strconv.Itoa(port)),
|
||
|
IsLocal: isLocal,
|
||
|
}
|
||
|
}
|
||
|
|
||
|
type makeEndpointFunc func(info *BaseEndpointInfo) Endpoint
|
||
|
|
||
|
// EndpointChangeTracker carries state about uncommitted changes to an arbitrary number of
|
||
|
// Endpoints, keyed by their namespace and name.
|
||
|
type EndpointChangeTracker struct {
|
||
|
// lock protects items.
|
||
|
lock sync.Mutex
|
||
|
// hostname is the host where kube-proxy is running.
|
||
|
hostname string
|
||
|
// items maps a service to is endpointsChange.
|
||
|
items map[types.NamespacedName]*endpointsChange
|
||
|
// makeEndpointInfo allows proxier to inject customized information when processing endpoint.
|
||
|
makeEndpointInfo makeEndpointFunc
|
||
|
// isIPv6Mode indicates if change tracker is under IPv6/IPv4 mode. Nil means not applicable.
|
||
|
isIPv6Mode *bool
|
||
|
recorder record.EventRecorder
|
||
|
}
|
||
|
|
||
|
// NewEndpointChangeTracker initializes an EndpointsChangeMap
|
||
|
func NewEndpointChangeTracker(hostname string, makeEndpointInfo makeEndpointFunc, isIPv6Mode *bool, recorder record.EventRecorder) *EndpointChangeTracker {
|
||
|
return &EndpointChangeTracker{
|
||
|
hostname: hostname,
|
||
|
items: make(map[types.NamespacedName]*endpointsChange),
|
||
|
makeEndpointInfo: makeEndpointInfo,
|
||
|
isIPv6Mode: isIPv6Mode,
|
||
|
recorder: recorder,
|
||
|
}
|
||
|
}
|
||
|
|
||
|
// Update updates given service's endpoints change map based on the <previous, current> endpoints pair. It returns true
|
||
|
// if items changed, otherwise return false. Update can be used to add/update/delete items of EndpointsChangeMap. For example,
|
||
|
// Add item
|
||
|
// - pass <nil, endpoints> as the <previous, current> pair.
|
||
|
// Update item
|
||
|
// - pass <oldEndpoints, endpoints> as the <previous, current> pair.
|
||
|
// Delete item
|
||
|
// - pass <endpoints, nil> as the <previous, current> pair.
|
||
|
func (ect *EndpointChangeTracker) Update(previous, current *v1.Endpoints) bool {
|
||
|
endpoints := current
|
||
|
if endpoints == nil {
|
||
|
endpoints = previous
|
||
|
}
|
||
|
// previous == nil && current == nil is unexpected, we should return false directly.
|
||
|
if endpoints == nil {
|
||
|
return false
|
||
|
}
|
||
|
namespacedName := types.NamespacedName{Namespace: endpoints.Namespace, Name: endpoints.Name}
|
||
|
|
||
|
ect.lock.Lock()
|
||
|
defer ect.lock.Unlock()
|
||
|
|
||
|
change, exists := ect.items[namespacedName]
|
||
|
if !exists {
|
||
|
change = &endpointsChange{}
|
||
|
change.previous = ect.endpointsToEndpointsMap(previous)
|
||
|
ect.items[namespacedName] = change
|
||
|
}
|
||
|
change.current = ect.endpointsToEndpointsMap(current)
|
||
|
// if change.previous equal to change.current, it means no change
|
||
|
if reflect.DeepEqual(change.previous, change.current) {
|
||
|
delete(ect.items, namespacedName)
|
||
|
}
|
||
|
return len(ect.items) > 0
|
||
|
}
|
||
|
|
||
|
// endpointsChange contains all changes to endpoints that happened since proxy rules were synced. For a single object,
|
||
|
// changes are accumulated, i.e. previous is state from before applying the changes,
|
||
|
// current is state after applying the changes.
|
||
|
type endpointsChange struct {
|
||
|
previous EndpointsMap
|
||
|
current EndpointsMap
|
||
|
}
|
||
|
|
||
|
// UpdateEndpointMapResult is the updated results after applying endpoints changes.
|
||
|
type UpdateEndpointMapResult struct {
|
||
|
// HCEndpointsLocalIPSize maps an endpoints name to the length of its local IPs.
|
||
|
HCEndpointsLocalIPSize map[types.NamespacedName]int
|
||
|
// StaleEndpoints identifies if an endpoints service pair is stale.
|
||
|
StaleEndpoints []ServiceEndpoint
|
||
|
// StaleServiceNames identifies if a service is stale.
|
||
|
StaleServiceNames []ServicePortName
|
||
|
}
|
||
|
|
||
|
// UpdateEndpointsMap updates endpointsMap base on the given changes.
|
||
|
func UpdateEndpointsMap(endpointsMap EndpointsMap, changes *EndpointChangeTracker) (result UpdateEndpointMapResult) {
|
||
|
result.StaleEndpoints = make([]ServiceEndpoint, 0)
|
||
|
result.StaleServiceNames = make([]ServicePortName, 0)
|
||
|
|
||
|
endpointsMap.apply(changes, &result.StaleEndpoints, &result.StaleServiceNames)
|
||
|
|
||
|
// TODO: If this will appear to be computationally expensive, consider
|
||
|
// computing this incrementally similarly to endpointsMap.
|
||
|
result.HCEndpointsLocalIPSize = make(map[types.NamespacedName]int)
|
||
|
localIPs := GetLocalEndpointIPs(endpointsMap)
|
||
|
for nsn, ips := range localIPs {
|
||
|
result.HCEndpointsLocalIPSize[nsn] = len(ips)
|
||
|
}
|
||
|
|
||
|
return result
|
||
|
}
|
||
|
|
||
|
// EndpointsMap maps a service name to a list of all its Endpoints.
|
||
|
type EndpointsMap map[ServicePortName][]Endpoint
|
||
|
|
||
|
// endpointsToEndpointsMap translates single Endpoints object to EndpointsMap.
|
||
|
// This function is used for incremental updated of endpointsMap.
|
||
|
//
|
||
|
// NOTE: endpoints object should NOT be modified.
|
||
|
func (ect *EndpointChangeTracker) endpointsToEndpointsMap(endpoints *v1.Endpoints) EndpointsMap {
|
||
|
if endpoints == nil {
|
||
|
return nil
|
||
|
}
|
||
|
|
||
|
endpointsMap := make(EndpointsMap)
|
||
|
// We need to build a map of portname -> all ip:ports for that
|
||
|
// portname. Explode Endpoints.Subsets[*] into this structure.
|
||
|
for i := range endpoints.Subsets {
|
||
|
ss := &endpoints.Subsets[i]
|
||
|
for i := range ss.Ports {
|
||
|
port := &ss.Ports[i]
|
||
|
if port.Port == 0 {
|
||
|
klog.Warningf("ignoring invalid endpoint port %s", port.Name)
|
||
|
continue
|
||
|
}
|
||
|
svcPortName := ServicePortName{
|
||
|
NamespacedName: types.NamespacedName{Namespace: endpoints.Namespace, Name: endpoints.Name},
|
||
|
Port: port.Name,
|
||
|
}
|
||
|
for i := range ss.Addresses {
|
||
|
addr := &ss.Addresses[i]
|
||
|
if addr.IP == "" {
|
||
|
klog.Warningf("ignoring invalid endpoint port %s with empty host", port.Name)
|
||
|
continue
|
||
|
}
|
||
|
// Filter out the incorrect IP version case.
|
||
|
// Any endpoint port that contains incorrect IP version will be ignored.
|
||
|
if ect.isIPv6Mode != nil && utilnet.IsIPv6String(addr.IP) != *ect.isIPv6Mode {
|
||
|
// Emit event on the corresponding service which had a different
|
||
|
// IP version than the endpoint.
|
||
|
utilproxy.LogAndEmitIncorrectIPVersionEvent(ect.recorder, "endpoints", addr.IP, endpoints.Name, endpoints.Namespace, "")
|
||
|
continue
|
||
|
}
|
||
|
isLocal := addr.NodeName != nil && *addr.NodeName == ect.hostname
|
||
|
baseEndpointInfo := newBaseEndpointInfo(addr.IP, int(port.Port), isLocal)
|
||
|
if ect.makeEndpointInfo != nil {
|
||
|
endpointsMap[svcPortName] = append(endpointsMap[svcPortName], ect.makeEndpointInfo(baseEndpointInfo))
|
||
|
} else {
|
||
|
endpointsMap[svcPortName] = append(endpointsMap[svcPortName], baseEndpointInfo)
|
||
|
}
|
||
|
}
|
||
|
if klog.V(3) {
|
||
|
newEPList := []string{}
|
||
|
for _, ep := range endpointsMap[svcPortName] {
|
||
|
newEPList = append(newEPList, ep.String())
|
||
|
}
|
||
|
klog.Infof("Setting endpoints for %q to %+v", svcPortName, newEPList)
|
||
|
}
|
||
|
}
|
||
|
}
|
||
|
return endpointsMap
|
||
|
}
|
||
|
|
||
|
// apply the changes to EndpointsMap and updates stale endpoints and service-endpoints pair. The `staleEndpoints` argument
|
||
|
// is passed in to store the stale udp endpoints and `staleServiceNames` argument is passed in to store the stale udp service.
|
||
|
// The changes map is cleared after applying them.
|
||
|
func (endpointsMap EndpointsMap) apply(changes *EndpointChangeTracker, staleEndpoints *[]ServiceEndpoint, staleServiceNames *[]ServicePortName) {
|
||
|
if changes == nil {
|
||
|
return
|
||
|
}
|
||
|
changes.lock.Lock()
|
||
|
defer changes.lock.Unlock()
|
||
|
for _, change := range changes.items {
|
||
|
endpointsMap.Unmerge(change.previous)
|
||
|
endpointsMap.Merge(change.current)
|
||
|
detectStaleConnections(change.previous, change.current, staleEndpoints, staleServiceNames)
|
||
|
}
|
||
|
changes.items = make(map[types.NamespacedName]*endpointsChange)
|
||
|
}
|
||
|
|
||
|
// Merge ensures that the current EndpointsMap contains all <service, endpoints> pairs from the EndpointsMap passed in.
|
||
|
func (em EndpointsMap) Merge(other EndpointsMap) {
|
||
|
for svcPortName := range other {
|
||
|
em[svcPortName] = other[svcPortName]
|
||
|
}
|
||
|
}
|
||
|
|
||
|
// Unmerge removes the <service, endpoints> pairs from the current EndpointsMap which are contained in the EndpointsMap passed in.
|
||
|
func (em EndpointsMap) Unmerge(other EndpointsMap) {
|
||
|
for svcPortName := range other {
|
||
|
delete(em, svcPortName)
|
||
|
}
|
||
|
}
|
||
|
|
||
|
// GetLocalEndpointIPs returns endpoints IPs if given endpoint is local - local means the endpoint is running in same host as kube-proxy.
|
||
|
func GetLocalEndpointIPs(endpointsMap EndpointsMap) map[types.NamespacedName]sets.String {
|
||
|
localIPs := make(map[types.NamespacedName]sets.String)
|
||
|
for svcPortName, epList := range endpointsMap {
|
||
|
for _, ep := range epList {
|
||
|
if ep.GetIsLocal() {
|
||
|
nsn := svcPortName.NamespacedName
|
||
|
if localIPs[nsn] == nil {
|
||
|
localIPs[nsn] = sets.NewString()
|
||
|
}
|
||
|
localIPs[nsn].Insert(ep.IP())
|
||
|
}
|
||
|
}
|
||
|
}
|
||
|
return localIPs
|
||
|
}
|
||
|
|
||
|
// detectStaleConnections modifies <staleEndpoints> and <staleServices> with detected stale connections. <staleServiceNames>
|
||
|
// is used to store stale udp service in order to clear udp conntrack later.
|
||
|
func detectStaleConnections(oldEndpointsMap, newEndpointsMap EndpointsMap, staleEndpoints *[]ServiceEndpoint, staleServiceNames *[]ServicePortName) {
|
||
|
for svcPortName, epList := range oldEndpointsMap {
|
||
|
for _, ep := range epList {
|
||
|
stale := true
|
||
|
for i := range newEndpointsMap[svcPortName] {
|
||
|
if newEndpointsMap[svcPortName][i].Equal(ep) {
|
||
|
stale = false
|
||
|
break
|
||
|
}
|
||
|
}
|
||
|
if stale {
|
||
|
klog.V(4).Infof("Stale endpoint %v -> %v", svcPortName, ep.String())
|
||
|
*staleEndpoints = append(*staleEndpoints, ServiceEndpoint{Endpoint: ep.String(), ServicePortName: svcPortName})
|
||
|
}
|
||
|
}
|
||
|
}
|
||
|
|
||
|
for svcPortName, epList := range newEndpointsMap {
|
||
|
// For udp service, if its backend changes from 0 to non-0. There may exist a conntrack entry that could blackhole traffic to the service.
|
||
|
if len(epList) > 0 && len(oldEndpointsMap[svcPortName]) == 0 {
|
||
|
*staleServiceNames = append(*staleServiceNames, svcPortName)
|
||
|
}
|
||
|
}
|
||
|
}
|