【剖析 | SOFARPC 框架】之SOFARPC 链路追踪剖析

  1. 云栖社区>
  2. 博客>
  3. 正文

【剖析 | SOFARPC 框架】之SOFARPC 链路追踪剖析

花肉酱 2018-11-01 15:08:14 浏览1535
展开阅读全文

一. 前言

微服务已经被广泛应用在工业界,微服务带来易于团队并行开发、独立部署、模块化管理等诸多优点。然而微服务将原单体拆分多个模块独立部署,各模块之间链接变得错综复杂,在大规模分布式系统中这种复杂链路给维护带来了诸多困难。 如果对整个微服务架构不能了然于胸,便很难理清各模块之间的调用关系。 例如修改一个服务接口,对哪些服务造成影响不能快速定位。

SOFARPC 在5.4.0 以后提供了链路追踪技术,可以有效协助开发运营人员进行故障诊断、容量预估、性能瓶颈定位以及调用链路梳理。

如思维导图所示,本文将从以下几个方面介绍目前已经开源的 SOFARPC 的链路追踪技术:

1534003255772-af865e44-e7ef-4a37-8386-9f

二. 什么是链路追踪技术

链路追踪技术主要是收集、存储、分析分布式系统中的调用事件数据,协助开发运营人员进行故障诊断、容量预估、性能瓶颈定位以及调用链路梳理。 链路追踪技术包含了数据埋点、收集、存储、分析等相关技术,是一套技术体系。 大部分的链路追踪框架都是参考 google链路追踪系统Dapper 的一篇设计论文(《Dapper, a Large-Scale Distributed Systems Tracing Infrastructure》 ),SOFARPC 的SOFATracer 的设计灵感也是来自这篇著名论文。

以大规模分布式电商系统为例,用户下单购买某款产品时后端需要调用各系统或子模块进行协作,共同完成一个用户请求。 如下图所示,用户的下单行为涉及到了A、B、C、D、E、F 6个系统的协同工作,这些系统都是以集群形式部署。整个链路中最长的链路调用是3层,如 A-> C -> E 或 A -> C -> F。

image.png | left | 652x251

模块的增多加大了系统出错的概率,一旦因某系统/模块出错导致整个请求调用出错,在缺乏链路追踪的条件下很难定位具体出错的模块,只能通过日志搜索定位。 在实际生产环境下比较关注一个请求中的各个模块的耗时情况、连续调用情况、出错的节点等信息。  

为了解决上述问题,Dapper提供了一套解决方案。整个方案分为数据收集、存储和分析几个部分。分布式追踪技术会__记录__一个请求中各模块的调用信息;并通过一个处理集群把所有机器上的日志增量地收集到集群当中进行处理,将同一个请求的日志串联;最后可视化显示调用情况。

常用的数据收集方式为埋点,通过在公共组件如RPC等注入代码,收集服务调用的相关信息。目前大部分链路调用系统如Dapper、鹰眼、Spring Cloud Sleuth 都在用这种模式。同样SOFARPC 作为一个公共的通讯框架,在金融业务领域被广泛应用,因此适合作为埋点,这样无需业务端自行埋点,可做到对业务代码的无侵入性。

Dapper 将一个调用过程构建成一棵调用树(称为Tracer),Tracer树中的每个节点表示链路调用中的一个模块或系统。 通过一个全局唯一的 traceId 来标识一个请求调用链。 并定义了span,span表示一个系统的调用,一个span 包含以下阶段:

  • Start:  发起调用
  • cleint send(cs): 客户端发送请求
  • Server Recv(sr):服务端收到请求
  • Server Send(ss): 服务端发送响应
  • Client Recv(cr) : 客户端收到服务端响应
  • End: 整个链路完成

image.png | left | 747x320

  (图来自Dapper论文)

每个span 包含两个重要的信息 span id(当前模块的span id) 和 span parent ID(上一个调用模块的span id),通过这两个信息可以定位一个span 在调用链的位置。 通过以上信息我们可以定义用户下单过程的调用链:

image.png | left | 696x336

