背景

随着公司业务的发展,底层容器环境也需要在各个区域部署,实现多云架构, 使用各个云厂商提供的CNI插件是k8s多云环境下网络架构的一种高效的解法。我们在阿里云的方案中,便用到了阿里云提供的CNI插件terway。terway所提供的VPC互通的网络方案,方便对接已有的基础设施,同时没有overlay网络封包解包的性能损耗,简单易用,出现网络问题方便诊断。本文对该插件做简单的代码分析,理解其原理,以便后期诊断问题和维护。

功能划分

阿里云开源的terway代码有三部分组成:

  • CNI plugin: 即CNI插件,实现ADD、DEL、VERSION三个接口来供kubelet调用, 该插件将kubelet传递的参数进行简单处理后,会通过gRPC调用terwayBackendServer来实现具体的逻辑,例如申请网络设备等。同步调用terwayBackendServer将网络设备分配完毕之后,会通过ipvlanDriver.Driver进行pod sandbox network namespace的Setup操作,同时还会通过TC进行流控。该插件会通过daemonSet中initContainer安装到所有node上。
  • backend server: terway中主要的执行逻辑, 会进行IPAM管理,并申请对应的网络设备, 这部分是本次着重分析的对象。该程序以daemonSet的方式运行在每个节点上。
  • networkPolicy: 该部分是借助calico felix实现, 完全与上面两部分解耦。我们看到terway创建的网络设备是以cali为前缀的, 其实就是为了兼容calico的schema。

TerwayBackendServer

在terway的main函数中会启动gRPC server监听请求,同时会创建一个TerwayBackendServer, TerwayBackendServer封装全部操作逻辑,在newNetworkService函数中会依次初始化各个子模块实例,具体包括:

  • ECS client 用来操作ECS client, 所有创建删除更新操作最后都会通过该client进行处理,简单封装了一层alicloud的SKD
  • kubernetes pod 管理模块,用来同步kubernetes pod信息
  • resouceDB 用来存储状态信息,便于重启等操作后恢复状态
  • resourceManager 管理资源分配的实例,terway会根据不同的配置生成不同的resourceManager,此处我们使用的是ENIMultiIP这种模式,对应的就是newENIIPResourceManager

ENIMultiIP模式会申请阿里云弹性网卡并配置多个辅助VPC的IP地址,将这些辅助IP地址映射和分配到Pod中,这些Pod的网段和宿主机网段是一致的,能够实现VPC网络互通。

整个架构如下图所示:

首先我们理解一下kubernetes pod管理模块,该模块用于获取kubernetes pod状态。terway为了支持一些高级的特性,例如流控等,有一些信息无法通过CNI调用传递过来, 还是得去kubernetes中去查询这些信息。此外CNI调用在一些异常情况下可能无法准确回调CNI插件, 例如用户直接kubectl delete pod --force --graceperiod=0,此时就需要kubernetes作为唯一的single source of truth, 保证最后网络设备在pod删除时肯定能够被释放掉。 它内部主要的方法就是GetPodGetLocalPodGetPod方法会请求apiserver返回pod信息,如果该pod已经在apiserver中删除,就会从本地的storage中获取。该storage是用boltDB做为底层存储的一个本地文件,每个被处理过的pod都会在该storage中保存一份信息,且该pod副本并不会随着apiserver中pod的删除而删除,这样后面程序如果需要该pod信息可以从该storage中获取。同时该pod副本会通过异步清理goroutine在pod删除一小时后删除。GetLocalPod是从apiserver获取该node上所有的pod信息,该过程是调用kubernetes最多的地方,目前两个清理goroutine会每5min调用一次,调用量相对较小,对apiserver的负载影响不大。该模块也会在本地DB里缓存一份数据,便于在kubernetes pod删除后还可以拿到用户信息。

其次是resourceDB模块,该模块是用来持久化状态信息,该DB中记录了当前已分配的pod及其网络设备(networkResource)信息。每次请求/释放设备都会更新该DB。程序重新启动初始化完成之后,也会从resouceDB中恢复上次运行的数据。

除了基本的分配删除操作会更新该DB, terway还启动异步goroutine定期清理,保证异常情况下的最终一致性,该goroutine会从apiserve中获取所有pod信息和当前DB中的信息进行对比,如果对应的pod已经删除会先释放对应的网络设备,然后从DB中删除该记录。同时延迟清理可以实现Statefulset的Pod在更新过程中IP地址保持不变,

