qinghuan
← 调用工具并检查权限 / 全部笔记

单元 21 / 调用工具并检查权限

P1 · 重点提升L2 · 进阶

排查 MCP 初始化、传输与会话问题

按初始化、协商、调用和断线几个阶段检查 MCP，分清本地进程与 HTTP 两种传输方式。

清欢学习笔记概念解释 · 代码示例 · 动手练习
本篇目录 · 按需要跳转

读完这篇，你能做什么

能根据脱敏消息将启动、协议版本、传输损坏和工具依赖超时定位到不同层。

学习理由、准备要求与知识点

为什么学它

初始化、日志通道和传输错误常被误判成模型能力问题，分层排查能快速定位。

先读这些内容

用 MCP 连接工具，保留应用控制权 ↗看懂 HTTP 请求、JSON 与 API 错误 ↗

知识点清单

  • initialize 请求
  • 版本与能力协商
  • initialized 通知
  • 请求和通知的区别
  • stdio 消息与日志通道
  • Streamable HTTP 与 SSE
  • 会话标识与认证分离
  • 断线后的结果未知

运行前先确认MCP协议以2025-11-25规范为基线；Java17算法是应用自定的TTL调度模型，不规定MCP会话寿命，也不执行网络连接。

01先弄懂它是什么

连上 MCP 服务后，还不能马上假定所有工具都可用。客户端先发送 initialize，双方确认协议版本、能力和实现信息，再发送 initialized 通知，进入正常操作。如果协商还没完成就调用工具，就可能依赖服务并未确认支持的行为。普通请求需要对应响应，通知则不要求同样的等待过程。

传输方式决定协议消息走哪条路。stdio 常用于 Host 启动的本地进程，标准输出专门传协议消息，日志应另走标准错误等通道。Streamable HTTP 通过 HTTP 传输，响应可能是 JSON 或 SSE 流；它与旧版 HTTP 加 SSE 的传输方式有区别，不能混用理解。调试时应先固定协议版本，再按该版本核对具体行为。

会话标识帮助服务端关联协议状态，不等于用户认证。认证、授权和会话路由要分别处理，日志也不应任意暴露敏感会话信息。断线可能发生在工具已执行但结果尚未返回时，因此重新连接不能自动推导出“上一次肯定没执行”。

文中这几个词，先认一认

初始化握手
正式操作前，双方确认共同采用的协议版本和支持能力的阶段。
通知
不要求对方返回对应响应的协议消息，例如告知对方初始化已经完成。
结果未知
客户端还没有足够证据判断是否完成；服务端既可能已经执行，也可能尚未执行，需要继续核对。

还有陌生词？到术语小抄里看一个具体例子 ↗

02看看它怎么工作

应用可以用 NEW、INITIALIZING、READY、CLOSED 等明确状态记录连接进度。进入 READY 之前，只进行协议允许的交互；遇到不支持的版本，也应按协议处理，不能忽略差异硬接着调用。能力字段还要看由哪一方声明、具体承诺什么，字段同名并不表示双方已经自动兼容。

传输层负责字节和事件，业务层负责调用结果。HTTP块、SSE事件和工具结果不是同一边界；客户端应增量解码并等待完整协议消息。stdio中一行调试输出可能破坏解析，排障时先分离日志与协议通道，再检查业务处理。

本题给应用设计一条规则：会话闲置到期限后清理，这个存活期限常叫 TTL。把待清理记录按到期时间放进最小堆，就能先检查最早到期的那条。会话每次续期都换一个代号；旧记录可以暂时留在堆里，但取出时必须核对代号，发现它属于续期前就跳过，避免误删仍然有效的会话。这是应用自己制定的空闲清理规则，并非 MCP 规范强制要求，也不负责认证或避免远程动作重复执行。

正在加载流程图…

图中状态只描述本篇可执行机制；业务调用仍需由外层应用负责。
查看流程图源码（Mermaid）
flowchart TD
  C["建立传输"] --> I["initialize 协商"]
  I --> N["initialized 通知"]
  N --> R["正常请求与结果关联"]
  R --> T["应用会话活动与到期"]
  R --> D["断线及未决调用"]
  D --> V["重建协议并核对业务结果"]

