ThinkLab

Next Door 0.5x Engineer

编译器相关x86指令

发布于

数据移动:mov mov dest, src 作用:把 的值复制到 。 常见形式: `asm mov rax, rdi ; 寄存器 -> 寄存器 mov rax, [rdi] ; 内...

继续阅读 →

编译器主要topic(上半部分)

发布于

编译器课程里最容易“碎片化”的内容,往往不是某一条规则本身,而是这些规则之间的因果关系:为什么前端要做名字解析,为什么中间表示偏爱 SSA,为什么 tail call 和 non-tail call ...

继续阅读 →

BusTub MVCC

发布于

BusTub 中 MVCC 工作原理 CMU 的教学数据库系统 (BusTub),实现了典型的 多版本并发控制 (MVCC) 机制。 核心数据结构 1.1 UndoLink(版本链指针) `cpp ...

继续阅读 →

Raft正确性证明以及流程说明

发布于

正确性证明 Raft 算法正确性的核心在于证明 状态机安全性 (State Machine Safety):如果一个节点已经将给定索引位置的日志条目应用到了其状态机中,则其他任何节点都不会在该索引位置...

继续阅读 →

编译器构造(上半部分)

发布于

编译器构造:具体语法、抽象语法、解释器与 x86 基础 1 学习目标 本课程设定的核心学习目标包括以下五个主要方面: 理解具体语法(Concrete Syntax)与抽象语法(Abstract Syn...

继续阅读 →

HNSW算法笔记

发布于

介绍 Hierarchical Navigable Small World(HNSW)算法过程笔记。 hnsw-1 hnsw-2 hnsw-3 hnsw-4 hnsw-5 hnsw-6...

继续阅读 →

构建 Claude 技能的完整指南(译文)

发布于

目录 引言 基础 规划与设计 测试与迭代 分发与共享 模式与故障排除 资源与参考 引言 技能(Skill) 是一组指令——以一个简单的文件夹形式打包——用于教会 Claude 如何处理特定任务或工作流...

继续阅读 →

探索主题