月度存档: 5 月 2018

继续完成文件系统大作业

作者: twd2 日期: 2018 年 05 月 31 日 没有评论 | 被围观 111 次

今天继续完成文件系统大作业, 以及阅读论文作业。 我们在编写大作业时, 用了两个 …

继续阅读 »

《初等数论》结课

作者: twd2 日期: 2018 年 05 月 30 日 没有评论 | 被围观 142 次

今天是《初等数论》最后一次课程, 老师讲完了剩下的内容, 以及说明了考试事项。接 …

继续阅读 »

继续完成大作业和作业

作者: twd2 日期: 2018 年 05 月 29 日 没有评论 | 被围观 109 次

今天继续完成文件系统大作业以及数论的作业。

学习数论

作者: twd2 日期: 2018 年 05 月 28 日 没有评论 | 被围观 148 次

今天主要看书、学习数论以及完成数论作业。 另外, 今天开始编写了《存储技术基础》 …

继续阅读 »

睡觉和补作业

作者: twd2 日期: 2018 年 05 月 27 日 没有评论 | 被围观 100 次

今天主要睡觉以及补作业, 包括《数值分析》和《初等数论》的作业。

课程设计最终报告会

作者: twd2 日期: 2018 年 05 月 26 日 1 条评论 | 被围观 219 次

今天课程设计最终报告会从早九点到晚六点四十, 持续九小时四十五分钟, 刨除午休两 …

继续阅读 »

撰写最终文档

作者: twd2 日期: 2018 年 05 月 25 日 没有评论 | 被围观 64 次

今天与峰峰撰写了操作系统课程设计的最终文档, 以及制作了明日要汇报的幻灯片。

spec

作者: twd2 日期: 2018 年 05 月 24 日 没有评论 | 被围观 119 次

今天写UDP socket的spec, 对UDP socket进行简单建模。

全部搞清commuter

作者: twd2 日期: 2018 年 05 月 23 日 1 条评论 | 被围观 100 次

commuter的设计实现已经大致、全部搞清楚了。 现在开始写socket的sp …

继续阅读 »

部分看懂testgen

作者: twd2 日期: 2018 年 05 月 22 日 1 条评论 | 被围观 103 次

testgen之前不懂的地方大致搞懂了, 现在正在确认。

详细分析mtrace

作者: twd2 日期: 2018 年 05 月 21 日 没有评论 | 被围观 320 次

今天与峰峰详细分析mtrace。 我被峰峰嘲讽。

mtrace

作者: twd2 日期: 2018 年 05 月 20 日 没有评论 | 被围观 85 次

由于testgen看不懂, 操作系统课程设计进度停滞。今天, 我暂时跳过test …

继续阅读 »

testgen仍然看不懂

作者: twd2 日期: 2018 年 05 月 19 日 没有评论 | 被围观 81 次

testgen仍然看不懂, 今天主要工作是睡觉。

继续看testgen

作者: twd2 日期: 2018 年 05 月 18 日 没有评论 | 被围观 127 次

今天和峰峰继续看了testgen, 大概搞清楚了调用关系, 但是核心代码的思路还 …

继续阅读 »

testgen看不懂

作者: twd2 日期: 2018 年 05 月 17 日 没有评论 | 被围观 134 次

今天继续研究了commuter, testgen看不懂。

继续学习commuter

作者: twd2 日期: 2018 年 05 月 16 日 没有评论 | 被围观 82 次

今天继续学习commuter, 大致精通了符号化执行引擎以及analyzer部分 …

继续阅读 »

开始学习commuter

作者: twd2 日期: 2018 年 05 月 15 日 没有评论 | 被围观 73 次

由于sv6已经大致完成, 今天主要开始学习commuter的设计与实现。

基本完成sv6移植和测试

作者: twd2 日期: 2018 年 05 月 14 日 没有评论 | 被围观 138 次

今天又修了若干bug, 基本完成了sv6的移植和真板子上的测试。 现在sv6内置 …

继续阅读 »

母亲节

作者: twd2 日期: 2018 年 05 月 13 日 没有评论 | 被围观 139 次

今天是母亲节, 祝大家节日快乐。

课程设计: 在RV开发板上大致运行我们的移植

作者: twd2 日期: 2018 年 05 月 12 日 没有评论 | 被围观 146 次

我们的课程设计进度为：可以在RV开发板上大致运行sv6移植了。主要修改了如下几个 …

继续阅读 »