今天继续学习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 …
今天热。
今天完成了数论作业共计6题。
今天主要调试bug, 共计修了1个bug。
今天搞操作系统课程设计, 遇到秘制bug。
今日赶制了计算机系统结构的作业。
昨日和今日赶制了计算机系统结构以及数值分析课程的实验。
简讯：今日贺神考察中国科学院计算技术研究所，与在读博士生亲切交谈并就计算机体系结 …
在实现多核操作系统的时候, 有一个问题很重要, 就是如何存储并读取和处理器核(R …
修复了几处平凡的bug, 我们的sv6 RISC-V 64移植版本大致可以启动s …
今天继续完成操作系统课程设计, 移植sv6。 编写和修复了大量bug。
