详细分析mtrace

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

mtrace

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

继续阅读 »

testgen仍然看不懂

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

继续看testgen

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

继续阅读 »

testgen看不懂

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

继续学习commuter

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

继续阅读 »

开始学习commuter

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

基本完成sv6移植和测试

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

继续阅读 »

母亲节

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

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

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

继续阅读 »

RISC-V 4核硬件

今天拿到了辉总借的RISC-V 4核的开发板(https://www.sifiv …

继续阅读 »

学习《数值分析》

今天学习和复习《数值分析》。

严 正 声 明

由于报道出现偏差,我突然被一定数量的同学误认为是很厉害的人。 特此严正声明:本人 …

继续阅读 »

修sv6

今天修了x86的sv6, 以及继续完成了sv6的RISC-V 64位移植。

INT指令不受IF影响

经查阅Intel手册, INT指令不受IF影响, 特此记录。 Interrupt …

继续阅读 »

今天热。

数论作业

今天完成了数论作业共计6题。

bug

今天主要调试bug, 共计修了1个bug。

操作系统课程设计遇阻

今天搞操作系统课程设计, 遇到秘制bug。

赶制作业2

今日赶制了计算机系统结构的作业。