按顺序看，每一步做了什么

  1. 按选定传输建立连接，并隔离日志与协议通道。
  2. 发送initialize，校验版本与能力后发送initialized。
  3. 正常阶段按请求ID关联消息与工具结果。
  4. 应用根据自己的政策维护会话活动和过期状态。
  5. 断线后保留未决调用，按业务幂等或查询结果恢复。

03对照实现代码

OpenJDK 17 DelayQueue 源码 （新标签页）↗

OpenJDK 17 GA，jdk-17+35 · DelayQueue.poll / take

下方为原创 Java 教学片段，调用已核验的 JDK API 说明局部机制；不是该类原样源码，也不实现神经网络。完整程序见算法模块。

核心机制代码 · java
ExpiredSession ticket = queue.poll(); // 仅在队首延迟已到期时取出，否则返回null。
if (ticket != null && currentGeneration(ticket.id()) == ticket.generation()) {
    expire(ticket.id()); // 应用核对代号，防止旧票据淘汰已续期会话。
}
// DelayQueue管理到期等待，不负责会话认证、续期版本或MCP生命周期。

DelayQueue的poll查看队首剩余延迟，未到期时返回null；take可等待可取元素。队列依据Delayed提供的比较和延迟计算，应用必须让两者语义一致。

队列本身不会知道同一会话已经续期，旧元素仍可能留在堆里。代号核对属于应用逻辑，不能因为用了延迟队列就省略旧票据处理。

完整程序使用PriorityQueue和显式虚拟时刻，避免真实等待，使到期与续期交错可以确定性测试。它是DelayQueue使用场景的调度模型，不是并发实现复制。

真实系统还需选择合适时间源并处理进程重启。墙钟回拨、持久存储与多节点所有权不在本地堆内，生产会话管理不能只保留一个内存定时器。

代码先调用谁，再调用谁

  1. 活动更新应用会话到期时间
  2. 生成新代号并加入调度队列
  3. 取出已到期票据
  4. 比较当前会话代号
  5. 仅过期仍匹配的会话

04动手写一个例子

带代号的会话过期调度

输入非递减虚拟时刻上的touch与expire操作；touch设置正TTL，expire返回真正到期ID。续期旧票据不能删除新状态。Java17程序纯内存运行，不等待真实时间。

输入 1
A在0续期到5，在4续期到9；expire(5)
输出 1
空
输入 2
继续expire(9)
输出 2
A

每次touch生成全局递增代号，当前表保存最新票据，并把票据加入按到期时间排序的堆。无需立即从堆中线性删除旧票据。

expire循环弹出所有到期票据，只有当前表仍持有相同代号时才删除会话。旧票据或已删除会话的票据直接跳过，因此续期与ID重新使用都不会误删新状态。

虚拟时刻要求非递减，TTL和代号使用精确加法检测溢出。长期大量续期会积累旧票据，算法正确不意味着内存自动有界，生产需压缩或换成可更新索引堆。

为什么这样写是对的current始终保存每个会话最新代号和到期时间；堆可能包含旧票据，但只有与current代号一致的到期票据才有删除权限。

时间 touch为O(log H)，批量过期O(p log H)额外空间 O(H+S)

H为堆内票据数，S为当前会话数，p为本次弹出的到期票据数，包括过期旧票据；不能只按S估计堆空间。

保存为 Main.java，运行 javac --release 17 -encoding UTF-8 Main.java，再运行 java Main。程序包含固定输入自测，断言失败时会抛出错误。

展开收起代码 · Main.java · 完整可运行程序Java · 34 行

长行可在代码区域内左右滚动，按 Tab 可把焦点移入代码区。

