Oha HTTP压测工具v1.6.0版本发布:性能优化与功能增强
Oha是一个用Rust编写的高性能HTTP负载测试工具,类似于ab和wrk,但具有更现代化的设计和更丰富的功能特性。该项目由hatoo团队维护,专注于提供简单易用但功能强大的HTTP基准测试解决方案。
核心性能优化
本次v1.6.0版本在性能方面进行了多项重要改进:
-
物理核心数优化:经过实际测试验证,使用物理核心数而非逻辑核心数作为工作线程数能够获得更好的性能表现。这一改动使得oha在相同硬件条件下能够产生更高的请求吞吐量。
-
内存分配器升级:从jemallocator迁移到tikv-jemallocator,这是专为Rust生态系统优化的内存分配器实现,能够更好地处理高并发场景下的内存分配需求,减少内存碎片和提高分配效率。
-
HTTP/2工作线程重构:对HTTP/2协议的工作线程实现进行了深度重构,优化了连接管理和请求处理流程,显著提升了HTTP/2协议下的性能表现。
-
构建配置优化:在CI构建流程中启用了优化编译配置,确保发布的二进制文件能够充分利用现代CPU的指令集和优化特性。
新功能特性
-
文件URL读取支持:新增了从文件读取URL列表的功能,用户可以通过
-f/--file参数指定包含多个URL的文件路径。这一特性特别适合需要对多个不同端点进行混合负载测试的场景。 -
性能剖析增强:改进了性能剖析服务器的实现,能够更准确地收集和分析性能数据,帮助开发者识别性能瓶颈。
技术实现细节
-
并发模型优化:通过减少不必要的线程间同步和锁竞争,提高了工作线程的执行效率。特别是在高并发场景下,这种优化能够带来明显的性能提升。
-
依赖更新:更新了多个关键依赖库版本,包括异步运行时、HTTP客户端库等,确保使用最新的性能优化和安全修复。
-
代码清理:移除了不再使用的pin-project-lite依赖,简化了项目依赖树,减少了二进制体积。
使用建议
对于希望获得最佳性能的用户,建议:
-
根据被测服务的特性选择合适的协议(HTTP/1.1或HTTP/2),新版oha对两种协议都进行了优化。
-
对于大规模测试,可以考虑使用新的文件URL功能,预先准备好测试用例文件。
-
在性能关键场景下,建议使用物理核心数作为工作线程数,这通常是性能最优的配置。
总结
Oha v1.6.0版本通过一系列底层优化和功能增强,进一步巩固了其作为高性能HTTP负载测试工具的地位。无论是对于开发人员的本地测试,还是生产环境的性能评估,这个版本都提供了更强大、更可靠的测试能力。特别值得一提的是其对现代HTTP协议的支持和优化,使其成为评估Web服务性能的理想选择。
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