20240613 Unikernel组会
郑元昊:
1. java opcode==7 时 imm 立即数异常大(FFFF8001)
吴政
1. 在 aarch64 上实现 clone
陈正宁
1. 信号量 rt_sigaction 合并
朱若海
1. 解决 rabbitmq 的交叉编译
2. 创建对 libbsd 的支持
袁世平
1. 维护 python 的 test
刘昊文
1. 发现了 INADDR_ANY 可以自己连接自己
2. 调通 loopback 
3. 改一下 Lwip,尝试自己实现
徐金阳:
1. 调一下 llama.cpp,让它正常运行
熊思民:
1. 合并并完善 rust std(sync, pthread 等)
杨泽伟:
1. 完善文档
晏巨广:
1. 完善剩余文档
汪乐平:
1. 多队列 virtio-drivers


TODO LIST:
有些可能做了,有些没做,做之前检查一下
1. dts 设备树解析下一步需要做的功能模块
2. 动态库,只支持muslibc的动态库
3. 虚拟地址支持(吴政)
4. 支持类似Occlum的多进程机制,spawn(吴政)/多页表实现 fork
5. 可以使用virtio-fs来提高文件系统访问的性能
6. 通过muslibc 支持 ruststd
7. 记住要改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管理需要实现一下
17. 健壮性测试,测试时间拉长,多测很多时间
18. 操作系统一般一秒钟刷10次磁盘,文件系统需要改进,close的时候确保刷到磁盘(完成)
19. 设备树的支持:virtio, memory, cpu, rtc
20. 龙芯芯片的支持
21. 添加 mount table 实现
22. llama3 的 CPP 实现 
23. llama3 的 WAMR 实现
24. 实现 exfat(不能再改了)
25. fork 的两种实现方式: a) 单地址分段隔离;b)多个 ruxos 同时运行。 
26. 系统调用: brk, sched_getaffinity, membarrir, prctl, memfd_create
27. 符号链接,文件 metadata 支持
28. 内核在什么条件下会给用户态程序发 signal,以及什么信号
29. UNIX socket 支持
30. 更新 virtio-drivers




-----Original Messages-----
From: 吴政 <wuzheng_study@163.com>
Send time: Wednesday, 06/12/2024 16:37:08
To: unikernel@syswonder.org
Subject: [Unikernel] Unikernel组会通知

各位老师和同学好:
Unikernel组例会时间定为本周四(6月13日)下午两点开始。

会议地点:北京大学理科一号楼1621会议室
线上参会方式:#腾讯会议:970-644-6531
请大家关注