1. 不止是“猜下一个词”:LLM 运行机制全貌
这两年LLM已经不是新鲜词了,但真要说清楚模型从输入一段文字到输出完整回答之间到底发生了什么,大部分人的理解还是停留在“它不就是猜下一个词嘛”这个层面。这句话没错,但只看到了最表面的那层皮。实际上,Token切割方式决定了你花多少钱,上下文长度决定了模型能“记住”多少东西,采样参数决定了模型是严谨还是放飞自我——这三者共同决定了一次LLM调用的最终效果和成本。
我在这篇文章里不打算讲什么神经网络反向传播的数学推导,那玩意儿对绝大多数人没有意义。我先把LLM运行的三个核心概念——Token、上下文、采样参数——彻底拆开揉碎,讲清楚它们各自是什么、怎么影响模型行为,再告诉你在实际写代码调接口的时候,怎么预估Token花费、怎么处理上下文超限、怎么针对不同任务调采样参数。最后附上我这一年多踩过的坑和整理的问题排查清单。
这篇文章适合三类人:准备用LLM API做应用的开发者、想深入理解大模型原理但不想啃论文的产品经理、以及纯粹好奇LLM为什么有时候聪明有时候蠢的普通用户。看完你应该能回答一些网上搜不到标准答案的问题,比如“为什么同样的提示词,模型这次回答好下次回答烂”“上下文窗口到底是不是越大越好”以及“温度调成0是不是就不会出错了”。
需要模型API调用? 免费领10W Token,多模型网关一键接入 Claude、DeepSeek 等主流模型。
2. 拆解核心概念:Token、上下文窗口与采样参数的深层逻辑
2.1 Token到底是什么:不只是“一个字”那么简单
Token是LLM处理文本的基本单位,但很多人都误解了它的粒度。Token不一定是完整的单词,也不一定是单个汉字。它是模型分词器对原始文本进行切分后得到的离散单元。把Token理解成“模型的文字积木”就好——模型认识的不是字符,而是这些积木块。
不同的分词器切出来的Token是不一样的。以目前主流的BPE(Byte-Pair Encoding)算法为例,它会把高频的词直接保留为完整Token,把低频词拆成子词单元,把完全没见过的东西退化到字节级别。这就是为什么英文里“the”是1个Token,“uncharacteristically”可能被切成好几个Token——因为高频词要效率,低频词要覆盖。
中文的Token化更特殊。很多中文分词器会把一个常用汉字作为一个Token,但一些专业术语、罕见人名会被切碎成多个Token。这意味着同样的中文内容,在不同模型上消耗的Token数量可能差异很大。有个粗略的参考值:英文文本大概是1个Token对应0.7到0.8个词,中文文本大概是1个Token对应0.6到0.7个字。但这只是经验值,具体得看你用的模型走的是什么分词器。
Token的第二个关键意义是计费。现在主流LLM API的定价都是按Token算的,输入和输出价格还不一样。这就是为什么“省Token”成了LLM应用开发里的一个正经课题。省Token不是抠门,而是直接降低单位成本,让你在同样预算下能处理更多的调用量。
Token还有第三个角色:它是模型输入长度的硬约束。一次调用你最多能塞进去多少文本,就是由模型的上下文窗口上限决定的,而这个上限的单位就是Token。你输入提示词消耗一部分,模型输出消耗一部分,两部加起来不能超过窗口上限。
2.2 上下文窗口:模型能“记住”什么,取决于这个数字
上下文窗口是当前LLM架构里的核心约束条件。简单说,就是模型在一次生成回复时,最多能“回头去看”多少之前的Token。全注塑力(Full Attention)机制下,每个新生成Token都要和序列里所有之前的Token计算注意力权重,这个操作的时间复杂度和空间复杂度都是O(n²)——n就是上下文长度。
这就是为什么模型不能无限加长上下文。你把上下文从2K做到8K,计算量不是翻4倍,是翻16倍。从8K做到128K,计算量是指数级的增长。所以你会发现长上下文模型要么更贵,要么会更慢,就是因为这个平方级的算力开销。
但现在很多模型都已经支持128K甚至更长的上下文了。这里就要区分一个概念:支持长上下文 ≠ 长上下文表现好。模型在局部段落内的信息捕捉能力通常很强,但当关键信息散布在很长一段文本的不同位置时,注意力会被稀释,模型容易“抓瞎”。这就像让你读一本500页的小说然后回答第137页和第402页之间有什么关联——你能记住大概情节,但精确细节就悬了。
实际开发中,“上下文超限”是最常见的报错之一。当你的提示词加上历史对话记录超出了模型的最大上下文限制,API就会直接拒绝请求。这时候普通用户的第一反应是“那我多塞点,你多记点不就完了”,但用过一次就知道,这条路是有天花板的。所以后来的RAG(检索增强生成)架构才那么火——它本质上是把“无脑全塞”改成“按需取用”,只把和当前问题相关的片段放进上下文,而不是把整本书都丢给模型。
2.3 采样参数:决定模型“性格”的旋钮
如果说Token和上下文决定了模型能读什么,采样参数决定的就是模型怎么回答。同一个模型、同一个提示词,把采样参数一改,输出风格能差出一个次元。
核心采样参数有这么几个:Temperature(温度)、Top P(核采样)、Top K、Frequency Penalty(频率惩罚)和Presence Penalty(存在惩罚)。其中影响最大、最常用的是Temperature和Top P。
LLM在生成下一个Token时,并不是直接选概率最高的那个词。模型先算出一个概率分布,告诉你每个候选Token的可能性是多少,然后采样过程从这个分布里挑一个。Temperature就是调整这个分布的“锐度”的:温度越低,高概率Token的优势越明显;温度趋于0时,模型基本就是次次选最高概率Token,输出变得确定但机械。温度越高,概率分布被拉平,低概率Token被选中的机会变大,输出更有创造性但也更容易跑偏。
Top P是另一种截断策略。它把候选Token按概率从高到低排序,然后不断累加概率,直到累计和超过设定的P值,只在这个池子里采样。Top P的作用是动态裁掉长尾的低概率Token。它和Temperature并不冲突,可以同时设置,实际效果是双重筛选。
Frequency Penalty和Presence Penalty是用来抑制重复的。前者按Token在文本中出现过的次数来惩罚,出现越多惩罚越狠,直接压制复读机行为;后者只看Token有没有出现过,出现过就惩罚,鼓励模型换新词。写长文、写代码的时候这两个参数很关键,不调的话模型写到后面容易开始自我重复。
这里要泼一盆冷水:采样参数不是万能调节器。很多人以为温度调低就能消除幻觉,这是错误的。幻觉很多情况下出在模型的训练数据里就没有正确答案,或者上下文信息不足以支撑推理,这种时候哪怕温度调到0,模型也会“自信地胡说”。采样参数影响的只是表达形式,不是知识的真假。
3. 实操环节:从零开始的一次完整LLM调用这样“吃”Token
3.1 工具选型与接口准备:不同模型的Token策略差异
实际操作之前先得选模型。现在主流的选择有OpenAI的GPT系列、Anthropic的Claude系列,以及一些开源模型如Llama、Qwen系列。不同模型的Token计算方式、上下文长度、计费标准都不同,对开发者来说最直接的影响就是“同样的输入输出,谁更省钱”。
以我自己的经验来看,OpenAI的GPT-4级别模型在长上下文任务上表现稳定,但价格偏高;Claude的上下文处理能力很强,而且它的128K窗口在长文档分析场景下很实用,实测在复杂指令跟随上表现也不错;开源模型的好处是能私有化部署,没有按Token计费的压力,但对硬件有要求,而且模型能力天花板比顶级闭源模型还是差一截。
不管用哪个模型,第一步要搞清楚的就是它的上下文上限和Token计算规则。API文档里都有,比如OpenAI给每个模型标注了context window和max output tokens,前者是总数上限,后者是单次回复最多能生成多少Token。这两个数值别弄混:context window包含输入加输出,max output tokens限制的是输出侧。
实际操作中,我建议用一个官方支持的Token计数工具或SDK自带的接口来统计Token。别自己按字符数估计,尤其是中文场景,误差会大到离谱。
3.2 一段真实调用代码背后的Token流动:输入、输出、历史记录
下面我用一个Python调用的最小示例来说明一次LLM调用从哪里在消耗Token。这里用的是OpenAI SDK,但其他厂商的SDK逻辑大同小异。
python复制from openai import OpenAI
client = OpenAI(api_key="你的API Key")
messages = [
{"role": "system", "content": "你是一个专业的代码审阅助手,回答要简洁、准确。"},
{"role": "user", "content": "以下是我的代码,请指出潜在的内存泄漏问题:\n\n" + code_snippet}
]
response = client.chat.completions.create(
model="gpt-4o",
messages=messages,
max_tokens=1024,
temperature=0.3
)
print(response.choices[0].message.content)
print("本次消耗:", response.usage)
这个例子里Token消耗分三块:messages数组里的system提示词、user内容,以及模型生成的assistant回复。response.usage会返回prompt_tokens(输入Token数)、completion_tokens(输出Token数)和total_tokens(总消耗)。
这里有三个细节值得注意。
第一,system提示词里的每个字符都会算Token,但很多人在估算成本时把system提示词忽略了。别看它短,如果system提示词写了一长串规则和范例,这个固定损耗会在每次调用时重复叠加。做应用的时候,system提示词要精简再精简。
第二,如果要实现多轮对话,需要把历史消息一起传进去。也就是说,第三轮对话时,前两轮的user消息和assistant消息都要重新发送一遍。这就导致了一个Token消耗的“滚雪球效应”:对话轮数越多,每轮消耗的Token越大。因为所有历史都要重新编码一次,模型本身不记住前一轮的对话状态,除非你做了缓存优化。
第三,max_tokens这个参数不是设置“我希望模型回答多长”,而是设置“我允许模型最长回答多长”。如果把max_tokens设小了,模型会在达到上限时被强制截断,就是网上经常看到的“回答到一半突然停了”。如果你希望模型输出长内容,比如要求它写一篇2000字的文章,得预估好需要的Token量并设置足够的min/max上限。
3.3 实战进阶:省Token的几个硬核操作
省Token不只是省钱,更是让模型在有限的上下文里专注关键信息,提高回答质量。我有几个实测有效的做法:
第一条:用摘要替代完整历史。 多轮对话里,与其把全部历史消息都传给模型,不如定期把前面的对话汇总成摘要,只把摘要和最近几轮消息传到下一次调用。这个策略能极大减缓Token滚雪球。代价是早期对话的细节会丢失,所以需要权衡:对细节敏感的任务用完整历史,对当前意图更关注的任务用摘要方案。
第二条:提示词里塞参考示例要克制。 Few-shot示例是提升输出质量的有效手段,但每个示例都会消耗Token。一个示例几百Token,放五个示例就很可观了。我的做法是先用一个示例测试效果,如果模型表现不佳再逐步增加,不要一上来就堆一堆示例。从多轮实际对比来看,一两个精心设计的示例往往比五个粗糙示例更好。
第三条:结构化输出能省不少Token。 让模型用JSON或Markdown格式输出,看起来好像不省Token,实际上如果你在提示词里写清楚输出字段、格式要求,模型会少说很多废话。对比过自由回答和加了“直接输出JSON,不要解释”的提示词,输出Token能差30%到50%。
第四条:注意“隐藏Token”。 很多模型在处理内容时,会在内部加入一些特殊Token用于标记开始、分隔等作用。这部分Token在API返回的usage里通常会计入prompt_tokens。你没法直接消除它们,但可以有意识减少消息条数、压缩格式来降低这些额外负担。
3.4 参数设置的黄金组合:不同任务怎么配
采样参数的设置没有标准答案,但有一些经过大量实践验证的参考区间。我做了一个速查表,按任务类型给出推荐值,是我反复测试后的个人经验:
| 任务类型 | Temperature | Top P | Top K | 频率惩罚 | 存在惩罚 | 实测原因 |
|---|---|---|---|---|---|---|
| 代码生成 | 0.2 | 0.5 | 40 | 0.1 | 0.1 | 代码要确定性,温度高了容易产生不存在的API |
| 代码注释/文档 | 0.5 | 0.7 | 50 | 0.2 | 0.2 | 太低了注释写得像机器翻译 |
| 分类/信息抽取 | 0.1 | 0.3 | 20 | 0 | 0 | 要稳定结果,降低随机性 |
| 头脑风暴/创意写作 | 0.8 | 0.9 | 100 | 0.5 | 0.5 | 需要发散,但惩罚项控制不跑题 |
| 对话/客服 | 0.6 | 0.85 | 60 | 0.2 | 0 | 兼顾自然感和稳定度 |
| 数学/逻辑推理 | 0.1 | 0.2 | 10 | 0 | 0 | 推理任务对确定性要求极高 |
注意,Temperature和Top P不是越多越好或越少越好,它们是用来适配不同任务的。一个最常见的错误是,用ChatGPT聊天时那种“自由奔放”的参数去跑代码生成任务,结果模型给出了看起来很合理但实际上根本不存在的Python库。反过来,用零温度去写营销文案,得到的东西死板得像说明书。
还有一点很少人提到:Temperature对长文本的作用会累积。在生成一个很长的回答时,每生成一个Token都是一次采样,温度带来的随机性会随着生成步数增加而放大。前10个Token可能只是稍有差异,写到500个Token时,内容走向可能完全不一样了。所以长文生成时,温度设置比短文更保守一些更稳妥。
4. 上下文工程:不止是“塞得进去”,关键是“用得好”
4.1 从“上下文长度”到“上下文质量”:思路转变
近一年“上下文工程”(Context Engineering)这个概念被反复提起,原因是大家逐渐意识到,光有长上下文窗口远远不够。你能把一整本《三体》塞进模型上下文,但模型读完之后能不能准确回答“罗辑在第几次面壁计划中悟出了黑暗森林法则”就是另一回事了。
上下文工程的核心是把“对当前任务最有用的信息”放到模型最能发挥效果的位置。它不是单纯的文本拼接,而是对信息的筛选、排序、组织和结构化。
这里有个很关键但容易被忽略的模型行为模式:位置偏差。很多模型对上下文开头和结尾的信息关注度更高,对中间部分相对“敷衍”。这就是所谓的“Lost in the Middle”现象。针对这一点,实操上可以把最重要的指令放在开头或结尾,把次要的参考信息放在中间。我的一个长文本分析项目里,把关键问题从中间挪到提示词末尾之后,回答准确率有明显提升。
另一个思路是“递归压缩”。面对超长文本,不要试图一次性全塞给模型,而是先让模型分段阅读、生成摘要,再把摘要整合后做最终回答。这种策略牺牲了一些延迟,但能处理远超上下文窗口的内容量,效果比硬塞要好得多。很多所谓“让LLM处理几百万字文档”的方案,底层都是这个逻辑。
4.2 上下文超限的四种解法:截断、摘要、RAG、滑动窗口
遇到上下文超限,不要第一反应就是“换更长的模型”——那是最贵的一条路。按优先级排序,有四种解法:
方案一:智能截断。 把最早的历史对话直接丢弃,只保留最近几轮。这是最简单有效的方式,适合对话场景。但要注意,直接硬截断会让模型丧失早期的重要信息,所以更精细的做法是在截断时保留系统提示词和最近的消息,把中间轮次的对话拆掉。
方案二:历史摘要。 用一个专门的“摘要模型”或LLM调用把中间轮次压缩成几句话,放进上下文里。这样不丢核心信息,却省了大量Token。缺点是需要额外一次调用,延迟和成本会略增。
方案三:RAG(检索增强生成)。 这是目前最主流的企业级方案。把文档切块、向量化、存入向量数据库。每次请求到来时,先做语义检索,找到与问题最相关的几个文本块,只把这几个块和问题拼接后发给LLM。它的最大优势是上下文上限变成了向量数据库的容量——你可以在向量库里存几百万份文档,而每次发给LLM的可能只有2K到4K Token。
方案四:滑动窗口。 部分新模型支持滑动窗口注意力机制,模型内部只对最近一部分Token做完整注意力计算,更早的信息做粗粒度编码。这样在架构层面就能支持极长上下文。但作为使用者,我们需要注意,有些模型的“长上下文”模式会比短上下文模式速度更慢、价格更高。
实际项目里,这四个方案经常组合使用。比如一个客服机器人,历史对话超过20轮就走摘要,用户上传的文档走RAG检索,系统提示词恒驻。
4.3 一个完整的上下文组织模板
下面是一个我验证过很多次的提示词组织模板,适配大多数LLM应用场景:
code复制[系统指令]
角色定义 + 任务说明 + 输出格式要求 + 约束条件
[对话历史(按需取舍)]
早期的精简摘要(如有)
最近N轮完整对话
[外部知识(按需)]
检索到的与当前问题相关的文档片段
[当前输入]
用户本次的问题或指令
[输出要求]
再次强调:只输出JSON / 输出Markdown表格 / 别解释直接给答案
这个模板的几个要点:
- 系统指令放在最前面,让模型先“进入角色”。
- 输出要求在开头和结尾各出现一次。开头让模型提前知道格式,结尾强化指令能显著提高格式遵循率。
- 检索文档放在当前输入之前,模拟“你先查了资料,然后回答问题”的过程。
- 当前输入紧跟在所有参考材料后面,让模型把注意力集中在“最后这个问题”上。
实测下来,用这个模板比“一股脑把所有内容拼在一起”的效果要好很多,格式错误率和信息遗漏都明显下降。
5. 常见问题与排查技巧实录
5.1 我踩过的坑:关于Token和上下文的六个高频故障
故障一:回答被截断。 症状是模型回答到一半就停了,经常在一个句子中间戛然而止。原因基本就两个:一是max_tokens设得太小,模型还没写完就到上限了;二是遇到了模型的输出长度硬限制。解决办法是把max_tokens调大,然后让模型“继续”或者重新生成。长期方案是调整提示词,让模型回答更精简,或者把长文生成拆分成多段任务。
故障二:多轮对话越聊越慢、越聊越贵。 原因就是历史消息不断累积,每轮都要重新处理全部Token。解决方法前面说过了:加摘要机制。我还习惯给消息列表设一个软上限,比如超过15条就触发一次折叠操作,把前面压缩成几条摘要消息。
故障三:上下文超限报错。 症状是API直接返回类似“maximum context length exceeded”的错误。排查思路是先看自己的消息列表到底有多少Token,把日志里usage的prompt_tokens和模型上限对比。如果接近上限,优先清理历史消息,再不行就切RAG方案。
故障四:模型重复输出相同内容。 这通常是温度太低加频率惩罚不够导致的。模型陷入了一个高概率循环,一直输出同一个短语或句子。解决方法是提高温度到0.7以上,同时把frequency_penalty调到1.0以上。
故障五:Token数量和字符数对不上。 很多人在统计Token时习惯用字符数反推,这在中文场景会差很多。一个中文汉字在多数模型里是1到2个Token,在部分分词器上是1.5个左右。不要猜,直接用官方tokenizer工具数。
故障六:模型对中间段的上下文“失忆”。 这在长文档分析里尤其严重。你把一份50页的报告放到上下文里,模型对开头和结尾的内容掌握得很好,中间段的细节经常出错。解决思路是上文说的“Lost in the Middle”策略——把关键文档片段前置或后置,或者干脆改用RAG按需检索。
5.2 Token计数与成本预估:别让你的账单失控
做生产环境应用,Token成本预估是必须要做的功课。分享一个我自己用的预估方法:
先算单次调用的Token消耗基线。System提示词一般是固定消耗,加上每轮用户消息和模型回复的平均Token数,乘以平均轮数,得出一个平均单次会话消耗。然后乘以预估的日活用户数量和人均会话次数,就是最低成本线。
用OpenAI的定价来举个例子:假设一个客服机器人,system提示词400Token,平均每轮对话用户输入200Token、模型输出300Token,平均每单会话8轮。那么单次会话消耗大约是400 + 8×(200 + 300) = 4400Token,输入和输出各占一半左右。如果模型价格是输入每百万Token 5美元、输出每百万Token 15美元,单次会话成本大约是2200/1e6×5 + 2200/1e6×15 = 0.044美元,也就是约3毛人民币。日活一万用户、人均2次会话,一天就是8000美元。这才是一个真实可运营的预算模型。
我强烈建议在生产环境里记录每次调用的usage信息,存到日志系统里,按天统计Token消耗分布。不然等到月底收到账单再复盘就晚了。
5.3 判断“模型抽风”还是“参数问题”:一个定位框架
遇到模型输出不符合预期时,不要立刻改这改那,而是按下面的顺序做定位:
- 先把采样参数调成极端确定模式(temperature=0,top_p=0.1),跑一次同样的提示词。如果输出稳定但仍不正确——问题出在提示词或模型知识本身,不是采样参数的问题。
- 如果极端确定模式下输出正确,说明问题出在随机性上——适当降低温度或top_p。
- 如果输出格式对但内容错,检查上下文里给的信息是否足够、是否有冲突信息。模型对矛盾信息的处理方式往往是“取最新”或者“取最相关”,很容易被误导。
- 如果格式也错,检查system提示词里的格式要求是否明确。很多人提示词里写“请用JSON格式输出”,但没有给JSON schema示例,模型就只能猜——猜错的概率很高。
- 最后才考虑是不是模型本身的能力边界问题。有些推理任务、数学计算、长链逻辑,模型就是容易错,这种时候用CoT(思维链)提示或者换更强的模型才是正路。
还有一个容易被忽略的隐蔽问题:历史消息里的角色错乱。多轮对话里如果assistant和user消息的顺序或内容串了,模型会“精神分裂”。这个问题排查起来很痛苦,因为错误比较隐蔽且随机。我的做法是在会话管理模块里加一道校验,确保消息严格按照user/assistant交替写入。
6. 一些感想与最后提醒
我自己从最早用GPT-3.5做玩具项目,到后来用各种模型搭Agent应用,最大的体会是:大部分LLM应用的效果问题,根源不是“模型不够聪明”,而是“输入组织得不够好”。 同样一个模型,提示词工程做到位、上下文组织清晰、参数任务匹配合理,输出质量能提升一个档次。
Token是成本、是限制、也是模型能力的边界,理解它才能控制好预算和应用范围。上下文是模型的“工作记忆”,怎么把有限的工作记忆用在刀刃上,决定了应用的天花板。采样参数则是你和模型之间的“对话语气调节器”,任务不同就要换不同的语气。
最后分享一个我一直在用的习惯:每次上线一个新功能,先手工跑20个以上的测试用例,覆盖正常场景、边界场景和恶意输入场景。观察不同参数下的输出分布,再做参数调优。LLM应用和传统软件开发最大的区别就在这里——传统应用是确定性的,测试通过就是通过;LLM应用是概率性的,这次通过不代表下次通过,所以必须用统计学思维去评估效果,而不是拿一两个案例就下结论。
这篇文章对LLM运行机制的拆解就到这里。如果你在实操中遇到什么有意思的坑,或者有不同的参数调优经验,欢迎一起交流。
