优步分布式追踪技术再度精进

ud1582 7年前
   <p style="text-align: center;"><img src="https://simg.open-open.com/show/f6837942af6a363cc856639efcf2f0c4.png"></p>    <p>对于希望监视复杂的 微服务架构 系统的组织,分布式追踪正在快速成为一种不可或缺的工具。Uber工程团队的开源分布式追踪系统 Jaeger 自2016年起,在公司内部实现了大范围的运用,已经集成于数百个微服务中,目前每秒钟已经可以记录数千条追踪数据。新年伊始,我们想向大家介绍一下这一切是如何实现的,从我们最开始使用现成的解决方案,如 Zipkin ,到我们从拉取转换为推送架构的原因,以及2017年有关分布式追踪的发展计划。</p>    <h2>从整体式到微服务架构</h2>    <p>随着Uber的业务飞速增长,软件架构的复杂度也与日俱增。大概一年多前,2015年秋季,我们有大约500个微服务,2017年初这一数量已增长至超过2000个。这样的增幅部分是由于业务该功能的增加,例如面向用户的 UberEATS 和 UberRUSH 等功能,以及类似欺诈检测、数据挖掘、地图处理等内部功能的增加。此外随着我们从 大规模整体式应用程序 向着分布式微服务架构迁移,也造成了复杂度的增加。</p>    <p>迁移到微服务生态总是会遇到独特的挑战。例如丧失对系统的能见度,服务之间开始产生复杂的交互等。 Uber工程团队 很清楚,我们的技术会对大家的生活产生直接影响,系统的可靠性至关重要,但这一切都离不开“可观测性”这一前提。传统的 监视工具 ,例如度量值和分布式日志依然发挥着自己的作用,但这类工具往往无法提供跨越不同服务的能见度。分布式追踪应运而生。</p>    <h2>Uber最初的追踪系统</h2>    <p>Uber最初广泛使用的追踪系统叫做Merckx,这一名称源自 全球速度最快的自行车骑行选手 。Merckx很快就帮助我们了解了有关Uber基于Python的整体式后端的很多问题。我们可以查询诸如“查找已登录用户的请求,并且请求的处理时间超过2秒钟,并且使用了某一数据库来处理,并且事务维持打开状态的时间超过500ms”这样的问题。所有待查询的数据被组织成树状块,每个块代表某一操作或某个远程调用,这种组织方式类似于 OpenTracing API 中“Span”这个概念。用户可以在 Kafka 中使用命令行工具针对数据流执行即席查询,也可以使用Web界面查看预定义的摘要,这些信息均从API端点的高级别行为和 Celery 任务中摘要汇总而来。</p>    <p style="text-align: center;"><img src="https://simg.open-open.com/show/f5e21e156b519b6fb16bc8859525dc71.png"></p>    <p>Merckx使用了一种类似于树状块的调用图,每个块代表应用程序中的一个操作,例如数据库调用、 RPC ,甚至库函数,例如解析JSON。</p>    <p>Merckx的编排调度可自动应用于使用Python编写的一系列基础架构库,包括HTTP客户端和服务器、SQL查询、 Redis 调用,甚至JSON的序列化。这些编排调度可记录有关每次操作的某些性能度量值和元数据,例如HTTP调用的URL,或数据库调用的SQL查询。此外还能记录其他信息,例如数据库事务维持打开状态的时长,访问了哪些数据库Shard和副本。</p>    <p style="text-align: center;"><img src="https://simg.open-open.com/show/3ec4958d4617f44439734931505a4ebe.png"></p>    <p>Merckx架构使用了拉取模式,可从Kafka的指令数据中拉取数据流。</p>    <p>Merckx最大的不足在于其设计主要面向Uber使用整体式API的年代。Merckx缺乏分布式上下文传播的概念,虽然可以记录SQL查询、Redis调用,甚至对其他服务的调用,但无法进一步深入。Merckx还有另一个有趣的局限:因为Merckx数据存储在一个全局线程本地存储中,诸如数据库事务追踪等大量高级功能只能在 uWSGI 下使用。随着Uber开始使用 Tornado (一种适用于Python服务的异步应用程序框架),线程本地存储无法体现Tornado的IOLoop中同一个线程内运行的大部分并发请求。我们开始意识到不借助全局变量或全局状态,转为通过某种方式保存请求状态,并进行恰当的传播的重要性。</p>    <h2>随后,使用TChannel进行追踪</h2>    <p>2015年初,我们开始开发 TChannel ,这是一种适用于RPC的网络多路复用和框架协议。该协议的设计目标之一是将类似于 Dapper 的分布式追踪能力融入协议中,并为其提供最优秀的支持。为了实现这一目标, TChannel协议规范 将 追踪字段 直接定义到了二进制格式中。</p>    <pre>  spanid:8 parentid:8 traceid:8 traceflags:1</pre>    <table align="center">     <tbody>      <tr>       <td> <p>字段</p> </td>       <td> <p>类型</p> </td>       <td> <p>描述</p> </td>      </tr>      <tr>       <td> <p>spanid</p> </td>       <td> <p>int64</p> </td>       <td> <p>用于识别当前 <em>span</em></p> </td>      </tr>      <tr>       <td> <p>parentid</p> </td>       <td> <p>int64</p> </td>       <td> <p>前一个span</p> </td>      </tr>      <tr>       <td> <p>traceid</p> </td>       <td> <p>int64</p> </td>       <td> <p>负责分配的原始操作方</p> </td>      </tr>      <tr>       <td> <p>traceflags</p> </td>       <td> <p>uint8</p> </td>       <td> <p>位标志字段</p> </td>      </tr>     </tbody>    </table>    <p>追踪字段作为二进制格式的一部分已包含在 TChannel协议规范 中。</p>    <p>除了协议规范,我们还发布了多个开源客户端库,用于以不同语言实现该协议。这些库的设计原则之一是让应用程序需要用到的请求上下文这一概念能够从服务器端点贯穿至下游的调用站点。例如在 tchannel-go 中,让 出站调用使用JSON进行编码 的签名需要通过第一个参数提供上下文:</p>    <pre>  func (c *Client) Call(ctx Context, method string, arg, resp interface{}) error {..}</pre>    <p>Tchannel库使得应用程序开发者在编写自己的代码时始终将分布式上下文传播这一概念铭记于心。</p>    <p>通过将所传输内容以及内存中的上下文对象之间的追踪上下文进行安排,并围绕服务处理程序和出站调用创建追踪Span,客户端库内建了对分布式追踪的支持。从内部来看,这些Span在格式上与 Zipkin追踪系统 几乎完全相同,也使用了Zipkin所定义的注释,例如“cs”(Client Send)和“cr”(Client Receive)。Tchannel使用追踪报告程序(Reporter)接口将收集到的进程外追踪Span发送至追踪系统的后端。该技术自带的库默认包含一个使用Tchannel本身和 Hyperbahn 实现的报告程序以及发现和路由层,借此将Thrift格式的Span发送至收集器群集。</p>    <p>Tchannel客户端库已经比较近似于我们所需要的分布式追踪系统,该客户端库提供了下列构建块:</p>    <ul>     <li>追踪上下文的进程间传播以及带内请求</li>     <li>通过编排API记录追踪Span</li>     <li>追踪上下文的进程内传播</li>     <li>将进程外追踪数据报告至追踪后端所需的格式和机制</li>    </ul>    <p>该系统唯独缺少了追踪后端本身。追踪上下文的传输格式和报表程序使用的默认Thrift格式在设计上都可以非常简单直接地将Tchannel与Zipkin后端集成,然而当时只能通过 Scribe 将Span发送至Zipkin,而Zipkin只支持使用 Cassandra 格式的数据存储。此外当时我们对这些技术没什么经验,因此我们开发了一套后端原型系统,并结合Zipkin UI的一些自定义组件构建了一个完整的追踪系统。</p>    <p style="text-align: center;"><img src="https://simg.open-open.com/show/c42f92938458fdf896117cec3707a229.png"></p>    <p>后端原型系统架构:Tchannel生成的追踪记录推送给自定义收集器、自定义存储,以及开源的Zipkin UI。</p>    <p>分布式追踪系统在谷歌和推ter等主要技术公司获得的成功意味着这些公司中广泛使用的RPC框架、Stubby和 Finagle 是行之有效的。</p>    <p>同理,Tchannel自带的追踪能力也是一个重大的飞跃。我们部署的后端原型系统已经开始从数十种服务中收集追踪信息。随后我们使用Tchannel构建了更多服务,但在生产环境中全面推广和广泛使用依然有些困难。该后端原型以及所使用的 Riak / Solr 存储系统无法妥善缩放以适应Uber的流量,同时很多查询功能依然无法与Zipkin UI实现足够好的互操作。尽管新构建的服务大量使用了Tchannel,Uber依然有大量服务尚未在RPC过程中使用Tchannel,实际上承担核心业务的大部分服务都没有使用Tchannel。这些服务主要是通过四大编程语言(Node.js、Python、Go和Java)实现的,在进程间通信方面使用了多种不同的框架。这种异构的技术环境使得Uber在分布式追踪系统的构建方面会面临比谷歌和推ter更严峻的挑战。</p>    <h2>在纽约市构建的Jaeger</h2>    <p>Uber纽约工程组织 始建于2015年上半年,主要包含两个团队:基础架构端的Observability以及产品(包括UberEATS和UberRUSH)端的Uber Everything。考虑到分布式追踪实际上是一种形式的生产环境监视,因此更适合交由Observability团队负责。</p>    <p>我们组建了分布式追踪团队,该团队由两个工程师组成,目标也有两个:将现有的原型系统转换为一种可以全局运用的生产系统,让分布式追踪功能可以适用并适应Uber的微服务。我们还需要为这个项目起一个开发代号。为新事物命名实际上是 计算机科学界两大老大难问题 之一,我们花了几周时间集思广益,考虑了追踪、探测、捕获等主题,最终决定命名为Jaeger(?yā-g?r),在德语中这个词代表猎手或者狩猎过程中的帮手。</p>    <p>纽约团队在Cassandra群集方面已经具备运维经验,该数据库直接为Zipkin后端提供着支持,因此我们决定弃用基于Riak/Solr的原型。为了接受TChannel流量并将数据以兼容Zipkin的二进制格式存储在Cassandra中,我们用Go语言重新实现了收集器。这样我们就可以无需改动,直接使用Zipkin的Web和查询服务,并通过自定义标签获得了原本不具备的追踪记录搜索功能。我们还为每个收集器构建了一套可动态配置的倍增系数(Multiplication factor),借此将入站流量倍增n次,这主要是为了通过生产数据对后端系统进行压力测试。</p>    <p style="text-align: center;"><img src="https://simg.open-open.com/show/002f3117cc5f7e96e1fd9e46fd6a9b13.png"></p>    <p>Jaeger的早期架构依然依赖Zipkin UI和Zipkin存储格式。</p>    <p>第二个业务需求希望让追踪功能可以适用于未使用TChannel进行RPC的所有现有服务。随后几个月我们使用Go、Java、Python和Node.js构建了客户端库,借此未包括HTTP服务在内各类服务的编排提供支持。尽管Zipkin后端非常著名并且流行,但依然缺乏足够完善的编排能力,尤其是在Java/ Scala 生态系统之外的编排能力。我们考虑过各种开源的编排库,但这些库是由不同的人维护的,无法确保互操作性,并且通常还使用了完全不同的API,大部分还需要使用Scribe或Kafka作为报表Span的传输机制。因此我们最终决定自行编写库,这样可以通过集成测试更好地保障互操作性,可以支持我们需要的传输机制,更重要的是,可以用不同的语言提供一致的编排API。我们的所有客户端库从一开始都可支持OpenTracing API。</p>    <p>在第一版客户端库中,我们还增加了另一个新颖的功能:可以从追踪后端轮询采样策略。当某个服务收到不包含追踪元数据的请求后,所编排的追踪功能通常会为该请求启动一个新的追踪,并生成新的随机追踪ID。然而大部分生产追踪系统,尤其是与Uber的缩放能力有关的系统无法对每个追踪进行“描绘”(Profile)或将其记录在自己的存储中。这样做会在服务与后端系统之间产生难以招架的大流量,甚至会比服务所处理的实际业务流量大出好几个数量级。我们改为让大部分追踪系统只对小比例的追踪进行采样,并只对采样的追踪进行“描绘”和记录。用于进行采样决策的算法被我们称之为“采样策略”。采样策略的例子包括:</p>    <ul>     <li>采样一切。主要用于测试用途,但生产环境中使用会造成难以承受的开销!</li>     <li>基于概率的采样,按照固定概率对特定追踪进行随机采样。</li>     <li>限速采样,每个时间单位对X个追踪进行采样。例如可能会使用 漏桶(Leaky bucket)算法 的变体。</li>    </ul>    <p>大部分兼容Zipkin的现有编排库可支持基于概率的采样,但需要在初始化过程中对采样速率进行配置。以我们的规模,这种方式会造成一些严重的问题:</p>    <ul>     <li>每个服务对不同采样速率对追踪后端系统整体流量的影响知之甚少。例如,就算服务本身使用了适度的每秒查询数(QPS)速率,也可能调用扇出(Fanout)因素非常高的其他下游服务,或由于密集编排导致产生大量追踪Span。</li>     <li>对于Uber来说,每天不同时段的业务流量有着明显规律,峰值时期乘客更多。固定不变的采样概率对非峰值时刻可能显得过低,但对峰值时刻可能显得过高。</li>    </ul>    <p>Jaeger客户端库的轮询功能按照设计可以解决这些问题。通过将有关最恰当采样策略的决策转交给追踪后端系统,服务的开发者不再需要猜测最适合的采样速率。而后端可以按照流量模式的变化动态地调整采样速率。下方的示意图显示了从收集器到客户端库的反馈环路。</p>    <p>第一版客户端库依然使用TChannel发送进程外追踪Span,会将其直接提交给收集器,因此这些库需要依赖Hyperbahn进行发现和路由。对于希望在自己的服务中运用追踪能力的工程师,这种依赖性造成了不必要的摩擦,这样的摩擦存在于基础架构层面,以及需要在服务中额外包含的库等方面,进而可能导致 依赖性地域 。</p>    <p>为了解决这种问题,我们实现了一种jaeger-agent边车(Sidecar)进程,并将其作为基础架构组件,与负责收集度量值的代理一起部署到所有宿主机上。所有与路由和发现有关的依赖项都封装在这个jaeger-agent中,此外我们还重新设计了客户端库,可将追踪Span报告给本地 <a href="/misc/goto?guid=4959741099357212168" rel="nofollow,noindex">UDP</a> 端口,并能轮询本地回环接口上的代理获取采样策略。新的客户端只需要最基本的网络库。架构上的这种变化向着我们先追踪后采样的愿景迈出了一大步,我们可以在代理的内存中对追踪记录进行缓冲。</p>    <p style="text-align: center;"><img src="https://simg.open-open.com/show/f6837942af6a363cc856639efcf2f0c4.png"></p>    <p>目前的Jaeger架构:后端组件使用Go语言实现,客户端库使用了四种支持OpenTracing标准的语言,一个基于 React 的Web前端,以及一个基于 Apache Spark 的后处理和聚合数据管道。</p>    <h2>统包式分布式追踪</h2>    <p>Zipkin UI是我们在Jaeger中使用的最后一个第三方软件。由于要将Span以Zipkin Thrift格式存储在Cassandra中并与UI兼容,这对我们的后端和数据模型产生了一定的限制。尤其是Zipkin模型不支持OpenTracing标准和我们的客户端库中两个非常重要的功能:键-值日志API,以及用更为通用的有向无环图(Directed acyclic graph)而非Span树所代表的追踪。因此我们毅然决定彻底革新后端所用的数据模型,并编写新的UI。如下图所示,新的数据模型可原生支持键-值日志和Span的引用,此外还对发送到进程外的数据量进行了优化,避免进程标签在每个Span上重复:</p>    <p style="text-align: center;"><img src="https://simg.open-open.com/show/c9634bbc3364917783b03d4d2a71a9fa.png"></p>    <p>Jaeger数据模型可原生支持键-值日志和Span引用。</p>    <p>目前我们正在将后端管道全面升级到新的数据模型,以及全新的,更为优化的Cassandra架构。为了充分利用新的数据模型,我们还用Go语言实现了一个全新的Jaeger查询服务,并用React实现了一套全新的Web UI。最初版本的UI主要重现了Zipkin UI的原有功能,但在设计上更易于通过扩展提供新的功能和组件,并能作为React组件嵌入到其他UI。例如,用户可以选择用多种不同视图对追踪结果进行可视化,例如追踪时段内的直方图,或服务在追踪过程中的累积时间:</p>    <p style="text-align: center;"><img src="https://simg.open-open.com/show/f0cf8943bcc29e568c0a952b236f6e72.png"></p>    <p>Jaeger UI显示的追踪信息搜索结果。右上角显示的时刻和持续时间散点图用可视化方式呈现了结果,并提供了向下挖掘能力。</p>    <p>另一个例子,可以根据不同用例查看同一条追踪记录。除了使用默认的时序渲染方式,还可以通过其他视图渲染为有向无环图或关键路径图:</p>    <p style="text-align: center;"><img src="https://simg.open-open.com/show/598a346d2cba0797bfa9769866d04eb0.png"></p>    <p>Jaeger UI显示了一条追踪记录的详情。界面顶部是一条追踪记录的迷你地图示意图,借此可在更大规模的追踪记录中进行更轻松的导航。</p>    <p>通过将架构中剩余的Zipkin组件替代为Jaeger自己的组件,我们将Jaeger彻底变为一种统包式的端到端分布式追踪系统。</p>    <p>我们认为编排库是Jaeger固有的一部分,这样可以确保与Jaeger后端的兼容性,以及通过持续集成测试保障相互之间的互操作性。(Zipkin生态系统做不到这些。)尤其是跨越所有可支持语言(目前支持Go、Java、Python和Node.js)和可支持的传输方式(目前支持HTTP和TChannel)实现的互操作性会在每个Pull请求中测试,并用到了Uber工程部门RPC团队所开发的 Crossdock 框架。</p>    <ul>     <li><a href="/misc/goto?guid=4959741099447699826" rel="nofollow,noindex">Go</a></li>     <li><a href="/misc/goto?guid=4959741099525064839" rel="nofollow,noindex">Java</a></li>     <li><a href="/misc/goto?guid=4959741099608720153" rel="nofollow,noindex">Node.js</a></li>     <li><a href="/misc/goto?guid=4959741099695399362" rel="nofollow,noindex">Python</a></li>    </ul>    <p>我们正在将后端和UI代码迁移至GitHub,并计划尽快将Jaeger的源代码全部公开。如果你对这个过程感兴趣,可以关注 主代码库 。我们欢迎大家为此做贡献,也很乐于看到更多人尝试使用Jaeger。虽然我们对目前的进展很满意,但Uber的分布式追踪工作还有很长的路要走。</p>    <p> </p>    <p> </p>    <p>来自:http://www.infoq.com/cn/articles/evolving-distributed-tracing-at-uber-engineering</p>    <p> </p>