btvector
这是一个基于BusTub实现向量拓展的教程，支持向量数据类型以及相关的优化。根据这篇博客实现，具体流程如下：
CS144 Lab4 The Summit (TCP in full)
Lab 0 实现了flow-control ByteStream；Lab1、2 实现了TCPReceiver； Lab3实现了TCPSender。
Lab4则是要将这几个模块整合起来，完成TCP。前几个lab过于简单，而Lab4才开始上强度了。如果你之前的实现有没被测试cover的bug，那这里也会揭露出来。
CS144 Lab3 The TCP Sender
Lab2、3完成了TCP Receiver，接收不可靠TCPSegment，并将其重组为可靠的bytes stream。而Lab3则开始实现TCP Sender（即下图黄色部分），将一串bytes stream拆分成一个个TCP segment，交给IP层发送出去，同时还要追踪接受者接受情况，利用重传保证可靠性。
Lab4则会完成最后的TCPConnection部分。
CS144 Lab2 The TCP Receiver
Lab 1 所做的都是些数据结构的东西，不涉及网络，而Lab 2会真正开始触及网络的内容。
Lab 2 会完成 TCPReceiver，从Internet接收一个TCP segment，解析其内容并交给Lab1做的StreamReassembler处理，然后应用层从StreamReassembler读取排列好的数据。
CS144 Lab1 Stitching substrings into a byte stream
Lab0 体验了操作系统自带的socket的使用。接下来 Lab1 ～ Lab4 会逐步实现上图这样的一个CS144TCPSockert (socket不一定是基于TCP，也可以是UDP，所以这个叫TCPSocket)，利用不可靠的Network层实现一个可靠的传输流。
Lab1实现的是StreamReassembler。如图，StreamReassembler是位于TCP接收端。从Network层接收过来的包非常杂乱，可能丢失、颠倒、重复、错误，而StreamReassembler的作用就是把这些乱七八糟的包重组成原本的模样。就像给一副混乱的扑克牌，让它给你重组成出厂的顺序。
CS144 Lab0 Networking Warmup
Lab0 如其名，warmup，就利用工具实际感受了一下 Bi-directional reliable byte stream。除了发送e-mail那个部分需要Stanford账号，其他的跟着步骤做就行。
Project 4 Concurrency Control
本文是接着这位博主的文章丯是幡动，他写了 lab0 ~ lab3 的详细攻略，可惜断更了。为了致敬先人，我文章标题都是和他同一个格式的。🤣
这个lab主要是实现一个Multi Verson Concurrecy Control，一般来说会用一个table专门保存历史值，但为了简化，Bustub把历史值保存在transaction里。
Isolation level 在基础task要求达到SNAPSHOT ISOLATION， 而在bonus task部分提升到 SERIALIZABLE。
Project 3 leaderboard 优化
这是一个关于我自己的cmu15-445 project 3 leaderboard部分的攻略，不会涉及其前面基础实现部分。最终效果三个部分平均用时2000以内，进了排行榜前十。
