总结 flex 中，默认使用行排布 flex-grow 控制单元大小 清除计时器需要给 setInterval一个名字（let sth = setInterval(func,time)） 10.10 扩展不定数量多个元素时，可以使用 map() 进行。 Parentheses (): Used for arrow functions. Implicit return stat

Tokio 异步状态机跟踪要点 完整动态跟踪记录见 track.log，可复现实验脚本包括： gdb_track_v1_single.gdb：单并发，跟踪主要 await 的 poll / resume 流程。 gdb_track_v2_multi4.gdb：并发 4，观察多个子 future 状态机的存储和轮换。 gdb_track.gdb：当前默认脚本，内容对应并发 4 版本。 调用链

功能实现阶段 最早期的 IPC 更多是为了解决功能问题，也就是让不同进程之间可以交换数据或信号。 经典结构包括： Pipe Signal Message Queue Shared Memory 这些模型现在依然被使用，只是不同模型适合不同场景。 最基础的通信路径可以抽象成： 12345Process A↓Kernel IPC Mechanism↓Process B 这一阶段的重点还不是极致性

Channel 这里采用了 RawMutex 作为锁，更加底层。

本来感觉没啥难的，半路杀出一个和 Prog1 一样恶心的语法，记录一下。 Formal Semantics 这里依然是取一个子集, 我们叫它 C0. Tokens 123456789101112131415161718Prog p ::= Seq(s,p) | Term | CrashStmt s ::= Assign[l,e] | Block[p]

各阶段任务仓库 阶段一：爬虫 （已完成爬虫下载部分的初步实现，还需要补充性能分析） Week1 这周的的会议主要交流了一下个人参加此次项目阶段的主要目的和想法。 由于时差，本人未能及时参会，故在此记录一下参加训练营的想法。 我是萨尔大学的本科大一学生，国内高考上了北京邮电大学的海南分校，对操作系统以及底层硬件相关很感兴趣，故报名参加此次训练营活动。现在主要还是在一个兴趣探索的阶段。这次在三

布尔代数 各种 Normal Form 分为 CNF，DNF，CCNF，CDNF。 CNF 和 CCNF 选的是 truth table 为 0 的行。全 OR 了再 AND. DNF 和 CDNF 选的是 truth table 为 1 的行，全 AND 了再 OR. 电路和 Inductive Proof 电路 Cost：基本门的数量：这门课上是 {XOR,AND,OR,NOT} 一类

好蠢，Summary写到正面了，晕晕。抓紧时间还没忘掉总结一下。 Week1 这门课一开始的理念就把 Concurrent 和系统间通信连到了一起，并提出了 External 和 Internal 的概念，并认为内部状态外部不可见，以 τ\tauτ 来表示，其他的就是正常 Transition。 主要就是把模型以 FSM 的形式表示出来。比较重要的感觉有一下几点 FSM 相关 这一块主要还是定

Week1 这个主要就是 ER Model 矩形代表一个类 棱形代表“操作” 椭圆代表“key”，带下划线的是 unique 的 key。 六边形里面一个“are”， 代表继承关系。 1:N N:M 关系 记录一道类型题： 这个题的关键是 “Functional Determined”. 例如这道题的 1，2 小问，问题只包含了三个实体中的两个，而这样就不能 “Functional De

新学期第一堂 lecture，得计点笔记，防止发生 4.0 惨案。 5.26 更新：太不当回事了，重新总结，期中能考出 2.3 这种分啊。 Algebraic structure 关于 set 的图像有一个问题： 对于虚线表示的舍去边界的图，注意在线段拐点画空心圆。 Field Theory 等价关系 需要证： Reflexive Symmetric Transitive Group