Apache Kyuubi 支持 Flink SQL 引擎的凭证续期功能解析
在现代大数据生态系统中,安全认证机制是分布式计算框架不可或缺的组成部分。Apache Kyuubi 作为一个多引擎 SQL 网关,近期在其 Flink SQL 引擎中实现了 RenewDelegationToken 功能,这一改进显著增强了在代理用户模式下的安全认证能力。
背景与挑战
在企业级大数据环境中,Kerberos 认证和代理用户机制是常见的安全实践。当 Kyuubi 以代理用户模式运行时,传统方案会面临一个关键限制:Flink 引擎不允许同时启用 HADOOP_PROXY_USER 和 delegation tokens fetch 功能。这意味着原有的凭证获取机制无法正常工作,导致安全认证链条断裂。
技术实现方案
Kyuubi 团队通过扩展 FlinkTBinaryFrontendService 服务,实现了 RenewDelegationToken 方法的完整支持。该方案的核心思想是将凭证管理职责从 Flink 引擎转移至 Kyuubi 服务端,通过服务间通信完成安全凭证的传递和更新。
具体实现包含以下关键技术点:
-
凭证传递机制:Kyuubi 服务端负责获取 Hadoop 集群的 delegation token,然后通过 RPC 调用将凭证传递给 Flink 引擎。
-
生命周期管理:实现了凭证的自动续期逻辑,确保长时间运行的作业不会因凭证过期而失败。
-
安全传输保障:所有凭证信息都经过加密传输,防止中间人攻击。
架构影响与优势
这一改进使得 Kyuubi 的 Flink 引擎能够:
- 完整支持 Kerberos 认证环境下的代理用户模式
- 保持与 Hadoop 生态系统的安全集成
- 提供与 Spark 引擎一致的安全体验
- 支持长时间运行的批处理和流处理作业
应用场景
该功能特别适合以下场景:
- 多租户环境下的 Flink 作业提交
- 需要严格安全审计的企业部署
- 与 YARN 或其它 Hadoop 组件集成的生产环境
- 需要长期运行的流处理应用
未来展望
随着该功能的落地,Kyuubi 在统一 SQL 引擎安全模型方面又迈出了重要一步。未来可以考虑进一步优化凭证管理效率,支持更灵活的凭证更新策略,以及增强与其他安全框架的集成能力。
这一改进体现了 Kyuubi 项目对生产环境需求的快速响应能力,也为用户提供了更加安全可靠的多引擎 SQL 服务体验。
AutoGLM-Phone-9BAutoGLM-Phone-9B是基于AutoGLM构建的移动智能助手框架,依托多模态感知理解手机屏幕并执行自动化操作。Jinja00
Kimi-K2-ThinkingKimi K2 Thinking 是最新、性能最强的开源思维模型。从 Kimi K2 开始,我们将其打造为能够逐步推理并动态调用工具的思维智能体。通过显著提升多步推理深度,并在 200–300 次连续调用中保持稳定的工具使用能力,它在 Humanity's Last Exam (HLE)、BrowseComp 等基准测试中树立了新的技术标杆。同时,K2 Thinking 是原生 INT4 量化模型,具备 256k 上下文窗口,实现了推理延迟和 GPU 内存占用的无损降低。Python00
GLM-4.6V-FP8GLM-4.6V-FP8是GLM-V系列开源模型,支持128K上下文窗口,融合原生多模态函数调用能力,实现从视觉感知到执行的闭环。具备文档理解、图文生成、前端重构等功能,适用于云集群与本地部署,在同类参数规模中视觉理解性能领先。Jinja00
HunyuanOCRHunyuanOCR 是基于混元原生多模态架构打造的领先端到端 OCR 专家级视觉语言模型。它采用仅 10 亿参数的轻量化设计,在业界多项基准测试中取得了当前最佳性能。该模型不仅精通复杂多语言文档解析,还在文本检测与识别、开放域信息抽取、视频字幕提取及图片翻译等实际应用场景中表现卓越。00
GLM-ASR-Nano-2512GLM-ASR-Nano-2512 是一款稳健的开源语音识别模型,参数规模为 15 亿。该模型专为应对真实场景的复杂性而设计,在保持紧凑体量的同时,多项基准测试表现优于 OpenAI Whisper V3。Python00
GLM-TTSGLM-TTS 是一款基于大语言模型的高质量文本转语音(TTS)合成系统,支持零样本语音克隆和流式推理。该系统采用两阶段架构,结合了用于语音 token 生成的大语言模型(LLM)和用于波形合成的流匹配(Flow Matching)模型。 通过引入多奖励强化学习框架,GLM-TTS 显著提升了合成语音的表现力,相比传统 TTS 系统实现了更自然的情感控制。Python00
Spark-Formalizer-X1-7BSpark-Formalizer 是由科大讯飞团队开发的专用大型语言模型,专注于数学自动形式化任务。该模型擅长将自然语言数学问题转化为精确的 Lean4 形式化语句,在形式化语句生成方面达到了业界领先水平。Python00