2026.03.22-工作周记

[Irissssaa]

工作内容

任务清单：

1. 异步调试文档；

2. 将物理调用栈和逻辑调用栈拆开展示；

3. 白名单功能优化；

这周主要是在做白名单的优化还有优化后调试器一些其他功能的调整：

1. 把白名单功能合并到 webview 中，做出来效果如下：

• 是按照crate分类的，为后续调试操作系统做准备；
• 选好要跟踪的crate后，点击 apply whitelist 就会将选中的函数保存到 poll_functions.txt中，在有异步跟踪的需求下，通过 点击 trace 按钮，可以设置入口断点（特殊断点，不会使程序暂停，而是为了减小调试开销，只关注从此函数开始的异步程序逻辑调用关系）；
• **问题：**目前如果把trace的入口断点设为同步函数，获得的 CID、poll次数、addr内容会有问题，当前还在修复，主要原因是：
  1. 因为我们之前只考虑异步函数的跟踪，逻辑调用栈的构建直接通过影子栈和物理栈就能很好的构建成功，影子栈设计的初衷是追踪由 poll() 驱动的异步任务，其条目在 PollEntryBP（异步函数入口）处创建。同步函数不具备 poll 逻辑，无法在影子栈中正确初始化“协程上下文”，导致逻辑堆栈的根节点识别混乱，进而引发 CID 的错误分配或冗余；
  2. 异步调试依赖稳定的环境指针（this_ptr）。在同步到异步的过渡阶段，代码频繁涉及 Pin<&mut Self> 等复杂包装。目前的 frame.read_var() 逻辑无法正确解引用这些 Rust 特有的包装类型，读到了无效的地址值（如 0x1、0x4），导致 Addr 内容不可靠和Poll 计数因实例身份识别失败而清零。

2. 因为现在的tree还包括了同步函数，用之前的 Async Tree面板名称不合适，改成了“Logical Call Tree”；
3. 现在的 异步函数 当被多次poll时不会在树中产生新节点，而是直接增加 poll 值；

额外的思考：

关于vscode 的逻辑调用栈面板和物理调用栈分开这个点：

1. 对于现在的这个插件，调用堆栈面板他是局部的逻辑堆栈，树是全局的逻辑调用关系

2. 这个堆栈展示的栈相比于原来的物理栈，只是多了协程的标识，来识别局部的协程逻辑关系

3. 当将 code-debug的功能加进来后，对于用户来说，只要不加 trace 函数，就不会产生逻辑调用栈和树，这样就没必要再多增加一个物理调用栈面板了

会议内容

1. 先把功能全部加进来（code-debug），再去抠细节；
2. 物理调用栈和逻辑调用栈不确定是否一样，需要做实验验证；
3. trace键的功能不直观；