Presto 架构原理与优化介绍| 青训营笔记

158 阅读8分钟

Presto 架构原理与优化介绍| 青训营笔记

这是我参与「第四届青训营 」笔记创作活动的的第7天

大数据与 OLAP 的演进

  1. 什么是大数据?

    在信息化时代背景下,由于信息交互,信息存储,信息处理能力大幅增加而产生的数据

  2. 什么是OLAP?

    OLAP (OnLine Analytical Processing) 对业务数据执行多维分析,并提供复杂计算,趋势分析和复杂数据建模的能力。是许多商务智能(BI)应用程序背后的技术。现如今OLAP已经发展为基于数据库通过SQL对外提供分析能力

OLAP VS MapReduce

  1. MapReduce 代表了抽象的物理执行模型,使用门槛较高
  2. 与 Mapreduce Job 相比, OLAP 引擎常通过 SQL的形式,为数据分析、数据开发人员提供统一的逻辑描述语言,实际的物理执行由具体的引擎进行转换和优化。

OLAP 核心概念: image-20220802133042977.png

  • 维度
  • 度量

常见的 OLAP 引擎:

  • 预计算引擎: Kylin, Druid
  • 批式处理引I擎:Hive, Spark
  • 流式处理引擎:Flink
  • 交互式处理引擎:Presto, Clickhouse, Doris

Presto设计理念

image-20220802134827209.png

Presto最初是由facebook研发的构建于Hadoop/HDFS系统之上的PB级交互式分析引擎,其具有如下的特点:

  • 多租户任务的管理与调度

  • 多数据源联邦查询

  • 支持内存化计算

  • pipeline式数据处理

有很多公司也基于 Presto 进行了二次开发:

Presto 基础原理与概念

Presto是 Facebook 推出的一个开源的分布式SQL查询引擎,数据规模可以支持GB到PB级,主要应用于处理秒级查询的场景。Presto 的设计和编写完全是为了解决像 Facebook 这样规模的商业数据仓库的交互式分析和处理速度的问题。

基础概念

服务相关

image-20220802135625457.png

Presto采用典型的master-slave模型:

  1. coordinator(master)负责meta管理,worker管理,query的解析和调度
    • 解析SQL语句
    • 生成执行计划
    • 分发执行任务给Worker节点
  2. worker则负责计算和读写。
    • 执行Task处理数据
    • 与其他Worker交互传输数据
  3. discovery server, 通常内嵌于coordinator节点中,也可以单独部署,用于节点心跳。在下文中,默认discovery和coordinator共享一台机器。

数据源相关

image-20220802135643468.png

  • Connector:

    • 一个Connector代表一种数据源。可以认为Connector是由Presto提供的适配多数据源的统一接口。
  • Catalog:

    • 管理元信息与实际数据的映射关系。一个 Catelog 包含 Schema 和 Connector 。

Query 相关

  • Query

    • 基于SQL parser后获得的执行计划
  • Stage

    • 根据是否需要 shuffle 将 Query 拆分成不同的 subplan,每一个subplan便是一个stage
  • Fragment

    • 基本等价于 Stage,属于在不同阶段的称呼,在本门课程可以认为两者等价
  • Task

    • 单个Worker节点上的最小资源管理单元: 在一个节点上,一个Stage只有一个 Task,一个Query可能有多个Task
  • Pipeline

    • Stage按照LocalExchange 切分为若干Operator集合,每个Operator集合定义一个Pipeline.
  • Driver

    • Pipeline的可执行实体 , Pipeline 和 Driver 的关系可类比 程序和进程,是最小的执行单元,通过火山迭代模型执行每一个Operator.
  • Split

    • 输入数据描述(数据实体是Page),数量上和Driver一一对应,不仅代表实际数据源split,也代表了不同stage间传输的数据。
  • Operator

    • 最小的物理算子。

数据传输相关

image-20220802140501439.png

  • Exchange:
    • 表示不同 Stage 间的数据传输,大多数意义下等价于Shuffle
  • LocalExchange:
    • Stage 内的 rehash 操作,常用于提高并行处理数据的能力 (Task在Presto 中只是最小的容器,而不是最小的执行单元)
    • LocalExchange的默认数值是16。

Presto 组件架构

image-20220802141120481.png

服务发现

image-20220802141243644.png

Discovery Service:

  1. Worker 配置文件配置DiscoveryService地址
  2. Worker 节点启动后会向Discovery Service注册
  3. Coordiantor从Discovery Service 获取Worker的地址

通信机制

  1. Presto Client / JDBC Client 与 Server 间通信
    • Http
  2. Coordinator 与 Worker 间的通信
    • Thrift / Http
  3. Worker 与 Worker 间的通信
    • Thrift / Http

Http 1.1 vs Thrift

Thrift具有更好的数据编码能力,Http 1.1还不支持头部信息的压缩,Thrift具有更好的数据压缩率

Presto Worker的不同状态:

  • Active
  • InActive
  • Shutdown
    • 在不影响任何正在运行的任务的情况下关闭服务的能力是服务的一个重要方面(通常称为优雅关闭(graceful shutdown))。在这种状态下 Worker 不接受新的任务,并且开始一个2分钟超时时间,在这段时间内尽可能把在该worker上的任务跑完,如跑不完2分钟过后会将未结束的任务kill掉,然后进行关闭worker

