今天课程设计最终报告会从早九点到晚六点四十, 持续九小时四十五分钟, 刨除午休两 …
继续阅读 »
今天与峰峰撰写了操作系统课程设计的最终文档, 以及制作了明日要汇报的幻灯片。
今天写UDP socket的spec, 对UDP socket进行简单建模。
commuter的设计实现已经大致、全部搞清楚了。 现在开始写socket的sp …
testgen之前不懂的地方大致搞懂了, 现在正在确认。
今天与峰峰详细分析mtrace。 我被峰峰嘲讽。
由于testgen看不懂, 操作系统课程设计进度停滞。今天, 我暂时跳过test …
testgen仍然看不懂, 今天主要工作是睡觉。
今天和峰峰继续看了testgen, 大概搞清楚了调用关系, 但是核心代码的思路还 …
今天继续研究了commuter, testgen看不懂。
今天继续学习commuter, 大致精通了符号化执行引擎以及analyzer部分 …
由于sv6已经大致完成, 今天主要开始学习commuter的设计与实现。
今天又修了若干bug, 基本完成了sv6的移植和真板子上的测试。 现在sv6内置 …
今天是母亲节, 祝大家节日快乐。
我们的课程设计进度为：可以在RV开发板上大致运行sv6移植了。主要修改了如下几个 …
今天拿到了辉总借的RISC-V 4核的开发板(https://www.sifiv …
今天学习和复习《数值分析》。
由于报道出现偏差，我突然被一定数量的同学误认为是很厉害的人。 特此严正声明：本人 …
今天修了x86的sv6, 以及继续完成了sv6的RISC-V 64位移植。
经查阅Intel手册, INT指令不受IF影响, 特此记录。 Interrupt …
bug RISC-V 业务 今日 优化 作业 修 修改 写 准备 博士 又是 吃 复习 大觉 学习 完成 实验 开始 快乐 总结 惊悚 报告 撰写 改 数学 旅游 期中 期末 材料 测试 物理 睡大觉 睡觉 系统 组会 统练 继续 网络 考试 英国 英语 论文 还是 阅读
