0

0xcc 開篇

2020 年 3月，得物技術(shù)團(tuán)隊在三個月的時間內(nèi)完成了整個交易體系的重構(gòu)，交付了五彩石項目，業(yè)務(wù)系統(tǒng)也進(jìn)入了微服務(wù)時代。系統(tǒng)服務(wù)拆分之后，雖然每個服務(wù)都會有不同的團(tuán)隊各司其職，但服務(wù)之間的依賴也變得復(fù)雜，對服務(wù)治理等相關(guān)的基礎(chǔ)建設(shè)要求也更高。

對服務(wù)進(jìn)行監(jiān)控是服務(wù)治理、穩(wěn)定性建設(shè)中的一個重要的環(huán)節(jié)，它能幫助提早發(fā)現(xiàn)問題，預(yù)估系統(tǒng)水位，以及對故障進(jìn)行分析等等。從 2019 年末到現(xiàn)在，得物的應(yīng)用服務(wù)監(jiān)控系統(tǒng)經(jīng)歷了三大演進(jìn)階段，如今，整個得物的應(yīng)用微服務(wù)監(jiān)控體系已經(jīng)全面融入云原生可觀測性技術(shù) OpenTelemetry。

回顧過去十年間，應(yīng)用服務(wù)監(jiān)控行業(yè)的競爭也很激烈，相關(guān)產(chǎn)品如雨后春筍般涌現(xiàn)，如推特在 2012 年開源的 Zipkin，韓國最大的搜索引擎和門戶網(wǎng)站 Naver 開源的 Pinpoint，近幾年 Uber 公司開源的 Jaeger，以及我們國內(nèi)吳晟開源的 SkyWalking。

