liulilittle-CSDN博客

原创论共识：分布式

摘要：共识在分布式系统中的核心功能是确保异步网络下节点对唯一值的不可逆决策，而非简单的意见统一。其本质是通过多数派机制终止冲突的正反馈循环，但无法解决实时性、信息完整性和因果性问题。共识存在固有的延迟、可用性和认知代价，受限于物理定律而非协议设计。实践中应避免滥用共识，优先通过单写入者架构、CRDT或信息流约束等方法减少多写入冲突，仅在关键决策点（如金融交易、元数据管理）使用共识。架构师的核心职责是判断何时真正需要共识，而非纠结协议细节，因为不必要的共识会带来性能与复杂度代价而缺乏相应价值。共识是分布式系

2026-07-20 00:54:38 13

原创为什么不要用 @prevalentware/opencode-goal-plugin

这篇文章分析了@prevalentware/opencode-goal-plugin插件存在的问题及替代方案。主要观点如下：问题：该插件虽然提供了类似Claude Code的便捷目标管理功能，但会破坏OpenCode的缓存机制，导致缓存命中率降至0%，每次请求成本高达$0.05，是原生方式的4倍。原因：插件实现不当，包括强制重新注入完整会话上下文、动态更新目标状态信息、可能触发进程重启、与官方提示拆分机制不兼容等。解决方案：建议使用原生OpenCode功能替代，如opencode run -c循环、o

2026-07-19 13:52:10 53

原创 OpenCode 提示缓存优化：从 3% 到 97.6% 的修复路径

OpenCode 近期修复了提示缓存命中率低的问题，核心优化包括：将系统提示词拆分为稳定块和动态块，移除路径依赖，排序工具描述，并新增环境变量控制缓存行为。修复后，DeepSeek模型上的跨仓库缓存命中率从0%提升至97.6%，显著降低输入token成本。用户可通过设置OPENCODE_EXPERIMENTAL等环境变量启用优化，并利用OPENCODE_CACHE_AUDIT监控效果。该修复适用于支持自动前缀缓存的模型提供商，但项目级工具差异等场景仍需后续处理。

2026-07-19 13:44:02 182

原创 PROBE_RTT Per-Flow Jitter: Why the KCC Patch Uses ＞＞ 7

PROBE_RTT Per-Flow Jitter Analysis in BBR This paper analyzes KCC's patch that introduces per-flow jitter to BBR's PROBE_RTT phase, addressing the synchronization problem when multiple flows share a bottleneck. The key insights are: Original BBR causes syn

2026-07-19 00:36:00 112

原创 PROBE_RTT Per-Flow Jitter：为何 KCC 补丁用＞＞ 7

本文分析了BBR拥塞控制算法在多流场景下PROBE_RTT阶段同步的问题，以及KCC补丁采用右移7位（>>7）设计jitter机制的原因。关键点包括：问题背景：原版BBR所有流会同步进入PROBE_RTT，导致cwnd剧烈波动和队列暴涨。 KCC补丁方案：基于流哈希值生成0-2×min_rtt的时间抖动，右移7位控制幅度。设计约束：窗口保护要求SHIFT≥4 去同步效果取决于jitter最大值与200ms探针窗口的关系选择>>7的权衡：相比>>6，减少了50%的窗口侵蚀（4% vs 8%）在RT

2026-07-19 00:29:37 276

原创 in6_ntop:test_printf.c

该C程序实现了IPv6地址格式化输出和网络连接状态报表生成。核心功能包括： in6_ntop()函数将IPv6二进制地址转换为标准字符串格式（如压缩连续的0为"::"）程序首先生成全局网络统计信息头通过print_line()函数格式化输出多条连接记录，包含IPv4/IPv6的不同场景：常规IPv4连接压缩格式IPv6（2001:db8::1） IPv6环回地址（::1）全展开IPv6（ffff:ffff...）空闲IPv4连接每条记录包含RTT、延迟、抖动等21项网络指标，以对齐列表示。

2026-07-18 20:38:26 12

原创论无知：分布式

摘要本文深刻探讨了人类认知的根本局限，揭示了无知不仅是知识缺口，更是宇宙物理结构设定的认知边界。光速限制、量子不确定性等物理定律决定了信息传递必然存在延迟与干扰，使全知在物理上不可能。这种局限在分布式系统中表现为网络延迟不可消除、故障检测不确定、观测影响系统性能等工程难题。作者指出，真正的智慧不在于否认这些局限，而在于学会在边界内设计可靠系统——通过幂等设计、熔断机制等方法管理未知。文章进一步区分了个体无知、组织无知和系统性无知，指出复杂度带来的系统性无知最难消除。最终，作者将认知边界上升至哲学层面，认为