SOFARPC中的链路追踪技术主要是作为埋点部分,因此对于链路追踪系统的收集和分析部分本文不做详述,想要深入了解的可参看参考资料内容。链路追踪可以提供我们以下功能:

  1. 服务耗时、瓶颈分析 :分析每个服务的耗时情况,可以针对耗时长的服务进行优化,提高服务性能。
  2. __可视化错误__:快速定位服务链路中出错的环境,便于排查和定位问题。一般链路追踪中间件都提供了ZipKin 页面支持。
  3. __链路优化__: 对于调用比较频繁的服务,可以针对这些服务实施一些优化措施。
  4. __调用链路梳理__:通过可视化界面,对整个调用链路有个清晰的认识。

在设计分布式链路框架时需要考虑一下几个问题:

  1. __低损耗、高性能__: 追踪系统对在线服务的影响应该做到足够小,不影响线上服务性能。
  2. __应用透明__: 对于业务开发人员来说,应不需要知道有跟踪系统这回事的。
  3. __可扩展性__:虽则业务规则增大、集群增多,监控系统都应该能完全把控住这种快速变化。
  4. __数据采样设计:__如果每条日志都记录,在高并发情况下对系统有一定的损耗。但收集数据太少可能对统计结果有所影响,所以应合理设计采样比例。

三. SOFARPC 链路追踪设计原理

SOFARPC 作为一个基础的通讯中间件,对服务调用有很强的感知能力,容易获取链路追踪所需的服务调用信息。因此很多链路追踪系统都会选择RPC 作为埋点对象,通过对RPC中间件的埋点可以轻松做到对用户的无感知、透明化。 SOFARPC在5.4.0 以后开始支持分布式链路追踪,其技术实现主要依赖于所集成的SOFATracer。

SOFARPC 不仅提供了埋点信息采集的能力, 还支持数据上报zipkin。 通过SOFARPC + SOFATracer + zipKin 可以快速搭建一套完整的链路追踪系统,包括埋点、收集、分析展示等。 收集和分析主要是借用zipKin的能力,本文重点讲SOFARPC中的数据埋点设计。SOFARPC自身具备的微内核设计和可拓展性,使得在SOFARPC在不破坏开放封闭原则的前提下,比较轻松地集合SOFATracer。该部分主要从以下几个方面讨论SOFARPC的链路追踪设计思路:

  1. 可插拔设计。 SOFARPC采用了微内核设计,使得很容易扩展,增加新功能。
  2. 总线设计。为数据埋点做提供一种无侵入的扩展方式。
  3. 调用trace和span
  4. 数据采样设计
  5. 异步刷新机制
  6. 耗时计算:链路调用的耗时统计等信息获取。
  7. 埋点数据透传,各模块之间的链路调用数据的透传机制。
  8. 异步线程的链路调用。在异步多线程环境下如何保证traceId和spanId的有序性。
  9. 链路调用日志数据的文件存储结构

3.1 可插拔设计

SOFARPC自身具备的微内核设计和可拓展性,使得在SOFARPC在不破坏开放封闭原则的前提下,比较轻松地集合SOFATracer。SOFARPC 采用了自己实现的一套SPI机制, 通过该SPI机制动态去加载其他模块、过滤器、协议等,实现灵活拓展。SOFARPC 为了集成SOFATracer也采用了这套机制,做到可插拔。

image.png | left | 275x264

SofaTracerModule 类实现了Module 接口,并增加 @Extension("sofaTracer") 注解,方便SOFARPC在启动时将相关模块加载进来。 SofaTracerModule 作为SOFA-PRC 链路追踪的入口,在SofaTracerModule模块被加载时完成一些事件的订阅。

这里会订阅 9 种事件, 通过监听SOFARPC的这 9 种事件,来完成埋点数据的获取和异步磁盘写入操作。SOFARPC通过事件总线设计来订阅这些事件,当事件发生时通知对应的订阅者做相应的操作。

3.2 事件总线设计