有人說，這些其實都?xì)w功于 Google 在 2010 年基于其內(nèi)部大規(guī)模分布式鏈路追蹤系統(tǒng) Dapper 實踐而發(fā)表的論文，它的設(shè)計理念是一切分布式調(diào)用鏈追蹤系統(tǒng)的始祖，但其實早在二十年前（2002年），當(dāng)年世界上最大的電商平臺 eBay 就已擁有了調(diào)用鏈追蹤系統(tǒng) CAL(Centralized Application Logging)。2011 年，原eBay的中國研發(fā)中心的資深架構(gòu)師吳其敏跳槽至大眾點評，并且深入吸收消化了 CAL 的設(shè)計思想，主導(dǎo)研發(fā)并開源了CAT(Centralized Application Tracking）。

1

0x01 第一階段

從0～1基于CAT的實時應(yīng)用監(jiān)控

CAT 擁有指標(biāo)分鐘級別的聚合統(tǒng)計的能力，從 UI 上不難看出，它擁有豐富的報表統(tǒng)計能力和問題排障能力。

但隨著公司業(yè)務(wù)規(guī)模逐步擴(kuò)大，微服務(wù)粒度也不可避免地變小，我們發(fā)現(xiàn)，CAT 已經(jīng)逐步無法滿足我們的使用場景了：

• 無法直觀呈現(xiàn)全鏈路視圖：

問題排障與日常性能分析的場景也越來越復(fù)雜，對于一個核心場景，其內(nèi)部的調(diào)用鏈路通常復(fù)雜多變，站在流量角度上看，需要完整地知道它的來源，上下游鏈路，異步調(diào)用等等，這對于 CAT 來說可能略顯超綱。

• 缺少圖表定制化能力：

2

0x02 第二階段

持續(xù)創(chuàng)造 基于OpenTracing全鏈路采樣監(jiān)控

OpenTracing 為全鏈路追蹤 Trace 定制了完整的一套協(xié)議標(biāo)準(zhǔn)，本身并不提供實現(xiàn)細(xì)節(jié)。在 OpenTracing 協(xié)議中，Trace 被認(rèn)為是 Span 的有向無環(huán)圖（DAG）。官方也例舉了以下 8 個 Span 的因果關(guān)系和他們組成的單 Trace示例圖：

在當(dāng)時， OpenTracing 相關(guān)的開源社區(qū)也是異?；钴S，它使用 Jaeger 來解決數(shù)據(jù)的收集，調(diào)用鏈則使用了甘特圖展示：

在 OpenTracing 生態(tài)中，我們對鏈路的采樣使用頭部采樣策略， 對于指標(biāo) Metrics，OpenTracing 并沒有制定它的規(guī)范，但在 Google SRE Book 里，關(guān)于 Monitoring Distributed System 章節(jié)中提到了四類黃金指標(biāo)：

1. 吞吐量：如每秒請求數(shù)，通常的實現(xiàn)方式是，設(shè)定一個計數(shù)器，每完成一次請求將自增。通過計算時間窗口內(nèi)的變化率來計算出每秒的吞吐量。

2. 延遲：處理請求的耗時。

3. 錯誤率/錯誤數(shù)：如 HTTP 500 錯誤。當(dāng)然，有些即便是 HTTP 200 狀態(tài)也需要根據(jù)特定業(yè)務(wù)邏輯來區(qū)分當(dāng)前請求是否屬于“錯誤”請求。

4. 飽和度：類似服務(wù)器硬件資源如CPU,內(nèi)存,網(wǎng)絡(luò)的使用率等等。

• RPC 調(diào)用排障，調(diào)用方除了擁有下游接口信息，也可溯源自身觸發(fā)該調(diào)用的接口。

• 接口高耗時分析，根據(jù)指標(biāo)，可還原出單位時間窗口的耗時分解圖快速查看耗時組件。

2.2 關(guān)于選型的疑問

你可能會問，鏈路監(jiān)控領(lǐng)域在業(yè)內(nèi)有現(xiàn)成的 APM 產(chǎn)品，比如 Zipkin, Pinpoint, SkyWalking 等，為什么當(dāng)時會選擇 OpenTracing + Prometheus 自行埋點？主要有兩大因素：

第一，在當(dāng)時，CAT 無法滿足全鏈路監(jiān)控和一些定制化的報表分析，而得物交易鏈路五彩石項目交付也趨于尾聲，貿(mào)然去集成外部一款龐大的 APM 產(chǎn)品在沒有充分的驗證下，會給服務(wù)帶來穩(wěn)定性風(fēng)險，在極其有限的時間周期內(nèi)不是個理智的選擇。

第二，監(jiān)控組件是隨著統(tǒng)一的基礎(chǔ)框架來發(fā)布，同時，由另一團(tuán)隊牽頭開發(fā)的全鏈路影子庫路由組件借助了 OpenTracing 隨行數(shù)據(jù)透傳機(jī)制，且與監(jiān)控組件是強(qiáng)耦合關(guān)系，而基礎(chǔ)框架將統(tǒng)籌監(jiān)控，壓測和其他模塊，借助Spring Boot Starter 機(jī)制，一定程度上做到了功能的開箱即用，無縫集成。而使用字節(jié)碼增強(qiáng)方式的 Pinpoint, SkyWalking，無法很好地做到與基礎(chǔ)框架集成，若并行開發(fā)，也會多出基礎(chǔ)框架與 Java Agent 兩邊的管理和維護(hù)成本，減緩迭代速度。

在之后將近兩年的時間里，應(yīng)用服務(wù)監(jiān)控覆蓋了得物技術(shù)部使用的將近 70% 的組件，為得物App在 2021 年實現(xiàn)全年 99.97% 的 SLA 提供了強(qiáng)有力的支持?，F(xiàn)在看來，基于 OpenTracing + Prometheus 生態(tài)，很好地解決了分布式系統(tǒng)的調(diào)用鏈監(jiān)控，借助 Grafana 圖表工具，做到了靈活的指標(biāo)監(jiān)控，融合基礎(chǔ)框架，讓業(yè)務(wù)方開箱即用…然而，我們說第二階段是基于 OpenTracing 全鏈路采樣監(jiān)控，隨著業(yè)務(wù)的高速發(fā)展，這套架構(gòu)的不足點也逐漸顯露出來。

2.3 架構(gòu)特點

• 體驗層面

• • 指標(biāo)：覆蓋面廣，維度細(xì)，能清晰地根據(jù)各模塊各維度來統(tǒng)計分析，基本做到了監(jiān)控靈活的圖表配置需求。但不可否認(rèn)它是一種時序聚合數(shù)據(jù)，無法細(xì)化為個體。假如在某個時間點發(fā)生過幾次高耗時操作，當(dāng)吞吐量達(dá)到一定時，平均耗時指標(biāo)曲線仍然趨于平穩(wěn)，沒有明顯的突出點，導(dǎo)致問題發(fā)現(xiàn)能力降低。

• • 鏈路：1%的采樣率使得業(yè)務(wù)服務(wù)基本不會因調(diào)用鏈發(fā)送量大而導(dǎo)致性能問題，但同時也往往無法從錯誤，高耗時的場景中找到正好采樣的鏈路。期間，我們曾經(jīng)考慮將頭部采樣策略改為尾部采樣，但面臨著非常高昂的 SDK 改造成本和復(fù)雜調(diào)用情況下（如異步）采樣策略的回溯，且無法保證發(fā)生每個高耗時，錯誤操作時能還原整個完整的調(diào)用鏈路。
    

  • 集成方式：業(yè)務(wù)和基礎(chǔ)框架均采用 Maven 來構(gòu)建項目，使用 Spring Boot Starter "all in one"開箱即用方式集成，極大降低了集成成本的同時，也給依賴沖突問題埋下了隱患。
    

• 項目迭代層面

迭代周期分化矛盾，與基礎(chǔ)框架的集成是當(dāng)時快速推廣落地全鏈路監(jiān)控的不二選擇，通過這種方式，Java 服務(wù)的接入率曾一度接近100%，但在業(yè)務(wù)高速發(fā)展的背景下，基礎(chǔ)框架的迭代速度已經(jīng)遠(yuǎn)遠(yuǎn)跟不上業(yè)務(wù)迭代速度了，這也間接制約了整個監(jiān)控系統(tǒng)的迭代。

• 數(shù)據(jù)治理層面

盡管監(jiān)控系統(tǒng)在每一次迭代時都會盡可能保證最大的向后兼容，但將近兩年的迭代周期里，不同版本造成的數(shù)據(jù)差異也極大制約了監(jiān)控門戶系統(tǒng)天眼的迭代，開發(fā)人員長時間奔波于數(shù)據(jù)上的妥協(xié)，在很多功能的實現(xiàn)上曲線救國。

• 穩(wěn)定性層面

相關(guān)預(yù)案依托于 Spring 框架 Bean 的自動裝配邏輯，業(yè)務(wù)方理解成本低，便于變更，但缺少細(xì)粒度的預(yù)案，比如運行時期間特定邏輯降級等等。

• • 2021 年下半年開始，為了充分平衡以上的收益與風(fēng)險，我們決定將監(jiān)控采集端與基礎(chǔ)框架解耦，獨立迭代。在此之前，在 CNCF（云原生計算基金會）的推動下，OpenTracing 也與 OpenCensus 合并成為了一個新項目 OpenTelemetry。

3

0x03 第三階段

向前一步 基于OpenTelemetry全鏈路應(yīng)用性能監(jiān)控

OpenTelemetry 的定位在于可觀測性領(lǐng)域中對遙測數(shù)據(jù)采集和語義規(guī)范的統(tǒng)一，有 CNCF (云原生計算基金會)的加持，近兩年里隨著越來越多的人關(guān)注和參與，整個體系也越發(fā)成熟穩(wěn)定。

其實，我們在2020年底就已開始關(guān)注 OpenTelemetry 項目，只不過當(dāng)時該項目仍處于萌芽階段， Trace, Metrics API 還在 Alpha 階段，有很多不穩(wěn)定因素，考慮到需盡快投入生產(chǎn)使用，筆者曾在 2021 年中到年末期間也或多或少參與了 OpenTelemetry 社區(qū)相關(guān) issue 的討論，遙測模塊的開發(fā)，底層數(shù)據(jù)協(xié)議的一致和一些 BUG 的修復(fù)。在這半年期間，相關(guān) API 和 SDK 隨著越來越多的人參與也逐步趨于穩(wěn)定。

3.1 邁入 Trace2.0 時代

OpenTelemetry 的定位致力于將可觀測性三大要素 Metrics,Trace,Log 進(jìn)行統(tǒng)一，在遙測 API 制定上，提供了統(tǒng)一的上下文以便 SDK 實現(xiàn)層去關(guān)聯(lián)。如 Metrics 與 Trace 的關(guān)聯(lián)，筆者認(rèn)為體現(xiàn)在 OpenTelemetry 在 Metrics 的實現(xiàn)上包含了對 OpenMetrics 標(biāo)準(zhǔn)協(xié)議的支持，其中 Exemplar 格式的數(shù)據(jù)打通了 Trace 與 Metrics 的橋梁：

OpenMetrics 是建立在 Prometheus 格式之上的規(guī)范，做了更細(xì)粒度的調(diào)整，且基本向后兼容 Prometheus 格式。

在這之前，Metrics 指標(biāo)類型的數(shù)據(jù)無法精確關(guān)聯(lián)到具體某個或某些 Trace 鏈路，只能根據(jù)時間戳粗略關(guān)聯(lián)特定范圍內(nèi)的鏈路。這個方案的缺陷源自指標(biāo)采集器 vmagent 每隔 10s~30s 的 Pull 模式中，指標(biāo)的時間戳取決于采集時刻，與 Trace 調(diào)用時間并不匹配。

shadower_virtual_field_map_operation_seconds_bucket{holder="Filter:Factory",key="WebMvcMetricsFilter",operation="get",tcl="AppClassLoader",value="Servlet3FilterMappingResolverFactory",le="0.2"} 3949.0 1654575981.216 # {span_id="48f29964fceff582",trace_id="c0a80355629ed36bcd8fb1c6c89dedfe"} 1.0 1654575979.751

分位線統(tǒng)計與Exemplar 數(shù)據(jù)關(guān)聯(lián)UI示意圖

在數(shù)據(jù)上報層，OpenTelemetry Java SDK 使用了比 JDK 原生的阻塞隊列性能更好的 Mpsc (多生產(chǎn)單消費）隊列，它使用大量的 long 類型字段來做內(nèi)存區(qū)域填充，用空間換時間解決了偽共享問題，減少了并發(fā)情況下的寫競爭來提高性能。

在流量高峰時期，鏈路數(shù)據(jù)的發(fā)送隊列這一塊的性能從火焰圖上看 CPU 占比平均小于2%，日常服務(wù)CPU整體水位與0采樣相比幾乎沒有明顯差距，因此我們經(jīng)過多方面壓測對比后，決定在生產(chǎn)環(huán)境客戶端側(cè)開放鏈路數(shù)據(jù)的全量上報，實現(xiàn)了在得物技術(shù)史上的全鏈路 100% 采樣，終結(jié)了一直以來因為低采樣率導(dǎo)致問題排查困難的問題，至此，在第三階段，得物的全鏈路追蹤技術(shù)正式邁入 Trace2.0 時代。

得益于 OpenTelemetry 整體的可插拔式 API 設(shè)計，我們二次開發(fā)了 OpenTelemetry Java Instrumentation 項目 Shadower Java，擴(kuò)展了諸多功能特性：

3.2 引入控制平面管理客戶端采集行

使用控制平面，通過客戶端監(jiān)聽機(jī)制來確保配置項的下發(fā)動作，包括：

• 實時動態(tài)采樣控制

• 診斷工具 Arthas 行為控制

• 實時全局降級預(yù)案

• 遙測組件運行時開關(guān)

• 實時 RPC 組件出入?yún)⑹占_關(guān)

• 實時高基數(shù)指標(biāo)標(biāo)簽的降級控制

• 按探針版本的預(yù)案管理

• 基于授權(quán)數(shù)的灰度接入策略。

• ... ...

控制平面的引入，彌補(bǔ)了無降級預(yù)案的空白，也提供了更加靈活的配置，支持了不同流量場景下快速變更數(shù)據(jù)采集方案：

3.3 獨立的啟動模塊

為了解決業(yè)務(wù)方因集成基礎(chǔ)框架而長期面臨的依賴沖突問題，以及多版本共存引起的數(shù)據(jù)格式分散與兼容問題，我們自研了無極探針工具箱 Promise, 它是個通用的 javaagent launcher, 結(jié)合遠(yuǎn)端存儲，支持可配置化任意 javaagent 的下載，更新，安裝和啟動：

[plugins]
enables = shadower,arthas,pyroscope,chaos-agent
[shadower]
artifact_key = /javaagent/shadower-%s-final.jar
boot_class = com.shizhuang.apm.javaagent.bootstrap.AgentBootStrap
classloader = system
default_version = 115.16
[arthas]
artifact_key = /tools/arthas-bin.zip
;boot_class = com.taobao.arthas.agent334.AgentBootstrap
boot_artifact = arthas-agent.jar
premain_args = .attachments/arthas/arthas-core.jar;;ip=127.0.0.1
[pyroscope]
artifact_key = /tools/pyroscope.jar
[chaos-agent]
artifact_key = /javaagent/chaos-agent.jar
boot_class = com.chaos.platform.agent.DewuChaosAgentBootstrap
classloader = system
apply_envs = dev,test,local,pre,xdw

3.4 基于 Otel API 的擴(kuò)展

3.4.1 豐富的組件度量

在第二階段 OpenTracing 時期，我們使用 Endpoint 貫穿了多個組件的指標(biāo)埋點，這個優(yōu)秀的特性也延續(xù)至第三階段，我們基于底層 Prometheus SDK 設(shè)計了一套完善的指標(biāo)埋點 SDK，并且借助字節(jié)碼插樁的便捷，優(yōu)化并豐富了更多了組件庫。（在此階段，OpenTelemetry SDK 主版本是 1.3.x ，相關(guān) Metrics SDK 還處于Alpha 階段）

Otel 的 Java Instrumnetation 主要使用 WeakConcurrentMap 來做異步鏈路上下文數(shù)據(jù)傳遞和同線程上下文關(guān)聯(lián)的容器，由于 Otel 對許多流行組件庫做了增強(qiáng)，因此 WeakConcurrentMap 的使用頻率也是非常高的，針對這個對象的 size 做監(jiān)控，有助于排查因探針導(dǎo)致的內(nèi)存泄露問題，且它的增長率一旦達(dá)到我們設(shè)定的閾值便會告警，提早進(jìn)行人工干預(yù)，執(zhí)行相關(guān)預(yù)案，防止線上故障發(fā)生。

部分自監(jiān)控面板

3.4.2擴(kuò)展鏈路透傳協(xié)

1) 引入RPC ID

