刘昊文:
分析 smoltcp 的处理流程
写一份 smoltcp 的分析与原理文档
吴政:
陈正宁:
朱若海:
rabbit 模块是怎么编译
rabbit 的二进制脚本的源代码
徐金阳
熊思民
郑元昊
TODO LIST:
有些可能做了,有些没做,做之前检查一下
- dts 设备树解析
下一步需要做的功能模块
- 动态库,只支持muslibc的动态库
- 虚拟地址支持(吴政)
- 支持类似Occlum的多进程机制,spawn(吴政)/多页表实现 fork
- 可以使用virtio-fs来提高文件系统访问的性能
- 通过muslibc 支持 ruststd
- 记住要改hugepage
- 内存泄露
- Is a directory红色信息
- riscv和x86的porting(完成)
- eBPF
- 对于affinity的支持,可能需要绑核
- 基于优先级的调度
- 可执行的程序占一个image,os占一个image,然后两个合在一起执行,os的image基本不动,大部分情况下生成程序的一个image就行了。(陈正宁)(完成)
- Linux每隔0.1秒flush一下全局文件系统。(完成)
- x86的musl,x86musl跑现有的应用
rustfatfs库的调用有问题
inode管理需要实现一下
- 健壮性测试,测试时间拉长,多测很多时间
- 操作系统一般一秒钟刷10次磁盘,文件系统需要改进,close的时候确保刷到磁盘(完成)
- 设备树的支持:virtio, memory, cpu, rtc
- 龙芯芯片的支持
- 添加 mount table 实现
- llama3 的 CPP 实现
- llama3 的 WAMR 实现
- 实现 exfat(不能再改了)
- fork 的两种实现方式: a) 单地址分段隔离;b)多个 ruxos 同时运行。
- 系统调用: brk, sched_getaffinity, membarrir, prctl, memfd_create
- 符号链接,文件 metadata 支持
- 内核在什么条件下会给用户态程序发 signal,以及什么信号
- UNIX socket 支持
- 更新 virtio-drivers
- 安卓在 ruxos 上适配
- fuse 文件系统
- syzkaller 测试模块
- shell 实时调试,监控(方案一:远程调试,中断监控;方案二:多进程实现 ssh)