Zyc:

(1) mdtest要把mpi删掉。

(2) state 不能全删。

(3) 要支持全给用户的api。


Yz:

增加非阻塞的读写。最底层的驱动层面增加非阻塞的支持。PR64

思考一下怎么做更好。需要考虑依赖virtio-block接口。


ysp:

跑测试,补了一个ramdisk的格式化。

下一步:要写得规范,整理代码,合并。

Theseus: an Experiment in Operating System Structure and State Management

https://www.usenix.org/conference/osdi20/presentation/boos#:~:text=Theseus%20is%20the%20result%20of%20multi-year%20experimentation%20to,many%20OS%20responsibilities%20as%20possible%20to%20the%20compiler.


Yjg:

下周必须搞定,代码先从redox里面参考一下。

epoll_wait


Wlp:

Arm gicv3 google那边有一个实现,就没必要重复做了。


1. 起草virtio1.3中断控制器的标准,中断控制器接口抽象

2. 中断处理的framework。上半段,下半段怎么怎么设计,怎么处理(参考Linux,Redox?)

3. Virtio前端的完整,高效实现,包括virtio-blk, virtio-net, 多队列等等。

4. virtio rust驱动程序应用到ArceOS。

5. virtio-blk, virtio-net性能优化


lh:

准备期末考试。


lhw:

没有接触过rust。准备多少时间学完?xv6。



On May 25, 2023 16:05,chenkang<chenkang@tsinghua.edu.cn> wrote:

Zyc:

(1)移植到新版本;

(2)mdtest是否能独立运行?


Yz:

给driver加上异步编程的工作。

Read_block加上了异步,暂时没有测试。

擦除跟文件系统有关吗?(看一下擦除的产生条件。)

用rust的async机制,通过中断把waker唤醒。


Ysp:

arceos测例都跑通过(除了网络和存储),c的和rust。sqlit改造成ramdisk。

x86的显卡驱动(写显存)

在nxp,ti上面跑一个jailhouse,然后跑两个arceos。


(调研毕业设计题目:换入换出,构建工具unikraft,程序分析。)

毕业设计目标:

1. 根据源代码,选择底下合适的模块,构造出来一个unikernel。

2. 复用linux的驱动,linux的驱动框架。

3. 使用虚拟地址,完成换入换出。

4. 移植不同的库(人工智能库,python)

5. V8 engine,java


网络和存储驱动怎么搞?(麻烦,调研)


树莓派的显卡驱动


Yjg:

支持procfs, ramfs。

继续整理代码。


Wlp:

中断支持。(根据新版本重新支持.)

net的中断驱动如何实现。优化net的驱动。

现在支持gicv2,可以支持gic-v3

中断弄好之后,可以支持async。