為了更好地關(guān)聯(lián)上下游應(yīng)用，讓每個流量都有“身份”，我們擴(kuò)展了 TextMapPropagator 接口，讓每個流量在鏈路上都知道請求的來源，這對跨區(qū)域，環(huán)境調(diào)用排障場景起到關(guān)鍵性作用。

此外，對于跨端場景，我們參考了阿里鷹眼調(diào)用鏈RPCID模型，增加了RpcID字段，這個字段在每次發(fā)生跨端調(diào)用時末尾數(shù)值會自增，而對于下游應(yīng)用，字段本身的層級自增：

該字段擁有以下作用：

支持提供精簡化的調(diào)用鏈路視圖，查詢臃腫鏈路（如那些涉及緩存，DB調(diào)用大于 2000 Span的鏈路）時只提供 RPC 調(diào)用節(jié)點和調(diào)用層次關(guān)系。

鏈路保真，客戶端鏈路數(shù)據(jù)上報隊列并不是個無界限隊列，當(dāng)客戶端自身調(diào)用頻繁時，若上報隊列堆積達(dá)到閾值即會丟棄，這會造成整個鏈路的不完整，當(dāng)然這是預(yù)期內(nèi)的現(xiàn)象，但若沒有RpcID字段，鏈路視圖將無法關(guān)聯(lián)丟失的節(jié)點，從而導(dǎo)致整個鏈路層級混亂失真。

