Lab 1 Writeup

My name: Catfood

My SUNet ID: 998244353

I collaborated with: An orange cat

This lab took me about 3 hours to do.

Program Structure and Design of the StreamReassembler:

首先写几个 dis-ambiguity

capacity限制：容量限制指的是bytestream.size + aux_storage.size。比较具有迷惑性的是auxiliary storage的容量，这里需要把中间空的字节也算进去，因此就可以简单地计算为first_unacceptable = first_unread + capacity = first_unassembled + aux_buffer.size()。形象地理解为类似于一个大的空白数组，往里面填东西，填满了开头的连续部分就push到bytestream里面。
关于丢弃：这里是以字节为单位的丢弃，而不是以packet为单位，也就是一个string进来，有一部分超出了容量限制，这时候不能直接返回不写入，而是要把不超出限制的部分写进入，剩下的丢掉。
unassembed_bytes的计算：这个统计的就是实际收到的但是还没push到字节流的字节，不包括空白。因此需要在接受的时候动态统计。
EOF处理：因为可能带EOF的packet先到达，前面还有没收到的部分，因此需要单独记住EOF对应的Index，等push到这个Index的时候，再去调用字节流的end_input()。

然后简单说一下实现：

数据结构是两个deque，一个用来当缓冲区，另一个用来标志是否是收到的字节（这样就不用实现复杂的区间合并了，虽然需要消耗双倍内存）。开头的时候需要重新调整大小，因为可能被read过了。
过程中需要注意各种状态的取值，不要超过容量，也不要出现非法操作（比如取空队列的front，这个好像是个UB）
每次收到数据之后，都处理一下是否能够推进字节流，说明上是这么要求的（“尽快”）

最后简单记一下STL中deque的一些用法：

初始化：可以用(size, data)这样的方式一次性指定初始容量
入队出队：这个容器可以push/pop_front/back
调整大小：resize(newsize, data)，这个调用的行为符合直觉，data是用来填充的（如果增加了大小）；如果减小了大小，那么尾部数据会被扔掉 === Implementation Challenges: [主要时间都浪费在了调试各种corner case上面了，感觉要是自己测试根本测不出来，感谢写测试的staff，太强啦]

Remaining Bugs: 无