事件总线(EventBus)设计也是 SOFARPC的一个具有很强扩展性的设计,EventBus 类似计算机数据总线,用于传输数据,EventBus主要是传输事件数据。 EventBus 采用了发布-订阅设计模式,在SOFARPC 服务调用的整个过程中设置多个事件点,当这些事件发生时就创建事件写入到EventBus,订阅者可以订阅总线中感兴趣的事件并处理。如图所示:

image.png | left | 723x433

如上图所示,SOFATracer 订阅了在RPC调用周期的9种事件,当这些事件发生时会创建事件传入到EventBus。 EventBus中一旦发布新的事件就会通知所有感兴趣的订阅者,SAFA-Tracer 统一采用 SofaTracerSubscriber 订阅和处理这9种事件,最终链路追踪数据的获取操作都交给了RpcSofaTracer处理。

这种总线设计使得SOFARPC在集合SOFATracer时无需为了获取数据而破坏原来代码的封装性,使用无侵入的方式来完成埋点和数据的获取。

3.3 调用链Trace 和Span

SOFATracer的设计思路也是来自Dapper, 因此也提供了调用树Trace 和 Span。

  • Trace是一次完整的跟踪,从请求到服务器开始,服务器返回response结束,跟踪每次rpc调用的耗时。 Trace是一个类似树状调用链,树中的每个节点对应一个系统或服务节点。
  • Span是一个更小的单位,表示一个RPC调用过程。在SOFARPC中分为 ClientSpan 和ServerSpan。 ClientSpan记录从客户端发送请求给服务端,到接受到服务端响应结果的过程。ServerSpan是服务端收到客户端时间 到 发送响应结果给客户端的这段过程。

一个span 包含几种Annotation:

  1. cs (client send)
  2. cr (client recv)
  3. sr (server recv)
  4. ss (server send)

image.png | left | 452x183

如上图所示展示了两个系统调用中的client span 和server span的关系, 一次RPC调用称为span, 并产生一个spanId, client span 的spanId 和 server span的spanId是同一个,因为都在一个RPC调用中。 下图展示从时间的维度来解释这两者的关系:

image.png | left | 505x158

3.3.1 TraceId 生成规则

TraceId 指的是 SOFATracer 中代表唯一一次请求的 ID,此 ID 一般由集群中第一个处理请求的系统产生,并在分布式调用下通过网络传递到下一个被请求系统。

traceId应当保证全局唯一,如何做到全局唯一呢?TraceId 目前的生成的规则参考了淘宝的鹰眼组件:

服务器 IP + 产生 ID 时候的时间 + 自增序列 + 当前进程号 

如下图所示:

image.png | left | 474x92

  • 自增的序列,从 1000 涨到 9000,到达 9000 后回到 1000 再开始往上涨。
    根据这种方式计算出的 traceId 为 0ad1348f1403169275002100356696,可以保证 traceId 全局唯一。

3.3.2 SpanId 生成规则

SpanId 表示整个链路中一次rpc调用的序号,也代表了本次请求在整个调用链路中的位置或者说层次,比如 A 系统在处理一个请求的过程中依次调用了 B,C,D 三个系统,那么这三次调用的的 SpanId 分别是:0.1,0.2,0.3。如果 C 系统继续调用了 E,F 两个系统,那么这两次调用的 SpanId 分别是:0.2.1,0.2.2。

SOFARPC 和 Dapper不同,spanId中已经包含了调用链上下文关系,包含parent spanId 的信息。如图所示:

image.png | left | 596x282

3.4 数据采样设计

在Dapper 论文中强调了数据采样的重要性,如果将每条埋点数据都刷新到磁盘上会增大链路追踪框架对原有业务性能的影响。如果采样率太低,可能会导致一些重要数据的丢失。 论文中提到如果在高并发情况下 1/1024 的采样率是足够的,也不必担心重要事件数据的丢失。因为在高并发环境下,一个异常数据出现一次,那么就会出现1000次。 然而在并发量不是很多的系统,并且对数据各位敏感时需要让业务开发人员手动设置采样率。