2) 自定義 Trace ID

為了實現(xiàn)鏈路詳情頁高效的檢索效率，我們擴(kuò)展 TraceID 生成邏輯，ID的前8位使用實例IP，中8位使用當(dāng)前時間戳，后16位采用隨機(jī)數(shù)生成。

32位自定義traceId：c0a8006b62583a724327993efd1865d8


c0a8006b  62583a72   4327993efd1865d8
   |         |             |
高8位(IP) 中8位(Timestmap) 低16位(Random)

這樣的好處有兩點：

通過 TraceID 反向解析時間戳，鎖定時間范圍，有助于提高存儲庫 Clickhouse 的檢索效率，此外也能幫助決定當(dāng)前的 Trace 應(yīng)該查詢熱庫還是冷庫。



綁定實例 IP，有助于關(guān)聯(lián)當(dāng)前 Trace 流量入口所屬的實例，在某些極端場景，當(dāng)鏈路上的節(jié)點檢索不到時，也能通過實例和時間兩個要素來做溯源。

3) 異步調(diào)用識別

業(yè)務(wù)系統(tǒng)為了提高服務(wù)吞吐量，充分運用硬件資源，異步調(diào)用場景可謂無處不在。我們基于Otel實現(xiàn)的異步鏈路上下文傳遞的基礎(chǔ)上，額外擴(kuò)充了"async_flag"字段來標(biāo)識當(dāng)前節(jié)點相對于父節(jié)點的調(diào)用關(guān)系，從而在展示層上能迅速找出發(fā)生異步調(diào)用的場景

