这里可能没有你想看的...
【数据删除】
12
17
CMU15445 Project#1 Buffer Pool CMU15445 Project#1 Buffer Pool
从这个 lab 起,就正式开始构建本课程 bustub DBMS 数据库系统了。 >>> LAB 主页传送门 <<< 本项目要求我们实现存储管理器的 Buffer Pool 部分,即完善对物理页面进行调
2022-12-17
06
CMU15445 Project#0 C++ Primer CMU15445 Project#0 C++ Primer
本项目与课程教学内容无关,仅作 C++ 水平检验用,但我在 code 过程中发现还是涉及到部分比较重要的知识点,故作记录。 >>> LAB 主页传送门 <<< 此项目要求我们实现一个基于并发 Trie
2022-12-06
01
11
28
MIT6.824 学习总结 MIT6.824 学习总结
磨蹭 3 个月,神课分布式系统 MIT 6.824 终于完结了。学习这门课的起因是被同年 6 月份 pingCAP 训练营橄榄了,虽然同为 raft 算法,但工业级的实现显然要比教学级难更多。我对分布式的理解还是太浅,于是决心从基础打起,好
2022-11-28
22
6.824 Lab4 Sharded Key/Value Service 6.824 Lab4 Sharded Key/Value Service
对于单个副本组而言,所有机器存储共享同一存储空间,机器数量的增加并不会扩大存储能力。而当 kv 对数量不断增长时,副本组的存储能力成为瓶颈。 参考 Aurora 的做法,不妨将数据划分为多个片段,每个副本组负责分片(Shard)的一个子集。
2022-11-22
10
08
6.824 Lab3 FTkvserver 6.824 Lab3 FTkvserver
本实验要求在每一个 Raft 节点上实现一个 K/V 服务器(server),向上接受客户端(client)的请求并返回请求结果,向下生成日志应用到 Raft 节点中。 整个模式大概长这样。 主要流程是这样的: client 寻找对应
2022-10-08
06
6.824 Lab2 RAFT 6.824 Lab2 RAFT
本实验要求我们实现 Raft 算法,包括其领导人选举、日志复制、快照等关键要素。 #参考资料 有一个非常通俗易懂的Raft 可视化网站; 描述 Raft 算法的论文; 我的另一篇文章是对该论文的解读; 当然,这门课的 TA
2022-10-06
09
29
Linear Algebra 2 Linear Algebra 2
书接上回。 #如何求解无解方程组? 在这个问题之前,我先做点铺垫。 #正交向量 若两向量 a,b\mathbf{a}, \mathbf{b}a,b 正交,则必然有 aTb=bTa=0\mathbf{a}^T\mathbf{b} = \ma
2022-09-29
29
Linear Algebra 1 Linear Algebra 1
如果本科线代能有这样的教育方式和路线,我何苦现在还要来听这门公开课( 记录一下听的过程中觉得有用的信息好了。 #从线性方程组开始 教授(下简称 GS)认为线性代数的基本用途是解线性方程组,比如有这样一个方程组: {2x−y=0−x+2y=
2022-09-29
22
6.824 Lab1 MapReduce 6.824 Lab1 MapReduce
本实验要求我们构建一个分布式的 MapReduce 系统,并实现 paper 中提到的文章字数统计算法。 #参考资料 描述该系统模型的论文; 我的另一篇文章是对该论文的解读; #实现 由于 paper 中已经给了算法流程图,只
2022-09-22