SOFATracer 的不支持配置 采样率,但采样率也不是一个固定写死的值,而是采用自适应采样率。 在SOFATracer 中提供了RingBuffer的数据结构,设置一个 1024 的序列化槽位用于存储每个链路调用的埋点数据。 可以看做是一个圆形环状结构,RingBuffer 中的数据 从槽位0 开始存储,一直存储到1023。 当操作1023时会从头开始存放,放在原来槽位的数据将被覆盖。

image.png | left | 450x293

从上图所示,当数据写入的速度远远大于 3个consumer的处理速度,那么环上的数据在未被处理时就被覆盖。 通过覆盖的方式来自动调整采样率,并发性越高、写入速度越快时,采样率就越低。当并发性越低、写入速度也随之变慢,则采样率就变高。

在SOFATracer中默认开启三个线程去负责这些数据的持久化。假设每个线程的处理速度是 x/s(条/秒), 并发写入的速度是 y/s,那么SOFATracer的自动化采样率为 3x / y (前提是 y >= 3x, 否则就是 100%采样率)。

3.5 异步刷新机制

埋点数据的本地化存储涉及到磁盘操作, 磁盘IO速度较慢,如果在高并发环境下同步刷新磁盘给原业务带来的性能损耗是非常可观的。 链路追踪系统在数据埋点的时候应尽可能的降低系统损耗,对原业务在逻辑和性能上做到无侵入性。

SOFATracer 采用了异步刷新机制,将RingBuffer的数据异步刷新到磁盘。 默认情况下 会启动 3个处理线程去处理 RingBuffer 的数据,将数据异步刷新到磁盘进行持久化。

当RingBuffer 写入新数据时就会唤醒处理线程, 并将当前存入数据的槽位设置为可用槽位。 处理线程从睡眠点醒来后,便从原来处理位置往下获取数据并处理,直到所处理数据槽位大于可用槽位,则阻塞等待。

3.6 耗时计算

耗时计算不是为了集成SOFATracer 而单独设置的,SOFARPC 框架自身带有耗时计算的逻辑,这些时间可以用于判断RPC调用是否超时等。因此加入链路追踪埋点时,不需要在扩展模块中计算耗时时间,SOFARPC中已经将调用的时间耗时等信息放在 RpcInternalContext 上下文中。 在计算RPC调用耗时时,对原有框架性能不影响,直接去上下文获取即可。

3.7 埋点数据透传

各模块部署后独立收集埋点日志,这些调用链日志通过traceId串联在一起。 在SOFARPC中,下一个模块的spanId的创建依赖于上一个模块的spanId。 因此这些埋点数据如traceId以及spanId需要透传给下游模块。 数据传输一般有两种:1. 带内透传,即在原来的rpc 调用请求网络宽带中加入埋点数据透传给下游;2. 带外传播,通过单独提供一个宽带来传播,不影响原调用数据和网络。

Dapper 采用带外传播,这种方式可以不影响原有业务性能。带内透传数据意味着需要增加原来网络调用的负载。SOFARPC 采用的是带内透传,直接在原来的RPCRequest的扩展字段中加入埋点数据,直接透传给下游。SOFARPC的spanId长度相对较短,所需传递的数据相对较小,从整体上看对原业务性能影响较小。

3.8 异步线程的链路调动

在多线程并发调用环境下的数据链路埋点也是一个值得关注问题,当一个服务考虑性能问题可能会起多个线程同时调用其他不同的模块。链路系统如何保证这些调用还是符合 openTrace 规范,保证traceId 和 spanId 有序。

image.png | left | 428x170

一个链路调用在模块A 是一个线程,链路调用的上下文信息如traceId、spanId等都是存放在ThreadLocal。 按上图思路新起的线程1、2、3无法获取主线程的ThreadLocal数据,即无法获取调用链路数据。那么在无法获取链路调用的上线文数据时进行模块B、C、D的调用操作会导致收集得到的埋点数据是乱序的脏数据。

为了避免启动新线程把 链路调用的上下文 信息丢失,SOFATracer 提供了SofaTracerCallable类,只要使用该类来实现线程逻辑,SOFATracer会自动将链路调用的上下文信息透传给 SofaTracerCallable,因此可以像单线程一样进行调用埋点。SOFATracer 将上下文中的一些字段设置为线程安全,同样保证了多线程环境下的数据安全问题。 因此建议在多线程环境下进行一步调用时尽可能考虑使用 SofaTracerCallable, 否则调用链数据与预期有些出路。

