KTransformers: 灵活高效的大语言模型推理优化框架

RayRay
KTransformersLLM推理优化大型语言模型深度学习框架GPU加速Github开源项目

KTransformers简介

KTransformers是一个旨在增强🤗 Transformers体验的灵活框架,通过引入先进的内核优化和放置/并行策略,实现了大语言模型(LLM)推理的高效优化。作为一个以Python为中心的框架,KTransformers具有极强的可扩展性,用户只需一行代码即可实现优化模块的注入,就能获得与Transformers兼容的接口、符合OpenAI和Ollama标准的RESTful API,甚至是简化版的ChatGPT风格Web UI。

KTransformers的愿景是成为一个灵活的平台,用于尝试创新的LLM推理优化方法。它的核心优势在于能够在有限的计算资源下,实现大型语言模型的高效本地部署和运行。

主要特性与更新

KTransformers近期的主要更新包括:

  1. 支持在InternLM2.5-7B-Chat-1M模型下实现100万token上下文推理,仅需24GB显存和150GB内存。
  2. 将DeepseekV2所需显存从21GB降低到11GB。
  3. 支持llamafile作为线性后端。
  4. 支持多GPU使用。
  5. 新增对mixtral 87B和822B模型的支持。
  6. 在GPU上支持q2k、q3k、q5k反量化。
  7. 支持Windows原生运行。

showcase: 突破性能与效果

1. 桌面级100万token上下文推理

KTransformers在仅有24GB显存的桌面环境下,实现了对InternLM 2.5 7B模型的100万token上下文推理:

  • 全精度bf16运算,仅需24GB显存和150GB内存
  • 在100万token"大海捞针"测试中达到92.88%成功率
  • 在128K token测试中达到100%成功率
  • 生成速度达到16.91 tokens/s,比llama.cpp的全注意力方法快10倍以上

Single Needle Retrieval 128K

Single Needle Retrieval 1000K

2. 桌面级GPT-4水平的本地VSCode Copilot

KTransformers支持在仅有24GB显存的桌面环境下运行236B参数量的DeepSeek-Coder-V2模型:

  • 使用Q4_K_M量化版本,仅需11GB显存和136GB内存
  • 在BigCodeBench评测中得分超过GPT4-0613
  • 通过MoE卸载和注入Llamafile、Marlin等先进内核,实现2K提示词预填充126 tokens/s,生成13.6 tokens/s的速度
  • 封装为OpenAI和Ollama兼容的API,可无缝集成到Tabby等前端

DeepSeek-Coder-V2 Score

快速开始

环境准备

  1. 安装CUDA 12.1或更高版本
  2. 设置CUDA_HOME(Linux)或CUDA_PATH(Windows)环境变量
  3. 安装gcc、g++和cmake(Linux)
  4. 使用Conda创建Python 3.11虚拟环境
  5. 安装PyTorch、packaging和ninja

安装KTransformers

可以通过以下三种方式之一安装KTransformers:

  1. 使用Docker镜像
  2. 通过pip安装(Linux):
    pip install ktransformers --no-build-isolation
    
  3. 从源码编译安装

本地聊天示例

以DeepSeek-V2-Lite-Chat-GGUF模型为例:

  1. 下载模型文件
  2. 运行本地聊天脚本:
    python -m ktransformers.local_chat --model_path deepseek-ai/DeepSeek-V2-Lite-Chat --gguf_path ./DeepSeek-V2-Lite-Chat-GGUF
    

支持的模型

KTransformers目前支持多种大型语言模型,包括DeepSeek-V2、Qwen2-57B、Mixtral-8x7B等。每种模型都有相应的VRAM和DRAM需求,用户可根据自身硬件条件选择合适的模型。

RESTful API和Web UI

KTransformers提供了RESTful API服务和Web UI界面:

  1. 启动不带网页的服务:

    ktransformers --model_path deepseek-ai/DeepSeek-V2-Lite-Chat --gguf_path /path/to/DeepSeek-V2-Lite-Chat-GGUF --port 10002
    
  2. 启动带网页的服务:

    ktransformers --model_path deepseek-ai/DeepSeek-V2-Lite-Chat --gguf_path /path/to/DeepSeek-V2-Lite-Chat-GGUF  --port 10002 --web True
    

访问 http://localhost:10002/web/index.html#/chat 即可使用Web界面。

Web UI

注入式优化框架

KTransformers的核心是一个用户友好的、基于模板的注入框架。研究人员可以轻松地将原始torch模块替换为优化变体,并探索多种优化的协同效果。

Inject-Struction

使用示例

用户只需创建基于YAML的注入模板,并在使用Transformers模型之前调用optimize_and_load_gguf函数:

with torch.device("meta"): model = AutoModelForCausalLM.from_config(config, trust_remote_code=True) optimize_and_load_gguf(model, optimize_rule_path, gguf_path, config) ... generated = prefill_and_generate(model, tokenizer, input_tensor.cuda(), max_new_tokens=1000)