最重要的是resouceManager模块,该iterface封装了具体网络设备的操作,如下所示:

// ResourceManager Allocate/Release/Pool/Stick/GC pod resource
// managed pod and resource relationship
type ResourceManager interface {
Allocate(context *networkContext, prefer string) (types.NetworkResource, error)
Release(context *networkContext, resID string) error
GarbageCollection(inUseResList map[string]interface{}, expireResList map[string]interface{}) error
}

从其中三个method可以很明显的看出可以执行的的动作,每次CNI插件调用backendServer时, 就会调用ResoueceManager进行具体的分配释放操作。对于ENIMultiIP这种模式来说,具体的实现类是eniIPResourceManager

type eniIPResourceManager struct {
pool pool.ObjectPool
}

其中只有pool一个成员函数,具体的实现类型是simpleObjectPool, 该pool维护了当前所有的ENI信息。当resouceManager进行分配释放网络设备的时候其实是从该pool中进行存取即可:

func (m *eniIPResourceManager) Allocate(ctx *networkContext, prefer string) (types.NetworkResource, error) {
return m.pool.Acquire(ctx, prefer)
} func (m *eniIPResourceManager) Release(context *networkContext, resID string) error {
if context != nil && context.pod != nil {
return m.pool.ReleaseWithReverse(resID, context.pod.IPStickTime)
}
return m.pool.Release(resID)
} func (m *eniIPResourceManager) GarbageCollection(inUseSet map[string]interface{}, expireResSet map[string]interface{}) error {
for expireRes := range expireResSet {
if err := m.pool.Stat(expireRes); err == nil {
err = m.Release(nil, expireRes)
if err != nil {
return err
}
}
}
return nil
}

由上述代码可见,resouceManager实际操作的都是simpleObjectPool这个对象。 我们看看这个pool到底做了那些操作。首先初始化该pool:

// NewSimpleObjectPool return an object pool implement
func NewSimpleObjectPool(cfg Config) (ObjectPool, error) {
if cfg.MinIdle > cfg.MaxIdle {
return nil, ErrInvalidArguments
} if cfg.MaxIdle > cfg.Capacity {
return nil, ErrInvalidArguments
} pool := &simpleObjectPool{
factory: cfg.Factory,
inuse: make(map[string]types.NetworkResource),
idle: newPriorityQueue(),
maxIdle: cfg.MaxIdle,
minIdle: cfg.MinIdle,
capacity: cfg.Capacity,
notifyCh: make(chan interface{}),
tokenCh: make(chan struct{}, cfg.Capacity),
} if cfg.Initializer != nil {
if err := cfg.Initializer(pool); err != nil {
return nil, err
}
} if err := pool.preload(); err != nil {
return nil, err
} log.Infof("pool initial state, capacity %d, maxIdle: %d, minIdle %d, idle: %s, inuse: %s",
pool.capacity,
pool.maxIdle,
pool.minIdle,
queueKeys(pool.idle),
mapKeys(pool.inuse)) go pool.startCheckIdleTicker() return pool, nil
}

可以看到在创建的时候会根据传入的config依次初始化各成员变量, 其中

  • factory 成员用来分配网络设备,会调用ECS SDK进行分配资源,分配之后将信息存储在pool之中,具体的实现是eniIPFactory
  • inuse 存储了当前所有正在使用的networkResource
  • idle 存储了当前所有空闲的networkResource, 即已经通过factory分配好,但是还未被某个pod实际使用。如果某个network resouce不再使用,也会归还到该idle之中。 通过这种方式,pool具备一定的缓充能力,避免频繁调用factory进行分配释放。idle为priorityQeueu类型,即所有空闲的networkResouce通过优先级队列排列,优先级队列的比较函数会比较reverse字段,reverse默认是入队时间,也就是该networkResouce的释放的时间,这样做能够尽量使一个IP释放之后不会被立马被复用。reverse字段对于一些statueSet的resouce也会进行一些特殊处理,因为statufulSet是有状态workload, 对于IP的释放也会特殊处理,保证其尽可能复用。
  • maxIdle, minIdle 分别表示上述idle队列中允许的最大和最小个数, minIdle是为了提供有一定的缓冲能力,但该值并不保证,最大是为了防止缓存过多,如果空闲的networkResouce太多没有被使用就会释放一部分,IP地址不止是节点级别的资源,也会占用整个vpc/vswitch/安全组的资源,太多的空闲可能会导致其他节点或者云产品分配不出IP。
  • capacity 是该pool的容量,最大能分配的networkResouce的个数。该值可以自己指定, 但如果超过该ECS能允许的最大个数就会被设置成允许的最大个数。
  • tokenCh 是个buffered channel, 容量大小即为上面capacity的值,被做token bucket。 pool初始化的时候会将其中放满元素,后面运行过程中中,只要能从该channel中读取到元素则意味着该pool还没有满。每次调用factory申请networkResouce之前会从该channel中读取一个元素, 每次调用factory释放networkDevice会从该channel中放入一个元素。