3.4.3 更清晰的調(diào)用鏈結(jié)構(gòu)

在 Otel 支持的部分組件中，有些操作不涉及到網(wǎng)絡(luò)調(diào)用，或者具有非常頻繁的操作，如 MVC 過程，數(shù)據(jù)庫連接獲取等，通常來說這類節(jié)點在鏈路詳情主視圖中的意義不大，因此我們對這類節(jié)點的產(chǎn)生邏輯進(jìn)行了優(yōu)化調(diào)整，使得整個鏈路主體結(jié)構(gòu)聚焦于“跨端”，同時，對部分核心組件關(guān)鍵內(nèi)部方法細(xì)節(jié)做了增強(qiáng)，以“事件”的形式掛載于它們的父節(jié)點上，便于更細(xì)粒度的排查：

RPC 調(diào)用關(guān)鍵內(nèi)部事件

DB 調(diào)用連接獲取事件

3.4.4 profiling 的支持

1）線程棧分析的集成。通過集成 Arthas 這類工具，可以很方便地查看某個實例線程的實時堆棧信息，同時對采樣間隔做控制，避免頻繁抓取影響業(yè)務(wù)自身性能。

2）通過集成 pyroscope，打通高延遲性能排查最后一公里。Pyroscope 對 async profiler 做了二次開發(fā)，同時也支持 Otel 去集成，但截至目前，官方并沒有實現(xiàn)完整的 Profiling 行為的生命周期，而 Profiling 行為一定程度上會影響性能，于是我們對官方 Pyroscope 的生命周期做了擴(kuò)展，實現(xiàn)“停止”行為的同時，采用時間輪算法來檢測特定操作的耗時，當(dāng)達(dá)到期望的閾值將觸發(fā)開啟 profiling, 待操作結(jié)束或超過最大閾值則停止。

