架构

SharpLsp 基于三层架构构建，将快速语法操作与丰富语义分析的关注点分离。

graph LR
    Editor([Editor / IDE])

    subgraph T1[Tier 1 — Rust LSP Host]
        direction TB
        LSP[LSP Server\nJSON-RPC over stdio]
        Router[Request Router]
        VFS[Virtual File System]
        TS[tree-sitter\nC# and F# grammars]
        Salsa[salsa cache]
        LSP --> Router
        LSP --> VFS
        VFS --> TS
        TS --> Salsa
    end

    IPC[[IPC\nMessagePack\nnamed pipes / Unix sockets]]

    subgraph T2[Tier 2 — C# Sidecar]
        direction TB
        Roslyn[Roslyn\nMSBuildWorkspace]
        Decompiler[ICSharpCode.Decompiler]
        CSharpFeatures[completions\ndiagnostics\nrefactoring]
        Roslyn --> Decompiler
        Roslyn --> CSharpFeatures
    end

    subgraph T3[Tier 3 — F# Sidecar]
        direction TB
        FCS[FSharpChecker]
        ProjInfo[Ionide.ProjInfo]
        Fantomas[Fantomas]
        FSharpLint[FSharpLint]
        FCS --> ProjInfo
        FCS --> Fantomas
        FCS --> FSharpLint
    end

    Editor -- LSP 3.17 --> LSP
    Router -- syntax under 5ms --> Salsa
    Router -- semantic under 200ms --> IPC
    IPC <--> Roslyn
    IPC <--> FCS

第一层 — Rust LSP 宿主

宿主进程负责处理：

• LSP 协议：基于 stdio 的 JSON-RPC，目标是符合 LSP 3.17 行为
• 虚拟文件系统（VFS）：带变更跟踪的内存文件状态
• tree-sitter 解析：亚毫秒级的增量 C# 解析；F# 语法集成仍在推进，F# 语法功能会路由到 sidecar
• salsa 缓存：增量计算 — 仅重新处理变更的内容
• 请求路由：快速语法请求留在 Rust 中，语义请求发送到 sidecar

第二层 — C# Sidecar（Roslyn）

提供以下功能的长运行 .NET 进程：

• 用于解决方案/项目加载的 MSBuildWorkspace
• Roslyn 支撑的 C# 功能：代码补全、诊断、代码操作、重构
• 用于跳转到反编译源码的 ICSharpCode.Decompiler
• 通过命名管道/Unix 域套接字的 MessagePack 序列化

第三层 — F# Sidecar（FCS）

用于 F# 支持的独立 .NET 进程：

• 用于类型检查和分析的 FSharpChecker
• 用于项目系统集成的 Ionide.ProjInfo
• 用于额外诊断的 FSharpLint

IPC 协议

Rust 宿主与 .NET sidecar 之间的通信使用：

• MessagePack 二进制序列化（紧凑、快速）
• 命名管道（Windows）或 Unix 域套接字（Linux、macOS）
• 4 字节小端序长度前缀帧
• 目标：<500µs 往返开销

请求路由