分类存档: 新鲜·吐槽

testgen看不懂

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

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

继续学习commuter

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

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

继续阅读 »

开始学习commuter

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

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

基本完成sv6移植和测试

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

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

继续阅读 »

母亲节

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

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

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

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

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

继续阅读 »

RISC-V 4核硬件

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

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

继续阅读 »

学习《数值分析》

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

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

严 正 声 明

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

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

继续阅读 »

修sv6

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

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

INT指令不受IF影响

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

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

继续阅读 »

热

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

今天热。

数论作业

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

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

bug

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

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

操作系统课程设计遇阻

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

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

赶制作业2

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

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

赶制作业

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

昨日和今日赶制了计算机系统结构以及数值分析课程的实验。

贺神一人考察中科院计算所

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

简讯：今日贺神考察中国科学院计算技术研究所，与在读博士生亲切交谈并就计算机体系结 …

继续阅读 »

RISC-V 64位多核操作系统 之 核相关数据结构

作者: twd2 日期: 2018 年 04 月 30 日 5 条评论 | 被围观 2,807 次

在实现多核操作系统的时候, 有一个问题很重要, 就是如何存储并读取和处理器核(R …

继续阅读 »

操作系统课程设计: 大致可以启动shell

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

修复了几处平凡的bug, 我们的sv6 RISC-V 64移植版本大致可以启动s …

继续阅读 »