小结

  1. 从服务、数据源、Query、数据传输四个角度,介绍了Presto 相关的基础概念
    • 服务、数据源、Query、数据传输包含哪些基本概念?
    • 如何衡量一个任务的并行度(Task 并不是最小的执行单元)
  2. .通过服务发现、通信机制、节点状态三方面介绍了 Coordinator 与 Worker 是如何协调和工作的

Presto 重要机制

多租户资源管理

假设 zhnagyanbing 用户,在Prestio-cli客户端下提交了一个sql

select
  customer_type,
  avg(cost) as a
from
  test_table
group by
  customer_type
order by
  a
limit 10;

Resource Group

Resource Group:

  • 类似Yarn多级队列的资源管理方式
  • 基于CPU、MEMORY、SQL执行数进行资源使用量限制

image-20220802144820289.png

image-20220802144938893.png

image-20220802144959534.png

优点:

  1. 轻量的 Query 级别的多级队列资源管理模式

缺点:

  1. 存在一定滞后性,只会对Group 中正在运行的 SQL 进行判断

多租户下的任务调度

  • Stage 调度
  • Task 调度
  • Split 调度

物理计划生成

  1. Antlr4解析生成AST
  2. 转换成 Logical Plan
  3. 按照是否存在Shuffle (Exchang同的 Stage(Fragment)

image-20220802150235237.png

Stage 调度

  • AllAtOnceExecutionPolicy(同时调度)
    • 延迟低,会存在任务空跑的情况
  • PhasedExecutionPolicy(分阶段调度)默认调度策略
    • 不代表每个stage都分开调度,如在join查询时,在build另外一张表join的hashtable时,probe端需要等待build端完成后才进行探查。
    • 有一定的延迟,节省部分资源

Task 调度

Task的数量如何确定:

  • Source : 根据数据meta决定分配多少个节点
  • Fixed:hash partition count 确定,如集群节点数量
  • Sink:汇聚结果,一台机器
  • Scaled:无分区限制,可拓展,如write数据
  • Coordinator_Only:只需要coordinator参与

选择什么样的节点:

  • HARD_AFFINITY:计算、存储Local模式,保障计算与存储在同一个节点,减少数据传输
  • SOFT_AFFINITY:基于某些特定算法,如一致性HASH函数,常用于缓存场景,保证相似的 Task调度到同一个 Worker
  • NO_PREFERENCE:随机选取,常用于普通的纯计算Task

Split 调度

  1. 按照固定的时间片,轮训Split处理数据,处理1s,再重新选择一个Split执行
  2. Split 间存在优先级
  • FIFO: 顺序执行,绝对公平
  • 优先级调度:快速响应

MultilevelSplitQueue

  • 5个优先级 level 理论上分配的时间占比为16:8:4:2:1 (2-based)

优势:

  • 优先保证小Query快速执行
  • 保障大Query存在固定比例的时间片,不会被完全饿死

内存计算

Pipeline 化的数据处理

Pipeline(按LocalExchange 折分):

  • Pipeline的引入更好的实现算子间的并行
  • 语义上保证了每个Task 内的数据流式处理

image-20220802153828210.png

Back Pressure Mechanism

Presto是如何实现Back pressure mechanism的

  1. 控制split生成流程
  2. 针对每个Task定时检查, 如果 OutputBuffers 使用率低于 0.5 (下游消费较快, 需要提高生产速度), Split 并发度+1
  3. 控制Operator执行速度
  4. "sink.max-buffer-size" 写入buffer的大小控制
  5. "exchange.max-buffer-size" 读取buffer的大小控制
  6. Buffer 达到最大值时Operator会进入阻塞状态

多数据源联邦查询

将各个数据源进行统一的抽象,最后由 presto server 进行统一的物理执行。

image-20220802154143369.png

  • 优点:支持多数据源的联邦查询

  • 缺点:针对不同数据源,还存在许多问题需要解决

    • 谓词下推

    • 元数据管理与映射(每个数据源都需要单独的一套catalog管理)

    • 如何针对数据源进行分片操作

性能优化

常用性能分析工具

Grafana

埋点、系统指标如CPU、内存、网络等的可视化界面,时序化的数据展示

016a841b-fe95-4e0f-97d1-ec206be558f1.png

8089a5a9-d53a-46d4-94f1-ee63015b27d7.png

Java 相关指令

  • Jstack 查看Java线程栈信息,排查是否有死锁或有异常或程行在
  • JMX(Java Management Extensions)是一个为应用程序植入管理功能的框架,常用来做一些监控指标的统计收集
  • JMAP & GC 日志等等内存分析工具

Arthas

arthas是阿里巴巴开源的Java诊断工具,基本使用场景是定位复现一些生产环境比较难以定位问题。可以在线排查问题,以及动态追踪Java代码,实时监控JVM状态等等。

Arthas在presto常用哪些命令

  • watch:监控每个函数入参、返回参数、异常等信息 image-20220802155150786.png

  • trace:统计函数内每一步的执行时间

    image-20220802155206444.png

Flame Graphs(火焰图)

火焰图是基于 perf 结果产生的 SVG 图片,用来展示 CPU 的调用栈。

火焰图用于分析热点代码占用大量cpu,从而导致服务性能下降的情况。如下图,自底向上为调用关系。上层宽度越宽表示当前函数cpu耗时越久,我们关注最宽的函数调用。

image-20220802155531525.png

Presto UI

  • Query 级别统计信息
  • Logical plan
  • Stage、Task信息
  • Worker 状态信息

image-20220802155638975.png