3.9 文件存储结构

SOFA 整体开源框架对日志做了很好地分类,将不同类型的日志存放在不同的文件夹下。一方面便于收集特定日志,如埋点数据;另一方面也便于查找问题方便,日志结构和内容清晰。

在SOFARPC的链路追踪技术中,埋点数据的存储也采用日志文件方式进行持久化存储。tracer日志文件包含以下文件:

文件 功能
rpc-client-digest.log 记录client rpc 调用的链路调用数据
rpc-client-stat.log 记录 client rpc 链路调用的统计数据
rpc-server-digest.log 记录 server rpc 调用的链路调用数据
rpc-server-stat.log 记录 server rpc 链路调用的统计数据
static-info.log 统计信息日志
tracer-self.log tracer 自身的日志记录

四.与其他链路追踪框架对比

4.1 Dapper

Dapper是Google生产环境下的分布式跟踪系统,google也基于该系统发布了一篇著名的链路追踪设计论文《Dapper, a Large-Scale Distributed Systems Tracing Infrastructure》。 Dapper是未开源项目,现大部分分布式链路追踪系统都是借鉴该论文思路进行设计。Dapper有三个设计目标:

  • 低消耗:跟踪系统对在线服务的影响应该做到足够小。
  • 应用级的透明:对于应用的程序员来说,是不需要知道有跟踪系统这回事的。如果一个跟踪系统想生效,就必须需要依赖应用的开发者主动配合,那么这个跟踪系统显然是侵入性太强的。
  • 延展性:Google至少在未来几年的服务和集群的规模,监控系统都应该能完全把控住

image.png | left | 486x313

(图来自Dapper论文)

如上图所示,Dapper的设计可以分为三个步骤:

  1. 无侵入化埋点。Dapper通过对少量的公共组件进行改造,可以以对应用开发者近乎零浸入的成本对分布式控制路径进行跟踪。
  2. 后台进程收集日志。Dapper的守护进程和收集组件把这些数据从生产环境的主机中拉出来。
  3. 数据存储。收集后的数据存储到Bigtable。

4.2 鹰眼

鹰眼是来自淘宝的链路追踪系统,主要借鉴了Dapper的论文思路,鹰眼系统具有一整套完整的数据埋点、收集、存储和分析方案。 和Dapper相似,其设计思路如下:

  • 基于公共中间件完成数据的埋点和日志生成
  • 采用实时数据抓取,使用一个额外的后台进程定期(时间间隔小)收集日志。需要在每台业务server上都部署并管理日志收集agent,在机器资源不足时对业务系统性能有一定影响。
  • 并结合实时+离线存储的设计思路,将数据存放在HDFS和Hbase中
  • 按traceId汇总调用链,按RpcId重组调用链信息
  • 采用流式计算引擎分析和统计调用链

image.png | left | 524x314

  (图来自鹰眼分享PPT)

4.3 CAT

CAT是大众点评的实时应用监控平台,提供了全面的监控服务和业务决策支持。 业务端接入时对原业务代码具有侵入性,需要在业务代码中做埋点处理。直接向日志收集器发异步请求,一台客户端会连向几个服务端,避免数据丢失。采用全量采样,系统繁忙的时候对性能影响较大。

image.png | left | 494x253

CAT也提供了链路追踪能力,该技术支持分五个阶段:收集、传输、分析、存储和展示。

  • 收集阶段:业务端自行埋点,通过调用CAT客户端将埋点数据以消息树的形式存入传输队列。
  • 传输阶段:CAT客户端负责将客户端消息传输到后端,CAT消费机负责接收消息。
  • 分析阶段:负责报表生成。实时消费调度器会将消费队列消息取出,分发给每个消费者内部队列;报表分析器只会从自己的报表队列中取出消息树,逐个消费,更新报表模型。CAT以小时为单位形成报表,原始日志转储(raw log dump)是一个特殊的分析器,它不生产报表,而是将消息存入本地文件系统。
  • 存储阶段:负责报表和原始日志的存储,目前报表会存在MySQL中,原始日志压缩后存在HDFS中长久保存。
  • 展示阶段:负责数据的可视化。作为用户服务入口,负责报表和原始日志的输出显示