成员变量初始化完成之后会调用Initializer, 该函数会回调一个闭包函数,定义在newENIIPResourceManager中: 当程序启动时,resouceManager通过读取存储在本地磁盘也就是resouceDB中的信息获取当前正在使用的networkResouce,然后通过ecs获取当前所有eni设备及其ip, 依次遍历所有ip判断当前是否在使用,分别来初始化inuse和idle。这样可以保证程序重启之后可以重构内存中的pool数据信息。

然后会调用preload,该函数确保pool(idle)中有minIdle个空闲元素, 防止启动时大量调用factory。

最后会进行go pool.startCheckIdleTicker() 异步来goroutine中调用checkIdle定期查询pool(idle)中的元素是否超过maxIdle个元素, 如果超过则会调用factory进行释放。同时每次调用factory也会通过notifyCh来通知该goroutine执行检查操作。

pool结构初始化完成之后,resouceManager中所有对于networkResource的操作都会通过该pool进行,该pool在必要条件下再调用factory进行分配释放。

factory的具体实现是eniIPFactory, 用来调用ecs SDK进行申请释放eniIP, 并维护对应的数据结构。不同于直接使用eni设备,ENIMultiIP模式会为每个eni设备会有多个eniIP。eni设备是通过ENI结构体标识, eniIP通过ENIIP结构体标识。terway会为每个ENI创建一个goroutine, 该ENI上所有eniIP的分配释放都会在goroutine内进行,factory通过channel与该groutine通信, 每个goroutine对应一个接受channel ipBacklog,用于传递分配请求到该goroutine。 每次factory 需要创建(eniIPFactory.Create)一个eniIP时, 会一次遍历当前已经存在的ENI设备,如果该设备还有空闲的eniIP,就会通过该ipBacklog channel发送一个元素到该ENI设备的goroutine进行请求分配, 当goroutine将eniIP分配完毕之后通过factory 的resultChan通知factory, 这样factory就成功完成一次分配。 如果所有的ENI的eniIP都分配完毕,会首先创建ENI设备及其对应goroutine。因为每个ENI设备会有个主IP, 所以首次分配ENI不需要发送请求到ipBacklog, 直接将该主ip返回即可。对应的释放(Dispose)就是先释放eniIP, 等到只剩最后一个eniIP(主eniIP)时会释放整个ENI设备。对于所有ecs调用都会通过buffer channel进行流控,防止瞬间调用过大。

总结

总之,terway的整个实现,逻辑比较清晰,并且扩展性也较高。后期,可以比较方便地在此基础上做一些定制和运维支持,从而很好地融入公司的基础架构设施。

Read More

terway design Doc

