下一步需要做的功能模块
1. 动态库,只支持muslibc的动态库
2. 虚拟地址支持(吴政)
3. 支持类似Occlum的多进程机制,spawn(吴政)
4. 可以使用virtio-fs来提高文件系统访问的性能
5. 通过muslibc 支持 ruststd
6. 记住要改hugepage
8. 内存泄露
9. Is a directory红色信息
10. riscv和x86的porting
11. eBPF
12. 对于affinity的支持,可能需要绑核
13. 基于优先级的调度
14. 可执行的程序占一个image,os占一个image,然后两个合在一起执行,os的image基本不懂,大部分情况下生成程序的一个image就行了。(陈正宁)
15. Linux每隔0.1秒flush一下全局文件系统。
16. x86的musl,x86musl跑现有的应用
rustfatfs库的调用有问题
inode管理需要实现一下




陈正宁:(后面工作把操作系统和应用程序分开,最好是二进制兼容)
ssl的问题已经解决了。
读取链接的时候会有问题。
几个系统调用没有实现,可能需要实现
chdir,gettid接一下,get_affinity返回
cap_get ??看一下原理
get_env, set_env (不是系统调用?)
signal的实现需要合并一下


周智:
libctest的多核需要跑一下,找到多核的执行的问题
改OpenSBI支持musl. ruxsbi, ruxsbi_rt, 测试


郑元昊:
通过修改musl底下的ecall指令,直接执行函数调用。
看一下unikraft里面是怎么跳的。


杨泽伟:
写论文
盯着同学们用
修改一下Ruxgo,支持修改成一个可执行文件和一个操作系统的image(动态链接的测试)
Ruxgo去选择内核的参数编译出所需要的内核


汪乐平:
写论文


朱若海:
Perl
下一步去测perl的benchmark
已经可以跑在树莓派上面




吴政:
吴政补上链接的读取。


merge 周智的代码,测试在arm下面的代码
x86这部分也需要做一下


正在做swap
tlb刷新
riscv(都先不做)
栈保护
hugepage




刘昊文:
打开一个文件两次,写进去的行为需要检查一下
重点看一下nginx的日志写不进去的问题(晏巨广)
调研lua


熊思民:(两种方法都做)
第一步先通过操作系统来支持ruststd
先改版本
流程走通了,然后需要继续测试,补充需要的接口
过更多测试,把写死的代码改了,找一找标准的测试集


徐金阳:
cpuinfo文件不在,补充一下这个文件
C++的动态库是不是可以支持
cpp的测试程序测试一下


袁世平:
现在python的编译是没问题了,跑的时候没跑起来




晏巨广:
目标:
(1)写论文
(2)调性能
(3)监工,写文档
(4)带个人出来 --> 吴政
(5)动态链接






























-----Original Messages-----
From: 吴政 <wuzheng_study@163.com>
Send time: Tuesday, 03/19/2024 21:19:04
To: unikernel@syswonder.org
Subject: [Unikernel] Unikernel组会通知

3月21日组会在北京大学理科一号楼1621会议室,时间:下午两点开始。

谢谢