2026-07-18 17:32:09 406

原创论双机热备：分布式

本文揭示了双机热备方案在分布式系统中的根本矛盾：对等写入必然导致不可收敛的冲突传播，而强制收敛则需放弃对等性。作者通过分析主从模式、分片方案和异步复制的局限性，指出数据一致性与节点对等性不可兼得是分布式系统的物理约束所致。文章强调，真正的可靠性来自承认信息同步必然存在延迟，并通过方向约束、幂等设计和补偿事务等机制来管理故障切换的安全边界。这一分析对分布式系统设计具有重要指导意义。

2026-07-18 17:23:19 254

原创论分布式系统的半开闭问题

本文探讨了分布式系统中固有的"半开闭状态"问题。当一个节点发出请求后等待响应时，它无法确定接收方的实际状态——请求是否到达、是否处理、响应是否丢失。这种信息不对称不是异常，而是由光速限制导致的物理常态，存在于每个分布式交互中。文章区分了两种应对策略：通过强一致性消除不确定性（代价是性能）或接受不确定性并设计幂等/补偿机制（代价是复杂度）。正确理解半开闭问题的关键在于认识到分布式决策永远基于不完整信息，系统设计必须在不消除不确定性的前提下保证安全边界。这一认知差异导致了完全不同的架构选择，决定了系统在极端条件

2026-07-18 16:41:31 189

原创论分布式系统

摘要分布式系统的本质是正负反馈的动态博弈。系统通过正反馈（资源竞争、多路径多义性、滞后累积）实现效率与响应能力，而依靠负反馈（阈值逆转、比例抑制、方向约束等机制）维持稳定性。设计分布式系统的核心在于管理这种博弈关系：识别正反馈来源，匹配适当的负反馈机制，控制振荡幅度。这种统一的观察框架适用于从网络传输到事务处理等各层面，揭示了分布式系统在局部决策、全局耦合条件下的运行规律——不是消除振荡，而是将动态平衡控制在可接受范围内。

2026-07-18 16:36:25 637

原创 Synchronous Resonance Effects of High-Precision RTT Estimation in Multi-Flow Congestion Control: Fai

KCC is a family of congestion control algorithms based on a behavioral three-component RTT decomposition. The geodesic estimator of KCC 2.0 achieves unbiased, low-lag estimation of the propagation delay $T_{\text{prop}}$ through structured G1–G4 branches.

2026-07-18 16:00:55 176

原创高精度 RTT 估计在多流拥塞控制中的同步共振效应：KCC 闭环控制器的失效分析与相位解耦

本文分析了 KCC 2.0 闭环队列控制器在多流场景下的同步共振问题。研究发现，高精度 RTT 估计消除了传统算法中的隐式相位抖动，导致多流控制信号高度同步（相关系数 ρ≈0.9567），在观测滞后作用下形成往返正反馈的流间共振。KCC 2.0 定稿版采用开环控制解决了该问题，而 KCC 3.0 将其确立为理论研究课题，探索在不降低估计精度的前提下实现相位解耦的途径。文章详细介绍了测地线估计器的技术原理、闭环控制器的失效机制，并提出了若干解耦方向。作者强调，当前开环方案已满足工程需求，闭环研究仅面向理论完备

2026-07-18 15:52:27 722

原创麻将结算系统

麻将结算系统摘要本系统采用多服务器协同架构，通过线性流水线互斥机制确保结算的幂等性和一致性。核心特点：四通道并行结算：胡牌即时结算（AutoTakeOut）、终局主结算（EndGame）、增量补结算和异常保底结算，使用统一公式nSettleSeq + nRound竞争同一流水线位置三态处理机制：通过比较结算Key实现<SKIP/=执行/>重试三种处理逻辑，确保同一回合仅处理一次资金安全保障：入场时冻结资金，结算时通过状态守卫和写前日志机制防止重复操作异常恢复：利用Guardians系统实现冷路径重

2026-07-16 16:06:03 232

原创麻将系统架构