Main.java · 完整可运行程序 · Java
import java.util.*;
public class Main {
    record Ticket(String id,long expiry,long generation){}
    static class Sessions {
        long generation=0,last=0;Map<String,Ticket> current=new HashMap<>();
        PriorityQueue<Ticket> heap=new PriorityQueue<>(Comparator.comparingLong(Ticket::expiry).thenComparing(Ticket::id).thenComparingLong(Ticket::generation));
        void time(long now){if(now<last)throw new IllegalArgumentException("time reversed");last=now;}
        void touch(String id,long now,long ttl){
            if(id==null||id.isBlank()||ttl<=0)throw new IllegalArgumentException("input");time(now);
            Ticket t=new Ticket(id,Math.addExact(now,ttl),Math.incrementExact(generation));generation=t.generation();
            current.put(id,t);heap.offer(t); // 新代号替换当前状态，旧堆项暂时保留。
        }
        List<String> expire(long now){
            time(now);List<String> out=new ArrayList<>();
            while(!heap.isEmpty()&&heap.peek().expiry()<=now){
                Ticket t=heap.poll();Ticket live=current.get(t.id());
                if(live!=null&&live.generation()==t.generation()){
                    current.remove(t.id());out.add(t.id()); // 只有当前代号有权过期该会话。
                }
            }
            return out; // 旧票据被跳过，不会误删续期状态。
        }
    }
    static void eq(Object e,Object a){if(!e.equals(a))throw new AssertionError(a);}
    public static void main(String[] args){
        Sessions s=new Sessions();s.touch("A",0,5);s.touch("A",4,5);
        eq(List.of(),s.expire(5));eq(List.of("A"),s.expire(9));
        eq(List.of(),s.expire(9));
        s.touch("A",9,1);eq(List.of("A"),s.expire(10));
        Sessions t=new Sessions();t.touch("B",0,1);t.touch("A",0,1);eq(List.of("A","B"),t.expire(1));
        try{t.touch("X",2,0);throw new AssertionError();}catch(IllegalArgumentException expected){}
        System.out.println("PASS 6 cases");
    }
}

这些特殊情况也要试一试

  • 续期后旧票据仍在堆中，但无权删除新状态。
  • 相同ID重新使用也分配新代号。
  • 大量续期导致旧票据累积，空间不是只按活跃会话数计算。
进阶选读 · 后续再读：多节点会话与持久到期

场景多个工作进程共同处理会话，重启后仍需恢复到期计划。

做法持久保存会话版本与到期时间，用条件更新或租约明确所有权；过期处理核对版本，并定期清理无效票据。

复杂度数据库索引范围扫描与批量条件更新成本依数据量和实现，内存O(log H)结论不能直接套用到分布式系统。

好处与代价内存堆延迟低但不耐重启，持久调度更可恢复却增加一致性与清理成本；会话ID仍不能替代认证。

05项目里怎么用

传输实现要测试初始化前调用、版本不匹配、未知请求ID、日志污染和半条消息。HTTP响应可能采用不同允许形式，应根据协商与响应媒体类型处理；不要把老传输示例的路径或行为直接复制到新协议版本。

断线恢复先盘点未决调用。只读查询可以按明确策略重试，写操作则需要稳定业务幂等键或查询外部状态。重新初始化恢复的是协议交互能力，并不会回滚旧动作，也不会自动补齐已经丢失的业务结果。

应用会话过期应与用户体验和资源限制一致，说明过期后需要重建哪些状态。认证过期、MCP会话失效和本地空闲清理是不同事件，错误码与恢复入口应区分，避免用户反复重新登录却无法修复协议状态问题。

容易踩的坑

  • 连接建立就跳过initialize和能力协商。
  • stdio标准输出混入调试日志。
  • 把会话ID当作认证凭证的替代。
  • 断线后认定工具未执行，盲目重发写操作。

几种做法，怎么选

表格有四列，窄屏可左右滑动查看代价和适用条件。

方案优势代价与限制适用条件
stdio本地进程部署链路短，适合本机能力需严格隔离日志与进程权限本地Host集成
Streamable HTTP适合远程服务与标准网络设施增加认证、会话和断线处理远程MCP能力
代号惰性过期续期简单，不必立即删堆项旧票据可能积累有清理政策的本地调度

06检验是否读懂了

先自己想、自己写，再展开答案核对。场景题是假设的练习情境；遇到还没学过的内容，可以做完基础后再回来。

先用自己的话解释

01initialized与initialize有什么不同？

展开参考答案与推导

initialize是建立协商的请求，initialized是客户端通知已完成初始化阶段；二者消息语义与响应关系不同。

02TTL是MCP统一强制值吗？

展开参考答案与推导