自定义模型优化

用户可以通过编写YAML模板来自定义模型优化规则。例如,将所有原始Linear模块替换为Marlin(一种先进的4位量化内核):

- match: name: "^model\.layers\...*$" class: torch.nn.Linear replace: class: ktransformers.operators.linear.KTransformerLinear device: "cpu" kwargs: generate_device: "cuda" generate_linear_type: "QuantizedLinearMarlin"

总结

KTransformers为大语言模型的本地部署和推理优化提供了一个灵活、高效的解决方案。它不仅支持多种先进模型,还提供了易于使用的API和Web界面。通过其独特的注入式优化框架,研究人员和开发者可以轻松尝试各种优化策略,推动LLM推理技术的进步。

KTransformers项目由清华大学MADSys小组和Approaching.AI的成员积极维护和开发。该项目欢迎新的贡献者加入,共同努力使KTransformers变得更快、更易用。随着大语言模型在各行各业的广泛应用,KTransformers无疑将在推动AI技术的民主化和普及方面发挥重要作用。

编辑推荐精选

Refly.AI

Refly.AI

最适合小白的AI自动化工作流平台

无需编码,轻松生成可复用、可变现的AI自动化工作流

酷表ChatExcel

酷表ChatExcel

大模型驱动的Excel数据处理工具

基于大模型交互的表格处理系统,允许用户通过对话方式完成数据整理和可视化分析。系统采用机器学习算法解析用户指令,自动执行排序、公式计算和数据透视等操作,支持多种文件格式导入导出。数据处理响应速度保持在0.8秒以内,支持超过100万行数据的即时分析。

AI工具酷表ChatExcelAI智能客服AI营销产品使用教程
TRAE编程

TRAE编程

AI辅助编程,代码自动修复

Trae是一种自适应的集成开发环境(IDE),通过自动化和多元协作改变开发流程。利用Trae,团队能够更快速、精确地编写和部署代码,从而提高编程效率和项目交付速度。Trae具备上下文感知和代码自动完成功能,是提升开发效率的理想工具。

AI工具TraeAI IDE协作生产力转型热门
AIWritePaper论文写作

AIWritePaper论文写作

AI论文写作指导平台

AIWritePaper论文写作是一站式AI论文写作辅助工具,简化了选题、文献检索至论文撰写的整个过程。通过简单设定,平台可快速生成高质量论文大纲和全文,配合图表、参考文献等一应俱全,同时提供开题报告和答辩PPT等增值服务,保障数据安全,有效提升写作效率和论文质量。

AI辅助写作AI工具AI论文工具论文写作智能生成大纲数据安全AI助手热门
博思AIPPT

博思AIPPT

AI一键生成PPT,就用博思AIPPT!

博思AIPPT,新一代的AI生成PPT平台,支持智能生成PPT、AI美化PPT、文本&链接生成PPT、导入Word/PDF/Markdown文档生成PPT等,内置海量精美PPT模板,涵盖商务、教育、科技等不同风格,同时针对每个页面提供多种版式,一键自适应切换,完美适配各种办公场景。

AI办公办公工具AI工具博思AIPPTAI生成PPT智能排版海量精品模板AI创作热门
潮际好麦

潮际好麦

AI赋能电商视觉革命,一站式智能商拍平台

潮际好麦深耕服装行业,是国内AI试衣效果最好的软件。使用先进AIGC能力为电商卖家批量提供优质的、低成本的商拍图。合作品牌有Shein、Lazada、安踏、百丽等65个国内外头部品牌,以及国内10万+淘宝、天猫、京东等主流平台的品牌商家,为卖家节省将近85%的出图成本,提升约3倍出图效率,让品牌能够快速上架。

iTerms

iTerms

企业专属的AI法律顾问

iTerms是法大大集团旗下法律子品牌,基于最先进的大语言模型(LLM)、专业的法律知识库和强大的智能体架构,帮助企业扫清合规障碍,筑牢风控防线,成为您企业专属的AI法律顾问。

SimilarWeb流量提升

SimilarWeb流量提升

稳定高效的流量提升解决方案,助力品牌曝光

稳定高效的流量提升解决方案,助力品牌曝光

Sora2视频免费生成

Sora2视频免费生成

最新版Sora2模型免费使用,一键生成无水印视频

最新版Sora2模型免费使用,一键生成无水印视频

Transly

Transly

实时语音翻译/同声传译工具

Transly是一个多场景的AI大语言模型驱动的同声传译、专业翻译助手,它拥有超精准的音频识别翻译能力,几乎零延迟的使用体验和支持多国语言可以让你带它走遍全球,无论你是留学生、商务人士、韩剧美剧爱好者,还是出国游玩、多国会议、跨国追星等等,都可以满足你所有需要同传的场景需求,线上线下通用,扫除语言障碍,让全世界的语言交流不再有国界。

下拉加载更多