阿里terway源码分析的更多相关文章

  1. 通俗易懂的阿里Sentinel源码分析:如何向控制台发送心跳包?

    源码分析 public class Env { public static final Sph sph = new CtSph(); static { // 在Env类的静态代码块中, // 触发了一 ...

  2. [阿里DIN] 深度兴趣网络源码分析 之 如何建模用户序列

    [阿里DIN] 深度兴趣网络源码分析 之 如何建模用户序列 目录 [阿里DIN] 深度兴趣网络源码分析 之 如何建模用户序列 0x00 摘要 0x01 DIN 需要什么数据 0x02 如何产生数据 2 ...

  3. [阿里DIN] 深度兴趣网络源码分析 之 整体代码结构

    [阿里DIN] 深度兴趣网络源码分析 之 整体代码结构 目录 [阿里DIN] 深度兴趣网络源码分析 之 整体代码结构 0x00 摘要 0x01 文件简介 0x02 总体架构 0x03 总体代码 0x0 ...

  4. [阿里DIEN] 深度兴趣进化网络源码分析 之 Keras版本

    [阿里DIEN] 深度兴趣进化网络源码分析 之 Keras版本 目录 [阿里DIEN] 深度兴趣进化网络源码分析 之 Keras版本 0x00 摘要 0x01 背景 1.1 代码进化 1.2 Deep ...

  5. 模块化系列教程 | 深入源码分析阿里JarsLink1.0模块化框架

    1. 概述 1.1 模块动态加载卸载主流程 2. 模块动态加载 2.1 模块加载源码分析 2.1.1 AbstractModuleRefreshScheduler 2.1.2 ModuleLoader ...

  6. Android Small插件化框架源码分析

    Android Small插件化框架源码分析 目录 概述 Small如何使用 插件加载流程 待改进的地方 一.概述 Small是一个写得非常简洁的插件化框架,工程源码位置:https://github ...

  7. 《深入理解Spark:核心思想与源码分析》(前言及第1章)

    自己牺牲了7个月的周末和下班空闲时间,通过研究Spark源码和原理,总结整理的<深入理解Spark:核心思想与源码分析>一书现在已经正式出版上市,目前亚马逊.京东.当当.天猫等网站均有销售 ...

  8. 《深入理解Spark:核心思想与源码分析》一书正式出版上市

    自己牺牲了7个月的周末和下班空闲时间,通过研究Spark源码和原理,总结整理的<深入理解Spark:核心思想与源码分析>一书现在已经正式出版上市,目前亚马逊.京东.当当.天猫等网站均有销售 ...

  9. 《深入理解Spark:核心思想与源码分析》正式出版上市

    自己牺牲了7个月的周末和下班空闲时间,通过研究Spark源码和原理,总结整理的<深入理解Spark:核心思想与源码分析>一书现在已经正式出版上市,目前亚马逊.京东.当当.天猫等网站均有销售 ...

随机推荐

  1. TypeScript && React

    环境搭建 我们当然可以先用脚手架搭建React项目,然后手动配置成支持TypeScript的环境,虽然比较麻烦,但可以让你更清楚整个过程.这里比较麻烦,就不演示了,直接用命令配置好. npx crea ...

  2. Java 内省(Introspector)和 BeanUtils

    人生若只如初见,何事秋风悲画扇. 概述 内省(Introspector) 是Java 语言对 JavaBean 类属性.事件的一种缺省处理方法. JavaBean是一种特殊的类,主要用于传递数据信息, ...

  3. ASN1编码中的OID

    0.9.2342.19200300.100.1.25, domainComponent1.2.36.68980861.1.1.10, Signet pilot1.2.36.68980861.1.1.1 ...

  4. a417: 螺旋矩陣

    题目: 每行有一正整数T,代表有几组测试数据 接下来有T行,每行有N.M两正整数 N为矩阵长宽,就是会有N*N矩阵 M为方向,M=1为顺时钟,M=2为逆时钟 N范围为1~100之间 思路: 所以,代码 ...

  5. String、StringBuffer、StringBulider的区别

    1.线程安全性: 线程安全:String.StringBuffer 线程不安全:StringBulider 2.执行效率 StringBulider最快,Stringbuffer次之,String最差 ...

  6. 即时聊天APP(三) - 注册和登陆

    注册和登陆大多都是一些用户名和密码的验证,所以放在一起写,注册代码: String account = accountEdit.getText().toString().trim(); String ...

  7. jmeter linux分布式压测Server failed to start: java.rmi.server.ExportException: Listen failed on port: 0; nested exception is: java.io.FileNotFoundException: rmi_keystore.jks

    在路径\apache-jmeter-5.0\bin下启动jmeter-server.bat时抛出了如下异常: 1.jmeter 1099端口 被占用,修改端口号 使用netstat -lntp|gre ...

  8. 59 (OC)* atomic是否绝对安全

    场景:如今项目中有这样一个场景,在一个自定义类型的Property在一个线程中改变的同时也要同时在另一个线程中使用它,使我不得不将Property定义成atomic,但是由此发现atomic并不会保证 ...

  9. 18 (OC)* RunTime

    目录: 一.怎么理解OC是动态语言,Runtime又是什么?二.理解消息机制的基本原理三.与Runtime交互的三种方式四.分析Runtime中的数据结构五.深入理解Rutime消息发送原理六.多继承 ...

  10. 使用Hexo搭建个人博客并部署到GitHub或码云上全过程

    一.前言 如上图所示:GitHub有Github Pages,而码云也有码云 Pages 1.Github Pages或Gitee Pages是什么呢? Github Pages或者Gitee Pag ...