不是，本题TTL是应用自己的空闲资源政策，协议会话与认证仍需按规范和服务实现处理。

03为什么到期票据还要核对代号？

展开参考答案与推导

会话可能已续期或同ID重新建立，旧票据只代表历史计划，不能删除新版本状态。

换个情况，还会处理吗

01本地工具偶尔JSON解析失败，先查什么？

展开参考答案与推导

检查stdio标准输出是否混入日志、消息是否完整，再看编码和协议格式；日志应使用独立通道。

02HTTP断线后工具结果没收到，能直接重试吗？

展开参考答案与推导

先判断动作类型与幂等支持，保留结果未知；写操作通过业务键查询或安全重放，不能仅凭断线推断未执行。

03续期后会话仍被删除，怎样定位？

展开参考答案与推导

检查定时票据是否携带版本或代号，删除时是否比对当前状态；只比较ID会误用旧定时任务。

写代码试一试

01过期边界包含等于吗？

输入 / 条件
到期时间5，expire(5)
输出 / 预期
会话过期

提示 本题定义expiry<=now。

展开参考答案与推导

边界规则必须固定，测试等于时刻能发现小于号误用；真实产品可有不同政策但要一致。

02为何空间可能比会话数大？

输入 / 条件
一个会话续期一万次
输出 / 预期
堆可能一万张票据

提示 惰性删除保留历史项。

展开参考答案与推导

current只有一条，heap仍存旧票据直到弹出；需要定期重建堆或可更新索引结构控制增长。

03虚拟时钟测试有何价值？

输入 / 条件
touch在4，expire在5和9
输出 / 预期
可重复验证续期

提示 不依赖真实sleep。

展开参考答案与推导

显式时间让交错精确可控，测试快速稳定；真实时间源与调度误差应在集成层另测。

读完之后，独立完成

课后作业：自己做一遍

本篇共 10 道作业，先完成 8 道基础与综合任务，再按前置知识挑战进阶题。其中包含 1 道思维拓展，试着换个条件，看看原来的办法是否还管用。不附参考答案。

这次练什么

能根据脱敏消息将启动、协议版本、传输损坏和工具依赖超时定位到不同层。

本篇重点加练

会话标识不代替身份认证，断线结果未知时需要独立核对执行证据。

  • 会话标识与认证分离
  • 断线后的结果未知

重点内容会多练几次。先说清楚怎么做，再试试空数据、出错或条件改变时会发生什么。

先自己做，卡住时记下问题，再回来查。问答题写清“为什么、什么时候适用”；动手题留下输入、输出和运行步骤，方便下次重做。

基础必做

  1. 作业 01原理问答

    写出客户端连接后的初始化消息草稿，标出版本、能力与双方身份各由什么信息决定，并说明失败时留下的诊断证据。

    提交内容
    一份独立书面回答或标注图，包含自造例子、概念边界及判断依据。
    怎样算完成
    • 逐项回应题目要求，区分事实、假设与个人判断。
    • 能用自己的例子解释适用条件，记录尚未弄懂的点。

    练到的知识点initialize 请求 · 版本与能力协商

  2. 作业 02代码推演

    给出请求、响应和通知各两个样本，推演initialized通知缺失、未知响应ID和重复通知的状态处理。

    提交内容
    手工推演记录，写明输入约定、中间状态、最终判断；可运行时附程序对照记录。
    怎样算完成
    • 推演包含中间过程，数据形状、单位、顺序或状态前后一致。
    • 主动检查至少一个边界或异常条件，能解释手算与运行差异。

    练到的知识点initialized 通知 · 请求和通知的区别

  3. 作业 03原理问答

    给一条重连记录分别列出会话连续性、身份有效性和动作结果的证据，说明哪类信息缺失时不能由另一类信息直接补推。

    提交内容
    概念或合同说明、关系图与自造案例，明确事实、假设和适用条件。
    怎样算完成
    • 关键概念有明确边界，能用案例检验声明。
    • 未获证据支持的假设单独标注。

    练到的知识点会话标识与认证分离 · 断线后的结果未知