本文档详细阐述了某MMO项目中麻将子游戏系统的分布式架构设计。系统作为畅玩阁(SmallGame)的组成部分，采用五服务器角色（GameServer、PlayServer、GameCenter、MatchCenter、SceneServer）协同工作，实现跨服麻将玩法。架构通过模块化设计分离游戏逻辑与基础设施，客户端和服务端共享部分核心组件但运行不同脚本。文档特别分析了玩家切图导致的"半开闭状态"问题及系统应对策略，包括AI托管机制和状态同步方案。系统总代码量约38,000行（服务端23,500行+UI14

2026-07-16 16:03:46 458

原创 Exhaustive drift-fix simulation V2 -- KCC on shared-bottleneck wired path. Models G2_queue_cap, adap

Exhaustive drift-fix simulation V2 -- KCC on shared-bottleneck wired path.Models G2_queue_cap, adaptive BW, realistic queue, 12 candidate fixes, 4 scenarios.

2026-07-13 00:06:54 168

原创 addr2line 和 gdb 定位内核模块 Oops 源码行

本文介绍了3种通过内核模块崩溃日志中的符号地址定位源码行的方法：1）使用addr2line工具快速映射到源码行；2）通过gdb查看上下文代码；3）使用objdump进行源码级反汇编作为备用方案。文中详细说明了各方法的具体操作步骤，并特别强调了保留未strip的.ko文件的重要性，以及当只有绝对地址时的处理方法。这些技巧同样适用于分析vmlinux的内核崩溃问题。

2026-07-12 01:55:21 157

原创那条测地线

这篇文章以一个研究人员深夜审视网络拥塞控制算法的故事展开，通过对比传统CUSUM算法和作者自创的G2算法，探讨了理论最优与实践可行的深刻差异。作者发现，在现实网络这个"弯曲的观测空间"中，数学上最优的CUSUM算法会因排队延迟的非负性而误判，而看似简单的G2（核心仅两行代码）却能通过12%的固定增长率稳妥地适应网络不确定性。文章揭示了工程智慧的本质：不是追求理论完美，而是在复杂约束下找到唯一可行的平衡点，将误差引导至安全方向。这种对实践理性的思考，展现了理论与现实间的永恒张力。

2026-07-11 12:52:37 323

原创 G2 ＞ CUSUM：弯曲观测空间中的工程鲁棒解（网络）

摘要本文通过理论分析和实验验证，揭示了KCC v2.0的G2算法优于CUSUM序贯检验的根本原因。核心发现是：TCP/IP网络的RTT观测空间因排队延迟（T_queue≥0）而呈现单侧弯曲特性，破坏了CUSUM最优性的前提假设。G2的12%几何增长+10%检测阈值机制恰好适应这种弯曲空间特性，形成最短可行更新路径（网络测地线）。实验数据显示，G2在100-1,000,000µs全RTT范围内保持100%检测率且无BDP高估风险，而CUSUM在长RTT下出现大量漏检（20-80%），并在拥塞场景下将队列延迟

2026-07-11 02:05:53 362

原创 KCC CUSUM vs G2 COMPARISON / cusum_vs_g2.js

本文比较了G2估计器与CUSUM检测器的性能，主要针对网络路径RTT变化检测场景。关键改进包括：1) 在CUSUM中增加运行最小值更新机制(v≤0时x_est=min(x_est,z))；2) 路径变化时重置累积状态和检测标志。测试覆盖25μs-1s的RTT范围，使用20次随机种子和500步模拟，对比两种算法在不同增长幅度(5%-200%)下的表现。CUSUM采用5%T_prop的漂移敏感度和15%T_prop的阈值配置，G2保持12%几何增长特性。结果显示修复后的CUSUM在检测精度和稳定性方面有所提升。

2026-07-10 15:47:13 64

原创 KCC v2.0 测地线估计器：从弯曲观测空间到约束推导

KCC v2.0 测地线估计器：最小化拥塞控制的RTT估计误差本文提出了一种极简的测地线估计器（KCC v2.0），用于从受污染的RTT测量中准确推断网络物理传播延迟。该估计器基于三个物理公理：传播延迟恒定性、排队延迟非负性和噪声零均值性。通过分析观测空间的弯曲特性，作者揭示了传统对称更新方法的局限性，并提出了一种基于测地线原理的两分支解决方案：在RTT低于估计值时采用运行最小值更新（统计最优解），在高于估计值时采用12%固定增长率试探（上限压制）。检测机制包括10%检测阈值和3次累积确认，这些参数源自多

2026-07-10 12:17:06 142

原创 KCC v2.0 GEODESIC ESTIMATOR – ULTIMATE CORRECT IMPLEMENTATION

