Apache Kyuubi 中使用 Paimon Catalog 执行存储过程报错问题分析
问题背景
在使用 Apache Kyuubi 1.7 版本时,当配置 Paimon 作为自定义 Catalog 而非默认 Catalog 时,执行 Paimon 提供的存储过程(如 remove_orphan_files)会出现 NullPointerException 异常。该问题在将 Paimon 配置为默认 Catalog 时则不会出现。
问题现象
用户配置如下参数时:
spark.sql.catalog.paimon_catalog=org.apache.paimon.spark.SparkGenericCatalog
spark.sql.extensions=org.apache.paimon.spark.extensions.PaimonSparkSessionExtensions
执行存储过程语句:
CALL paimon_catalog.sys.remove_orphan_files(table => 'paimon_catalog.rt_ods.ad_effect_stat_hour', older_than => '2024-06-18 12:40:00');
会抛出以下异常:
org.apache.kyuubi.KyuubiSQLException: Error operating ExecuteStatement: java.lang.NullPointerException
at org.apache.paimon.spark.SparkGenericCatalog.defaultNamespace(SparkGenericCatalog.java:96)
技术分析
根本原因
-
Catalog 实现差异:当 Paimon 作为非默认 Catalog 时,SparkGenericCatalog 的 defaultNamespace 方法在处理时出现了空指针异常,这表明 Paimon 的实现中对非默认 Catalog 场景的支持存在缺陷。
-
命名空间处理:Paimon 的存储过程在执行时,会尝试获取 Catalog 的默认命名空间,但在非默认 Catalog 配置下,这部分逻辑未能正确处理。
-
兼容性问题:该问题不仅出现在 Kyuubi 中,在原生 Spark SQL 客户端中也能重现,说明这是 Paimon 本身的一个兼容性问题。
解决方案验证
验证发现,当使用以下配置将 Paimon 设为默认 Catalog 时,问题不会出现:
spark.sql.catalog.spark_catalog=org.apache.paimon.spark.SparkGenericCatalog
spark.sql.extensions=org.apache.paimon.spark.extensions.PaimonSparkSessionExtensions
技术建议
-
临时解决方案:在生产环境中,如果必须使用 Paimon 的存储过程功能,建议将其配置为默认 Catalog。
-
长期解决方案:建议向 Paimon 社区报告此问题,修复 SparkGenericCatalog 对非默认 Catalog 场景的支持。
-
版本兼容性检查:确认使用的 Paimon 版本是否与 Spark/Kyuubi 版本完全兼容,某些情况下升级 Paimon 版本可能解决此类问题。
总结
这个问题揭示了在使用第三方 Catalog 实现时可能遇到的兼容性挑战。作为分布式SQL引擎网关,Kyuubi 本身不直接处理 Catalog 的具体实现,但会暴露底层引擎(如Spark)与这些实现之间的交互问题。开发者在集成类似 Paimon 这样的外部系统时,需要特别注意其在不同配置模式下的行为差异。
kernelopenEuler内核是openEuler操作系统的核心,既是系统性能与稳定性的基石,也是连接处理器、设备与服务的桥梁。C080
baihu-dataset异构数据集“白虎”正式开源——首批开放10w+条真实机器人动作数据,构建具身智能标准化训练基座。00
mindquantumMindQuantum is a general software library supporting the development of applications for quantum computation.Python056
PaddleOCR-VLPaddleOCR-VL 是一款顶尖且资源高效的文档解析专用模型。其核心组件为 PaddleOCR-VL-0.9B,这是一款精简却功能强大的视觉语言模型(VLM)。该模型融合了 NaViT 风格的动态分辨率视觉编码器与 ERNIE-4.5-0.3B 语言模型,可实现精准的元素识别。Python00
GLM-4.7GLM-4.7上线并开源。新版本面向Coding场景强化了编码能力、长程任务规划与工具协同,并在多项主流公开基准测试中取得开源模型中的领先表现。 目前,GLM-4.7已通过BigModel.cn提供API,并在z.ai全栈开发模式中上线Skills模块,支持多模态任务的统一规划与协作。Jinja00
agent-studioopenJiuwen agent-studio提供零码、低码可视化开发和工作流编排,模型、知识库、插件等各资源管理能力TSX0135
Spark-Formalizer-X1-7BSpark-Formalizer 是由科大讯飞团队开发的专用大型语言模型,专注于数学自动形式化任务。该模型擅长将自然语言数学问题转化为精确的 Lean4 形式化语句,在形式化语句生成方面达到了业界领先水平。Python00