AWS SDK for Java v2 2.31.26版本更新解析
AWS SDK for Java是亚马逊云服务官方提供的Java开发工具包,它让开发者能够方便地在Java应用中集成AWS云服务。本次发布的2.31.26版本带来了多项功能增强和文档改进,主要涉及Zonal Shift、Budgets、MediaTailor、SecurityHub、Kinesis Firehose和QBusiness等服务。
Zonal Shift服务增强
AWS ARC的Zonal Shift服务在本次更新中获得了文档和异常类型的改进。Zonal Autoshift是AWS提供的一项高可用性功能,它能够自动检测可用区中的问题并将流量转移到健康的可用区。这次更新完善了相关文档,使开发者能够更清晰地理解如何使用这项服务,同时优化了异常类型处理,为错误场景提供了更精确的反馈。
Budgets服务重大变更
AWS Budgets服务引入了一个重要的新功能:Budget FilterExpression和Metrics字段。这两个新字段提供了更细粒度的过滤选项,允许用户创建更精确的预算监控条件。值得注意的是,从2025年4月18日起,原有的CostFilters和CostTypes将被弃用,开发者需要迁移到新的过滤表达式系统。这一变更反映了AWS对预算管理功能的持续优化,为用户提供了更灵活、更强大的预算控制能力。
MediaTailor功能扩展
AWS MediaTailor服务在本次更新中获得了显著增强,新增了对Recurring Prefetch和Traffic Shaping功能的支持。这些功能现在可以同时应用于Single和Recurring Prefetch场景。此外,ListPrefetchSchedules API的行为也发生了变化:默认情况下现在返回单个预取计划,同时可以通过scheduleType参数(SINGLE、RECURRING或ALL)来指定返回的预取计划类型。这些改进为媒体内容分发提供了更精细的控制能力,特别是在处理直播和点播内容时。
SecurityHub文档更新
AWS SecurityHub服务进行了一个小规模的文档更新,改进了GetConfigurationPolicyAssociation示例。虽然这是一个较小的变更,但它反映了AWS对文档质量的持续关注,确保开发者能够获得准确、清晰的API使用示例。
Kinesis Firehose文档澄清
Amazon Kinesis Firehose服务更新了关于使用CreateDeliveryStream API可以创建的流数量的文档说明。这一澄清有助于开发者更好地规划他们的数据流架构,避免因误解服务限制而导致的设计问题。
QBusiness新增调试API
Amazon Q Business服务新增了CheckDocumentAccess API,这是一个自助调试工具,允许管理员验证文档访问权限并审查访问控制列表(ACL)配置。这项功能特别适合企业环境中需要精细控制文档访问权限的场景,为管理员提供了更直接的权限验证手段,而不必依赖复杂的日志分析或其他间接方法。
升级建议
对于正在使用上述服务的Java开发者,建议评估这些新功能对现有应用的影响。特别是使用AWS Budgets服务的开发者,需要注意即将弃用的CostFilters和CostTypes,尽早规划迁移到新的过滤表达式系统。MediaTailor的用户则可以探索新的预取和流量整形功能,优化媒体分发性能。所有开发者都应考虑在测试环境中验证新版本SDK的兼容性,然后再部署到生产环境。
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