摘要：该代码实现了一个测地线估计器（GeodesicEstimator），用于动态网络路径的传播延迟估计。核心特性包括：1) 采用定点数运算提升精度；2) 通过12%几何增长策略和物理约束参数实现稳定探测；3) 包含路径增长检测机制（1.1倍阈值+3次确认）；4) 提供全频谱测试套件验证25μs-1s范围的RTT检测能力。测试模块量化评估不同增幅下的检测成功率、响应时间分布等指标，通过高斯噪声模拟真实网络环境。算法在保持minRTT物理底线的同时，能有效跟踪路径变化。

2026-07-10 11:23:13 176

原创 KCC v2.0 测地线估计器-SIM 2（geodesic_sim.js: 500 step drain）

本文介绍了一个测地线估计器（GeodesicEstimator）的JavaScript实现，用于网络路径延迟的动态估计。该算法通过定点数运算、高斯噪声模拟和主动探测机制，实现了对网络传播延迟的准确跟踪。核心功能包括：采用12%几何增长策略和1.1倍min_rtt阈值检测路径增长每2000步执行一次主动探测（仅在队列空闲时）提供三种测试模式：全频谱路径增长检测（验证不同RTT范围和增幅的检测能力）动态队列拥塞安全测试死锁恢复验证算法通过min_rtt基准和确认计数器实现稳健的路径变化检测，输出值

2026-07-10 10:59:34 171

原创 markdown 公式到文本公式（替换小脚本）

这篇文章摘要描述了两个Python脚本(convert_math.py和convert_math2.py)，用于将Markdown文件中的LaTeX数学公式转换为纯文本格式。主要处理步骤包括：移除公式分隔符($$和$)，转换LaTeX命令(如\frac为a/b)，替换希腊字母和数学符号为文本表示，处理上下标、分数、特殊环境等。第二个脚本补充了一些特定的替换规则。最终输出转换后的内容并显示字符数变化。这些脚本主要用于将LaTeX数学表达式转换为更简单的文本表示形式。

2026-07-10 01:25:44 18

原创 Exhaustive drift-fix simulation V2 — KCC on shared-bottleneck wired path.

文章摘要该代码实现了一个KCC拥塞控制的详尽仿真系统，模拟了在共享瓶颈有线路径上的12种不同修复方案（如Q-boost、自适应带宽等）。系统配置包括1Gbps链路容量、11个数据流、5秒仿真时长等参数。定义了多种修复策略函数，如基于队列延迟、抖动、ECN标记等条件的组合判断。通过Flow类跟踪每个流的状态，主循环模拟数据包发送、队列管理和带宽估计过程。该仿真可用于评估不同拥塞控制算法在应对网络动态变化时的性能表现，特别关注了基础时延突变场景下的适应性。

2026-07-10 00:07:42 239

原创 KCC Wired Fiber Optical Exhaustive Parameter Brute-Force Analysis

本文摘要： KCC Wired Fiber Optical参数分析报告针对六种光纤网络场景（包括数据中心内部、跨机架、城域/区域/长距光纤及跨洋链路）进行了卡尔曼滤波参数优化研究。报告详细展示了不同Q(过程噪声)、R(观测噪声)和P0(初始协方差)组合下的稳态卡尔曼增益(K_ss)、自适应参数和跟踪带宽(TrkBW)等关键指标。特别针对0.1ms RTT的数据中心内部链路，研究发现低Q(50)和低R(100)配置可实现0.8541的K_ss和0.1359的TrkBW，适合低抖动环境。所有场景均保持10%的抖

2026-07-10 00:03:58 192

原创 KCC 测地线估计器：弯曲观测空间中的最小路径追踪

摘要 KCC v2.0 提出了一种创新的测地线估计器，通过几何方法精确追踪网络传播延迟。该估计器摒弃传统卡尔曼滤波器的复杂结构，采用基于观测空间几何特性的极简设计：当RTT观测低于当前估计时直接取最小值；当观测较高时以12%固定速率几何增长试探。所有参数（12%增长率、10%检测阈值、3次确认计数）均由物理约束严格推导得出，无需人工调优。通过3900条测试路径和50万噪声样本的验证，证明该方法在路径检测准确率（99.9%）、抗噪声性能、BDP安全性等方面均优于旧版，同时代码量减少320行。测地线估计器成功解

2026-07-09 18:54:12 1029

Intel Smart Sound Technology (ISST) Driver

serverspeeder2 锐速（TCP/IP单边加速）

sscli20.zip

serverspeeder 锐速

空空如也