YZ：
帮助老外合并代码。
yjg:
（1）修改一下c语言调用下层的write，如果返回是正值，并且没有写完，则需要在此调用写入；
（2）实现在fatfs中的rename，同一个volume的rename；
（3）看一下redis是否使用了多线程，使用redis的多线程来跑程序（想办法把配置文件传给redis）；
（4）毕业之前：rocksdb跑起来，PostgreSQL跑起来，musl支持起来；
（5）调研一下UniKraft的代码，看看我们还缺啥。
wlp:
正在补习网卡的基本知识。
linux 3千行，virtionet.c三千行。
现在virtio drivers里面加feature。
control virt_queue （virtio net的一个feature）
ysp:
elf工具：xmas-elf
Redox???
（1）xmas-elf加入到内核；
（2）通过xmas-elf加载hello world。
陈渝
（1）std和tokio的支持
（2）ixgbe网卡
（3）zcore的nvme驱动，下一步可以参考
（4）下一步：存储nvme/sd/mmc排在网卡之后
还需要完成的工作：
（1）动态装载
（2）内核态的虚拟地址
（3）DMA框架
（4）中断的框架。（有的）
（5）RocksDB要跑起来。
On 2023/7/6 15:25, chenkang wrote:
Zyc:
（1）把代码交给晏巨广，整理一下。
Yz:
（1）改一下issue，看看能不能让老外合并一下。
（2）文档提交一下。
Yjg:
（1）把bug修一下。开个8G试试，能不能跑完。内存扩大，采用ramdisk试试。（磁盘不够大？）
（2）printf不是原子的，这个谁来改？
（3）实现rename，解决shutdown的问题。实现unlink。
（4）在x86裸机上测试结果超100万。
（5）激活多线程。
（6）RocksDB要跑起来。PostgreSQL。
（7）musl（先搞redis吧。）
Wlp:
kvm里面的后端可能是qemu的。
linux里面有driver的代码，没有device的代码。
device的代码只能看qemu的。
目标：
（1）virtio-net driver尽可能完全。
（2）virtio-net device放到hypervisor
ysp:
把加载器做出来。动态加载hello world。
还需要完成的工作：
（1）动态装载
（2）内核态的虚拟地址
（3）DMA框架
（4）中断的框架。（有的）
（5）RocksDB要跑起来。
不知道需不需要做的：
（1）调度器（因为只有一个进程）
On Jun 29, 2023 15:22，chenkangchenkang@tsinghua.edu.cn wrote：
On Jun 29, 2023 15:18，chenkangchenkang@tsinghua.edu.cn wrote：
zyc:
(1) 把代码交给晏巨广，整理一下。
Yz:
（1）找李栋建一下代码库，是平时开发的代码库。
（2）驱动的性能没有找到什么方法来提高性能。
（3）整理一下文档。
Yjg:
Redis已经运行起来了。
（1）内存扩大测试一下，过一下benchmark（也有可能是内存泄露，检测一下是不是这个问题）
（2）搞清楚shutdown之后发生了啥。
（3）下一个任务：muslibc。
（4）性能很差，优化性能。
（5）激活多线程
（6）RocksDB要跑起来。
Wlp:
qemu读device的代码。linux读driver的代码。
看看别的virtio的device的代码。
Kvm, virtualbox, zen
Lhw:
（1）把现有的sd卡驱动接到arceos里面
（2）跑到raspi4
（3）把代码写得更加rust一点。
Ysp:
看一下VxWorks里面的动态装载是怎么做的。
目标：装载redis应用程序。
还需要完成的工作：
（1）动态装载
（2）内核态的虚拟地址
（3）DMA框架
（4）中断的框架。（有的）
（5）RocksDB要跑起来。
不知道需不需要做的：
（1）调度器（因为只有一个进程）
On Jun 15, 2023 15:59，chenkangchenkang@tsinghua.edu.cn wrote：
zyc:
(1) 把c语言的dir的接口完善。
(2) mdtest 放到arceos
(3) 测一下arceos的其它的文件系统
(4) 自己的文件系统实现statefs。
Yz:
继续virt-io的block的驱动工作。
Ysp: 动态装载应用程序（redis），（动态装载virtio驱动）。
yjg: 合并最新的代码。 实现没有实现的函数
Wlp: 继续看virtio-net，下周汇报 看一下如何在arceos里面支持linux驱动
Lhw: （1）做Raspi4B的rust sd卡驱动； （2）驱动集成到arceos里，读写现有sd卡上的FAT文件系统. 搞明白硬件交互，分析一下现有的驱动。（报告）
Ld:
建仓
规划
Unikernel mailing list --unikernel@syswonder.org To unsubscribe send an email tounikernel-leave@syswonder.org