Apache Arrow DataFusion 支持访问无需认证的公开 S3 存储桶
在数据分析领域,Apache Arrow DataFusion 作为一个高性能的查询引擎,其命令行工具 datafusion-cli 近期面临一个关于 S3 存储访问的改进需求。目前,当用户尝试访问某些公开的 S3 存储桶(如 clickbench 公共数据集)时,即使这些存储桶不需要任何身份验证,系统仍然强制要求提供 AWS 凭证,这显然不符合实际使用场景的需求。
背景与现状
许多公共数据集存储在 S3 上并设置为公开访问,例如 clickhouse-public-datasets。这类存储桶通常允许任何用户直接读取数据而无需身份验证。然而,当前 datafusion-cli 的实现中,即使用户明确知道目标存储桶是公开的,仍然必须配置 AWS 凭证才能访问,否则会返回"the credential provider was not enabled"的错误。
这种限制不仅增加了不必要的配置复杂度,也与业界其他工具(如 ClickHouse)的行为不一致。例如,ClickHouse 允许用户直接通过 S3 表引擎访问公开存储桶,无需任何凭证配置。
技术实现方案
DataFusion 底层使用的 object_store 库实际上已经支持跳过签名验证的功能。具体来说,AmazonS3Builder 提供了 with_skip_signature 方法,可以绕过凭证验证流程。当前需要的是在 datafusion-cli 中暴露这一功能,使用户能够灵活选择是否跳过签名验证。
理想的解决方案是允许用户通过 SQL 语句的 OPTIONS 部分指定相关参数。例如:
CREATE EXTERNAL TABLE hits
STORED AS PARQUET
LOCATION 's3://clickhouse-public-datasets/hits_compatible/hits.parquet'
OPTIONS(aws.skip_signature true, aws.region 'eu-central-1');
更进一步,系统还可以实现自动检测机制:当用户没有提供任何凭证时,自动尝试以无验证方式访问 S3 存储桶,仅在访问失败时才要求提供凭证。
技术挑战与考量
实现这一功能时需要考虑几个关键点:
- 安全性:虽然跳过验证对公开存储桶是必要的,但需要确保不会意外地将需要验证的私有存储桶暴露为公开访问
- 兼容性:保持与现有凭证配置方式的兼容,不影响已使用凭证验证的用户
- 错误处理:当存储桶实际需要验证而用户配置了跳过验证时,需要提供清晰的错误信息
未来展望
这一改进将显著提升 DataFusion 在访问公共数据集场景下的用户体验。它不仅简化了配置流程,也使 DataFusion 在功能上与其他数据分析工具保持了一致。对于数据分析师和研究人员来说,这意味着他们可以更便捷地访问各种公开基准测试数据集,如 clickbench 等,从而更高效地进行性能测试和算法验证。
随着数据开放共享的趋势不断增强,支持无需认证的公共数据访问将成为查询引擎的一项重要能力。DataFusion 的这一改进将使其在开源数据分析生态系统中保持竞争力,并为用户提供更加灵活的数据处理能力。
atomcodeClaude Code 的开源替代方案。连接任意大模型,编辑代码,运行命令,自动验证 — 全自动执行。用 Rust 构建,极致性能。 | An open-source alternative to Claude Code. Connect any LLM, edit code, run commands, and verify changes — autonomously. Built in Rust for speed. Get StartedRust099- DDeepSeek-V4-ProDeepSeek-V4-Pro(总参数 1.6 万亿,激活 49B)面向复杂推理和高级编程任务,在代码竞赛、数学推理、Agent 工作流等场景表现优异,性能接近国际前沿闭源模型。Python00
MiMo-V2.5-ProMiMo-V2.5-Pro作为旗舰模型,擅⻓处理复杂Agent任务,单次任务可完成近千次⼯具调⽤与⼗余轮上 下⽂压缩。Python00
GLM-5.1GLM-5.1是智谱迄今最智能的旗舰模型,也是目前全球最强的开源模型。GLM-5.1大大提高了代码能力,在完成长程任务方面提升尤为显著。和此前分钟级交互的模型不同,它能够在一次任务中独立、持续工作超过8小时,期间自主规划、执行、自我进化,最终交付完整的工程级成果。Jinja00
Kimi-K2.6Kimi K2.6 是一款开源的原生多模态智能体模型,在长程编码、编码驱动设计、主动自主执行以及群体任务编排等实用能力方面实现了显著提升。Python00
MiniMax-M2.7MiniMax-M2.7 是我们首个深度参与自身进化过程的模型。M2.7 具备构建复杂智能体应用框架的能力,能够借助智能体团队、复杂技能以及动态工具搜索,完成高度精细的生产力任务。Python00