關(guān)于性能診斷相關(guān)的運用，請期待后續(xù)診斷專題。

4

0xff 結(jié)語

縱觀得物在應(yīng)用監(jiān)控采集領(lǐng)域的三大里程碑迭代，第一階段的 CAT 則是 0~1 的過程，它提供了應(yīng)用服務(wù)對自身觀測的途徑，讓業(yè)務(wù)方第一次真實地了解了服務(wù)運行狀況，而第二階段開始，隨著業(yè)務(wù)發(fā)展的飛速提升，業(yè)務(wù)方對監(jiān)控系統(tǒng)的要求就不僅只是從無到有了，而是要精細(xì)，準(zhǔn)確。

因此，快速迭代的背景下，功能與架構(gòu)演進(jìn)層面的矛盾，加上外部云原生大背景下可觀測領(lǐng)域的發(fā)展因素，促使我們進(jìn)行了基于 OpenTelemetry 體系的第三階段的演進(jìn)。功能，產(chǎn)品層面均取得了優(yōu)異的結(jié)果。如今，我們即將進(jìn)行下一階段的演進(jìn)，深度結(jié)合調(diào)用鏈與相關(guān)診斷工具，以第三階段為基礎(chǔ)，讓得物全鏈路追蹤技術(shù)正式邁入性能分析診斷時代。

審核編輯 ：李倩