综合应用

  1. 作业 04面试场景

    stdio服务器把调试日志写进消息通道，另一个HTTP连接收到分段SSE。分别制定复现步骤和边界解析检查，避免混用传输假设。

    提交内容
    场景分析与决策记录，包含信息缺口、约束、备选方案和验证计划。
    怎样算完成
    • 方案回应给定约束，列出至少一种替代方案及代价。
    • 每项关键结论说明所需证据，不能核实的部分明确标注。

    练到的知识点stdio 消息与日志通道 · Streamable HTTP 与 SSE

  2. 作业 05编程实践

    实现假会话客户端，模拟会话ID变化、认证失效和调用发出后断线；记录恢复时哪些结果已知、哪些仍未知以及如何核对。

    提交内容
    可复现的最小程序或实验材料、自写测试、环境说明与运行记录；题目允许纸面实验时提交完整案例表。
    怎样算完成
    • 提交物按说明可以重现；测试覆盖正常、边界与失败场景。
    • 运行证据与断言能核验声明的行为，注明模拟与真实执行范围。

    练到的知识点会话标识与认证分离 · 断线后的结果未知

  3. 作业 06排错实验

    记录一次失败初始化的完整脱敏消息序列，删去其中一个关键消息后重放，找出状态机首次拒绝或偏离协议的位置。

    提交内容
    最小故障输入、复现步骤、观测记录、定位依据及回归用例。
    怎样算完成
    • 其他人可按记录复现故障，并区分现象与已验证原因。
    • 定位过程有观测依据，回归用例可以再次暴露原问题。

    练到的知识点initialize 请求 · initialized 通知 · stdio 消息与日志通道

  4. 作业 07编程实践

    编写离线会话回放器，在同一会话ID下更换认证状态，在新会话ID下接收旧动作结果；记录身份、会话与动作三种关联的判定。

    提交内容
    可复现的小程序或题目允许的离线实验、自写测试、输入和运行记录。
    怎样算完成
    • 输入、环境和运行过程可重现，测试覆盖声明的重点条件。
    • 验证目标由合同确定，模拟结果不冒充真实服务证据。

    练到的知识点会话标识与认证分离 · 断线后的结果未知

  5. 作业 08排错实验

    代理层恢复连接后补发迟到响应，客户端同时开启新会话。设计能够暴露错配的请求标识与时间线，不接真实外部服务。

    提交内容
    最小故障序列、观测记录、原因核对与可再次触发原问题的测试。
    怎样算完成
    • 故障可以稳定重现，现象与已验证原因分开。
    • 观测记录足以判断声明的合同是否被违反。

    练到的知识点会话标识与认证分离 · 断线后的结果未知

进阶挑战 · 掌握前置后选做

  1. 作业 09设计评审

    在具备HTTP基础后设计传输迁移实验，比较连接生命周期、认证、取消和未知结果处理，不能只比较工具是否能返回文本。

    提交内容
    设计评审文档或对照实验报告，包含前置条件、方案取舍、验收证据与尚未验证的范围。
    怎样算完成
    • 比较使用一致条件与事先声明的标准，记录失败与未知结果。
    • 说明方案的适用前提、未覆盖风险及后续验证方法。

    练到的知识点版本与能力协商 · Streamable HTTP 与 SSE · 会话标识与认证分离

思维拓展

先写出你的猜想，再用例子或实验验证。答案可以不同，但要说清依据、适用情况，以及还有什么没弄懂。

  1. 作业 10思维拓展 · 反例构造

    审查“重新获得有效会话就可以安全重发断线前所有请求”。构造包含结果未知动作的反例，并说明核对需要哪些外部事实。

    提交内容
    具体反例、原主张的适用前提、复现或逻辑证明及结论边界。
    怎样算完成
    • 反例满足原主张所声称的前提，确实针对其结论。
    • 说明一个反例能推翻什么、不能进一步证明什么。

    练到的知识点会话标识与认证分离 · 断线后的结果未知

完成后，再检验一次

给每题标记“独立完成 / 查阅后完成 / 尚未完成”。查过资料或没做出的题，记下卡在哪里。隔一天换一组输入再试，能解释结果和出错原因，再把这个知识点标为掌握。

继续阅读

先看能帮你完成当前练习的部分。例子跑通后，再读更深入的解释。

打开资料库，找下一份学习材料 ↗