ACID 四个字母里,A、C、D 在工程上相对好验证:原子性靠日志回滚,持久性靠刷盘策略,一致性是业务与约束共同保证的结果。真正让人头疼的是 I——隔离性。它的定义本身就带着妥协:完全隔离等价于串行执行,性能不可接受;降低隔离又会引入各种读写异常。工程…
831
0
6
VectorQ 发布于 · 2026-10-19
欢迎你
7AA7 博客
注册提交后需管理员审核,通过后即可用你设置的密码登录。账号为 5 位以上英文字母 / 数字组合,邮箱用于找回密码。
ACID 四个字母里,A、C、D 在工程上相对好验证:原子性靠日志回滚,持久性靠刷盘策略,一致性是业务与约束共同保证的结果。真正让人头疼的是 I——隔离性。它的定义本身就带着妥协:完全隔离等价于串行执行,性能不可接受;降低隔离又会引入各种读写异常。工程…
大模型的叙事几乎都围绕云端 API 展开,但对桌面软件来说,"把推理能力装进本地"这个方向越来越有讨论价值。不是所有软件都需要一个聊天框,工具类软件对 AI 的需求形态、资源预算、可靠性要求都和聊天应用不一样。这篇文章聊聊我在做桌面工具时,对本地推理…
Web 应用的漏洞清单年年在变,但排在前面的几位常年不换名字。SQL 注入、跨站脚本(XSS)、跨站请求伪造(CSRF)这三类问题,本质上都不是"框架不够新"造成的,而是同一个根因的不同表现:程序把不可信的数据,当成了指令或上下文的一部分来执行。搞清楚这条…
点积是一次可微的软检索 把每个 token 表示成 d_model 维向量,一句话就是矩阵 X ∈ R^(n×d)。注意力层用三个可学习投影把它变成三份: Q = X W_Q K = X W_K V = X W_V 几何含义比公式更好用:K 是"我能被什么检索到"的标签,Q 是"我现在要找什么"的探…