4.4 Skywalking

Skywalking 创建与2015年,提供分布式追踪功能。他被用于追踪、监控和诊断分布式系统,特别是使用微服务架构,云原生或容积技术。提供以下主要功能:分布式追踪和上下文传输、服务性能指标分析、应用拓扑分析、性能优化等。使用java探针字节码增加技术,实现对整个应用的监控,对应用零侵入。

image.png | left | 685x410

(图来自Skywalking 官网)

在使用Skywalking时需要在服务器中安装 agent 负责将数据上传和收集。

4.5 zipkin

由Twitter团队开源, Zipkin是一个分布式的跟踪系统。它有助于收集数据需要解决潜在的问题在市微服架构的时机。它主要负责管理数据的收集和查找。该产品可以和spring-cloud-sleuth、sofa-trace集合使用,使用较为简单, 集成很方便。

4.6 Spring Cloud Sleuth

Spring-Cloud-Sleuth是Spring Cloud的组成部分之一,为SpringCloud应用实现了一种分布式追踪解决方案,其兼容了Zipkin, HTrace和log-based追踪。Spring-Cloud-Sleuth也是采用了Dapper的设计思路,与其他连续系统不同,Spring-Cloud-Sleuth不是一个完整埋点、收集、分析的完整链路追踪系统,Spring-Cloud-Sleuth只是作为链路追踪系统中的埋点环节,类似SOFATracer.

4.7 对比总结

框架
埋点方式
收集和存储方式
分析展示
Drapper
  • 在公共组件RPC等进行埋点
  • 对业务代码无侵入性
  • 后台进程进行拉取数据
  • 存储在bigtable
  • 支持trace查询
  • 性能数据
  • 展示数据较为全面
鹰眼
  • 在公共组件中埋点
  • 需要安装日志收集agent
  • 存储在hdfs和hbase中
  • 支持trace查询
  • 功能较为全面
CAT
  • 业务代码埋点
  • CAT 客户端收集
  • 存储在mysql , hdfs
不支持trace查询
zipkin
  • 拦截请求
  • http方式将发送数据至zipkin服务
  • 数据存储在mysql、ES
支持trace查询
Skywalking
  • 使用java探针字节码增加技术,实现对整个应用的监控,对应用零侵入。
  • 需要安装日志收集agent
支持trace查询
Spring Cloud Sleuth
  • 框架本身负责埋点,需要和spring cloud 结合使用
  • http方式上报数据至zipkin
依赖第三方
SOFATracer
  • SOFARPC中埋点,无侵入
  • 支持上报数据至zipkin
  • 支持其他方式
依赖第三方

五. 总结

SOFARPC的依靠集成SOFATrace来实现链路追踪技术,SOFARPC作为公共组件在整个链路追踪技术系统中负责数据埋点工作。依赖SOFARPC自身强大的可扩展性设计,如微内核设计和事件总线设计,使得SOFARPC在不破坏开发封闭原则的基础上快速实现了链路追踪埋点工作。 SOFARPC的链路追踪技术具有以下特点:

  1. 作为公共基础的通讯组件,SOFARPC的链路追踪埋点对业务代码实现零侵入。
  2. 采用日志数据异步刷新机制,不影响正常业务性能。
  3. 采用了自适应采样设计,巧妙平衡了数据采集和性能的问题。
  4. 支持数据上报zipkin, 通过与zipkin结合可以快速构建一个完整的连续追踪系统。
  5. 解决了异步线程链路调用数据问题。
  6. 采用了OpenTracing 规范,因此可以和其他链路追踪手机和展示的技术框架快速整合。

六. 参考资料

image | left | 216x216

长按关注,获取分布式架构干货

欢迎大家共同打造 SOFAStack https://github.com/alipay

网友评论

登录后评论
0/500
评论
花肉酱
+ 关注